- •Моррис Коэн, Эрнест Нагель Введение в логику и научный метод Уважаемый читатель!
- •Об авторах Моррис Рафаэль коэн
- •Эрнест Нагель
- •Предисловие переводчика Общая характеристика книги
- •Специфика книги как учебника по логике
- •Особенности книги как произведения по философии науки
- •Специфическая природа научной теории
- •Научный реализм и критика псевдонаучной методологии
- •Издержки времени
- •Некоторые сложности перевода
- •Предисловие
- •Глава 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. Заключение
- •Указатель
- •Книги издательства «Социум»
- •Примечания
Книга I. Формальная логика Глава II. Анализ суждений § 1. Что такое суждение?
В предыдущей главе мы определили логику как дисциплину, изучающую отношение импликации между суждениями, т. е. отношение между посылками и заключениями, с помощью которого истинность или ложность одного множества определяет истинность или ложность другого. Таким образом, как посылки, так и заключения являются суждениями, и, исходя из задач, стоящих перед логикой, суждение можно определить как все, что может быть истинным или ложным. Данное определение будет более понятным, если мы также скажем, чем суждение не является.
1. Суждение не то же самое, что и предложение, в котором оно излагается. В трех разных предложениях – «Я мыслю, следовательно, я существую», «Je pense, done je suis», «Cogito ergo sum» – излагается одно и то же суждение. Предложение – это группа слов, а слова, как и все другие символы, сами по себе являются физическими объектами, отличными от того, на что они указывают или что символизируют. Будучи написанными, предложения занимают определенные поверхности, а будучи высказанными, они являются звуковыми волнами, переходящими от одного организма к другому. Однако суждение, вербальным выражением которого является предложение, отличается от видимых меток или звуковых волн конкретного выражения. Таким образом, предложения обладают физическим существованием. Они могут соответствовать или не соответствовать определенному вкусу или стандартам использования. Но они не являются истинными или ложными. Истина или ложь могут утверждаться только относительно суждений, обозначаемых предложениями.
2. При этом наряду с необходимостью отличать суждение от символов, в которых оно излагается, следует отметить, что ни одно суждение не может быть выражено или передано без символов. Следовательно, структура суждения должна быть выражена и сообщена посредством соответствующей структуры символов. Это требуется для того, чтобы суждение не могло быть передано с помощью какой угодно комбинации символов. «Джон крыса синий Джонс», «ходить сел есть очень» не являются символами, выражающими суждения. Данные символы – просто бессмыслица, если, конечно, мы не имеем дела с каким-либо кодом. Только определенные компоновки символов могут выражать суждение. И именно поэтому изучение систем обозначений обладает неоценимой значимостью для правильного анализа структуры суждений. И именно поэтому грамматика языка, несмотря на несходство грамматического и логического анализа, зачастую способна прояснить различия, которые по своей природе являются логическими.
3. Суждение, как мы сказали, является тем, относительно чего осмыслены вопросы об истинности и ложности. Следовательно, когда Гамлет восклицает: «О мысль моя, отныне ты должна кровавой быть, иль прах тебе цена!» [9] или же когда он спрашивает: «К чему тебе плодить грешников?», он не утверждает никакого суждения, а если и утверждает, то только имплицитно. Дело в том, что пожелания, вопросы или команды сами по себе не могут быть истинными или ложными. При этом следует отметить, что вразумительность пожеланий, вопросов и команд основывается на допущениях о том, что определенные положения дел преобладают. А такие допущения содержат суждения. Для примера рассмотрим вопрос: «К чему тебе плодить грешников?» В нем, помимо многих других суждений, несомненно, предполагается, что особа, к которой обращаются, существует, способна рожать детей и что эти дети обязательно будут грешниками. Сходным образом в восклицании «О мысль моя, отныне ты должна кровавой быть, иль прах тебе цена!» предполагается, что говорящий способен обладать мыслями, что эти мысли могут быть смертоносными, что они могут иметь некую ценность и т. д. Более того, команду или пожелание можно представить в декларативной форме, которая, как правило, выражает определенное суждение. Примером тому являются следующие переформулировки: «я хочу, чтобы ты пришел», «мне будет приятно, если ты придешь», «ты пожалеешь, если не придешь». Декларации являются суждениями в той степени, в какой то, что в них сообщается, может быть истинным или ложным.
4. Суждения часто спутываются с психическими актами, необходимыми для того, чтобы иметь суждение. Данная путаница происходит из понимания термина «суждение» как субстантивированного глагола. Это приводит к туманностям, ибо в одних случаях этим термином обозначается психический акт вынесения определенного суждения, а в других – само суждение, как содержание такого акта. Однако точно так же, как мы провели различие между суждением (как объективным смыслом) и предложением, в котором оно выражается, мы должны разграничить суждение и акт психики, связанный с вынесением суждения [10] .
5. Суждения также не должны отождествляться с каким-либо конкретным объектом, вещью или событием. Они являются в лучшем случае лишь отдельными абстрактными отношениями между вещами. Когда мы утверждаем или отрицаем суждение «Луна находится ближе к Земле, чем Солнце», то ни Луна, ни Земля, ни Солнце, равно как и расстояние между ними, не являются суждением. Суждение – это отношение, которое утверждается как существующее между этими телами. Такие отношения, как объекты нашей мысли, являются элементами или аспектами реальных, конкретных ситуаций. Эти аспекты находятся в неразрывной пространственно-временной связи со всеми остальными составными элементами соответствующих ситуаций, однако их отличительная особенность заключается в их смысле. Именно поэтому чувственный опыт не может превратиться в знание без рефлексивного анализа того, что мы воспринимаем. А знание – это знание суждений, и обладать им можно, только различая отношения, присутствующие между абстрактными свойствами соответствующей ситуации.
6. Мы определили суждение как нечто, способное быть истинным или ложным. Однако это не означает, что мы обязаны знать его истинностное значение. «Рак излечим» является суждением, однако мы не знаем, истинно оно или нет.
Это, однако, приводит к известному затруднению, заключающемуся в том, что иногда мы не в состоянии определить, выражает ли некоторое предложение какое-либо суждение. Рассмотрим, к примеру, выражение «ярд состоит из трех футов». Задаемся ли мы вопросом об истинности или ложности, когда формулируем его? Следует признать, что данное предложение имеет вид предложения, выражающего некое суждение. Однако если мы проанализируем его содержание, то обнаружим, что оно выражает скорее некую резолюцию, чем нечто способное быть истинным или ложным. Мы решаем использовать единицу измерения, равную трем футам. Однако резолюции как таковой не может приписываться истинность или ложность. Резолюции, зачастую принимающие форму определений, выражаются способами, сходными с тем, как выражаются суждения, однако их следует отличать от суждений.
Вопрос о том, используется ли слово «ярд» согласно своему определению, разумеется, имеет фактическую природу, и ответ на него может быть истинным или ложным. Однако в данных суждениях речь идет о языковом использовании, а не об объектах, обозначаемых словами, входящими в состав суждений.
7. Еще одна сложность возникает вследствие того обстоятельства, что мы зачастую считаем, что одни и те же суждения иногда могут быть истинными, а иногда ложными. Однако наше определение суждения исключает подобную возможность и предполагает, что если некое суждение истинно, то оно должно быть истинным всегда. Как часто простые люди используют подобные реплики: «То, что ты говоришь, бывает истинным, но не всегда». Данная позиция относится к утверждениям типа «религия учит любить ближних», «тяжело противостоять соблазну», «повинную голову меч не сечет». Данную сложность мы можем преодолеть, признав, что если в данных суждениях утверждается, что нечто является всеобщим правилом, то наличие исключения лишь докажет их ложность. В суждении «иногда религия учит ненавидеть ближних» не утверждается абсурдная идея о том, что общее суждение «религия всегда учит ненавидеть ближних» иногда является истинным.
Быть может, следующий пример позволит лучше понять данную мысль. Создается впечатление, что суждение «нынешний губернатор Коннектикута – доктор Кросс» истинно в течение определенных лет, но, разумеется, не на все времена. Подобный анализ, однако, является неадекватным, поскольку фраза «нынешний губернатор», несомненно, предполагает определенную дату. Таким образом, эксплицитно включая в наше выражение нужную дату, мы получаем выражения для разных суждений, некоторые из которых будут истинными, а некоторые – ложными. Вообще говоря, утверждения, делаемые нами в обыденной речи, редко содержат все необходимые условия для определения их истинности или ложности. Одни из этих условий мы осознаем, о других не догадываемся. Неполное выражение не является ни истинным, ни ложным. И когда мы говорим, что некоторое суждение иногда истинно, а иногда ложно, мы имеем в виду лишь то, что используемое нами утверждение может быть закончено различными способами, выражающими иногда истинные, а иногда ложные суждения.
