Понятие логической формы

Логической формой конкретной мысли является строение этой мысли, т.е. способ связи ее составных частей. Логическая фор­ма отражает объективный мир, но это отражение не всей полно­ты содержания мира, существующего вне нас, а его общих структурных связей, которые необходимо воплощаются и в стру­ктуре наших мыслей. Понятия, суждения, умозаключения име­ют свои специфические формы (структуры).

Структура мысли, т.е. ее логическую форму, можно выра­зить при помощи символов. Выявим структуру (логическую форму) трех следующих суждений: “Все караси - рыбы”, “Все люди смертны”, “Все бабочки - насекомые”. Содержание у них разное, а форма одна и та же: “Все S суть Р”; она включает S (субъект), т. е. понятие о предмете суждения, Р (предикат), т. е. понятие о признаке предмета, связку (“есть”, “суть”), кванторное слово (“все”). Иногда связка может отсутствовать или за­меняться на тире.

Два следующих условных суждения имеют одну и ту же форму:

1) “Если железо нагревать, то оно расширяется”;

2) “Если учащийся изучает логику, то он повышает четкость своего мышления”. Форма этих суждений такая: “Если S есть Р, то S есть Р₁”.