§ 2. Понятие логической формы и логического закона

Формальная логика - наука о законах и формах правильного мышления. В. С. Меськов пишет: “...Предметом науки логики яв­ляются рассуждения, а сама она есть наука о рассуждениях. За­дачей логики как науки является установление законов и правил,

14

которым подчиняются рассуждения”'. Рассуждения облекаются в логическую форму и строятся в соответствии с логическими законами. “...Логические формы и законы не пустая оболочка, а отражение объективного мира”². Выясним более детально, что понимается под логической формой и логическим законом.

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

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

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

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

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

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

Логические законы

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

_______________________

'Меськов В. С. Очерки по логике квантовой механики. М., 1986. С. 7.

²Ленин В. И. Полн. собр. соч. Т. 29. С. 162.

15

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

Логические принципы действуют независимо от воли людей, они не созданы по их воле и желанию, а являются отражением связей и отношений вещей материального мира. Общечеловече­ский характер принципов формальной логики состоит в том, что во все исторические эпохи все люди мыслили по одним и тем же логическим принципам. Кроме формально-логических принципов, правильное мышление подчиняется также основным законам диа­лектики: закону единства и борьбы противоположностей, закону взаимного перехода количественных и качественных изменений, закону отрицания отрицания.

Истинность мысли и формальная правильность рассуждений

Понятие истинности (ложности) относится лишь к конкрет­ному содержанию того или иного суждения. Если в суждении верно отражено то, что имеет место в действительности, то оно истинно, в противном случае оно ложно. Например, суждение “Все волки - хищные животные” истинно, а суждение “Все гри­бы - ядовиты” ложно.

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

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

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

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

2. Все небесные тела – планеты

Юпитер-небесное тело.

Юпитер - планета.

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

16

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

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

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

Это животное - тигр