Мегаобучалка Главная | О нас | Обратная связь

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




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

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

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

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

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

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

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

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

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

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



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

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

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

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

Например:

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

без рассмотрения (q)

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

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

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

10- IW2


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

(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. Например:

Если состав преступления отсутствует (р), то уголовное дело дАа| не может быть возбуждено (1q) ' Щ Состав преступления отсутствует (р) ^В

Уголовное дело не может быть возбуждено f1 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

1q '

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

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

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


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

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

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

<pvq>,1p

q

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

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

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

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

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

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

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

р ¥ q ¥ г, р

1q л1г

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

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

_______<pvqvr>,1pv1q

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

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

Разделительно-категорическое умозаключение находит широкое применение в судебно-следственной практике, особенно при по­строении и проверке следственных версий (гл. 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),1qv1r

Пример: ;

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

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

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

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

(p->q)A(r-»s),1qv1s

1pv1r

Пример:

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

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

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

§ 4. Сокращенный силлогизм (энтимема)

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

Силлогизм с пропущенной посылкой или заключением называет­ся сокращенным силлогизмом, или энтимемой1.

Широко используются энтимемы простого категорического сил­логизма, особенно выводы по первой фигуре. Например: «Н. совер­шил преступление и поэтому подлежит уголовной ответственности». Здесь пропущена большая посылка: «Лицо, совершившее преступ­ление, подлежит уголовной ответственности». Она представляет собой общеизвестное положение, формулировать которое необяза­тельно.

Полный силлогизм строится по 1-й фигуре:

Лицо, совершившее преступление (М), подлежит уголовной

ответственности (р)

Н. (s) совершил преступление (М)

Н. (s) подлежит уголовной ответственности (р)

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

Энтимема в переводе с греческого буквально означает «в уме». 153


ной ответственности». Или: «Лицо, совершившее преступление, подлежит уголовной ответственности, а Н. совершил преступле­ние». Пропущенные части силлогизма подразумеваются.

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

Умозаключение в форме эшимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко.

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

Здесь пропущена большая посылка — условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевается.

Разделительно-категорический силлогизм с пропущенной боль­шей посылкой: «По данному делу не может быть вынесен оправда­тельный приговор, он должен быть обвинительным».

Большая посылка — разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» не формулируется.

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

Заключение, отрицающее все другие альтернативы, обычно не формулируется.

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





Читайте также:


©2015 megaobuchalka.ru Все права защищены авторами материалов.

Почему 3458 студентов выбрали МегаОбучалку...

Система поиска информации

Мобильная версия сайта

Удобная навигация

Нет шокирующей рекламы


(0.018 сек.)