
- •Министерство образования и науки Российской Федерации
- •Содержание
- •Введение
- •Тема 1. Предмет и значение логики
- •1.1 Основные характеристики процесса познания
- •1.2 Предмет логики. Логическая форма и логическое содержание мысли
- •1.3 Основные законы формальной логики
- •1.4 История развития логики как науки
- •1.5 Логическая культура. Значение логики
- •Вопросы для повторения
- •Тема 2. Логический анализ языка
- •2.1 Понятие знака. Смысл и значение знака
- •2.2 Виды знаков
- •2.3 Семантические категории языка
- •2.4 Виды имен
- •Вопросы для повторения
- •Тема 3. Формализованные логические языки
- •3.1 Язык логики предикатов
- •3.2 Язык логики высказываний
- •Вопросы для повторения
- •Тема 4. Понятие как форма мышления
- •4.1 Общая характеристика понятий
- •4.2 Обобщение и ограничение понятий
- •4.3 Отношение между понятиями
- •4.4 Определение понятий
- •4.5 Деление понятий
- •Вопросы для повторения
- •Тема 5. Суждение (высказывание) как форма мышления
- •5.1 Суждение. Виды суждений
- •5.2 Категорические суждения
- •5.3 Распределенность терминов в категорических суждениях
- •Распределенность терминов категорического суждения
- •5.4 Сложные суждения и их истинность
- •5.5 Типы и виды модальных суждений
- •5.6 Отношения между категорическими суждениями
- •5.7 Отрицание суждений
- •Вопросы для повторения
- •Тема 6. Дедуктивные умозаключения
- •6.1 Умозаключение как форма мышления
- •6.2 Общая характеристика дедуктивных умозаключений
- •6.3 Прямые умозаключения логики высказываний
- •6.4 Непрямые умозаключения логики высказываний
- •6.5 Непосредственные умозаключения
- •6.5.1 Понятие и специфика непосредственных умозаключений
- •6.5.2 Превращение
- •6.5.3 Обращение
- •6.6 Простой категорический силлогизм
- •6.7 Энтимема
- •Вопросы для повторения
- •Тема 7. Правдоподобные умозаключения
- •7.1 Умозаключения по аналогии
- •7.2 Индуктивные умозаключения
- •7.3 Эмпирические методы установления причинной зависимости явлений
- •Вопросы для повторения
- •Тема 8. Логико-эпистемические аспекты аргументации
- •8.1 Аргументация как прием познавательной деятельности
- •8.2 Структура доказательства
- •8.3 Виды доказательств
- •8.4 Правила и ошибки по отношению к тезису
- •8.5 Правила и ошибки по отношению к аргументам
- •8.6 Правила и ошибки по отношению к форме доказательства
- •Вопросы для повторения
- •Тема 9. Социально-психологические аспекты аргументации
- •9.1 Спор и дискуссия как разновидности аргументации
- •9.2 Уловки логического характера
- •9.3 Уловки социально-психологического характера
- •9.4 Уловки организационно-процедурного характера
- •9.5 Способы нейтрализации уловок в спорах
- •Вопросы для повторения
- •Тема 10. Формы развития знания
- •10.1 Вопрос как форма познания. Виды вопросов и ответов
- •10.2 Проблема
- •10.3 Гипотеза
- •10.4 Теория
- •Вопросы для повторения
- •Литература
- •302030, Г. Орел, ул. Московская, 65.
6.5.3 Обращение
Обращение – это непосредственное умозаключение, состоящее в преобразовании категорического суждения в такое суждение, субъектом которого является предикат исходного, а предикатом – субъект исходного суждения.
Другими словами, при выводе с помощью обращения субъект и предикат меняются местами. При этом в случае, когда исходным суждением (посылкой) является общеутвердительное суждение, меняется также количество суждения, то есть заключение становится частным. Такое обращение называется «обращением с ограничением» или «чистым обращением».
Формы выводов с помощью обращения:
1) для общеутвердительного суждения:
Все S есть Р.
Некоторые Р есть S.
2) для общеотрицательного суждения:
Ни одно S не есть Р.
Ни одно Р не есть S.
3) для частноутвердительного суждения:
Некоторые S есть Р.
Некоторые Р есть S.
Для частноотрицательного суждения путём обращения нельзя логически правильно вывести какое-либо заключение, так как в этом случае нарушается общее правило выводов из категорических суждений: термин, не распределённый в посылках, не должен быть распределён в заключении. В связи с этим обращение частноотрицательных суждений не проводится.
Пример. «Всякий студент обязан сдавать экзамены». Это общеутвердительное суждение, поэтому выполняем обращение с ограничением, записывая исходное суждение в логической форме (Все S есть Р):
Все студенты (S) есть люди, обязанные сдавать экзамены (Р).
Некоторые люди, обязанные сдавать экзамены (Р),
есть студенты (S).
6.6 Простой категорический силлогизм
Простой категорический силлогизм - это дедуктивное умозаключение, в котором из двух категорических суждений выводится новое (третье) категорическое суждение.
Посылки и заключение простого категорического силлогизма всегда содержат только три понятия, называемых терминами.
Первый термин – это субъект заключения (обозначается буквой «S»). Он также носит название меньшего термина силлогизма.
Второй термин – предикат заключения (обозначается буквой «P»). В силлогизме он считается большим термином.
Меньший и больший термины – это крайние термины силлогизма. Каждый из крайних терминов содержится не только в заключении, но и в одной из посылок. При этом: посылка, содержащая больший термин (Р), называется большей; посылка, содержащая меньший термин (S), называется меньшей. Традиционно большая посылка в силлогизме должна стоять на первом месте.
Третий термин простого категорического силлогизма называется средним (обозначается буквой «M»). Средний термин – это термин, который входит в обе посылки, но которого нет в заключении. С помощью среднего термина устанавливается связь между субъектом и предикатом заключения (между крайними терминами). Таким образом, простой категорический силлогизм - это опосредованное умозаключение, то есть умозаключение, в котором связь между двумя понятиями в заключении выявляется посредством третьего, имеющегося в обеих посылках.
Пример.
Все люди (M) смертны (P).
Сократ (S) – человек (M).
Сократ (S) смертен (P).
Данный силлогизм включает следующие термины:
«смертен» («смертны») – предикат заключения, следовательно, это больший термин (Р);
«Сократ» – субъект заключения, следовательно, это меньший термин (S);
«люди» (или в единственном числе «человек») – термин, который входит в обе посылки, но его нет в заключении, следовательно, это средний термин (М).
Суждение «Все люди (М) смертны (Р)» - большая посылка, так как содержит больший термин (Р). Суждение «Сократ (S) – человек (М)» - меньшая посылка, так как содержит меньший термин (S).
Каждый силлогизм имеет фигуру и модус.
Фигура силлогизма показывает расположение терминов (P, S, М) в посылках. В зависимости от расположения среднего термина различают четыре фигуры силлогизма (рис. 6).
Рис. 6. Фигуры простого категорического силлогизма
Верхняя грань фигуры показывает расположение терминов в большей посылке (обратите внимание: на верхних гранях всех фигур отмечен термин Р), нижняя – расположение терминов в меньшей посылке (на нижних гранях всех фигур находится термин S).
Пример. Чтобы определить фигуру приведенного выше силлогизма (о Сократе), нужно выписать из его посылок буквенные обозначения терминов в том порядке, в котором они там расположены, соединить между собой средние термины (М) и от них провести линии к крайним (S и Р). Получим первую фигуру:
Модус простого категорического силлогизма показывает вид категорических суждений, из которых состоит силлогизм. Причем первая буква в модусе всегда показывает вид большей посылки, вторая - меньшей посылки, третья - вид заключения.
Пример. В силлогизме о Сократе обе посылки и заключение – общеутвердительные суждения, которые обозначаются буквой «А», значит, его модус – ААА.
Простые категорические силлогизмы могут быть правильными и неправильными. Правильность силлогизма зависит только от его формы (фигуры и модуса). Лишь силлогизм с правильной формой обеспечивает истинность заключения при истинности посылок.
Чтобы установить, является ли силлогизм правильным, можно проверить, соответствует ли он общим правилам силлогизмов и правилам фигур.
Общие правила силлогизмов:
Хотя бы одна из посылок должна быть общим суждением.
Хотя бы одна из посылок должна быть утвердительным суждением.
При частной посылке заключение должно быть частным.
При отрицательной посылке заключение должно быть отрицательным.
При двух утвердительных посылках заключение должно быть утвердительным.
Средний термин должен быть распределен хотя бы в одной из посылок.
Термин, не распределенный в посылке, не должен быть распределен в заключении.
Правила фигур:
Первая фигура: меньшая посылка должна быть утвердительной, а большая - общей.
Вторая фигура: одна из посылок должна быть отрицательной, а большая - общей.
Третья фигура: меньшая посылка должна быть утвердительной, а заключение - частным.
Для четвертой фигуры не формулируется особых правил.
Пример. Проверим, соблюдаются ли общие правила и правила фигур в следующем силлогизме:
Все юристы (Р+)
есть люди, знающие признаки преступления (М-).
Все присутствующие (S+)
есть люди, знающие признаки преступления (М-).
Все присутствующие (S+) есть юристы (Р-).
Нетрудно заметить, что здесь не соблюдается шестое из общих правил силлогизма, так как средний термин (М) оказался не распределен в обеих посылках.
Не соблюдается и правило второй фигуры (а этот силлогизм имеет вторую фигуру): обе посылки – утвердительные, тогда как правило второй фигуры требует, чтобы одна из них была отрицательной. Следовательно, данный силлогизм правильным не является.
Убедиться в правильности или неправильности силлогизма можно и другим способом – посмотрев, относится ли его модус к числу правильных модусов его фигуры.
Всего существует 256 модусов простых категорических силлогизмов (по 64 модуса в каждой фигуре). Однако не все они представляют правильные умозаключения. Правильных модусов – лишь 24 (по шесть в каждой фигуре). Среди них выделяется 19 основных, так называемых сильных модусов. Остальные – слабые модусы – могут быть представлены как сложные выводы: сочетания выводов в форме категорического силлогизма с выводами по правилам «логического квадрата» (табл. 3).
Таблица 3
Правильные модусы простого категорического силлогизма
|
I фигура |
II фигура |
III фигура |
IV фигура |
Сильные модусы |
AAA EAE AII EIO |
EAE AEE AOO EIO |
AAI IAI AII EAO OAO EIO |
AAI AEE IAI EAO EIO |
Слабые модусы |
AAI EAO |
EAO AEO |
|
AEO |
Пример. Приведенный выше силлогизм (о присутствующих) имеет вторую фигуру и модус ААА. Однако среди правильных модусов второй фигуры нет модуса ААА. Такой модус есть только в первой фигуре. Это также говорит о том, что силлогизм неправильный.