Дмитрий Гусев - Удивительная логика

Приведем простой пример. Рассмотрим три высказывания: Все караси – это рыбы; Все треугольники – это геометрические фигуры; Все стулья – это предметы мебели. Несмотря на различное содержание, у этих высказываний есть нечто общее, что-то их объединяющее. Что же это? Их объединяет форма. Отличаясь по содержанию, они сходны по форме, ведь каждое из трех высказываний строится по форме Все А – это В, где А и В – какие-либо объекты. Понятно, что само высказывание Все А – это В лишено всякого содержания. Это высказывание представляет собой чистую форму, которую можно наполнить любым содержанием, например: Все сосны – это деревья; Все города – это населенные пункты; Все школы – это учебные заведения; Все тигры – это хищники и т. п.

Другой пример. Возьмем три различных по содержанию высказывания: Если наступает осень, то опадают листья; Если завтра пройдет дождь, то на улице будут лужи; Если вещество – металл, то оно электропроводно. Будучи непохожими друг на друга по содержанию, эти высказывания сходны между собой тем, что строятся по одной и той же форме: Если А, то В. Понятно, что и к этой форме можно подобрать множество содержательных высказываний, например: Если не подготовиться к контрольной работе, то можно получить двойку; Если взлетная полоса покрыта льдом, то самолеты не смогут взлететь; Если слово стоит в начале предложения, то его надо писать с большой буквы и т. п.

Логика не интересуется содержанием мышления (им занимаются другие науки), она изучает только формы мышления; ее интересует не то, что мы мыслим, а то, как мы мыслим, поэтому она часто называется формальной логикой. Например, если по содержанию высказывание Все комары – это насекомые является нормальным, а высказывание Все Чебурашки – это инопланетяне – абсурдным, то для логики эти два высказывания равноценны, так как она занимается формами мышления, а форма у этих высказываний одна и та же: Все А – это В.

Как видим, форма мышления– это способ выражения мыслей, или схема их построения. Существует три формы мышления: понятие, суждение и умозаключение.

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

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

Умозаключение– это форма мышления, в которой из двух или нескольких исходных суждений (посылок) вытекает новое суждение (вывод).

В логике принято располагать посылки и вывод друг под другом и отделять вывод от посылок (в книге это сделано с помощью знака =>).

Примеры умозаключений:

Все планеты движутся.

Юпитер – это планета.

=> Юпитер движется.

Железо электропроводно.

Медь электропроводна.

Ртуть электропроводна.

Железо, медь, ртуть – металлы.

=> Все металлы электропроводны.

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

Помимо форм мышления логика также занимается законами мышления. Законы мышления– это такие объективные (т. е. сами по себе существующие и не зависящие от наших желаний и предпочтений) принципы или правила мышления, соблюдение которых всегда приводит рассуждение (независимо от его содержания) к истинным выводам при условии истинности исходных суждений. Основных законов мышления (или законов логики) четыре: закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания. Подробно каждый из них будет рассмотрен после изучения форм мышления. Нарушение этих законов приводит к различным логическим ошибкам, как правило, к ложным выводам. Иногда законы логики нарушают непроизвольно, по незнанию, но иногда это делают преднамеренно, с целью запутать собеседника и доказать ему какую-нибудь ложную мысль. Такие преднамеренные нарушения логических законов для внешне правильного доказательства ложных мыслей называются софизмами.

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

Движение вечно.

Хождение в школу – это движение.

=> Хождение в школу вечно.

Ложный вывод получается из-за употребления слова движение в разных значениях: в первом суждении оно употребляется в широком, философском смысле, а во втором – в узком, механическом. Однако найти ошибку в рассуждении не всегда просто. Рассмотрим такой пример:

Все мои друзья знают английский язык.

Нынешний президент Америки знает английский язык.

=> Нынешний президент Америки – мой друг.

Понятно, что в этом рассуждении что-то не так. Но что именно? Тот, кто знаком с логикой, скажет, что в данном случае допущена ошибка, которая называется «нераспределенность среднего термина в простом силлогизме». Пусть вас не пугает это незнакомое и на первый взгляд, сложное выражение: в процессе дальнейшего чтения книги вы убедитесь, что ничего сложного, а тем более непонятного здесь нет.

Или такой пример:

Во всех городах за Полярным кругом бывают белые ночи.

Санкт-Петербург не лежит за Полярным кругом.

=> В Санкт-Петербурге не бывает белых ночей.

Как видим, из двух истинных суждений вытекает ложный вывод. В этом рассуждении тоже есть ошибка. Вряд ли не знакомый с логикой человек сможет сразу же ее найти. А тот, кто владеет логической культурой, немедленно установит причину: «расширение большего термина в простом силлогизме». Не пугайтесь: в скором времени мы узнаем, что это такое.

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

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