Понятие логической формы и логического закона. Истинность и логическая правильность

Форма мысли – строение мысли, способ связи частей мыслимого содержания. При всем богатстве содержания, которое осваивается мышлением, форм мышления всего три. Это понятия, суждения и умозаключения. Любой мыслительный процесс протекает в этих формах.

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

Два следующих условных суждения имеют одну и ту же форму: 1) «если железо нагреть, то оно расширяется»; 2) «если учащийся изучает логику, то он повышает четкость своего мышления». Форма этих суждений такая: «Если а, то в», где а и в – простые суждения, образующие путем соединения сложное условное суждение.

Основными формально-логическими законами являются: 1) закон тождества; 2) закон непротиворечивости; 3) закон исключенного третьего; 4) закон достаточного основания.

Эти законы (принципы) выражают определенность, непротиворечивость, доказательность мышления. Логические принципы призваны быть отражением связей и отношений вещей материального мира.

Понятие истинности или ложности относится лишь к конкретному содержанию того или иного суждения. Если в суждении верно отражено то, что имеет место в действительности, то оно истинно, в противном случае оно ложно. Например, суждение «Все волки – хищные животные» истинно, а суждение «Все грибы ядовиты» ложно.

Формальную логику определяют как науку о законах и операциях правильного мышления. Согласно основному принципу логики, правильность рассуждения определяется только его логической формой и не зависит от конкретного содержания входящих в него утверждений. Например, рассмотрим такую логическую форму рассуждения: «Если а, то в. Если в, то с. Следовательно, если а, то с». Если мы подставим вместо выделенных букв любые истинные утверждения, то с необходимостью получим в качестве вывода истинное утверждение. Отличительная особенность правильного вывода заключается в том, что он всегда от истинных посылок ведет к истинному заключению.

Понятие формальной правильности рассуждения относится лишь к логическим действиям и операциям мышления. Если в числе посылок умозаключения встречается ложная посылка, то при соблюдении правил логики мы в заключении можем получить и истину и ложь. Чтобы это показать, возьмем такое умозаключение:

Все металлы – твердые тела.

Ртуть не является твердым телом.

Ртуть не является металлом.

В этом умозаключении заключение получилось ложным. Именно потому, что в качестве первой посылки взято ложное суждение. Чтобы заключение было истинным, обе посылки должны быть истинными суждениями (имеется в виду, что правила логики соблюдены). При несоблюдении правил логики (если посылки при этом истинны) мы также можем получить как истинное, так и ложное заключение. Например:

Все тигры полосатые.

Это животное полосатое.

Это животное – тигр.

Во втором умозаключении обе посылки – истинные суждения, но полученное заключение может быть как ложным, так и истинным, потому что было нарушено одно из правил умозаключения.