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

Чисто условное умозаключение Чисто условным называется умозаключение, обе посылки которого являются условными суждениями. Например: Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q). Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г) Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, создан­ное в соавторстве, определяется соглашением между соавторами (г) В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения. Схема чисто условного умозаключения: (р -> q) л (q -> г) /р —> г Вывод в чисто условном умозаключении основывается на прави­ле: следствие следствия есть следствие основания.

Условно-категорическим называется умозаключение, в кото­ром одна из посылок —условное, а другая посылка и заключение — категорические суждения. Это умозаключение имеет два правильных модуса: 1) утверждаю­щий и 2) отрицающий. 1. В утверждающем модусе (modus ponens) посылка, выражен­ная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.Например:Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q) Иск предъявлен недееспособным лицом (р) Суд оставляет иск без рассмотрения (q) Утверждающий модус дает достоверные выводы. Он имеет схему: p->q,p/q

2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия услов­ной посылки, а заключение отрицает истинность основания. Рассуж­дение направлено от отрицания истинности следствия к отрица­нию истинности основания. Например: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q) Суд не оставил иск без рассмотрения (не-q) Неверно, что иск предъявлен недееспособным лицом (не-р) Схема отрицающего модуса: p->q,1q/1p

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

Условные умозаключения называются так потому, что в качестве посылок в них используются условные суждения (если а, то b). Условные умозаключения можно отразить в виде следующей схемы. Если а, то b. Если b, то с. Если а, то с. Выше указана схема умозаключений, являющихся видом условных. Для таких умозаключений характерно, что все их посылки являются условными. Разделительные умозаключения делятся на простые разделительные и разделительно- категорические умозаключения. В первом случае разделительными являются все посылки. Соответственно, разделительнокатегорические суждения имеют в качестве одной из посылок простое категорическое суждение. Таким образом, разделительным считается умозаключение, все или часть посылок которого являются разделительными суждениями. Структура простого разделительного умозаключения отражается следующим образом. S есть А или В, или С. А есть А1 или А2. S есть А1 или А2, или В, или С. Примером такого умозаключения является следующее. Путь бывает прямым или окружным. Окружный путь бывает с одной пересадкой или с несколькими пересадками. Путь бывает прямым или с одной пересадкой, или с несколькими пересадками. Разделительно- категорические умозаключения можно представить в виде схемы. S есть А или В. S есть А (В). S не есть В (А). Например:Выстрел бывает точным и неточным. Этот выстрел является точным. Этот выстрел не является неточным. Здесь необходимо упомянуть об условно- разделительных умозаключениях. От указанных выше умозаключений они отличаются посылками. Одна из них — это разделительное суждение, что не является особенным, однако вторая посылка таких суждений состоит из двух или нескольких условных суждений. Условно- разделительное суждение может быть или дилеммой, или трилеммой. Дилемма — это выбор одного из двух вариантов. Трилемма состоит из двух посылок и следствия и предлагает выбор из трех вариантов или констатирует три факта.