Объект и предмет формальной логики. Особенности абстрактного мышления (стр. 8 из 12)

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

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

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

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

Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Например:

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

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

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

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

1р

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

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

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

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

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

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

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

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

Данная облигация предъявительская (р).

Данная облигация не является именной (q).

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

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

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

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

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

Данная облигация не является предъявительской (1 р).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Но в действиях Н. не было ни прямого (q), ни косвенного умысла (г).

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

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

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

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

Данное предприятие не осуществляет свою деятельность ни на основе взятого в аренду имущественного комплекса (1 а), ни на основе находящегося в его собственности имущества (Is).

Данное предприятие не арендное (1 р) или не коллективное (1 г).

24. Сокращенный силлогизм (энтимема). Сложный и сложносокращенный силлогизмы (полисиллогизм, сорит, эпихейрема).

●Термин “энтимема” в переводе с греческого языка означает “в уме”, “в мыслях”. Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой. Широко используются энтимемы простого категорического силлогизма, особенно выводы по первой фигуре.

В мышлении встречаются не только отдельные полные сокращенные силлогизмы, но и сложные силлогизмы, состоящие из двух, трех или большего числа простых силлогизмов. ●Цепи силлогизмов называются полисиллогизмами.Полисиллогизмом (сложным силлогизмом) называются Д1 или несколько простых категорических силлогизмов, связанных друг с другом таким образом, что заключение одного из них становится посылкой другого. Различают прогрессивные и peгрессивные полисиллогизмы.