- •Моррис Коэн, Эрнест Нагель Введение в логику и научный метод Уважаемый читатель!
- •Об авторах Моррис Рафаэль коэн
- •Эрнест Нагель
- •Предисловие переводчика Общая характеристика книги
- •Специфика книги как учебника по логике
- •Особенности книги как произведения по философии науки
- •Специфическая природа научной теории
- •Научный реализм и критика псевдонаучной методологии
- •Издержки времени
- •Некоторые сложности перевода
- •Предисловие
- •Глава 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. Заключение
- •Указатель
- •Книги издательства «Социум»
- •Примечания
Предисловие
Формальная логика, несмотря на все радикальные и эмоциональные нападки, которым она подвергается в последнее время с самых разных сторон, остается и, по-видимому, будет оставаться наиболее часто преподаваемым университетским курсом как в нашей стране, так и за рубежом. Не стоит удивляться тому, что наиболее серьезные обвинения в адрес формальной логики, т. е. те, которые направлены против теории силлогизма, существовали еще во времена Аристотеля и были ему хорошо известны. Однако, будучи достаточно защищенной от внешних атак, сфера логики страдает от немалой путаницы изнутри. Несмотря на то что содержание практически всех книг по логике (даже в том, что касается приводимых иллюстраций) следует за стандартом аристотелевского «Органона» – термины, суждения, силлогизмы и связанные формы умозаключения, научный метод, вероятность и ошибки, – тем не менее, существует множество разногласий относительно того, что именно изучает логика. Различные школы логики, такие как традиционная, лингвистическая, психологическая, эпистемологическая и математическая, используют разные языки, и представители каждой из них считают, что сторонники других подходов на самом деле вообще не имеют дела с логикой.
Пожалуй, нет более неблагодарной задачи, которая вызвала бы больше возмущений от всех направлений, чем попытка представить подход, который был бы срединным относительно всех враждебных друг другу точек зрения. Более того, в сфере интеллектуальных дисциплин традиционно существует недоверие к подобного рода миротворческим проектам, поскольку в них позиции, обладающие, по крайней мере, определенной ясностью, заменяются неясными и противоречивыми смесями. Но при этом нет и более значимой задачи, чем эта, особенно для новичка, который пытается согласовать и дополнить утверждения борющихся сторон, отказываясь при этом пожертвовать ясностью и строгостью мышления.
Цель данного текста – упорядочить в той мере, в какой это возможно с помощью пропедевтической книги, все переплетения языков относительно вопроса о предмете логики. Разрешение конфликтов между различными школами предлагается в самом отборе излагаемого материала и в способе его подачи, а не в обширной полемике с каким-либо из существующих направлений. Данная книга была написана, исходя из убеждения о том, что логика является автономной наукой, изучающей хоть и формальные, но при этом объективные условия обоснованного умозаключения. В то же самое время авторы этого учебника считают, что скучность, которая зачастую приписывается изучению логики (что в ряде случаев справедливо), в большинстве случаев происходит из тех лишенных воображения способов, с помощью которых преподается логика или используется не по назначению. В предлагаемом тексте осуществляется попытка совместить фундаментальное учение логики с фундаментальными методами педагогики, а также предоставить достаточно материала для иллюстрации той роли, которую логика играет в любой сфере мышления. Во время написания данной книги идеалом, достигнуть которого стремились авторы, было сочетание реалистического формализма Аристотеля, научной проницательности Пирса, педагогической последовательности Дьюи и математической строгости Рассела.
Независимо от успешности воплощения этого идеала в данной книге, в самом этом воплощении содержится и некоторое позитивное учение, представленное таким образом, чтобы учесть хотя бы отчасти существующие дополнительные подходы к логике.
1. Авторы этого текста разделяют традиционное видение логики как науки об обоснованном умозаключении, вопреки всем попыткам смешать логику с психологией, в которой под термином «логика» понимается систематическое исследование работы сознания. Логика, как наука о значимости оснований в каких бы то ни было областях, не может отождествляться с конкретной наукой психологией, ибо такая конкретная дисциплина может устанавливать те или иные результаты, прибегая к тем же критериям обоснованности, которые используются и в других областях науки. Ясно также и то, что вопросы обоснованности являются вопросами не о том, каким образом мы мыслим в той или иной ситуации, а о том, согласуется или не согласуется то, что мы утверждаем, с определенными объективными фактами.
2. С другой стороны, авторы не обошли вниманием педагогические аспекты психологической логики. Мы стремились представлять материал так, чтобы обсуждение новых тем вытекало из того знания, которым изначально владеет читатель. Поэтому мы стремились отойти от синтетического метода представления материала, т. е. метода, согласно которому начинать следует с высшей степени абстрактных элементов, из которых впоследствии осуществлять построение излагаемой научной дисциплины. Вместо этого мы шли путем, который казался нам в психологическом плане более подходящим. Для обсуждения излагаемых тем мы использовали примеры текстов, которые, как нам казалось, должны быть знакомы учащимся университетов, и, опираясь на них, постепенно проявляли формальные элементы как абстрактные этапы, конституирующие область исследования. Мы надеемся, что таким образом нам удалось преодолеть ряд трудностей, с которыми сталкивается студент, начинающий знакомство с логикой, а также помочь ему усмотреть ту важную роль, которую играет логика во всех сферах деятельности людей.
3. Пытаясь представить в данной книге все значимые достижения символической, или математической, логики для тех, кто ранее не имел знакомства с этим предметом, мы не стремились развивать в студентах технические навыки манипулирования символами ради самих этих навыков. Мы считаем, что, несмотря на всю ценность такой техники, она скорее должна быть отнесена исключительно к области математики, развиваемой как органон науки в целом, а не к вводной книге по логике. Точно так же мы не разделяем той неприязни к аристотелевской логике, которая распространена среди некоторых пылких исследователей новой логики. В данной книге мы осуждаем ограниченность, свойственную традиционному подходу к логике. Однако при этом мы считаем, что достижения в точной современной логике являются расширением и исправлением аристотелевского учения. Именно поэтому мы уделили достаточно внимания и традиционным подходам, которыми можно было бы пренебречь, если бы перед нами стояла задача систематического представления нашего нынешнего знания о логике. Мы считаем, что обсуждение и исправление ограничений, присущих традиционному подходу, содержит много преимуществ педагогического характера и позволяет лучше прояснить нашу окончательную мысль.
4. Мы не считаем, что существует какая-либо неаристотелевская логика в том смысле, в каком существует неевклидова геометрия, т. е. логическая система, в которой утверждения, противоположные аристотелевским принципам противоречия и исключенного третьего, считаются истинными и с их помощью строятся обоснованные умозаключения. Появившиеся в последнее время так называемые альтернативные системы логики являются лишь другими системами записи или символизации одних и тех же логических фактов. Мы не раз прибегали к примерам из истории естественных наук для иллюстрации логических принципов именно потому, что логическая структура этих наук с очевидностью не сводится к представляющей их лингвистической структуре. В связи с этим мы открыто указывали на метафизическую значимость принципов логики и подчеркивали то, что сама по себе структура языка зачастую является ключом к чему-то отличному от лингвистических фактов. Придерживаясь позиции о том, что логика, как автономная дисциплина, должна быть формальной, мы утверждали, что это не означает того, что ее принципы лишены значимого содержания; наоборот, эти принципы по своей природе являются применимыми во всех областях потому, что они связаны с наиболее общими онтологическими характеристиками. Мы считаем, что категория объективной возможности представляет существенную важность для обсуждения логики.
Именно поэтому мы рассматриваем историю логики как историю тех вкладов, которые сделали различные школы в развитие общей дисциплины. Такое стремление предоставить студенту либеральный, а не узкий взгляд на логику может сделать нашу конечную точку зрения несколько эклектичной. Тем не менее, в том, что касается проведения фундаментальных различий, мы старались занять определенную и ясную позицию. Флоренс Найтингейл изменила современные лазареты с помощью девиза: что бы ни делали госпитали, они не должны ни в коем случае распространять болезни. Сходным образом логика не должна инфицировать студентов заблуждениями и путаницей в отношении основополагающей природы обоснованного, или научного, мышления.
Работающие с этой книгой преподаватели будут уделять большее внимание разным ее частям. Не все, что содержится в ней, можно преподать в рамках семестрового курса. Данный учебник содержит достаточно информации, чтобы представлять интерес для студентов на протяжении целого учебного года. Если говорить о семестровом курсе, то авторы этой книги убедились, что наилучшие результаты достигаются при полном изложении содержания книги II с добавлением глав III, IV и VIII из книги I. Те, кто не интересуется математикой, может пропустить главу VII. Книги являются инструментами, которые мудрые люди используют для достижения собственных целей. Один из авторов этой книги, читавший курс по элементарной логике на протяжении двадцати лет, как правило, излагал содержание книги II (Прикладная логика и научный метод), перед тем как преподавать формальную логику, изложенную в книге I. Следует сказать, что некоторые темы из книги II предполагают ознакомление с книгой I. Однако опыт показывает, что связанные с этим трудности легко преодолимы. Авторы особенно надеются на то, что эта книга окажется полезной для понимания научного метода как для простых читателей, так и для студентов, изучающих естественные и социальные науки.
М. Р. К. Э.Н.
Продолжающийся спрос на эту книгу, которая уже пережила три издания, позволил нам исправить некоторые ошибки и переформулировать некоторые утверждения для достижения большей ясности.
7 января 1936 г.
М. Р. К.
Э.Н.
