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