- •§1. Обращение к читателю. О значении логики для развития мышления и характере предлагаемого пособия
- •§ 2. Категориальные основания логики
- •Часть I. Логика высказываний
- •Глава I. Таблицы истинности
- •§ I. Операции над простыми высказываниями
- •§ 2. Операции над сложными высказываниями.
- •§ 3. Тавтологии. Законы мышления
- •Глава II. Проблема вывода в логике высказываний
- •§ 1. Схемы Хрисиппа
- •§ 2. Условные умозаключения. Дилеммы
- •§3. Энтимемы
- •§ 4. Аксиоматическое построение логики высказываний
- •§ 5. Парадоксы логики высказываний
- •§1. Конъюнктивные высказывания
- •§ 2. Дизъюнктивные высказывания.
- •§3. Импликации.
- •§ 4. Эквивалентные высказывания.
- •§ 5. Общий случай сложных высказываний.
- •§ 6. Отрицание сложных высказываний
- •§ 7. Тавтологии
- •§ 8. Выводы из конъюнктивных высказываний
- •§ 9. Выводы из дизъюнктивных высказываний.
- •§ 10. Разделительно-категорические силлогизмы
- •§ 11. Условно-категорические силлогизмы
- •§ 12. Выводы из суждений эквивалентности.
- •§ 13. Смешанные выводы. Дилеммы
- •§ 14. Энтимемы
- •Часть II. Атрибутивная логика
- •Глава I. Суждение и понятие
- •§ 1 Структура суждений и их деление но качеству
- •§ 2. Понятие, его объем и содержание
- •§3. Виды понятий
- •§ 4. Отношения между понятиями по объему и содержанию
- •§ 5. Закон обратного отношения
- •§ 6. Индивидуальные и абстрактные понятия
- •§ 7. Определение понятий и приемы его заменяющие
- •§ 8. Правила определения понятий
- •§ 9. Деление понятий и его правила
- •§ 10. Деление и расчленение
- •§ 11. Классификация
- •§ 12. Деление суждений по количеству
- •§ 13. Распределенпость терминов в суждении
- •Глава II. Непосредственные умозаключения
- •§ 1. Выводы из понятий
- •§ 2. Превращение
- •§ 3. Логический квадрат
- •§ 4. Обращение
- •§ 5. Противопоставление предикату (контрапозиция)
- •§ 6. Выводы через ограничение
- •Глава III. Категорический силлогизм
- •§ 1. Категорический силлогизм и его структура
- •§ 2. Общие правила категорического силлогизма
- •§ 3. Фигуры категорического силлогизма и их правила
- •§ 4. Энтимемы
- •§ 5. Сложные предикаты в силлогизме. Полисиллогизмы и сориты
- •§ 1. Структура суждений и их деление по качеству
- •§ 2. Понятие, его объем и содержание
- •§ 3. Виды понятий
- •§ 4. Отношения между понятиями
- •§ 5. Определения понятий и приемы их заменяющие.
- •§ 6. Деление и его правила
- •§ 7. Качество и количество простых суждений
- •Глава II. Непосредственные умозаключения
- •§ 1. Выводы из понятий
- •§ 2. Превращения
- •§ 3. Выводы по схеме логического квадрата
- •§ 4. Обращение
- •§ 5. Противопоставление предикату (контрапозиция)
- •§ 6. Выводы через ограничение
- •Глава III. Категорический силлогизм
- •§ 1. Структура категорического силлогизма
- •§ 2. Общие правила силлогизма
- •§ 4. Суждения со сложными предикатами
- •§ 5. Энтимемы
- •§ 6. Сложные силлогизмы и сориты
- •Глава I. Логика отношений
- •§ 2. Свойства отношений и схемы вывода
- •§ 3. Критика логики отношений
- •Глава II. Логика предикатов
- •§ 1. Основные понятия логики предикатов
- •§ 2. Правильно построенные формулы логики предикатов
- •§ 3. Аксиоматика и тавтологии логики предикатов
- •§ 4. Логика предикатов и классическая силлогистика
- •§ 5. Недостатки логики предикатов как средства анализа повседневного мышления
- •Глава III. Язык тернарного описания
- •§ 1. Категориальные основы языка тернарного описания
- •§ 3. Типы правильно построенных формул ято
- •§ 4. Правила и схемы вывода
- •Глава III. Язык тернарного описания
- •Глава I. СущносТb и виды индукции через перечисление
- •§ 1. Дедукция и индукция
- •§ 2. Неполная индукция через перечисления и ее правила
- •§ 3. Достоверная индукция
- •Глава II. Индуктивные методы исследования причинных связен
- •§ 1. Понятие причины. Дедуктивные и индуктивные методы исследования причинных связей
- •§ 2. Методы исследования причинных связей
- •§ 3. Ошибки в определении причинных связей
- •Глава III. Выводы по аналогии
- •§ 1. Определение и основные формы выводов по аналогии
- •§ 2. Условия правомерности различных форм
- •Глава IV. Выводы от утверждения следствия. Обоснование гипотез
- •§1. Полная и неполная индукция
- •§ 2. Условия повышения вероятности вывода
- •§ 3. Методы индуктивного исследования причинных связей
- •§ 4. Выводы по аналогии
- •§ 5. Правила выводов по аналогии
- •§ 6. Выводы от утверждения следствия
- •§ 1. Сущность и строение доказательства. Опровержение
- •§ 2. Правила доказательств и ошибки в них
- •§ 3. Роковые ошибки
- •§ 4. Аргументация и спор
- •§ 1. Сущность и строение доказательств
- •§ 2. Правила доказательства
- •§ 3. Аргументация и спор
- •§ 2. Категориальные основания логики
- •§ 1. Конъюнктивные высказывания
- •§ 2. Дизъюнктивные высказывания
- •§ 3. Импликации
- •§ 4. Эквивалентные высказывания
- •§ 5. Общий случай сложных высказываний
- •§ 6. Отрицание сложных высказываний
- •§ 7. Тавтологии.
- •§ 8. Выводы из конъюнктивных высказываний
- •§ 9. Выводы из дизъюнктивных высказываний
- •§ 10. Разделительно-категорические силлогизмы
- •§ 11. Условно-категорические силлогизмы
- •§ 12. Выводы из суждений эквивалентности
- •§13. Смешанные выводы. Дилеммы
- •§ 14. Энтимемы
- •Глава 1. § 1
- •Глава II
- •Глава III
- •Глава I
- •Глава II
- •Глава III
§ 5. Противопоставление предикату (контрапозиция)
Элементарные преобразования суждений, о которых шла речь выше, можно комбинировать друг с другом. Так, можно сначала сделать превращение, а потом — обращение. Это непосредственное умозаключение называется противопоставлением предикату или контрапозицией. В выводе субъектом является понятие, противоречащее предикату, а предикатом является субъект исходного суждения. Связка меняется на противоположную.
Возьмем суждение “Луна сделана из зеленого сыра”. В результате превращения получим: “Луна не есть то, что не сделано из зеленого сыра”. Теперь обратим полученное единично-отрицательное суждение: “Ничто, не сделанное из зеленого сыра, не является Луной”. Этот пример покажется искусственным, однако, ниже, в разделе, посвященном гипотезе, мы увидим, что с его анализом связываются очень важные теоретико-познавательные выводы. Очень часто к контрапозиции прибегают при доказательстве геометрических теорем. Например. “Все квадраты — ромбы”. Осуществляя контрапозицию, мы получим: “Ни одна фигура, не являющаяся ромбом, не будет квадратом”. Общеутвердительное суждение суждение А посредством контрапозиции преобразуется в общеотрицательное Е.
Возьмем общеотрицательное суждение: “Ни один взяточник не есть честный человек”. Это суждение превращается в суждение “Все взяточники есть нечестные люди” (А). Это суждение, в свою очередь при обращении дает: “Некоторые нечестные люди есть взяточники” (I). Иная ситуация будет иметь место, если мы возьмем частноутвердительное суждение I: “Некоторые депутаты Верховного Совета инициативны”. Превращаем это суждение: “Некоторые депутаты Верховного Совета не являются неинициативными” (О). Суждение этого типа не обращается. Значит, контрапозиция частноутвердительного суждения неправомерна.
Схемы контрапозиций будут иметь следующий вид:
4) Суждение I не допускает противопоставления предикату.
§ 6. Выводы через ограничение
Выводами через ограничение третьим понятием или просто выводами через ограничение называются выводы, при которых субъект и предикат посылки ограничиваются путем прибавления одного и того же признака по схеме:
S есть Р
aS есть аР
Например, суждение (А): “Все кошки — хищники”. Добавим к субъекту и предикату этого суждения признак “домашний”, получим суждение (А): “Все домашние кошки — домашние хищники”.
Аристотель приводит такой пример: закон есть некий порядок. Значит, хороший закон есть хороший порядок (Политика, книга VII, гл. IV). И это не единственный пример такого рода выводов, встречающихся у Аристотеля. Однако, у него нет логической теории выводов через ограничение.
Некоторые логики выводы через ограничения в целом рассматривали как неправомерные. Например, в учебнике шотландского логика У. Минто (1845 — 1893), весьма популярного в начале этого века, эти выводы критикуются на том основании, что не всегда выводы, полученные с помощью умозаключений через прибавление признаков, являются состоятельными. У. Минто приводит пример: “Черепаха — животное”; отсюда: “быстрая черепаха — быстрое животное”.
Это, конечно, не так. Однако, если все черепахи — животные, то все морские черепахи — морские животные. Почему в одном случае вывод правомерен, а в другом случае — нет? Мы видели, что и в других типах умозаключений, например, при обращении вывод иногда правилен, а иногда нет. Логики устанавливают условия, при выполнении которых умозаключение является правильным. Такие же условия могут быть установлены и применительно к выводам через ограничения. В качестве такого правила для общеутвердительных суждений (А) может быть сформулировано следующее: ограничивающий признак не может иметь никаких количественных градаций, т. е. этот признак должен быть точечным свойством. Этим свойством предмет может или обладать, или не обладать, но не может обладать в какой-то степени. Так, в наших примерах “хищник”, “домашний”, “морской” представляют собой именно точечные свойства. Свойство “быстрый” — не точечное, а линейное. Такие свойства не должны выступать в качестве ограничивающих признаков.
Мы рассмотрели суждения общеутвердительные (А), в которых субъект распределен, предикат нераспределен. Если мы имеем, скажем, определение, в котором и субъект, и предикат тождественны по объему, или же общеотрицательное суждение, когда так же субъект и предикат распределены, то выводы через ограничения будут всегда правомерны, независимо от характера ограничивающего признака. Например, квадраты являются равносторонними прямоугольниками. Значит, большие квадраты являются большими равносторонними прямоугольниками. Ни одна черепаха не есть антилопа, следовательно, ни одна быстрая черепаха не является быстрой антилопой. Итак, мы пришли к формулировке правила: выводы через ограничения будут правомерны в том случае, когда субъект и предикат распределены.