Удивительная логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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