- •Моррис Коэн, Эрнест Нагель Введение в логику и научный метод Уважаемый читатель!
- •Об авторах Моррис Рафаэль коэн
- •Эрнест Нагель
- •Предисловие переводчика Общая характеристика книги
- •Специфика книги как учебника по логике
- •Особенности книги как произведения по философии науки
- •Специфическая природа научной теории
- •Научный реализм и критика псевдонаучной методологии
- •Издержки времени
- •Некоторые сложности перевода
- •Предисловие
- •Глава 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. Заключение
- •Указатель
- •Книги издательства «Социум»
- •Примечания
26. Докажите специальные правила приведенных соритов:
a. Только одна посылка является отрицательной, и она должна быть последней. b. Только одна посылка является частным суждением, и она должна быть первой.
27. Постройте правильный сорит из пяти суждений, в котором суждение «некоторые А не суть В» – первая посылка.
28. Закончите следующее рассуждение. Оппоненты Робеспьера заявили в Конвенте, что он отождествлял своих собственных врагов с врагами государства. Он отверг данные обвинения, заявив: «Опровержением является то, что вы все еще живы».
29. Являются ли приведенные ниже силлогизмы правильными?
a. Ни один француз не любит сливовый пудинг.
Все англичане любят сливовый пудинг.
∴ Англичане не французы.
b. Ни одна свинья не может летать.
Все свиньи – жадные.
∴ Некоторые жадные существа не могут летать.
c. Ничто являющееся вразумительным не озадачивает меня.
Логика меня озадачивает.
∴ Логика не является вразумительной.
d. Ни одно лысое существо не нуждается в расческе.
Ни одна ящерица не имеет волос.
∴ Ни одна ящерица не нуждается в расческе.
e. Все львы свирепы.
Некоторые львы не пьют кофе.
∴ Некоторые существа, пьющие кофе, не являются свирепыми.
f. Ни одно ископаемое не может быть влюбленным.
Устрица может быть влюбленной.
∴ Устрицы не ископаемые,
g. Некоторые подушки – мягкие.
Ни одна кочерга не является мягкой.
∴ Некоторые кочерги не являются подушками,
h. Ни одна рыба не вскармливает свое потомство.
Кит вскармливает свое потомство.
∴ Кит не является рыбой.
i. Ни одна утка не вальсирует.
Ни один офицер никогда не отказывается от того, чтобы повальсировать.
Вся моя домашняя птица – это утки.
∴ Среди моей домашней птицы нет офицеров,
j. Все дети непоследовательны.
Ни один человек, способный обращаться с крокодилом, не является презираемым.
Непоследовательные люди презираемы.
∴ Ни один ребенок не способен обращаться с крокодилами.
Для дальнейшего изучения:
De Morgan A. Transactions of the Cambridge Philosophical Society, Vols. 8, 9, 10, серия работ «On the Syllogism».
Montague Wm. P. Ways of Knowing, pp. 93–99.
Глава V. Условные, разделительные и строго разделительные силлогизмы
1. Проанализируйте нижеследующие силлогизмы:
a. Если бы все люди были способны достигнуть совершенства, то некоторые его бы достигли.
Однако ни один человек не достиг совершенства.
∴ Ни один человек не способен достигнуть совершенства.
b. Если бы ты нуждался в пище, я бы дал тебе денег.
Но поскольку ты не беспокоишься о том, чтобы работать, ты не можешь нуждаться в пище.
∴ Денег я тебе не дам.
2. Какое заключение можно вывести из приведенных ниже суждений:
a. Он всегда остается дома, когда идет дождь, но в мороз всегда выходит на улицу.
b. Либо нам сопутствует удача, либо грабителей спугнули.
с. Либо грабителей не спугнули, либо драгоценности исчезли.
3. Проанализируйте:
a. Если мне суждено сейчас утонуть, то бороться бесполезно; если – нет, то бороться не нужно.
Однако мне либо суждено сейчас утонуть, либо – нет.
∴ Бороться либо бесполезно, либо не нужно.
b. Патриотизм и гуманность должны быть либо несовместимыми, либо нераздельными.
Однако хотя любовь к семье и гуманность совместимы, они могут существовать и по отдельности.
∴ Любовь к семье может существовать без патриотизма.
4. Если Р, то Q; и если R, то S.
Однако Q и S не могут вместе быть истинными.
Докажите, что Р и Я не могут вместе быть истинными.
(Де Морган)
5. Проанализируйте:
a. Они (античные философы) утверждали, что либо душа погибает вместе с телом, и в таком случае, не обладая никакими чувствами, мы не сможем творить зло, либо, если душа не погибает вместе с телом, она становится более счастливой.
∴ Не следует бояться смерти. (Логика Пор-Рояля)
b. Если Авраам имел основания для своего поступка, то либо в силу своей веры, либо в силу своих трудов.
У него не было оснований в силу веры (согласно Иакову), равно как и оснований в силу трудов (согласно Павлу).
∴ У Авраама не было оснований для его поступка.
c. Если космология Моисея верна, то Солнце было сотворено только на четвертый день. А если оно не было сотворено до четвертого дня, то оно не могло быть причиной смены дня и ночи в течение первый трех дней. Но либо в Писании слово «день» используется в ином смысле, отличном от того, в каком оно понимается сегодня, либо же Солнце должно было быть причиной смены дня и ночи на протяжении первых трех дней. Следовательно, либо космология Моисея не вполне верна, либо слово «день» используется в Писании в смысле, отличном от обыденного. (Кейнс)
d. Все либо хорошо осведомлены об обстоятельствах дела, либо заранее убеждены в том, что все было именно так, а не иначе.
Никто не может быть одновременно убежденным и поддающимся переубеждению.
∴ Поддающимися переубеждению являются лишь те, кто хорошо осведомлены об обстоятельствах дела.
e. Поэзия либо истинна, либо ложна. Если она ложна, то она вводит в заблуждение, если она истинна, то является скрытой историей и схожа с надувательством, ибо стремится походить на большее, чем на самом деле является.
∴ Некоторые философы по праву исключали поэзию из идеального государства. (Кейнс)
f. Вы утверждаете, что правил без исключений не существует. Я же отвечаю, что в таком случае сказанное вами должно иметь исключение и, тем самым, доказывать, что вы противоречите себе.
g. Если бы все подсудимые были невиновными, хотя бы некоторые были оправданы; однако поскольку ни один не был оправдан, то ни один не был невиновным.
h. Дано: А есть В, нужно доказать, что В есть А. В (как и все остальное) является либо А, либо не-А. Если В является не-А, то с учетом нашей первой посылки мы получаем абсурдный силлогизм: А есть В, В есть не- ∴ А, А есть не-А. ∴ В есть А. (Кейнс со ссылкой на Джастроу)
i. Если бы все солдаты были англичанами, то ни один из них не бежал бы; но некоторые солдаты бежали; по меньшей мере, некоторые из них не были англичанами. (Кейнс)
6. Проанализируйте:
a. Если считать, что Аристотель не ошибался, то логику, действительно, стоит развивать. Однако Аристотель ошибался. ∴ Логику не следует развивать. (Уотли)
b. Если четвертый завет является для нас обязательным, то мы в один из семи дней должны уединяться для
религиозных обрядов; мы уединяемся в один из семи дней для религиозных обрядов. Выходит, что четвертый завет для нас обязателен. (Уотли)
с. Он [Роберт Симеон] часто сидел у открытого окна на первом этаже…погрузившись в занятия геометрией… К нему иногда подходили нищие, которым он, как правило, подавал, выслушав несколько слов их повествования, после чего сразу же вновь погружался в работу. Однажды пара шутников остановила нищего, направлявшегося к окну Симеона, и один из них сказал: «Так, дружище, делай, как мы скажем, и ты получишь что-то от того джентльмена, а также шиллинг от нас в придачу. Ты пойдешь и скажешь, что находишься в нужде.
Он тебя спросит о том, кто ты, а ты ему ответишь, что ты Роберт Симеон, сын Джона Симеона из Кирктон-хилла. Нищий сделал все, как ему велели. Симеон молча дал ему монету и вернулся к своим занятиям. Шутники немного подождали, после чего увидели, как тот снова встал и воскликнул: «Роберт Симеон, сын Джона Симеона из Кирктонхилла?! Да это же я! Этот человек самозванец!» (Де Морган)
7. Проанализируйте аргумент из следующего отрывка:
Что лучше: часы, правильно показывающие время лишь раз в год, или часы, правильно показывающие время дважды в день? – «Разумеется, второе», – отвечаете вы. Хорошо. А теперь смотрите. У меня двое часов: одни вообще не идут, а другие каждый день отстают на минуту. Какие из двух вы предпочтете? «Без сомнения, те, что отстают на минуту», – отвечаете вы. А теперь обратите внимание: часы, отстающие на минуту в день, должны будут отстать на двенадцать часов, или на 720 минут, прежде чем они вновь покажут правильное время. Поэтому такие часы будут правильно показывать время лишь один раз за два года, тогда как стоящие часы правильно указывают время каждый раз, когда реальное время соответствует положению их стрелок, что случается дважды в день. Так что вы один раз сами себе уже противоречите.
«Да, – отвечаете вы, – но какова польза от часов, которые точно показывают время два раза в день, если я не знаю, когда именно это время наступает?»
Ну почему. Предположим, часы указывают на 8 часов. Разве вы не знаете, что если сейчас 8 часов, то это правильное время? Следовательно, когда наступает 8 часов, то ваши часы верно на него показывают.
«Да, это я понимаю», – отвечаете вы.
Отлично, в таком случае вы противоречите себе дважды: теперь выпутайтесь из этой сложности и постарайтесь при этом больше себе не противоречить.
Далее вы можете спросить: «Откуда мне знать, когда наступает 8 часов? Мои часы мне этого не скажут». Имейте терпение. Вы ведь знаете, что когда наступает 8 часов, то ваши часы верно показывают время? Очень хорошо. В таком случае вашим правилом будет следующее: внимательно следите за своими часами, и каждый раз, когда они будут верно показывать время, будет 8 часов. «Но…» – возражаете вы. Хорошо, достаточно. Чем больше вы спорите, тем дальше вы уходите от вопроса, поэтому не лучше ли прекратить? (Льюис Кэрролл)
Для дальнейшего изучения:
Venn J. Empirical Logic. Chap. X.
Keynes J. N. Formal Logic. 4 ed. Appendix C. Chap. V.
