- •Содержание
- •Тема 7. Правдоподобные умозаключения 155
- •Тема 1. Предмет и значение логики
- •1.1 Основные характеристики процесса познания
- •1.2 Предмет логики. Логическая форма и логическое содержание мысли
- •1.3 Формальное поведение и формальное мышление
- •1.4 Основные принципы формальной логики
- •1.5 История развития науки логики
- •1.6 Логическая культура. Значение логики
- •Вопросы для повторения
- •Тема 2. Логический анализ языка
- •2.1 Понятие знака. Смысл и значение знака
- •2.2 Типы знаков
- •2.3 Семантические категории языка
- •2.4 Виды имен
- •2.5 Основные принципы употребления имен (знаков)
- •Вопросы и упражнения для повторения
- •Тема 3. Формализованные логические языки
- •3.1 Язык логики предикатов
- •Исходные символы
- •3.2 Язык логики суждений
- •Вопросы и упражнения для повторения
- •Тема 4. Понятие как форма мышления
- •4.1 Общая характеристика понятий
- •4.2 Объем и содержание понятий
- •X(p(X)q(X)s(X)r(X)).
- •4.3 Обобщение и ограничение понятий
- •4.4 Виды понятий
- •Виды понятий по характеру признаков содержания
- •Виды понятий по числу элементов объема
- •Виды понятий по характеру элементов объема
- •4.5 Отношение между понятиями. Совместимые и несовместимые понятия
- •Виды совместимых понятий
- •Виды несовместимых понятий
- •4.6 Основные операции с объемами понятий
- •4.7 Основные операции с содержанием понятий
- •4.8 Диаграммы Венна
- •4.9 Определение понятий
- •Виды определений
- •Виды явных определений
- •Виды неявных определений
- •Правила определения
- •4.10 Деление понятий. Классификация. Типология
- •Виды деления
- •Правила деления
- •Классификация и типология
- •Вопросы и упражнения для повторения
- •Тема 5. Суждение (высказывание) как форма мышления
- •5.1 Суждение. Виды суждений
- •Виды суждений
- •Виды простых суждений
- •Виды атрибутивных суждений
- •5.2 Категорические суждения
- •5.3 Распределенность терминов в категорических суждениях
- •5.4 Сложные суждения и их истинность
- •5.5 Типы и виды модальных суждений
- •Основные типы и виды модальных суждений
- •5.6 Отношения между категорическими суждениями
- •5.7 Отношение между сложными суждениями
- •5.8 Отрицание суждений
- •Вопросы и упражнения для повторения
- •Тема 6. Дедуктивные умозаключения
- •6.1 Общая характеристика умозаключений
- •6.2 Общая характеристика дедуктивных умозаключений
- •6.3 Прямые Умозаключения логики высказываний
- •Виды простых1 форм прямых умозаключений логики суждений.
- •6.4 Непрямые умозаключения логики высказываний
- •6.5 Непосредственные умозаключения
- •6.5.1 Общая характеристика непосредственных умозаключений
- •6.5.2 Превращение
- •6.5.3 Обращение
- •6.5.4 Противопоставление предикату
- •6.5.5 Противопоставление субъекту
- •6.5.6 Умозаключения по «логическому квадрату»
- •6.6 Простой категорический силлогизм
- •6.7 Энтимема
- •Вопросы и упражнения для повторения
- •Тема 7. Правдоподобные умозаключения
- •7.1 Умозаключения по аналогии
- •7.2 Индуктивные умозаключения: общая характеристика и основные виды
- •Полная и неполная индукция
- •7.3 Понятия причины и необходимых условий действия некоторой причины. Основные свойства причинных связей
- •7.4 Эмпирические методы установления причинной зависимости явлений
- •Вопросы и упражнения для повторения
- •Тема 8. Логико-эпистемические аспекты аргументации
- •8.1 Аргументация как прием познавательной деятельности. Виды аргументации
- •8.2 Структура доказательства
- •8.3 Виды доказательств
- •8.4 Правила и ошибки по отношению к тезису
- •8.5 Виды аргументов
- •Виды аргументов
- •8.6 Правила и ошибки по отношению к аргументам Правила по отношению к аргументам
- •Ошибки по отношению к аргументам
- •8.7 Форма доказательства и ее виды
- •8.8 Правила и ошибки по отношению к форме доказательства
- •8.9 Опровержение
- •8.10 Критика и подтверждение
- •Вопросы и упражнения для повторения
- •Тема 9. Социально-психологические аспекты аргументации
- •9.1 Спор и дискуссия как разновидности аргументации. Виды споров
- •9.2 Научный спор как форма познавательной деятельности. Значение научных споров
- •9.3 Уловки логического характера
- •9.4 Уловки социально-психологического характера
- •9.5 Уловки организационно-процедурного характера
- •9.6 Способы нейтрализации уловок в спорах
- •9.7 Рационализация споров
- •Вопросы для повторения
- •Тема 10. Формы развития знания
- •10.1 Вопрос как форма познания. Виды вопросов и виды ответов
- •Виды вопросов
- •Виды ответов
- •10.2 Проблема
- •10.3 Гипотеза
- •10.4 Теория
- •Состав теорий
- •Истинность теорий
- •Вопросы и упражнения для повторения
- •Рекомендуемая литература
- •302030, Г. Орел, ул. Московская, 65.
6.6 Простой категорический силлогизм
Простой категорический силлогизм - это дедуктивное умозаключение, в котором из двух категорических суждений выводится новое (третье) категорическое суждение.
О
Это посылки
силлогизма
Черта между
посылками и заключением читается
«следовательно»
Это заключение
силлогизма
Все люди смертны.
Сократ - человек.
Сократ смертен.
Черта между посылками и заключение читается «следовательно» и (как и в других формах дедуктивных умозаключений) означает дедуктивное логическое следование.
Простой категорический силлогизм всегда содержит только три понятия, которые называются терминами и которые входят в его посылки и заключение. Субъект заключения (S) в силлогизме считается меньшим термином, предикат заключения (P) - большим термином. Меньший и больший термины - это крайние термины силлогизма. Каждый из крайних терминов содержится и в заключении, и в одной из посылок.
Посылка, содержащая больший термин (Р), называется большей.
Посылка, содержащая меньший термин (S), называется меньшей.
Традиционно большая посылка в силлогизме должна стоять на первом месте.
Средним (M) называется термин, который входит в обе посылки, но не входит в заключение. Через его посредство выявляется связь между теми терминами-понятиями, которые составляют субъект и предикат заключения (между крайними терминами). Таким образом, простой категорический силлогизм - это опосредованное умозаключение, то есть умозаключение, в котором связь между двумя понятиями в заключении устанавливается посредством третьего, имеющегося в обеих посылках.
Понятия, встречающиеся в силлогизме в качестве терминов, представляют собой содержание силлогизма. Связь, которая придается терминам - форму силлогизма.
Пример.
Все люди (M) смертны (P). Большая посылка силлогизма
Сократ (S) – человек (M). Меньшая посылка силлогизма
Сократ (S) смертен (P).
Термины, из которых состоит этот силлогизм следующие: «смертны» - больший термин (предикат заключения (Р)); «Сократ» - меньший термин (субъект заключения (S)); «люди» - средний термин (М) (входит в обе посылки, но его нет в заключении). Суждение «Сократ (S) человек (М)» - меньшая посылка, так как содержит меньший термин (S). Суждение «Все люди (М) смертны (Р)» - большая посылка, так как содержит больший термин (Р).
Каждый силлогизм имеет фигуру и модус.
Фигура силлогизма показывает расположение терминов (P, S, М) в посылках. В зависимости от расположения среднего термина различают четыре фигуры силлогизма (рис. 18).
Рисунок 18. Фигуры простого категорического силлогизма
Верхняя грань фигуры всегда показывает расположение терминов в большей посылке, нижняя - в меньшей посылке.
В первой фигуре в большей посылке субъектом является средний термин (М), предикатом – больший термин (Р). В меньшей посылке субъектом является меньший термин (S), предикатом – средний термин (М).
Во второй фигуре в большей посылке субъектом является больший термин (Р), предикатом – средний термин (М). В меньшей посылке субъектом является меньший термин (S), предикатом – средний термин (М).
В третьей фигуре в большей посылке субъектом является средний термин (М), предикатом – больший термин (Р). В меньшей посылке субъектом является средний термин (М), предикатом – меньший термин (S).
В четвертой фигуре в большей посылке субъектом является больший термин (Р), предикатом – средний термин (М). В меньшей посылке субъектом является средний термин (М), предикатом – меньший термин (S).
Пример. Чтобы определить фигуру приведенного выше силлогизма (о Сократе), нужно выписать из его посылок буквенные обозначения терминов в том порядке, в котором они там расположены, соединить между собой средние термины (М) и от них провести линии к крайним (S и Р). Получим первую фигуру:
Модус простого категорического силлогизма показывает вид категорических суждений, из которых состоит силлогизм. Причем первая буква в модусе всегда показывает вид большей посылки, вторая - меньшей посылки, третья - вид заключения.
Пример. В силлогизме о Сократе и обе посылки, и заключение – общеутвердительные суждения (А), значит его модус – ААА.
Простые категорические силлогизмы могут быть правильными и неправильными. Правильность силлогизма не зависит от его содержания, а зависит только от его формы (фигуры и модуса). При этом только силлогизм с правильной формой гарантирует истинность заключения при истинности посылок. В противном случае, даже при истинных посылках истинность заключения не гарантируется.
Чтобы установить, является ли силлогизм правильным, можно проверить, соответствует ли он общим правилам силлогизмов и правилам фигур.
Общие правила силлогизмов:
Хотя бы одна из посылок должна быть общим суждением.
Хотя бы одна из посылок должна быть утвердительным суждением.
При частной посылке заключение должно быть частным.
При отрицательной посылке заключение должно быть отрицательным.
При двух утвердительных посылках заключение должно быть утвердительным.
Средний термин должен быть распределен хотя бы в одной из посылок.
Термин, не распределенный в посылке, не должен быть распределен в заключении.
Правила фигур:
Первая фигура: меньшая посылка должна быть утвердительной, а большая - общей.
Вторая фигура: одна из посылок должна быть отрицательной, а большая - общей.
Третья фигура: меньшая посылка должна быть утвердительной, а заключение - частным.
Для четвертой фигуры не формулируется особых правил, так как практически они сводятся к перечислению правильных модусов этой фигуры.
Пример. Проверим, соблюдаются ли общие правила и правила фигур в следующем силлогизме:
Все юристы (Р+) есть люди, знающие признаки преступления (М-).
Все присутствующие (S+) есть люди, знающие признаки преступления (М-).
Все присутствующие (S+) есть юристы (Р-).
Нетрудно заметить, что в данном случае не соблюдается шестое из общих правил силлогизма, так как средний термин (М) оказался не распределен в обеих посылках.
Не соблюдается и правило второй фигуры (а этот силлогизм имеет именно вторую фигуру), так как обе посылки - утвердительные суждения, а правило второй фигуры требует, чтобы одна из посылок была отрицательной. Следовательно, приведенный силлогизм не является правильным.
Убедиться в правильности (или неправильности) силлогизма можно и другим способом – посмотрев, относится ли его модус к числу правильных модусов его фигуры.
Вообще в каждой фигуре имеется 64 модуса, а всего – 256. Однако не все они представляют правильные умозаключения. Правильных модусов – всего лишь 24 (по 6 модусов в каждой фигуре). Среди них выделяется 19 основных, так называемых сильных модусов. Остальные – слабые модусы – могут быть представлены как сложные выводы: сочетания выводов в форме категорического силлогизма с выводами по правилам логического квадрата (таблица 4).
Таблица 4
Правильные модусы простого категорического силлогизма
|
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 |
Пример. Приведенный силлогизм (о присутствующих) имеет вторую фигуру и модус ААА. Однако среди правильных модусов второй фигуры нет модуса ААА. Такой модус есть только в первой фигуре. Это также говорит о том, что силлогизм неправильный.