Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Термин считается распределенным, если он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема. 2 страница



Третья фигура - разновидность силлогизма, в которой средний термин занимает место субъекта в обеих посылках (М - Р; М - S). Например:

Все подозреваемые (М) признали свою вину.

Все подозреваемые (М) привлечены к уголовной ответственности.

Некоторые привлеченные к уголовной ответственности, признали свою вину.

М - Р - большая посылка.

М - S - меньшая посылка.

S - Р - заключение.

Правила третьей фигуры:

Ø меньшая посылка должна быть утвердительным суждением (А, I);

Ø о заключение должно быть частным суждением (I, О).

Третья фигура служит чаще всего для установления частичной совместимости признаков, относящихся к одному и тому же предмету. Она также может быть применима для опровержения отдельных общих положений. Например, необходимо опровергнуть суждение «Ни один свидетель не дал правдивых показаний» (т. е. доказать противоречащее ему суждение «Некоторые свидетели дали правдивые показания») и известно, что свидетели X. и Y. дали правдивые показания. Построим умозаключение по третьей фигуре:

X. и Y. (М) - дали правдивые показания.

X. и Y. (M) - свидетели.

Некоторые свидетели дали правдивые показания.

P - M- большая посылка.

S - M - меньшая посылка.

S-P- заключение.

Поскольку частноутвердительное суждение «Некоторые свидетели дали правдивые показания» является истинным, то находящееся с ним в отношении противоречия общеотрицательное суждение «Ни один свидетель не дал правдивых показаний» - ложное.

Четвертая фигура - разновидность силлогизма, в которой средний термин занимает место предиката в большей и место субъекта в меньшей посылке (Р - M, M - S), схематично выражается:

Р - М - большая посылка.

М - S - меньшая посылка.

S - Р - заключение.

Четвертая фигура силлогизма практически не употребляется.

По первой фигуре можно получить выводы из всех основных видов суждений. Вторая фигура дает только отрицательный вывод. В третьей фигуре вывод будет частным суждением.

В зависимости от того, какие суждения по количеству и качеству составляют простой категорический силлогизм (являются посылками и заключением), различают виды силлогизмов, которые называют модусами. Модусы простого категорического силлогизма - это его разновидности, отличающиеся друг от друга качественной и количественной характеристикой входящих в них посылок и заключения.

В четырех фигурах силлогизма максимальное число комбинаций равно 64. Однако правильных модусов всего 19:

Первая фигура: ААА, ЕАЕ, АII, ЕIО

Вторая фигура: ЕАЕ, АЕЕ, ЕIО, АОО

Третья фигура: AAI, IAI, АII, ЕАО, ОАО, ЕIО

Четвертая фигура: AAI, АЕЕ, IAI, ЕАО, ЕIО

В соответствии с этим называют модусы первой фигуры, модусы второй фигуры и т. д. Например, модус ААА 1-й фигуры, модус АЕЕ 2-й фигуры и т.д. Все другие модусы возможны, но они являются неправильными, так как в них нарушаются те или иные правила категорического силлогизма. Знание модусов дает возможность определить форму истинного заключения, когда даны посылки и известно, какова фигура данного силлогизма.

Знания специальных правил фигур являются производными от перечисленных выше общих правил силлогизма. Главная трудность при проверки правильности того или иного силлогизма состоит в том, чтобы правильно построить умозаключение. Правила простого категорического силлогизма не позволяют определить содержание посылок, но они указывают, каким требованиям эти посылки должны удовлетворять, чтобы их можно было связать между собой и сделать необходимое заключение.

Но умозаключения строятся не только из простых, но и из сложных суждений. Широко используются умозаключения, посылками которых являются условные и разделительные суждения, выступающие в разных сочетаниях друг с другом или с категорическими суждениями.

ЛОГИКА№39-

Фигуры и модусы категорического силлогизма

В посылках простого категорического силлогизма средний термин может занимать место субъекта или место предиката. В зависимости от этого различают четыре разновидности силлогизма, которые называются фигурами.

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

Необходимость знания модусов обусловлена тем, что не всегда заключение вытекает из посылок и не всегда мы можем убедиться в правильности нашего вывода по смыслу самого умозаключения.

Правила фигур силлогизма

Как видно из анализа модусов 1-й фигуры, они имеют следующие два правила:

1. Бόльшая посылка – общее суждение

2. Меньшая посылка – утвердительное суждение.

Модусы 2-й фигуры указывают на следующие правила:

3. Бόльшая посылка – общее суждение

4. Одна из посылок – отрицательное суждение.

3-я фигура имеет такие правила:

5. Меньшая посылка – утвердительное суждение

6. Заключение – частное суждение.

4-я фигура также имеет свои правила и модусы. Однако выведение заключения из посылок по этой фигуре не характерно для естественного процесса рассуждения.

ЛОГИКА№40 Умозаключения ниже в вопросе они все перечислены-

Умозаключения строятся не только из простых, но и из сложных суждений. Широко используются умозаключения, посылками которых являются условные и разделительные суждения, выступающие в разных сочетаниях друг с другом или с категорическими суждениями. К ним относятся чисто условное,у слоено-категорическое, разделительно-категорическое и условно-разделительное умозаключения.

Особенность этих умозаключений состоит в том, что выведение заключения из посылок определяется не отношениями между терминами, как в категорическом силлогизме, а характером логической связи между суждениями. Поэтому при анализе посылок их субъект-но-предикатная структура не учитывается.

Видами дедуктивных умозаключений являются также сокращенные, сложные и сложносокращенные силлогизмы.

§1. Чисто условное и условно-категорическое умозаключения

Чисто условное умозаключение

Чисто условным называется умозаключение, обе посылки кото- 1^в рого являются условными суждениями. Например:

Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q). Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)

Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)

В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения.

Схема чисто условного умозаключения:

(р -> q) л (q -> г) р —> г

Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.

Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными. Они будут рассмотрены в § 5.

Условно-категорическое умозаключение

Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения.

Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.

1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;

рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

Например:

Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q)

Иск предъявлен недееспособным лицом (р)

Суд оставляет иск без рассмотрения (q)

Первая посылка — условное суждение, выражающее связь основания (р) и следствия (q). Вторая посылка — категорическое суждение, в котором утверждается истинность основания (р): иск предъявлен недееспособным лицом. Признав истинность основания (р), мы признаем истинность следствия (q): суд оставляет иск без рассмотрения.

Утверждающий модус дает достоверные выводы. Он имеет схему:

(1)Р^«'-Р.

2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Например:

Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q)

Суд не оставил иск без рассмотрения (не-q)

Неверно, что иск предъявлен недееспособным лицом (не-р)

1 Схема отрицающего модуса:

пл р^ч^д. ^ " ip

Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма: от отрицания истинности основания к отрицанию истинности следствия (3) и от утверждения истинности следствия к утверждению истинности основания(4), т.е.:

(3) Р-^Р,

\ / ^Ч А

(4)-^Г- |

Однако заключение по этим модусам не будет достоверными Так, если в примере, приведенном выше, основание условной посылки отрицается: неверно, что иск предъявлен недееспособным лицом (схема 3), нельзя с достоверностью отрицать истинность следствия:

неверно, что суд оставляет иск без рассмотрения. Суд может оставить иск без рассмотрения и по другим обстоятельствам, например в результате истечения срока исковой давности.

Утверждение следствия: суд оставляет иск без рассмотрения (схема 4) не влечет с необходимостью истинность основания: суд

Поскольку двойное отрицание равнозначно утверждению, вывод можно записать так: «Иск предъявлен дееспособным лицом». Модусы могут быть представлены в записи:

1) ((р-щ) л р)-щ; 2) ((р-кО л-1 q)-»1 р; 3) ((р-к]) л1 р)-П q; 4) ((р-к)), может оставить иск без рассмотрения не только в результате недееспособности истца, но и по другим причинам.

Итак, из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

Необходимость вывода по утверждающему и отрицающему модусам можно показать с помощью таблиц истинности.

Утверждающий модус (рис. 53).

Р

q

(p->q) лр ->q

И

И

И

И

И

И

л

Л

Л

и

л

И

И

Л

и

л

л

и

Л

и

Рис. 53

Истинность импликации (столбик 3) зависит от истинности антецедента (основания) (1) и консеквента (следствия) (2). Импликация считается ложной тогда и только тогда, когда антецедент истинен, а консеквент ложен (2-я строка таблицы). Во всех остальных случаях импликация истинна. Истинность или ложность конъюнкции (4-й столбик) также зависит от составляющих ее членов (3 и 1). Конъюнкция истинна тогда и только тогда, когда истинны оба ее члена (1-я строка таблицы).

Теперь установим истинность импликации (5-й столбик таблицы — утверждающий модус). Так как импликация антецедента (4) и консеквента (2) не содержит случая, когда антецедент истинен, а консеквент ложен, то импликация всегда истинна. Следовательно, высказывание ((р —> q) л р) —> q является логическим законом.

Отрицающий модус (рис. 54).

В столбиках 1 и 3, 2 и 4 показано, что если одно высказывание ложно, то его отрицание истинно. Импликация р и q (1 и 2) ложна только в одном случае (2-я строка таблицы) — столбик 5. Конъюнкция (столбик 6) высказываний (р—>ц) и I q (5 и 4) истинна только в одном случае (4-я строка таблицы). Импликация ((p —> q) л "1 q) и П р (6 и 3) всегда истинна, так как не содержит случая, когда антецедент истинен, а консеквент ложен. Следовательно, высказывание ((p —» q) л Ч q)—> "1 р является логическим законом.

С помощью таблиц истинности можно показать недостоверность выводов по неправильным модусам.

р

q

IP

-iq

((P->q) л-lq) ->-Ip

и

И

Л

Л

И

Л

И

и

Л

л

И

Л

Л

И

л

И

и

Л

И

Л

и

л

Л

и

И

И

и

и

Рис.54

При анализе условно-категорического умозаключения нужно иметь в виду следующее. Во-первых, основание и следствие большей посылки может быть как утвердительным, так и отрицательным суждением: р —> q; 1 р —> q; р —>~\ q; Ч р —>1 q. Например: Если состав преступления отсутствует (р), то уголовное дело дАа| не может быть возбуждено (1 q) ' Щ Состав преступления отсутствует (р) ^В

Уголовное дело не может быть возбуждено f 1 q) ^Щ

Следствие условной посылки — отрицательное суждение, категорическая посылка (утвердительное суждение) утверждает истинность основания, заключение (отрицательное суждение) утверждает истинность следствия, т.е.

р -П q, р

iq

Это утверждающий модус.

Возможны и другие разновидности модусов.

Во-вторых, если большая посылка является эквивалентным суждением: р = q (если, и только если р, то q), где s — знак эквивалентности, то достоверные заключения получаются по всем четырем модусам:

P=q,P. P^lq. Р = q> "I Р. Р s Ч, q q ' ip ' iq ' Р

Рассмотрим для примера выделяющее условное суждение: «Если лицо виновно в совершении преступления, то оно подлежит уголовной ответственности». Нетрудно установить, что достоверное заключение получается по любому из приведенных модусов.

§ 2. Разделительно-категорическое умозаключение

Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.

Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений — дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».

Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отри-цающе-утверждающий.

1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Например;

Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q)

Данная облигация не является именной (не-q) Схема утверждающе-отрицающего модуса:

P ^ q > P

1 q '

? — символ строгой дизъюнкции.

Заключение по этому модусу всегда достоверно, если соблюдает-1 ся правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя. В самом деле, из посылок «Кражу совершил К. или Л.» и «Кража совершена К.» заключение «Л. кражу не совершал» с необходимостью не следует. Возможно, что Л. также причастен к совершению кражи, является соучастником К.

2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:

Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р)

Данная облигация именная (q)

Схема отрицающе-утверждающего модуса:

< pvq >,1 p

q

< > — символ закрытой дизъюнкции.

Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.

Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывание, достоверного заключения получить нельзя. Например:

Сделка может быть двусторонней или многосторонней Совершенная сделка не является двусторонней

Совершенная сделка является многосторонней \

Однако это заключение может оказаться ложным, так как в большей посылке учтены не все возможные виды сделок: посылка представляет собой неполное, или открытое, дизъюнктивное высказывание (сделка может быть и односторонней, для совершения которой достаточно изъявления воли одного лица — выдача доверенности, составление завещания, отказ от наследства и т.п.).

Разделительная посылка может включать не два, а три и больше членов дизъюнкции. Например, в процессе расследования причин пожара на складе следователь предположил, что пожар мог возникнуть либо вследствие неосторожного обращения с огнем (р), либо в результате самовоспламенения хранящихся на складе материалов (q), либо в результате поджога (г). В ходе расследования было установлено, что пожар возник вследствие неосторожного обращения с огнем (р). В этом случае все другие дизъюнкты отрицаются. Умозаключение принимает форму утверждающе-отрицающего модуса и строится по схеме:

р? q? г, р

1 q л1г

Возможен и другой ход рассуждения. Допустим, предположения о том, что пожар возник вследствие неосторожного обращения с огнем или в результате самовоспламенения хранящихся на складе материалов не подтвердилось. В этом случае умозаключение примет форму отрицающе-утверждающего модуса и будет построено по схеме:

_______ < pvqvr >,1 pv 1 q

г (пожар возник в резульгате поджога)

Заключение будет истинным, если в условной посылке учтены все возможные случаи.

Разделительно-категорическое умозаключение находит широкое применение в судебно-следственной практике, особенно при построении и проверке следственных версий (гл. XI).

§ 3. Условно-разделительное умозаключение

Умозаключение, в котором одна посылка условное, а другая — разделительное суждения, называется условно-разделительным, или лемматическим 1.

Разделительное суждение может содержать две, три и большее число альтернатив 2, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т.д.

Рассмотрим на примере дилеммы структуру и виды условно-разделительного умозаключения. Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.

В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.

Схема простой конструктивной дилеммы:

Пример: Если обвиняемый виновен в заведомо незаконном задержании (р), то он подлежит уголовной ответственности за преступление против правосудия (г), если он виновен в заведомо незаконном заключении под

От латинского lemma — «предположение».

От латинского alternare — «чередоваться»; каждая из двух или нескольких исключающих друг друга возможностей.

Пример: стражу (q), то он также подлежит уголовной отвечст вечности за преступление против правосудия (г)

Обвиняемый виновен или в заведомо незаконном задержании (р), или в заведомо незаконном заключении под стражу (q)

Обвиняемый подлежит уголовной ответственности за преступление против правосудия (г)

В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных основания. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.

Схема сложной конструктивной дилеммы:

(p -> q) A (r -> s), pvr • q v s

Если сберегательным сертификат является предъявительским (р), то он передается другому лицу путем вручения (q), если он является именным (г), то передается в порядке, установленном для уступки требований (s) Но сберегательный сертификат может быть предъявительским (р) или именным (г)

Сберегательный сертификат передается другому лицу путем вручения (q) или в порядке, установленном для уступки требований (s)

В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.

Схема простой деструктивной дилеммы:

(p -> q) A (p -> r),1 qv 1 r

Пример: Если Н. совершил умышленное преступление (р),

41.

СОКРАЩЕННЫЕ, СЛОЖНЫЕ И СЛОЖНОСОКРАЩЕННЫЕ КАТЕГОРИЧЕСКИЕ СИЛЛОГИЗМЫ

Своеобразными видами простого категорического силлогизма выступают сокращенные, сложные и сложносокращенные силлогизмы. Структура их в целом ясна из самих их названий. Сокращенные — значит с пропуском одного из элементов пол­ного умозаключения, сложные — значит состоящие из нескольких умозаключений, определенным образом связанных между собой. Сложносокращенные совмещают в себе свойства тех и других умозаключений.

Естественно, что полными силлогизмами как в повседневной, так и научной практике люди не пользуются. Сокращение рассуждения вызвано стремлением к оптимизации мышления, его эффективности и уплотненности, насыщенности. В разговорной речи, как правило, мы сокращаем силлогизмы, например, до "Железо электропроводно, так как все металлы электропроводны", "Юпитер, ты сердишься, значит, ты не прав", или "Наше дело правое - мы победим" и т.п. Поскольку в сокращенных структурах умозаключений не так очевидными становятся те или иные нарушения норм логики, то восстановление сокращенных силлогизмов до полных и раз­ложение сложных до элементарных, простых как раз и выступают своеобразными проверочными операциями для вы­явления правильности, соответствия данных рассуждений нормативным требованиям логики. Чтобы не ошибаться в подобных умозаключениях и необходимо знать полные виды силлогизмов, поскольку обнаружить ошибку в рассуждении можно лишь зная не только структуру умозаключения, но и законы ее.

В логике выделяют четыре вида сокращенных, сложных и сложносокращенных силлогизмов, это - энтимема, эпихейрема, полисиллогизм и сорит.

Энтимема - умозаключение, в котором пропущена либо одна из посылок, либо само заключение. Таким образом, возможна энтимема с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением, т.е. можно выделить три вида энтимем. Но так как в простом категорическом силлогизме только три термина, то об энтимеме можно сказать и по-другому, что это умозаключение, в котором в одном случае пропущены больший и средний термины (большая посылка), в другом — меньший и средний термин (меньшая посылка), в третьем — субъект и предикат вывода (само заключение).

В виде схем эти виды энтимем можно записать так (пропущенные посылки обозначены точками):

.......... M --- P M --- P

S --- M.......... S --- M

S --- P S --- P...........

Или содержательно: "Железо есть металл, поэтому железо электропроводное" — это энтимема с пропущенной большей посылкой. "Все металлы электропроводны, поэтому и железо электропроводно" — это энтимема с пропущенной меньшей по­сылкой. "Все металлы электропроводны, а железо — металл" — это энтимема с пропущенным выводом. Легко заметить, что все эти рассуждения соответствуют следующему полному простому категорическому силлогизму:





Дата публикования: 2014-12-08; Прочитано: 247 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.032 с)...