tgoop.com/logic_metamathematics/921
Last Update:
О правильности и неправильности умозаключений и истинности и ложности высказываний.
Об умозаключениях (рассуждениях) мы будем говорить как о правильных либо как о неправильных - умозаключения не бывают истинными либо ложными (!).
О высказываниях, наоборот, говориться как об истинных либо ложных, но высказывания не бывают правильными либо неправильными (!).
Говорить на русском иначе - значит не обладать достаточным для науки о доказательстве знанием различий слов современного русского языка.
Слова "верно" и "неверно" (которые мы, например, часто использовали в школе при проверке правильности решения уравнений) двусмысленны - они могут употребляться и в значении правильно и истинно, и в значении неправильно и ложно (соответственно), поэтому их не следует использовать, чтобы избежать двусмысленности в строгих рассуждениях, в других случаях (например, когда двусмысленность целесообразна или контекст допускает очевидно однозначное прочтение) они окажутся вполне уместными и своевременными.
BY Логика и метаматематические исследования
Share with your friend now:
tgoop.com/logic_metamathematics/921