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

Например:

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

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

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

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

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

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

Билет №11

1. Классификация и виды суждений. Если в состав суждения входит один субъект и один предикат, то такое суждение является простым. Простые суждения по объему субъекта и качеству связки делятся на 4 вида. Объем субъекта может быть общим (все) и частным (некоторые), а связка может быть утвердительной (есть, или является) и отрицательной (не есть, или не является). Как видим, на основе объема субъекта и качества связки можно выделить только четыре комбинации, которыми исчерпываются все виды простых суждений (все — есть, некоторые — есть, все — не есть, некоторые — не есть). Каждый из этих видов имеет свое название и условное обозначение. Общеутвердительные суждения. Как явствует из названия, это суждения с общим объемом субъекта и утвердительной связкой: Все S есть Р, например: «Все школьники являются учащимися». Эти суждения обозначаются в логике латинской буквой А. Частноутвердительные суждения. Название данного вида свидетельствует о том, что он представляет собой суждения с частным объемом субъекта и утвердительной связкой: Некоторые S есть Р, например: «Некоторые животные являются хищниками». Эти суждения обозначаются латинской буквой I. Общеотрицательные суждения — это суждения с общим объемом субъекта и отрицательной связкой: Все S не есть Р (или Ни одно S не есть Р), например: «Все планеты не являются звездами» (или «Ни одна планета не является звездой»). Такие суждения обозначаются латинской буквой Е. Частноотрицательные суждения — это суждения с частным объемом субъекта и отрицательной связкой: Некоторые S не есть Р, например: «Некоторые грибы не являются съедобными». Эти суждения обозначаются латинской буквой О.

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

Билет №12

1. Распределенность терминов в суждении.

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