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