- •Предисловие
- •Задачи логики
- •1. Правильное рассуждение
- •2. Логическая форма
- •3. Дедукция и индукция
- •4. Интуитивная логика
- •5. Некоторые схемы правильных рассуждений
- •6. Традиционная и современная логика
- •7. Современная логика и другие науки
- •Слова и вещи
- •1. Язык как знаковая система
- •2. Основные функции языка
- •3. Логическая грамматика
- •Имена
- •1. Виды имён
- •2. Отношения между именами
- •3. Определение
- •4. Деление
- •Высказывания
- •2. Условное высказывание, импликация, эквивалентность
- •3. Описательные и оценочные высказывания
- •4. Модальные высказывания
- •Ловушки языка
- •1. Тайная мудрость языка
- •2. Многозначность
- •3. Эгоцентрические слова
- •4. Неточные и неясные имена
- •5. Гипостазирование
- •6. Роли имён
- •Глава 6
- •1. Осмысленное и бессмысленное
- •2. Абсурд
- •3. Синтаксические нарушения
- •4. Семантические нарушения
- •5. Крайние случаи бессмысленного
- •6. Туманное и тёмное
- •Логика высказываний
- •1. Логический закон
- •2. Закон противоречия
- •3. Закон исключённого третьего
- •4. Логические законы тождества, двойного отрицания и другие
- •Закон тожества
- •Закон двойного отрицания
- •ЗАКОНЫ КОНТРАПОЗИЦИИ
- •МОДУС ПОНЕНС
- •Модус толленс
- •Модус понендо толленс
- •Модус толлендо поненс
- •Законы де Моргана
- •Закон приведения к абсурду
- •Закон косвенного доказательства
- •Закон Клавия
- •Закон транзитивности
- •Законы ассоциативности и коммутативности
- •Закон Дунса Скотта
- •5. Логическое следование
- •6. Язык логики предикатов
- •Модальная логика
- •1. Логические модальности
- •2. Физические модальности
- •3. Логическое исследование ценностей
- •Логика категорических высказываний
- •1. Категорические высказывания
- •2. Логический квадрат
- •3. Категорический силлогизм
- •Доказательство и опровержение
- •1. Понятие доказательства и его структура
- •2. Прямое и косвенное доказательство
- •3. Виды косвенных доказательств
- •4. Опровержение
- •5. Ошибки в доказательстве
- •6. Софизмы
- •Индуктивные рассуждения
- •1. Индукция как вероятное рассуждение
- •2. Неполная индукция
- •3. Подтверждение следствий
- •4. Полная индукция и математическая индукция
- •5. Методы установления причинных связей
- •ЕДИНСТВЕННОЕ СХОДСТВО
- •ЕДИНСТВЕННОЕ РАЗЛИЧИЕ
- •СХОДСТВО И РАЗЛИЧИЕ
- •СОПУТСТВУЮЩИЕ ИЗМЕНЕНИЯ
- •ОСТАЮЩАЯСЯ ЧАСТЬ ПРИЧИНЫ
- •6. Надёжность индукции
- •7. Аналогия
- •АНАЛОГИЯ СВОЙСТВ И АНАЛОГИЯ ОТНОШЕНИЙ
- •ВЕРОЯТНЫЙ ХАРАКТЕР АНАЛОГИИ
- •ПОНИМАНИЕ ПО АНАЛОГИИ
- •ТИПИЧНЫЕ ОШИБКИ
- •Проблема понимания
- •1. Структура понимания
- •2. Сильное понимание
- •3. Понимание поведения
- •4. Понимание природы
- •5. Понимание языковых выражений
- •6. Объяснение
- •Аргументация и логика
- •1. Теория аргументации
- •2. Обоснование
- •3. Эмпирическая аргументация
- •4. Факты как примеры и иллюстрации
- •5. Теоретическая аргументация
- •6. Контекстуальная аргументация
- •7. Обоснование и истина
- •8. Аргументация в поддержку оценок
- •Спор и его виды
- •1. Корректные и некорректные споры
- •2. Споры об истине и споры о ценностях
- •3. Четыре разновидности споров
- •4. Общие требования к спору
- •5. Победа в споре
- •Вместо заключения
элементы научного знания.
3.Подтверждение следствий
Внауке, да и не только в ней, непосредственное наблюдение того, о чем говорится в
проверяемом утверждении, редкость.
Наиболее важным и вместе с тем универсальным способом подтверждения является
выведение из обосновываемого положения логических следствий и их последующая опытная
проверка . Подтверждение следствий оценивается при этом как свидетельство в пользу истинностисамого положения.
Вот двапримера такого подтверждения.
Тот, кто ясно мыслит, ясно говорит. Пробным камнем ясного мышления является умение передать свои знания кому-то другому, возможно, далёкому об обсуждаемого
предмета. Если человекобладает таким умением и его речь ясна и убедительна, то это можно считать подтверждениемтого, что его мышление также является ясным.
Известно, что сильно охлаждённый предмет в теплом помещении покрывается капельками росы. Если мы видим, что у человека, вошедшего в дом, тут же запотели очки, мы можем с достаточной уверенностью заключить, что на улице морозно.
В каждом из этихпримеров рассуждение идёт посхеме:
«Из первого вытекает второе; второе истинно; значит, первое также является, по всей
вероятности,истинным».
(Если на улице мороз, у человека, вошедшего в дом, очки запотеют, очки и в самом деле запотели; на улице мороз).
Это – не дедуктивное рассуждение, истинность посылок не гарантирует здесь истинности заключения. Из посылок «если есть первое, то есть второе» и «есть второе» заключение «есть первое» вытекает только с некоторой вероятностью (например, человек, у
которого в теплом помещении запотели очки, мог специально охладить их, скажем, в холодильнике, чтобы затем внушить нам, будто на улице сильный мороз).
Выведение следствий и их подтверждение, взятое сам по себе, никогда не в состоянии установить справедливость обосновываемого положения. Подтверждение следствия только повышает вероятность последнего. Но ясно, что далеко не безразлично, является выдвинутое
положениемаловероятным или же оно высоко правдоподобно.
Чем большее число следствий нашло подтверждение, тем выше вероятность
проверяемого утверждения. Отсюда – рекомендация выводить из выдвигаемых и требующих надёжного фундамента положений как можно больше логических следствий с целью их проверки .
Значение имеет не только количество следствий, но и их характер. Чем более неожиданные следствия какого-то положения получают подтверждение, тем более
сильный аргумент они дают в его поддержку. И наоборот, чем более ожидаемо в свете уже получившихподтверждение следствий новое следствие, тем меньше его вклад в обоснование проверяемого положения.
Общая теория относительности А.Эйнштейна предсказала своеобразный и неожиданный эффект:не только планеты вращаются вокруг Солнца, но и эллипсы, которые
они описывают, должны очень медленно вращаться относительно солнца. Это вращение тем больше, чем ближе планета к Солнцу. Для всех планет, кроме Меркурия, оно настолько мало, что не может быть уловлено. Эллипс Меркурия, ближайшей к Солнцу планеты,
осуществляет полное вращение в 3 млн. лет, что удаётся обнаружить. И вращение этого эллипса действительно было открыто астрономами, причём задолго до Эйнштейна. Никакого
объяснения такому вращению не находилось. Теория относительности не опиралась при своей формулировке на данные об орбите Меркурия. Поэтому когда из её гравитационных уравнений было выведено оказавшееся верным заключение о вращении эллипса Меркурия,
это справедливо было расценено как важное свидетельство в пользу теории относительности.
Подтверждение неожиданных предсказаний, сделанных на основе какого-то
положения,существенно повышает его правдоподобность.
Неожиданное предсказание – это предсказание, связанное с риском , что оно не
подтвердится. Чем более рискованно предсказание, выдвигаемое на основе какой-то теории, тем больший вклад в её обоснованиевноситподтверждениеэтого предсказания.
Типичным примером здесь может служить предсказание теории гравитации
Эйнштейна, что тяжёлые массы (такие, как Солнце) должны притягивать свет точно так же, какони притягивают материальные тела. Вычисления, произведённые на основе этой теории,
показывали, что свет далёкой фиксированной звезды, видимой вблизи Солнца, достиг бы Земли по такому направлению, что звезда казалась бы смещённой в сторону от Солнца, иначе говоря, наблюдаемое положение звезды было бы сдвинуто в сторону от Солнца по
сравнению с реальным положением. Этот эффект нельзя наблюдать в обычных условиях, посколькублизкие кСолнцузвезды совершенно теряются в его лучах. Ихможно
сфотографировать только во время затмения. Если затем те же самые звезды сфотографировать ночью, то можно измерить различия в их положении на обеих фотографиях и таким образом подтвердить предсказанный эффект. Экспедиция Эддингтона
отправилась в Южное полушарие, где можно было наблюдать очередное солнечное затмение, и подтвердила, что звезды действительно меняют своё положение на фотографиях,
сделанных днём и ночью. Это оказалось одним из наиболее важных свидетельств в пользу эйнштейновской теориигравитации.
Как бы ни было велико число подтверждающихся следствий и, какими бы
неожиданными, интересными или важными они ни оказались, положение, из которого они выведены, все равно остаётся только вероятным. Никакие подтвердившиеся следствия не
способны сделать его истинным. Даже самое простое утверждение в принципе не может быть доказано на основеодного подтверждениявытекающих из него следствий.
Это – центральный пункт всех рассуждений об эмпирическом подтверждении.
Непосредственное наблюдение того, о чем говорится в утверждении, даёт уверенность в истинности последнего. Но область применения такого наблюдения является ограниченной.
Подтверждение следствий – универсальный приём, применимый ко всем утверждениям. Однако приём индуктивный, только повышающий правдоподобие утверждения, но не делающий его достоверным.
4. Полная индукция и математическая индукция
Наряду с неполной индукцией принято выделять в качестве особого вида индуктивного умозаключения полную индукцию.
Её схема:
Следовательно, каждое A есть В .
Здесь в посылках о каждом из предметов, входящих в рассматриваемое множество, утверждается, что он имеет определённое свойство. В заключении говорится, что все
предметы данного множестваобладают этимсвойством.
К примеру, учитель, читая список учеников какого-то класса, убеждается, что названные им ученики присутствуют. На этом основании учитель делает вывод, что
присутствуют все ученики.
В полной индукции заключение с необходимостью , а не с некоторой вероятностью
вытекает из посылок. Эта «индукция» является, таким образом, разновидностью дедуктивного умозаключения , хотя по внешней форме, по ходу мысли напоминает неполную индукцию.