- •Моррис Коэн, Эрнест Нагель Введение в логику и научный метод Уважаемый читатель!
- •Об авторах Моррис Рафаэль коэн
- •Эрнест Нагель
- •Предисловие переводчика Общая характеристика книги
- •Специфика книги как учебника по логике
- •Особенности книги как произведения по философии науки
- •Специфическая природа научной теории
- •Научный реализм и критика псевдонаучной методологии
- •Издержки времени
- •Некоторые сложности перевода
- •Предисловие
- •Глава I. Предмет логики § 1. Логика и совокупность оснований
- •§ 2. Окончательное основание, или доказательство
- •§ 3. Природа логической импликации
- •Логическая импликация не зависит от истинности наших посылок
- •Логическая импликация является формальной
- •Логическая импликация как детерминация
- •§ 4. Частичное основание, или правдоподобное умозаключение
- •Обобщение, или индукция
- •Презумпция факта
- •§ 5. С чем имеет дело логика: словами, мыслями или объектами? Логика и лингвистика
- •Логика и психология
- •Логика и физика
- •Логика и метафизика знания
- •§ 6. Применение логики
- •Книга I. Формальная логика Глава II. Анализ суждений § 1. Что такое суждение?
- •§ 2. Традиционный анализ суждений Термины. Их содержание и объем
- •Форма категорических суждений
- •Количество
- •Качество
- •Исключительные и исключающие суждения
- •Распределенность терминов
- •Изображение в схемах
- •Экзистенциальная нагруженность категорических суждений
- •§ 3. Сложные, простые и родовые общие суждения
- •Сложные суждения
- •Простые суждения
- •Родовые общие суждения
- •Глава III. Отношения между суждениями § 1. Возможные логические отношения между суждениями
- •§ 2. Независимые суждения
- •§ 3. Эквивалентные суждения
- •Обращение (конверсия)
- •Превращение (обверсия)
- •Противопоставление предикату (контрапозиция)
- •Превращенное конверсное суждение
- •Инверсия
- •Умозаключение посредством обратного отношения
- •§ 4. Традиционный квадрат противопоставлений
- •§ 5. Противопоставление различных видов суждений
- •Контрадикторное противопоставление сложных суждений
- •Контрарное противопоставление
- •Субконтрарное противопоставление
- •Суперимпликация
- •Отношение субъимпликации, или конверсного подчиненного суждения
- •Глава IV. Категорический силлогизм § 1. Определение категорического силлогизма
- •§ 2. Энтимема
- •§ 3. Правила, или аксиомы, обоснованности
- •Аксиомы количества
- •Аксиомы качества
- •§ 4. Общие теоремы силлогизма
- •§ 5. Фигуры и модусы силлогизма
- •§ 6. Специальные теоремы и правильные модусы первой фигуры
- •§ 7. Специальные теоремы и правильные модусы второй фигуры
- •§ 8. Специальные теоремы и правильные модусы третьей фигуры
- •§ 9. Специальные теоремы и правильные модусы для четвертой фигуры
- •§ 10. Сведение силлогизмов
- •Опосредованное сведение
- •§ 11. Антилогизм, или несовместимая триада
- •Структура антилогизма
- •§ 12. Сорит
- •Глава V. Условные, разделительные и строго разделительные силлогизмы § 1. Условный силлогизм
- •§ 2. Разделительный силлогизм
- •§ 3. Строго разделительный силлогизм
- •§ 4. Сведение смешанных силлогизмов
- •§ 5. Чистый условный и разделительный силлогизмы
- •§ 6. Дилемма
- •Как не попасть на «рога» дилеммы
- •Как взять дилемму за «рога»
- •Опровержение дилеммы
- •Глава VI. Обобщенная, или математическая, логика § 1. Логика как наука о типах порядка
- •§ 2. Формальные свойства отношений
- •Симметрия
- •Транзитивность
- •Соотношение
- •Связность
- •§ 3. Логические свойства отношений в умозаключениях
- •§ 4. Символы: их функция и ценность
- •Лингвистические изменения
- •Ценность специальных символов
- •§ 5. Исчисление классов
- •Операции и отношения
- •§ 6. Исчисление суждений
- •Глава VII. Природа логической, или математической, системы § 1. Функция аксиом
- •§ 2. Чистая математика. Иллюстрация
- •§ 3. Структурная тождественность, или изоморфизм
- •§ 4. Эквивалентность наборов аксиом
- •§ 5. Независимость и непротиворечивость аксиом
- •§ 6. Математическая индукция
- •§ 7. Роль обобщения в математике
- •Глава VIII. Вероятностный вывод § 1. Природа вероятностного вывода
- •§ 2. Математика, или исчисление, вероятности
- •Вероятность совместного появления событий
- •Вероятность одного из взаимоисключающих событий
- •§ 3. Интерпретация вероятности
- •Вероятность как мера верования
- •Вероятность как относительная частота
- •Вероятность как частота истинности типов аргументов
- •Глава IX. Некоторые проблемы логики § 1. Парадокс умозаключения
- •§ 2. Представляет ли силлогизм petitio principii? [51]
- •§ 3. Законы мышления
- •Критика трех «законов»
- •§ 4. Базис логических принципов в природе вещей
- •Книга II. Прикладная логика и научный метод Глава X. Логика и метод науки
- •Метод упорства
- •Метод авторитета
- •Метод интуиции
- •Метод науки, или критического исследования
- •Глава XI. Гипотезы и научный метод
- •§ 1. Причины и функции исследования
- •§ 2. Формулировка релевантной гипотезы
- •§ 3. Дедуктивное развитие гипотез
- •§ 4. Формальные условия для гипотез
- •§ 5. Факты, гипотезы и решающие эксперименты Наблюдение
- •Решающие эксперименты
- •§ 6. Роль аналогии в формировании гипотез
- •Глава XII. Классификация и определение § 1. Значимость классификации
- •§ 2. Цель и природа определения
- •Определение по объему
- •Психологические мотивы для определений
- •Логическая цель определений
- •§ 3. Предикабилии
- •Определение
- •Видовое отличие
- •Привходящее
- •§ 4. Правила для определений
- •§ 5. Деление и классификация
- •Глава XIII. Методы экспериментального исследования § 1. Типы неизменных отношений
- •§ 2. Общее рассмотрение экспериментальных методов
- •§ 3. Метод единственного сходства Метод единственного сходства как принцип научного открытия
- •Метод единственного сходства как принцип доказательства
- •Ценность метода единственного сходства
- •§ 4. Метод единственного различия Метод единственного различия как принцип научного открытия
- •Метод единственного различия как принцип доказательства
- •Ценность метода единственного различия
- •§ 5. Соединенный метод единственного сходства и единственного различия
- •§ 6. Метод сопутствующего изменения
- •Принцип сопутствующего изменения как метод открытия
- •Метод сопутствующего изменения как принцип доказательства
- •Ценность метода сопутствующего изменения
- •§ 7. Метод остатков
- •§ 8. Обобщающее изложение ценности экспериментальных методов
- •§ 9. Учение об единообразии природы
- •§ 10. Множественность причин
- •Глава XIV. Вероятность и индукция § 1. Что такое индуктивное рассуждение?
- •§ 2. Роль подходящих образцов в индукции
- •§ 3. Механизм отбора подходящих образцов
- •§ 4. Рассуждение по аналогии
- •Глава XV. Измерение § 1. Цель измерения
- •§ 2. Природа счета
- •§ 3. Измерение интенсивных качеств
- •§ 4. Измерение экстенсивных качеств
- •§ 5. Формальные условия измерения
- •§ 6. Количественные законы и производное измерение
- •Глава XVI. Статистические методы § 1. Потребность в статистических методах
- •§ 2. Статистическое среднее
- •Среднее арифметическое
- •Среднее взвешенное
- •Медиана
- •§ 3. Виды измерения дисперсии
- •Среднее отклонение
- •Стандартное отклонение
- •§ 4. Измерение корреляции
- •§ 5. Опасности и ошибки при использовании статистических методов
- •Глава XVII. Вероятностный вывод в истории и смежных исследованиях § 1. Используется ли научный метод в истории?
- •§ 2. Аутентичность исторических данных
- •§ 3. Установление значения исторических данных
- •§ 4. Установление доказательной ценности исторических свидетельств
- •§ 5. Систематические теории, или объяснения, в истории
- •§ 6. Компаративный метод
- •§ 7. Взвешивание оснований в суде
- •Глава XVIII. Логика и критическая оценка § 1. Находятся ли оценки за пределами логики?
- •§ 2. Моральные суждения в истории
- •§ 3. Логика критических суждений об искусстве
- •§ 4. Логика моральных и практических суждений
- •Экзистенциальный элемент в моральной оценке.
- •Функция логической формы при критической оценке
- •§ 5. Логика вымысла
- •Глава XIX. Ошибки § 1. Логические ошибки
- •A. Формальные ошибки
- •B. Полулогические, или вербальные, ошибки
- •С. Материальные ошибки
- •§ 2. Софистические опровержения
- •§ 3. Злоупотребления научным методом
- •Ошибки редукции
- •Ошибка упрощения, или псевдо-упрощенность
- •Генетическая ошибка
- •Глава XX. Заключение § 1. Что такое научный метод?
- •Факты и научный метод
- •Гипотезы и научный метод
- •Основания и научный метод
- •Система в идеале науки
- •Самокорректирующая природа научного метода
- •Абстрактная природа научных теорий
- •Типы научных теорий
- •§ 2. Пределы и ценность научного метода
- •Приложение [120] Примеры доказательства § 1. Что устанавливает доказательство?
- •§ 2. Некоторые ошибочные доказательства
- •Упражнения Глава I. Предмет логики
- •Глава II. Анализ суждений
- •Глава III. Отношения между суждениями
- •Глава IV. Категорический силлогизм
- •26. Докажите специальные правила приведенных соритов:
- •Глава V. Условные, разделительные и строго разделительные силлогизмы
- •Глава VI. Обобщенная или математическая логика
- •Глава VII. Природа логической или математической системы
- •11. Докажите с помощью математической индукции:
- •Глава VIII. Вероятностный вывод
- •Глава IX. Некоторые проблемы логики
- •Глава X. Логика и метод науки
- •Глава XI. Гипотезы и научный метод
- •Глава XII. Классификация и определение
- •Глава XIII. Методы экспериментального исследования
- •Глава XIV. Вероятность и индукция
- •Глава XV. Измерение
- •2. Если изменять давление, температуру и объем для «идеальных» газов, то нижеприведенное отношение будет сохраняться:
- •Глава XVI. Статистические методы
- •6. Ниже приведены данные о смертности от туберкулеза в Ричмонде, штат Виргиния, и в городе Нью-Йорке за 1910 год:
- •Глава XVII. Вероятностный вывод в истории и смежных исследованиях
- •2. «Французские буквы, подобно еврейскому число‑изображению, по которому первыми десятью буквами означаются единицы, а прочими десятки, имеют следующее значение:
- •Глава XVIII. Логика и критическая оценка
- •Глава XIX. Ошибки
- •Глава XX. Заключение
- •Указатель
- •Книги издательства «Социум»
- •Примечания
С. Материальные ошибки
В обыденном употреблении любой аргумент, который приводит к ложному заключению, считается ошибочным или «содержащим в каком-то месте какую-то ошибку». Если мы будем твердо придерживаться позиции, согласно которой логика не тождественна всему знанию и не может гарантировать материальной истинности всех заключений, то мы не сможем согласиться с тем, что логика сама по себе может сказать, какие заключения на самом деле являются ложными. И если заключение на самом деле ложно, то рассуждение, приведшее к нему и содержащее ложную посылку, может быть вполне правильным. Из этого, таким образом, следует, что к логике относятся только ошибки в рассуждении. Поэтому мы не можем непротиворечиво говорить о ложных допущениях или ложных наблюдениях как о логических ошибках. Однако при этом нам, разумеется, не удастся доказать материальную истинность суждения, которое мы выведем из ложной посылки. Мы можем говорить о материальных ошибках для указания на ложные посылки или иллюзию доказательства. Является ли событие А, которое следует за событием В, причинно обусловленным посредством этого В – вопрос факта, а не только логики. Однако допущение о том, что все, что следует за некоторым событием, является его следствием (post hoc ergo propter hoc [115] ), ложно, и все аргументы, основанные на этом допущении, не доказывают того, что они призваны доказать. Сходным образом ошибочно утверждать доказанность суждения, если оно в более или менее скрытой форме было привнесено в наши посылки. (Данная ошибка называется «принятием спорного вопроса в качестве решенного», или «petitio principii» [116] .) Полагать некоторый вопрос в качестве посылки не значит доказать его.
1. Отдельная форма данной ошибки называется рассуждением по кругу. Она заключается во введении в наши посылки суждения, которое само зависит от доказываемого суждения. Так, рассуждением по кругу будет попытка доказать непогрешимость Корана с помощью суждения о том, что он был написан пророком Бога (Магометом), если истинность того, что Магомет был пророком Бога, зависит от авторитета Корана. В некотором смысле круговой является вся наука, т. к. все доказательства основываются на допущениях, которые не выводятся из других доказательств, а обосновываются с помощью набора следствий, которые из них выводятся. Так, мы исправляем наши наблюдения и исключаем из них ошибки, апеллируя к некоторым принципам, однако сами эти принципы обоснованы только потому, что они согласуются с данными экспериментов. Иными словами, наука не может базироваться исключительно на принципах. Также она не может покоиться и на экспериментальных наблюдениях, рассматриваемых в качестве равных и независимых. Принципы и экспериментальные наблюдения контролируют друг друга. При этом существует разница между кругом, состоящим из небольшого числа суждений, который мы можем избежать, отрицая все эти суждения или соответствующим образом выстраивая противоречащие им суждения, и кругом теоретической науки и человеческим наблюдением, который является столь обширным, что мы не можем предложить ему никакой альтернативы.
2. Ошибка ложного вопроса также называется ошибкой многочисленных вопросов. Вопрос, как вопрошающая, а не передающая информацию реплика не является суждением и поэтому не может быть истинным или ложным. Однако мы видели, что значение вопроса зависит от входящих в него допущений. Так, вопрос о том, почему мальчики больше похожи на своих дядей по материнской линии, чем по отцовской, предполагает то, что такой факт имеет место. Вопрос о том, почему Исав был не прав, продав свое первородство, предполагает, что Исав это сделал. Мы иногда злоупотребляем этим обстоятельством и привносим в наши вопросы ложные суждения, а затем с их помощью доказываем другие суждения. Когда мы осознаем ложность суждения в вопросе, мы начинаем видеть и иллюзорность подобных доказательств, равно как и отсутствие в них доказательной силы. Однако во время перекрестного допроса в суде адвокаты нередко запутывают свидетелей и принуждают их к признанию и, тем самым, к доказательству (перед присяжными) ложного суждения, делая его частью своего вопроса; в таком случае как утвердительный, так и отрицательный ответ на их вопрос будет имплицировать принятие факта, который свидетель не принял бы, если бы его спросили о нем напрямую.
3. Ошибка аргумента ad hominem [117] является древней, но, тем не менее, распространенной ошибкой, направленной на отрицание логической силы аргумента (и якобы на доказательство противоположного тезиса). Заключается она в оскорблении того, кто выдвигает аргумент. Так, тот факт, что человек является богатым или бедным, женатым или холостым, молодым или старым, часто используется в качестве аргумента, нацеленного на опровержение истинности утверждаемого им суждения или для усиления противоположного утверждения. Данный аргумент в последнее время получил широкое распространение в популярном психоанализе. Какой угодно аргумент может быть опровергнут с помощью выработки определенного неблагоприятного психогенетического описания того, как и почему сторонник данного аргумента пришел к тому, чтобы его отстаивать. Так, осуществлялись попытки опровергнуть некоторые из аргументов Спинозы о природе субстанции или об отношении индивидуальных модусов к этой субстанции на том основании, что Спиноза являлся человеком, отделившимся от своего народа, жившим в одиночестве, по своему складу был интеллектуалом и т. д. Действительно, определенные мотивы могут ослабить нашу компетентность и нашу готовность усматривать определенные факты или предлагать справедливое их описание. Поэтому существование таких мотивов, если оно может быть доказано для конкретного случая, релевантно для определения правдивости свидетеля, когда он дает показания о том, что он сам наблюдал. Однако индивидуальные мотивы писателя совершенно нерелевантны при детерминации логической силы его аргумента, т. е. при установлении того, являются ли определенные посылки достаточными для доказательства некоторого заключения. Если посылки достаточны, то они являются таковыми независимо от того, кто выдвигает аргумент. Личная история Гаусса совершенно нерелевантна при рассмотрении вопроса об адекватности его доказательства того, что каждое уравнение имеет корень; точно так же неадекватность теории Галилея о приливах и отливах никак не зависит от личных мотивов, приведших его к выдвижению этой теории. Основания для физической теории лежат в релевантных физических фактах, а не в личных мотивах, заставивших соответствующих ученых исследовать данные вопросы.
