- •Предисловие
- •Глава 1 задачи логики
- •1. Правильное рассуждение
- •2. Логическая форма
- •3. Дедукция и индукция
- •4. Интуитивная логика
- •5. Некоторые схемы правильных рассуждений
- •6. Традиционная и современная логика
- •7. Современная логика и другие науки
- •Глава 2 слова и вещи
- •1. Язык как знаковая система
- •2. Основные функции языка
- •3. Логическая грамматика
- •Глава 3 имена
- •1. Виды имен
- •2. Отношения между именами
- •Равнозначность
- •Пересечение
- •Подчинение
- •Исключение
- •Противоречащие имена Противоположные имена
- •3. Определение
- •4. Деление
- •1. Деление должно вестись только по одному основанию.
- •2. Деление должно быть соразмерным, или исчерпывающим, т.Е. Сумма объемов членов деления должна равняться объему делимого понятия.
- •3. Члены деления должны взаимно исключать друг друга.
- •4. Деление должно быть непрерывным.
- •Глава 4 высказывания
- •1. Простые и сложные высказывания. Отрицание, конъюнкция, дизъюнкция
- •2. Условное высказывание, импликация, эквивалентность
- •3. Описательные и оценочные высказывания
- •4. Модальные высказывания
- •Глава 5 ловушки языка
- •1. Тайная мудрость языка
- •2. Многозначность
- •3. Эгоцентрические слова
- •4. Неточные и неясные имена
- •5. Гипостазирование
- •6. Роли имен
- •Глава 6 о смысле бессмысленного
- •1. Осмысленное и бессмысленное
- •2. Абсурд
- •3. Синтаксические нарушения
- •4. Семантические нарушения
- •5. Крайние случаи бессмысленного
- •6. Туманное и темное
- •Глава 7 логика высказываний
- •1. Логический закон
- •2. Закон противоречия
- •3. Закон исключенного третьего
- •4. Логические законы тождества, двойного отрицания и другие закон тожества
- •Закон двойного отрицания
- •Законы контрапозиции
- •Модус поненс
- •Модус толленс
- •Модус понендо толленс
- •Модус толлендо поненс
- •Законы де моргана
- •Закон приведения к абсурду
- •Закон косвенного доказательства
- •Закон клавия
- •Закон транзитивности
- •Законы ассоциативности и коммутативности
- •Закон дунса скотта
- •5. Логическое следование
- •6. Язык логики предикатов
- •Глава 8 модальная логика
- •1. Логические модальности
- •2. Физические модальности
- •3. Логическое исследование ценностей
- •Глава 9 логика категорических высказываний
- •1. Категорические высказывания
- •2. Логический квадрат
- •3. Категорический силлогизм
- •Глава 10 доказательство и опровержение
- •1. Понятие доказательства и его структура
- •2. Прямое и косвенное доказательство
- •3. Виды косвенных доказательств
- •4. Опровержение
- •5. Ошибки в доказательстве
- •6. Софизмы
- •Глава 11 индуктивные рассуждения
- •1. Индукция как вероятное рассуждение
- •2. Неполная индукция
- •3. Подтверждение следствий
- •4. Полная индукция и математическая индукция
- •5. Методы установления причинных связей
- •Единственное сходство
- •Единственное различие
- •Сходство и различие
- •Сопутствующие изменения
- •Остающаяся часть причины
- •6. Надежность индукции
- •7. Аналогия
- •Аналогия свойств и аналогия отношений
- •Вероятный характер аналогии
- •Понимание по аналогии
- •Типичные ошибки
- •Глава 12 проблема понимания
- •1. Структура понимания
- •2. Сильное понимание
- •3. Понимание поведения
- •4. Понимание природы
- •5. Понимание языковых выражений
- •6. Объяснение
- •Глава 13 аргументация и логика
- •1. Теория аргументации
- •2. Обоснование
- •3. Эмпирическая аргументация
- •4. Факты как примеры и иллюстрации
- •5. Теоретическая аргументация
- •6. Контекстуальная аргументация
- •7. Обоснование и истина
- •8. Аргументация в поддержку оценок
- •Глава 14 спор и его виды
- •1. Корректные и некорректные споры
- •2. Споры об истине и споры о ценностях
- •3. Четыре разновидности споров
- •4. Общие требования к спору
- •5. Победа в споре
- •Вместо заключения
3. Закон исключенного третьего
Закон исключенного третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями. Он утверждает: из двух противоречащих высказываний одно является истинным.
Символически:
A v ~ A,
А или не-А. Например: "Аристотель умер в 322 г. до н.э. или он не умер в этом году", "Личинки мух имеют голову или не имеют ее" и т.п. Само название закона выражает его смысл: дело обстоит так, как говорится в рассматриваемом высказывании, или так, как говорится в его отрицании, и никакой третьей возможности нет.
Как выразил эту мысль Аристотель: "...Не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо что бы то ни было одно либо утверждать, либо отрицать".
Человек говорит прозой или не говорит прозой, кто-то рыдает' или не рыдает, собака выполняет команду или не выполняет ее и т.п. – других вариантов не существует. Мы можем не знать, противоречива некоторая теория или нет, но на основе закона исключенного третьего еще до начала исследования мы вправе заявить: она или непротиворечива или противоречива.
Этот закон с иронией обыгрывается в художественной литературе. Причина иронии понятна: сказать "Нечто есть или его нет", значит, ровным счетом ничего не сказать, и смешно, если кто-то этого не знает.
В "Мещанине во дворянстве" Ж.-Б.Мольера есть такой диалог:
Г-н Журден. ...А теперь я должен открыть вам секрет. Я влюблен в одну великосветскую даму, и мне хотелось бы, чтобы вы помогли написать ей записочку, которую я собираюсь уронить к ее ногам.
Учитель философии. Конечно, вы хотите написать ей стихи?
Г-н Журден. Нет, нет, только не стихи.
Учитель философии. Вы предпочитаете прозу?
Г-н Журден. Нет, я не хочу ни прозы, ни стихов.
Учитель философии. Так нельзя: или то, или другое.
Г-н Журден. Почему?
Учитель философии. По той причине, сударь, что мы можем излагать свои мысли не иначе, как прозой или стихами.
Г-н Журден. Не иначе, как прозой или стихами?
Учитель философии. Не иначе, сударь. Все, что не проза, то стихи, а что не стихи, то проза.
В известной сказке Л.Кэролла Белый Рыцарь намерен спеть Алисе "очень, очень красивую песню":
– Когда я ее пою, все рыдают... или...
– Или что? – спросила Алиса, не понимая, почему Рыцарь вдруг остановился.
– Или... не рыдают...
В другой популярной сказке народный лекарь Богомол заключает после осмотра Буратино:
– Одно из двух: или пациент жив, или он умер. Если он жив – он останется жив или не останется жив. Если он мертв – его можно оживать или нельзя оживить.
Это напоминает ситуацию из старой песенки, в которой тоже используется идея исключительного третьего:
Жила одна старушка, Вязала кружева, И, если не скончалась – Она еще жива.
Закон исключенного третьего кажется самоочевидным. Тем не менее высказывались предложения отказаться от него или ограничить его действие применительно к определенным высказываниям.
В частности, Аристотель сомневался в приложимости этого закона к высказываниям о будущих событиях. В настоящий момент наступление некоторых из них еще не предопределено. Нет причины ни для того, чтобы они произошли, ни для того, чтобы они не случились. "Через сто лет в этот же день будет идти дождь" – это высказывание сейчас, скорее всего, ни истинно, ни ложно. Таким же является его отрицание. Но закон исключенного третьего утверждает, что или само высказывание, или его отрицание истинно. Значит, заключает Аристотель, хотя и без особой уверенности, данный закон следует ограничить одними высказываниями о прошлом и настоящем и не прилагать его к высказываниям о будущем.
Немецкий философ Гегель весьма иронично отзывался как о законе противоречия, так и о законе исключенного третьего. Последний он представлял, в частности, в такой форме: дух является зеленым или не является зеленым, и задавал каверзный, как ему казалось, вопрос: какое из этих двух утверждений истинно?
Ответ на этот вопрос не представляет, однако, труда. Ни одно из двух утверждений: "Дух – зеленый" и "Дух – не зеленый" не является истинным, поскольку оба они бессмысленные. Закон исключенного третьего приложим только к осмысленным высказываниям. Только они могут быть истинными или ложными. Бессмысленное же не истинно и не ложно.
Резкой, но хорошо обоснованной критике подверг закон исключенного третьего голландский математик Л. Брауэр. В начале этого века он опубликовал три статьи, в которых выразил сомнение в неограниченной приложимости законов логики и прежде всего – закона исключенного третьего. Первая статья не превышала трех страниц, вторая – четырех, а вместе они не занимали и семнадцати страниц. Но впечатление, произведенное ими, было чрезвычайно сильным.
Брауэр был убежден, что логические законы не являются абсолютными истинами, не зависящими от того, к чему они прилагаются. Возражая против закона исключенного третьего, он настаивал на том, что кроме утверждения и его отрицания имеется еще третья возможность, которую нельзя исключить. Она обнаруживает себя при рассуждениях о бесконечных множествах объектов.
Допустим, что утверждается существование объекта с определенным свойством. Если множество, в которое входит этот объект, конечно, то можно перебрать все объекты. Это позволит выяснить, какое из следующих двух утверждений истинно: "В данном множестве есть объект с указанным свойством" или же "В этом множестве нет такого объекта". Закон исключенного третьего здесь справедлив.
Но когда множество бесконечно, объекты его невозможно перебрать. Если в процессе перебора будет найден объект с требуемым свойством, первое из указанных утверждений подтвердится. Но если найти этот объект не удастся, ни о первом, ни о втором из утверждений нельзя ничего сказать, поскольку перебор не проведен до конца. Закон исключенного третьего здесь не действует: ни утверждение о существовании объекта с заданным свойством, ни отрицание этого утверждения не является истинным.
Ограничение Брауэром сферы действия этого закона существенно сужало круг тех способов рассуждения, которые применимы в математике. Это сразу же вызвало резкую оппозицию многих математиков, особенно старшего поколения. "Изъять из математики принцип исключенного третьего, – заявлял немецкий математик Д. Гильберт, – все равно, что запретить боксеру пользоваться кулаками.
Критика Брауэром закона исключенного третьего привела к созданию нового направления в логике – так называемой интуиционистской логики. В последней не принимается данный закон и отбрасываются все те способы рассуждения, которые с ним связаны. Среди них – доказательства путем приведения к противоречию, или абсурду.
С законом исключенного третьего косвенно связан следующий методологический принцип: анализ каждого объекта должен вестись до тех пор и быть настолько полным, чтобы относительно любого утверждения об этом объекте можно было решить, истинно оно или нет. Это требование полноты и всесторонности исследования не относится, конечно, к законам логики. Оно полезно, но нередко оказывается невыполнимым. В случае рассуждений о бесконечных и неопределенных совокупностях объектов, об изменяющихся, текущих состояниях и т.п. изучение объекта не всегда способно достичь такой полноты, чтобы на любой вопрос о нем удалось ответить однозначно "да" или "нет".