Другой пример: возьмём три различных по содержанию высказывания: «Если наступает осень, то опадают листья», «Если завтра пройдёт дождь, то на улице будут лужи», «Если вещество – металл, то оно электропроводно». Будучи непохожими друг на друга по содержанию, эти высказывания сходны между собой тем, что строятся по одной и той же форме: «Если A, то B». Понятно, что к этой форме можно подобрать огромное количество различных содержательных высказываний, например: «Если не подготовиться к контрольной работе, то можно получить двойку», «Если взлётная полоса покрыта льдом, то самолёты не могут взлетать», «Если слово стоит в начале предложения, то его надо писать с большой буквы».
Логика не интересуется содержанием мышления (им занимаются другие науки), она изучает только формы мышления; её интересует не то, что мы мыслим, а то, как мы мыслим, поэтому она часто называется формальной логикой. Аристотелевскую (формальную) логику также часто называют традиционной.
Если по содержанию высказывание: «Все комары – это насекомые», – является нормальным, а высказывание: «Все Чебурашки – это инопланетяне», – абсурдным, то для логики эти два высказывания равноценны, так как она занимается формами мышления, а форма у этих высказываний одна и та же: «Все A – это B».
Форма мышления – это способ выражения мыслей, или схема их построения.
Существует всего три формы мышления:
1. Понятие – это форма мышления, которая обозначает какой-либо объект или признак объекта. Примеры понятий: карандаш, растение, небесное тело, химический элемент, мужество, глупость, нерадивость.
2. Суждение – это форма мышления, которая состоит из понятий, связанных между собой, и что-либо утверждает или отрицает. Примеры суждений: «Все планеты являются небесными телами», «Некоторые школьники – это двоечники», «Все треугольники не являются квадратами».
3. Умозаключение – это форма мышления, в которой из двух или нескольких исходных суждений (посылок) вытекает новое суждение (вывод).
В логике принято располагать посылки и вывод друг под другом и отделять посылки от вывода чертой.
Примеры умозаключений:
Все планеты движутся.
Юпитер – это планета.
Юпитер движется.
Железо электропроводно.
Медь электропроводна.
Ртуть электропроводна.
Железо, медь, ртуть – это металлы.
Все металлы электропроводны.
Весь бесконечный мир наших мыслей выражается в понятиях, суждениях и умозаключениях. Об этих трёх формах мышления будет подробно рассказано на страницах книги.
Помимо форм мышления логика также занимается законами мышления. Законы мышления – объективные принципы или правила мышления, соблюдение которых всегда приводит рассуждение (независимо от его содержания) к истинным выводам при условии истинности исходных суждений.
Основных законов мышления (или законов логики) четыре. Здесь они будут только перечислены: это законы: тождества; противоречия; исключённого третьего; достаточного основания. Подробно каждый из них будет рассмотрен после изучения форм мышления. Нарушение этих законов приводит к различным логическим ошибкам, как правило, к ложным выводам. Иногда законы логики нарушают непроизвольно, по незнанию, но иногда это делают преднамеренно, с целью запутать собеседника и доказать ему какую-нибудь ложную мысль. Такие преднамеренные нарушения логических законов для внешне правильного доказательства ложных мыслей называются софизмами.
Одного здравого смысла и жизненного опыта часто бывает достаточно для решения каких-либо задач. Например, любой человек, не знакомый с логикой, сможет найти подвох в следующем рассуждении:
Движение вечно.
Хождение в школу – это движение.
Следовательно, хождение в школу вечно.
Ложный вывод получается из-за употребления слова «движение» в разных значениях: в первом суждении оно употребляется в широком, философском смысле, а во втором – в узком, механическом. Однако найти ошибку в рассуждении не всегда просто. Рассмотрим такой пример:
Все мои друзья знают английский язык.
Нынешний президент Америки тоже знает английский язык.
Следовательно, нынешний президент Америки – мой друг.