- •Александр Ивин Логика Предисловие
- •Глава 1 Задачи логики
- •1. Правильное рассуждение
- •2. Логическая форма
- •3. Дедукция и индукция
- •4. Интуитивная логика
- •5. Некоторые схемы правильных рассуждений
- •6. Традиционная и современная логика
- •7. Современная логика и другие науки
- •Глава 2 Слова и вещи
- •1. Язык как знаковая система
- •2. Основные функции языка
- •3. Логическая грамматика
- •Глава 3 Имена
- •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. Подтверждение следствий
В науке, да и не только в ней, непосредственное наблюдение того, о чем говорится в проверяемом утверждении, редкость.
Наиболее важным и вместе с тем универсальным способом подтверждения является выведение из обосновываемого положения логических следствий и их последующая опытная проверка. Подтверждение следствий оценивается при этом как свидетельство в пользу истинности самого положения.
Вот два примера такого подтверждения.
Тот, кто ясно мыслит, ясно говорит. Пробным камнем ясного мышления является умение передать свои знания кому-то другому, возможно, далёкому об обсуждаемого предмета. Если человек обладает таким умением и его речь ясна и убедительна, то это можно считать подтверждением того, что его мышление также является ясным.
Известно, что сильно охлаждённый предмет в теплом помещении покрывается капельками росы. Если мы видим, что у человека, вошедшего в дом, тут же запотели очки, мы можем с достаточной уверенностью заключить, что на улице морозно.
В каждом из этих примеров рассуждение идёт по схеме:
«Из первого вытекает второе; второе истинно; значит, первое также является, по всей вероятности, истинным».
(Если на улице мороз, у человека, вошедшего в дом, очки запотеют, очки и в самом деле запотели; на улице мороз).
Это – не дедуктивное рассуждение, истинность посылок не гарантирует здесь истинности заключения. Из посылок «если есть первое, то есть второе» и «есть второе» заключение «есть первое» вытекает только с некоторой вероятностью (например, человек, у которого в теплом помещении запотели очки, мог специально охладить их, скажем, в холодильнике, чтобы затем внушить нам, будто на улице сильный мороз).
Выведение следствий и их подтверждение, взятое сам по себе, никогда не в состоянии установить справедливость обосновываемого положения. Подтверждение следствия только повышает вероятность последнего. Но ясно, что далеко не безразлично, является выдвинутое положение маловероятным или же оно высоко правдоподобно.
Чем большее число следствий нашло подтверждение, тем выше вероятность проверяемого утверждения. Отсюда – рекомендация выводить из выдвигаемых и требующих надёжного фундамента положений как можно больше логических следствий с целью их проверки.
Значение имеет не только количество следствий, но и их характер. Чем более неожиданные следствиякакого-то положения получают подтверждение, тем более сильный аргумент они дают в его поддержку. И наоборот, чем более ожидаемо в свете уже получивших подтверждение следствий новое следствие, тем меньше его вклад в обоснование проверяемого положения.
Общая теория относительности А.Эйнштейна предсказала своеобразный и неожиданный эффект: не только планеты вращаются вокруг Солнца, но и эллипсы, которые они описывают, должны очень медленно вращаться относительно солнца. Это вращение тем больше, чем ближе планета к Солнцу. Для всех планет, кроме Меркурия, оно настолько мало, что не может быть уловлено. Эллипс Меркурия, ближайшей к Солнцу планеты, осуществляет полное вращение в 3 млн. лет, что удаётся обнаружить. И вращение этого эллипса действительно было открыто астрономами, причём задолго до Эйнштейна. Никакого объяснения такому вращению не находилось. Теория относительности не опиралась при своей формулировке на данные об орбите Меркурия. Поэтому когда из её гравитационных уравнений было выведено оказавшееся верным заключение о вращении эллипса Меркурия, это справедливо было расценено как важное свидетельство в пользу теории относительности.
Подтверждение неожиданных предсказаний, сделанных на основе какого-то положения, существенно повышает его правдоподобность.
Неожиданное предсказание – это предсказание, связанное с риском, что оно не подтвердится. Чем более рискованно предсказание, выдвигаемое на основе какой-то теории, тем больший вклад в её обоснование вносит подтверждение этого предсказания.
Типичным примером здесь может служить предсказание теории гравитации Эйнштейна, что тяжёлые массы (такие, как Солнце) должны притягивать свет точно так же, как они притягивают материальные тела. Вычисления, произведённые на основе этой теории, показывали, что свет далёкой фиксированной звезды, видимой вблизи Солнца, достиг бы Земли по такому направлению, что звезда казалась бы смещённой в сторону от Солнца, иначе говоря, наблюдаемое положение звезды было бы сдвинуто в сторону от Солнца по сравнению с реальным положением. Этот эффект нельзя наблюдать в обычных условиях, поскольку близкие к Солнцу звезды совершенно теряются в его лучах. Их можно сфотографировать только во время затмения. Если затем те же самые звезды сфотографировать ночью, то можно измерить различия в их положении на обеих фотографиях и таким образом подтвердить предсказанный эффект. Экспедиция Эддингтона отправилась в Южное полушарие, где можно было наблюдать очередное солнечное затмение, и подтвердила, что звезды действительно меняют своё положение на фотографиях, сделанных днём и ночью. Это оказалось одним из наиболее важных свидетельств в пользу эйнштейновской теории гравитации.
Как бы ни было велико число подтверждающихся следствий и, какими бы неожиданными, интересными или важными они ни оказались, положение, из которого они выведены, все равно остаётся только вероятным. Никакие подтвердившиеся следствия не способны сделать его истинным. Даже самое простое утверждение в принципе не может быть доказано на основе одного подтверждения вытекающих из него следствий.
Это – центральный пункт всех рассуждений об эмпирическом подтверждении. Непосредственное наблюдение того, о чем говорится в утверждении, даёт уверенность в истинности последнего. Но область применения такого наблюдения является ограниченной. Подтверждение следствий – универсальный приём, применимый ко всем утверждениям. Однако приём индуктивный, только повышающий правдоподобие утверждения, но не делающий его достоверным.