Логическая форма - это способ связи содержательных частей рассуждения
(доказательства, вывода и т.д.)
Логическая форма представляется посредством логических констант (постоянных) и
логических переменных. Логические константы («не», «и», «есть», «некоторые» и т.п.) не
имеют самостоятельного содержания, но с их помощью из одних содержательных
выражений могут быть получены новые содержательные выражения. Переменные,
напротив, обладают самостоятельным содержанием.
Например, два высказывания: «Все законы должны выполняться» и «Все реки впадают в
море» различны по своему содержанию, причем первое истинно, а второе ложно.
Отвлекаясь от содержания высказываний, можно заменить их части переменными S и P.
Получим единую для данных высказываний логическую форму: «Все S есть P».
Содержательно разные суждения «Если есть огонь, то есть дым» и «Если логика - наука,
то она имеет свои законы» также имеют одинаковую логическую форму: «Если А, то В»
Итак,
логическая форма той или иной мысли является
строение этой мысли, т.е. способ
связи частей ее конкретного содержания.
В
отличие от других наук, изучающих мышление человека, логика изучает мышление как
средство познания.
Достарыңызбен бөлісу: