Дмитрий Гусев: Краткий курс логики: Искусство правильного мышления

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

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

Если по содержанию высказывание: « Все комары – это насекомые », – является нормальным, а высказывание: « Все Чебурашки – это инопланетяне », – абсурдным, то для логики эти два высказывания равноценны, так как она занимается формами мышления, а форма у этих высказываний одна и та же: «Все A – это B».

Форма мышления– это способ выражения мыслей, или схема их построения.

Существует всего три формы мышления:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Следовательно, хождение в школу вечно.

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

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

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

Следовательно, нынешний президент Америки – мой друг.

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