Логика

Иногда закон тождества неверно истолковывается как один из законов бытия, говорящий о его относительной устойчивости и определенности. Понятый так, он превращается в утверждение, что вещи всегда остаются неизменными, тождественными самим себе. Такое понимание этого закона, конечно, ошибочно. Закон ничего не говорит об изменчивости или неизменности. Он утверждает только, что если вещь меняется, то она меняется, а если она остается той же, то она такой же и остается.

Закон двойного отрицания

Этим именем называется закон логики, позволяющий отбрасывать двойное отрицание. Этот закон можно сформулировать так: отрицание отрицания дает утверждение, или: повторенное дважды отрицание дает утверждение. Например: "Если неверно, что Вселенная не является бесконечной, то она бесконечна".

Закон двойного отрицания был известен еще в античности. В частности, древнегреческие философы Зенон Элейский и Горгий излагали его следующим образом: если из отрицания какого-либо высказывания следует противоречие, то имеет место двойное отрицание исходного высказывания, то есть оно само.

В символической форме закон записывается так:

— А → А,

если неверно, что не-А, то верно А.

Другой закон логики, говорящий о возможности не снимать, а вводить два отрицания, принято называть обратным законом двойного отрицания: утверждение влечет свое двойное отрицание. Например: "Если Шекспир писал сонеты, то неверно, что он не писал сонеты".

Символически:

A → ~~ A

если А, то неверно что не-А.

Объединение этих законов дает так называемый полный закон двойного отрицания:

— А ↔ А,

неверно, что не-А, если и только если верно А.

Законы контрапозиции

Законы контрапозиции говорят о перемене позиций высказываний с помощью отрицания: из условного высказывания "если есть первое, то есть второе" вытекает "если нет второго, то нет и первого", и наоборот.

Символически:

(А → В) → (~ В → ~ А),

если дело обстоит так, что если А, то В, то если не-В, то не-А;

(~ В → ~ А) → (А → В),

если дело обстоит так, что если не-В, то не-А, то если А, то В.

К примеру: из высказывания "Если есть следствие, то есть и причина" следует высказывание "Если нет причины, нет и следствия", и из второго высказывания вытекает первое.

К законам контрапозиции обычно относят также законы:

(А → ~ В) → (В → ~ А),

если дело обстоит так, что если А, то не-B, то если В, то не-А Например, "Если квадрат не является треугольником, то треугольник не квадрат";

(~ А → В) → (~ В → А),

если верно, что если не-А, то В, то если не-B то А. К примеру: "Если не являющееся очевидным сомнительно, то не являющееся сомнительным очевидно".

Контрапозиция подобна рокировке в шахматной игре. И подобно тому, как редкая партия проходит без рокировки, так и редкое наше рассуждение обходится без контрапозиции.

Модус поненс

Слово "модус" в логике означает разновидность некоторой общей формы рассуждения. "Модус поненс" — термин средневековой логики, обозначающий определенное правило вывода и соответствующий ему логический закон.

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

Здесь "если А, то B" и "А" — посылки, "B" — заключение; горизонтальная черта стоит вместо слова "следовательно". Другая запись:

Если А, то B. А. Следовательно, В.

Благодаря этому правилу от посылки "если А, то В", используя посылку "А", мы как бы отделяем заключение "B". Например:

Если у человека грипп, он болен.

У человека грипп.

Человек болен.

Это правило постоянно используется в наших рассуждениях. Впервые оно было сформулировано, насколько можно судить, учеником Аристотеля Теофрастом еще в III в. до н. э.

Соответствующий правилу отделения логический закон формулируется так:

(А → В) & А → В,

если верно, что если А, то В, и А, то верно В. Например: "Если при дожде трава растет быстрее и идет дождь, то трава растет быстрее".

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

Например, правильным является умозаключение:

Если висмут — металл, он проводит электрический ток.

Висмут — металл.

Висмут проводит электрический ток.

Но внешне сходное с ним умозаключение:

Если висмут — металл, он проводит электрический ток.

Висмут проводит электрический ток.

Висмут металл.

логически некорректно. Рассуждая по последней схеме, можно от истинных посылок прийти к ложному заключению. Например:

Если человек собирает марки, он коллекционер.

Человек — коллекционер.

Человек собирает марки.

Далеко не все коллекционеры собирают именно марки; из того, что человек коллекционер, нельзя заключать, что он собирает как раз марки. Истинность посылок не гарантирует истинности заключения.

Против смешения правила модус поненс с указанной неправильной схемой предостерегает совет: от подтверждения основания к подтверждению следствия заключать можно, от подтверждения следствия к подтверждению основания — нет.

Модус толленс

Так средневековые логики называли следующую схему рассуждения:

Другая запись:

Если А, то В. Не-B. Следовательно, не-A.

Эта схема часто называется принципом фальсификации: если из какого-то утверждения вытекает следствие, оказывающееся ложным, это означает, что и само утверждение ложно. Посредством схемы от утверждения условного высказывания и отрицания его следствия осуществляется переход к отрицанию основания данного высказывания. Например:

Если гелий — металл, он электропроводен.

Гелий неэлектропроводен.

Гелий — не металл.

Модус понендо толленс

Этим именем средневековые логики обозначали следующие схемы рассуждения:

Другая запись:

Либо А, либо В. А. Следовательно, не-B.

Либо А, либо В. В. Следовательно, не-А.

Посредством этих схем от утверждения двух взаимоисключающих альтернатив и установления того, какая из них имеет место, осуществляется переход к отрицанию второй альтернативы: либо первое, либо второе, но не оба вместе; есть первое; значит, нет второго. Например:

Достоевский родился либо в Москве, либо в Петербурге.

Он родился в Москве.

Неверно, что Достоевский родился в Петербурге.

Дизъюнкция, входящая в данную схему, является исключающей, она означает: истинно первое или истинно второе, но не оба вместе. Такое же рассуждение, но с неисключающей дизъюнкцией (первое или второе, но возможно, что и первое, и второе), логически неправильно. От истинных посылок оно может вести к ложному заключению:

На Южном полюсе был Амундсен или был Скотт.

На Южном полюсе был Амундсен.

Неверно, что там был Скотт.

Обе посылки истинны: и Амундсен, и Скотт достигли Южного полюса, заключение же ложно, Правильным является умозаключение:

На Южном полюсе первым был Амундсен или Скотт.

На этом полюсе первым был Амундсен.

Неверно, что там первым был Скотт.

Модус толлендо поненс

Этим термином средневековые логики обозначали разделительно-категорическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения — разделительное (дизъюнктивное) высказывание, вторая — категорическое высказывание, отрицающее один из членов дизъюнкции; заключением является другой ее член:

Или:

Другая форма записи:

А или В. Не-А Следовательно, В.

А или В. Не-В. Следовательно, А.

Например:

Множество является конечным или оно бесконечно.

Множество не является конечным.

Множество бесконечно.

Иногда эту схему рассуждения именуют дизъюнктивным силлогизмом.

С использованием логической символики умозаключение формулируется так:

Или:

В современной логике модус толлендо поненс называется также правилом удаления дизъюнкции. Ему соответствует логический закон:

(A v B) & ~ A → B,

если А или В и ~ А, то В.

Законы де Моргана

Широкое применение находят законы, названные именем американского логика А. де Моргана и позволяющие переходить от утверждений с союзом "и" к утверждениям с союзом "или", и наоборот:

— (A & B) → (~ A v ~ В),

если неверно, что есть и первое, и второе, то неверно, что есть первое, или неверно, что есть второе;

(~ A v ~ В) → ~ (А & В),

если неверно, что есть первое, или неверно, что есть второе, то неверно, что есть первое и второе. Используя эти законы, от высказывания "Неверно, что изучение логики и трудно, и бесполезно" можно перейти к высказыванию "Изучение логики не является трудным, или же оно не бесполезно". Объединение этих двух законов дает закон (↔ — эквивалентность, "если и только если"):

— (A & B) ↔ (~ A v ~ B).

Словами обычного языка этот закон можно выразить так: отрицание конъюнкции эквивалентно дизъюнкции отрицаний. Например: "Неверно, что завтра будет холодно и завтра будет дождливо, тогда и только тогда, когда завтра не будет холодно или завтра не будет дождливо".

Еще один закон де Моргана утверждает, что отрицание дизъюнкции эквивалентно конъюнкции отрицаний:

— (A v В) ↔ (~ А & ~ В),

неверно, что есть первое или есть второе, если и только если неверно, что есть первое, и неверно, что есть второе. Например: "Неверно, что ученик знает арифметику или знает геометрию, тогда и только тогда, когда он не знает ни арифметики, ни геометрии". На основе законов де Моргана связку "и" можно определить, используя отрицание, через "или", и наоборот:

— "А и B" означает "неверно, что не-A или не-B",

— "А или В" означает "неверно, что не-А и не-В".

К примеру: "Идет дождь и идет снег" означает "Неверно, что нет дождя или нет снега"" "Сегодня холодно или сыро" означает "Неверно, что сегодня не холодно и не сыро".

Закон приведения к абсурду

Редукция к абсурду (приведение к нелепости) — это рассуждение, показывающее ошибочность какого-то положения путем выведения из него абсурда, т. е. логического противоречия. Если из высказывания А выводится как высказывание В, так и его отрицание, то верным является отрицание А. Например, из высказывания "Треугольник — это окружность" вытекает с одной стороны то, что треугольник имеет углы (быть треугольником значит иметь три угла), с другой, что у него нет углов (поскольку он окружность); следовательно, верным является не исходное высказывание, а его отрицание "Треугольник не является окружностью".