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