 |
Фигуры и модусы категорического силлогизма
|
|
|
|
В посылках простого категорического силлогизма средний термин может занимать место субъекта или место предиката. В зависимости от этого различают четыре разновидности силлогизма, которые называются фигурами.
1) M P 2) P M
S M S M
S P S P
3) M P 4) P M
M S M S
S P S P
Эти фигуры исчерпывают все возможные комбинации терминов. Посылками силлогизма могут быть суждения, различные по качеству и количеству. Разновидности силлогизма, различающиеся количеством и качеством посылок, называются модусами простого категорического силлогизма.
Модусов, согласующихся с общими правилами силлогизма, – 19. Их называют правильными. Их принято записывать вместе с заключением:
1-я фигура: ААА, ЕАЕ, АII, EIO
2-я фигура: EAE, AEE, EIO, AOO
3-я фигура: AAI, IAI, AII, EAO, OAO, EIO.
4-я фигура: AAI, AEE, IAI, EAO, EIO
Необходимость знания модусов обусловлена тем, что не всегда заключение вытекает из посылок и не всегда мы можем убедиться в правильности нашего вывода по смыслу самого умозаключения.
22) Дедуктивное умозаключение
Дедукция (лат. deductio — выведение) — метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой (высказывания) связаны отношением логического следования.
Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и ее следствия. Дедукция — основное средство доказательства. Противоположно индукции.
Пример дедуктивного умозаключения:
Все люди смертны.
|
|
|
Сократ — человек.
Следовательно, Сократ смертен.
23) Чисто условное умозаключение
Чисто условным называется умозаключение, обе посылки которого являются условными суждениями.
Например:
Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q). Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)
Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)
В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения.
Схема чисто условного умозаключения:
(р -> q) л (q -> г) /р —> г
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
24) Условно-категорическое умозаключение
Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.
1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;
рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск
без рассмотрения (q)
|
|
|
Иск предъявлен недееспособным лицом (р)
Суд оставляет иск без рассмотрения (q)
Утверждающий модус дает достоверные выводы. Он имеет схему:
p->q,p/q
2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет
иск без рассмотрения (q)
Суд не оставил иск без рассмотрения (не-q)
Неверно, что иск предъявлен недееспособным лицом (не-р)
Схема отрицающего модуса:
p->q,1q/1p
25) Разделительно-категорическое умозаключение
Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.
Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции.
Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений — дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».
Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отрицающе-утверждающий.
1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Например;
Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q)
Данная облигация не является именной (не-q)
Заключение по этому модусу всегда достоверно, если соблюдает-1 ся правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции.
2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:
Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р)
|
|
|
Данная облигация именная (q)
Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.
Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием.
26)Условно-разделительное умозаключение
Умозаключение, в котором одна посылка условное, а другая — разделительное суждения, называется условно-разделительным, или лемматическим.
Разделительное суждение может содержать две, три и большее число альтернатив, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т.д.
Рассмотрим на примере дилеммы структуру и виды условно-разделительного умозаключения. Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.
В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.
В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных основания. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.
В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.
В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.
|
|
|
Сокращенный силлогизм
Силлогизм, в котором выражены все его части — обе посылки и заключение, называется полным. Однако на практике чаще используются силлогизмы, в которых одна из посылок или заключение явно не выражаются, а подразумеваются.
Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой.
В зависимости от того, какая часть силлогизма пропущена, различают три вида энтимемы: с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением.
Пример с пропущенной большей посылкой:
«Петров – студент, поэтому он обязан сдавать экзамены»
Здесь пропущена большая посылка: «Все студенты обязаны сдавать экзамены»
Полный силлогизм строится по 1-й фигуре (модус ААА)
Все студенты (М) обязаны сдавать экзамены (Р)
Петров (S) – студент (М)
Петров (S) обязан сдавать экзамены (Р)
Использование сокращенных силлогизмов обусловлено тем, что пропущенная посылка или заключение либо содержит известное положение, которое не нуждается в устном или письменном выражении, либо в контексте с выраженными частями умозаключения она подразумевается.
Для проверки правильности рассуждения следует найти пропущенные части умозаключения и восстановить энтимему в полный силлогизм.
Индуктивные умозаключения
Индукция (лат. inductio — наведение) — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.
Вариант №2
Индуктивное умозаключение - это такое умозаключение, в котором мысль развивается от знания меньшей степени общности к знанию большей степени общности, а заключение, вытекающее из посылок, носит преимущественно вероятностный характер.
|
|
|
