- •Моррис Коэн, Эрнест Нагель Введение в логику и научный метод Уважаемый читатель!
- •Об авторах Моррис Рафаэль коэн
- •Эрнест Нагель
- •Предисловие переводчика Общая характеристика книги
- •Специфика книги как учебника по логике
- •Особенности книги как произведения по философии науки
- •Специфическая природа научной теории
- •Научный реализм и критика псевдонаучной методологии
- •Издержки времени
- •Некоторые сложности перевода
- •Предисловие
- •Глава 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. Заключение
- •Указатель
- •Книги издательства «Социум»
- •Примечания
§ 10. Множественность причин
Иногда утверждается, что метод единственного сходства часто оказывается ошибочным, поскольку мы не можем быть уверенными в том, что исследуемое нами следствие имеет только одну причину. Именно поэтому Милль считал метод единственного различия основным экспериментальным методом. Учение о множественности причин формулируется им следующим образом: «Неверно, что… одно следствие должно быть связано только с одной причиной или одним набором условий; оно может одинаково согласованно следовать из нескольких антецедентов или наборов антецедентов. Многие причины могут порождать механическое движение, многие причины могут порождать различные виды ощущений, многие причины могут порождать смерть. Следствие может порождаться определенной причиной, однако оно точно так же может иногда порождаться и без нее» [88] .
Данному учению можно придать логическую форму. Иллюстрацией учения о множественности причин может служить заблуждение относительно утверждения консеквента в смешанных условных силлогизмах. Так, когда нам дано условное суждение «если число, выраженное в десятеричной системе счисления, оканчивается на 5, то оно делится на 5», мы не можем из него обоснованно вывести, что некоторое число оканчивается на 5, потому что оно делится на 5; делящееся на 5 число может оканчиваться и нулем. Поэтому создается впечатление, что миллевское учение о множественности причин верно и что его можно выразить в более общей форме в чисто логических терминах.
Рассмотрим для начала это учение в менее общей форме, т. е. так, как оно сформулировано у Милля. Предположим, сгорает дом. В чем причина этого события? Может быть, дом был уничтожен вследствие перевернувшейся керосиновой лампы? Или в силу неисправности электропроводки? Или из-за испорченного камина? У читателя может возникнуть желание сказать, что такая множественность является лишь кажущейся. «Если все предполагаемые причины пожара внимательным образом расследовать, – может возразить читатель, – то можно будет отыскать фактор, общий для всех из них. Например, таким общим фактором может быть наличие быстрого окисления в одной из частей дома, и тогда эта общая черта многих предполагаемых причин и будет единственной причиной указанного события».
Данный анализ не является вполне удовлетворительным. Если бы читатель расследовал причины пожара, будучи представителем страховой компании, и представил бы подобное заключение, то после этого он вряд ли надолго бы задержался на своей должности. «Наличие быстрого окисления, – заявила бы компания, – является причиной всех пожаров. Ваша задача заключалась не в отыскании наиболее общего условия возникновения пожара, поскольку об этом все знали изначально, а в том, чтобы найти конкретные условия, в силу которых произошел этот конкретный пожар».
Подобный ответ страховой компании не только демонстрирует неадекватность одного из методов критики учения о множественности причин, но также и указывает на более полный ответ, который можно дать этому учению. Если бы данное учение было бы истинным, то как бы мы вообще могли когда-либо вывести причину пожара на основании осмотра остатков сгоревшего дома. На самом деле, мы довольно часто выводим из причины ее истинное следствие. Страховые компании осуществляют подобные операции на постоянной основе. Сходным образом патологоанатом способен установить действительную причину смерти человека, а не указывать на возможные множественные причины смерти.
Наиболее удовлетворительным ответом учению о множественности причин будет следующий: когда множественность причин утверждается относительно некоторого следствия, то это значит, что это следствие не было проанализировано должным образом. Иногда одно и то же следствие иллюстрируется примерами, которые обладают при этом существенными различиями. Эти различия остаются незамеченными для неподготовленного наблюдателя, но не для эксперта. Так, от перевернутой керосиновой лампы дом сгорает не так, как от неисправной электропроводки. Учение о множественности причин является действенным, только если мы раскладываем причины на большее количество разных видов, чем количество видов, на которые мы раскладываем следствия. В этом учении не учитываются многие отличающиеся друг от друга факторы, которые имеют место в нескольких примерах так называемого следствия, и поэтому учение о множественности причин рассматривает все эти разные примеры как указывающие на одно и то же следствие. Во многих ситуациях удобно поддерживать эту асимметрию при анализе причин и следствий. Однако из этого факта удобства не следует, что обычные примеры множественности причин действительно доказывают отсутствие одно-однозначного соответствия между причиной и следствием.
Теперь обратимся к учению о множественности причин в его более общей логической форме. Следует ли нам отрицать, что заблуждение, связанное с утверждением консеквента, действительно является заблуждением? Вовсе нет, если мы проведем некоторые элементарные различия и вспомним то, что мы обсуждали в главе по математике. Утверждение консеквента является заблуждением, поскольку тот же консеквент может следовать более чем из одного антецедента. Однако мы можем задать вопрос: если суждение следует более чем из двух различных наборов посылок, то следует ли оно из них в силу того, что они отличаются друг от друга, или в силу того, что содержат нечто общее?
Если читатель вспомнит наше обсуждение логических систем, то он должен будет признать, что вторая альтернатива выражает истинное положение дел. В § 3 главы VII мы показали, что две системы могут быть несовместимы друг с другом, если их брать в их целостности, но при этом могут иметь много общих теорем. Мы объясняли это на примере двух систем, содержащих общую подсистему. Общие теоремы двух систем следуют из аксиом этой общей подсистемы, а не просто из аксиом этих двух систем как таковых.
Сформулируем сказанное иначе. Набор посылок, являющийся достаточным условием для некоторого суждения, может содержать не только необходимые условия. При достаточной осторожности и мастерстве можно элиминировать те посылки, которые не требуются для выведения заключения. Таким способом мы можем обнаружить все условия, необходимые для выведения заключения. И когда антецедент в импликативном суждении содержит необходимые и достаточные условия для консеквента, утверждение консеквента на основании утверждения антецедента уже не является заблуждением.
Таким образом, заблуждение относительно утверждения консеквента действительно является заблуждением, поскольку обычно мы не знаем о том, сформулированы ли в антецеденте необходимые и достаточные условия для консеквента. В большинстве случаев ученые удовлетворяются достаточными условиями для суждений, которые они хотят установить. Однако цель науки, которую никогда нельзя достигнуть, заключается в том, чтобы обнаружить условия, которые являются одновременно необходимыми и достаточными.
Проведение различия между достаточными условиями и условиями, которые одновременно необходимые и достаточные, проясняет вопрос об ограниченности так называемых решающих экспериментов. Допустим р, верифицируемое суждение, следует из теории T1, но не из теории Т2. Тогда можно осуществить несущественную модификацию в Т2, не влияющую на ее основные контуры, так чтобы р имплицировалось новой версией Т2 так же, как оно имплицируется и T1. В таком случае обе теории будут логически содержать необходимые и достаточные условия для р, хотя при этом они также могут содержать и многое другое. Таким образом, верифицикация р не вынудит нас отказаться от Т2> если мы, внеся в нее несущественные изменения, сможем использовать ее дальше для научных целей. Закончить данную главу нам бы хотелось уместной цитатой из Бертрана Рассела: «Гипотеза, в мельчайших точностях описывающая все известные релевантные факты, не должна рассматриваться как истинная с достоверностью, поскольку логически необходимой причиной, обусловливающей наши выводы из этой гипотезы по отношению к наблюдаемым явлениям, вероятнее всего является некий крайне абстрактный аспект этой гипотезы» [89] .
