- •§1. Обращение к читателю. О значении логики для развития мышления и характере предлагаемого пособия
- •§ 2. Категориальные основания логики
- •Часть I. Логика высказываний
- •Глава I. Таблицы истинности
- •§ I. Операции над простыми высказываниями
- •§ 2. Операции над сложными высказываниями.
- •§ 3. Тавтологии. Законы мышления
- •Глава II. Проблема вывода в логике высказываний
- •§ 1. Схемы Хрисиппа
- •§ 2. Условные умозаключения. Дилеммы
- •§3. Энтимемы
- •§ 4. Аксиоматическое построение логики высказываний
- •§ 5. Парадоксы логики высказываний
- •§1. Конъюнктивные высказывания
- •§ 2. Дизъюнктивные высказывания.
- •§3. Импликации.
- •§ 4. Эквивалентные высказывания.
- •§ 5. Общий случай сложных высказываний.
- •§ 6. Отрицание сложных высказываний
- •§ 7. Тавтологии
- •§ 8. Выводы из конъюнктивных высказываний
- •§ 9. Выводы из дизъюнктивных высказываний.
- •§ 10. Разделительно-категорические силлогизмы
- •§ 11. Условно-категорические силлогизмы
- •§ 12. Выводы из суждений эквивалентности.
- •§ 13. Смешанные выводы. Дилеммы
- •§ 14. Энтимемы
- •Часть II. Атрибутивная логика
- •Глава I. Суждение и понятие
- •§ 1 Структура суждений и их деление но качеству
- •§ 2. Понятие, его объем и содержание
- •§3. Виды понятий
- •§ 4. Отношения между понятиями по объему и содержанию
- •§ 5. Закон обратного отношения
- •§ 6. Индивидуальные и абстрактные понятия
- •§ 7. Определение понятий и приемы его заменяющие
- •§ 8. Правила определения понятий
- •§ 9. Деление понятий и его правила
- •§ 10. Деление и расчленение
- •§ 11. Классификация
- •§ 12. Деление суждений по количеству
- •§ 13. Распределенпость терминов в суждении
- •Глава II. Непосредственные умозаключения
- •§ 1. Выводы из понятий
- •§ 2. Превращение
- •§ 3. Логический квадрат
- •§ 4. Обращение
- •§ 5. Противопоставление предикату (контрапозиция)
- •§ 6. Выводы через ограничение
- •Глава III. Категорический силлогизм
- •§ 1. Категорический силлогизм и его структура
- •§ 2. Общие правила категорического силлогизма
- •§ 3. Фигуры категорического силлогизма и их правила
- •§ 4. Энтимемы
- •§ 5. Сложные предикаты в силлогизме. Полисиллогизмы и сориты
- •§ 1. Структура суждений и их деление по качеству
- •§ 2. Понятие, его объем и содержание
- •§ 3. Виды понятий
- •§ 4. Отношения между понятиями
- •§ 5. Определения понятий и приемы их заменяющие.
- •§ 6. Деление и его правила
- •§ 7. Качество и количество простых суждений
- •Глава II. Непосредственные умозаключения
- •§ 1. Выводы из понятий
- •§ 2. Превращения
- •§ 3. Выводы по схеме логического квадрата
- •§ 4. Обращение
- •§ 5. Противопоставление предикату (контрапозиция)
- •§ 6. Выводы через ограничение
- •Глава III. Категорический силлогизм
- •§ 1. Структура категорического силлогизма
- •§ 2. Общие правила силлогизма
- •§ 4. Суждения со сложными предикатами
- •§ 5. Энтимемы
- •§ 6. Сложные силлогизмы и сориты
- •Глава I. Логика отношений
- •§ 2. Свойства отношений и схемы вывода
- •§ 3. Критика логики отношений
- •Глава II. Логика предикатов
- •§ 1. Основные понятия логики предикатов
- •§ 2. Правильно построенные формулы логики предикатов
- •§ 3. Аксиоматика и тавтологии логики предикатов
- •§ 4. Логика предикатов и классическая силлогистика
- •§ 5. Недостатки логики предикатов как средства анализа повседневного мышления
- •Глава III. Язык тернарного описания
- •§ 1. Категориальные основы языка тернарного описания
- •§ 3. Типы правильно построенных формул ято
- •§ 4. Правила и схемы вывода
- •Глава III. Язык тернарного описания
- •Глава I. СущносТb и виды индукции через перечисление
- •§ 1. Дедукция и индукция
- •§ 2. Неполная индукция через перечисления и ее правила
- •§ 3. Достоверная индукция
- •Глава II. Индуктивные методы исследования причинных связен
- •§ 1. Понятие причины. Дедуктивные и индуктивные методы исследования причинных связей
- •§ 2. Методы исследования причинных связей
- •§ 3. Ошибки в определении причинных связей
- •Глава III. Выводы по аналогии
- •§ 1. Определение и основные формы выводов по аналогии
- •§ 2. Условия правомерности различных форм
- •Глава IV. Выводы от утверждения следствия. Обоснование гипотез
- •§1. Полная и неполная индукция
- •§ 2. Условия повышения вероятности вывода
- •§ 3. Методы индуктивного исследования причинных связей
- •§ 4. Выводы по аналогии
- •§ 5. Правила выводов по аналогии
- •§ 6. Выводы от утверждения следствия
- •§ 1. Сущность и строение доказательства. Опровержение
- •§ 2. Правила доказательств и ошибки в них
- •§ 3. Роковые ошибки
- •§ 4. Аргументация и спор
- •§ 1. Сущность и строение доказательств
- •§ 2. Правила доказательства
- •§ 3. Аргументация и спор
- •§ 2. Категориальные основания логики
- •§ 1. Конъюнктивные высказывания
- •§ 2. Дизъюнктивные высказывания
- •§ 3. Импликации
- •§ 4. Эквивалентные высказывания
- •§ 5. Общий случай сложных высказываний
- •§ 6. Отрицание сложных высказываний
- •§ 7. Тавтологии.
- •§ 8. Выводы из конъюнктивных высказываний
- •§ 9. Выводы из дизъюнктивных высказываний
- •§ 10. Разделительно-категорические силлогизмы
- •§ 11. Условно-категорические силлогизмы
- •§ 12. Выводы из суждений эквивалентности
- •§13. Смешанные выводы. Дилеммы
- •§ 14. Энтимемы
- •Глава 1. § 1
- •Глава II
- •Глава III
- •Глава I
- •Глава II
- •Глава III
Глава IV. Выводы от утверждения следствия. Обоснование гипотез
Выше, когда мы рассматривали дедуктивные умозаключения, то категорически запрещали вывод от утверждения следствия к утверждению основания. Такой вывод рассматривался как грубая логическая ошибка. И мы были совершенно правы. Это действительно логическая ошибка, поскольку истинность основания не вытекает из истинности следствия.
Однако не менее грубой логической ошибкой являются и выводы, получаемые с помощью неполной индукции через перечисление. Но мы во многих случаях вынуждены их применять, стараясь компенсировать качественные дефекты умозаключения количеством фактов и применением метода их отбора. То же самое можно сказать и о выводе от утверждения следствия.
Выдвигая ту или иную гипотезу (от греч. hypothesis — основание, предположение), мы можем применять самые различные умозаключения для ее обоснования. В зависимости от типа гипотезы, это может быть и дедуктивное умозаключение, и индукция, и аналогия. Но часто ничего не остается, как нахождение следствий из гипотезы и их проверка. Например, кому-то пришло в голову, что Наполеон не умер своей смертью на острове Святой Елены, а его отравили англичане. Это гипотеза. Ее нельзя вывести дедуктивно из злокозненности англичан. Конечно, англичане, как и немцы, и русские, и другие народы Европы, имели основания не любить Наполеона, но отсюда еще не следует, что они его отравили. Но вот в волосах Наполеона был обнаружен мышьяк. Наличие мышьяка в волосах можно рассматривать как следствие того, что Наполеона отравили мышьяком. И этот факт многими рассматривался как доказательство гипотезы. И все же вывод по схеме условно-категорического силлогизма: “Если Наполеона отравили мышьяком, в его волосах должны быть следы мышьяка. В его волосах есть следы мышьяка. Значит, его отравили” неправомерен, несмотря на всю его убедительность. Эта неправомерность связана с тем, что следствие может найти иное объяснение, не предполагающее истинность гипотезы. Так и случилось. Оказалось, что он жил в комнате, оклеенной обоями, а обои в те времена клеили клеем, содержащим мышьяк.
Ну, а если проверить не одно, а массу, огромное количество следствий, докажет ли это гипотезу? Долгое время казалось, что это действительно так. Но уже в наше время был обнаружен так называемый парадокс подтверждения, о котором мы сейчас расскажем.
Выдвинем совершенно абсурдную гипотезу, например, “Луна сделана из зеленого сыра”. Получим из нее следствие с помощью операции противопоставления предикату (контрапозиции), которую мы разбирали выше, в соответствующем месте, т. е. в разделе о непосредственных умозаключениях. Это следствие имеет вид: “Ничто не сделанное из зеленого сыра не есть Луна”. Правильно ли это? Проверим фактами. Берем оперный театр. Он не сделан из зеленого сыра и не есть Луна. Берем Крым. Он не сделан из зеленого сыра и не есть Луна. Берем логику. Она не сделана из зеленого сыра и не есть Луна. Понятно, что список этих фактов можно продолжать до бесконечности. И все они — следствия нашей гипотезы. Почему же, несмотря на целый монблан фактов, читатель не верит в нашу гипотезу? А если не верит, то что же нам делать с гипотезами?
Надежда все же появится, если мы сведем проблему обоснования гипотезы к проблеме правомерности индуктивного вывода через перечисление. Для этого поставим вопрос: может ли какое-либо утверждение быть ложным, если все следствия этого утверждения являются истинными? Отрицательный ответ на этот вопрос представляется очевидным. Хотя мы получили монблан истинных следствий из заведомо ложного положения, легко вообразить себе и ложные следствия. Например, если бы Луна была сделана из зеленого сыра, космонавт Армстронг мог бы привезти образец этого сыра на Землю. Но он не привез его.
Как можно убедиться в том, что все следствия данного положения истинны? Здесь мы имеем типично индуктивную задачу и можем использовать те правила повышения вероятности вывода по неполной индукции, которые были разобраны выше.
Первое правило — число исследованных объектов должно быть как можно большим. В данном случае речь идет о числе следствий. Мы видели, что это правило само по себе мало что значит. Вспомним короля Сиама, которым имел в своем распоряжении очень много фактов, свидетельствующих о том, что вода зимой не становится твердой. Вся беда в том, что все эти факты однотипны. Они взяты из опыта тропических стран. Наши факты, подтверждающие гипотезу о Луне как зеленом сыре, так же оказались однотипными. Все они имеют одно и то же логическое строение. Нам нужны разнообразные не только в материальном, но и в логическом плане следствия, т. е. необходимо выполнение второго правила индукции. И, наконец, следствия должны быть характерными именно для данной гипотезы. Лучше всего было бы получить такое следствие: попробовали —вкусно! Тогда мы посрамили бы любою скептика, сомневающегося в нашей гипотезе.
ЗАДАЧИ И УПРАЖНЕНИЯ К ЧАСТИ IV