XRy л yRz) -> xRz

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

Из свойства симметричности (xRy—>yRx) вытекает правило: если суждение xRy истинно, то суждение yRx тоже истинно. Например:

А подобно В В подобно А

Из свойства рефлексивности (xRy-^xRx л yRy) вытекает прави­ло: если суждение xRy истинно, то истинными будут суждения xRx и yRy. Например:

а=Ь а=аи b=b

Из свойства транзитивности (xRy л yRz—>xRz) вытекает правило:

если суждение xRy истинно и суждение yRz истинно, то суждение xRz также истинно. Например:

К. был на месте происшествия раньше Л. Л. был на месте происшествия раньше М. К. был на месте происшествия раньше М.

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

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

контрольные вопросы

1. Что такое умозаключение? На какие виды они делятся?

2. Какие знания называются выводными?

3. Какие умозаключения называются непосредственными?

4. В чем сущность операции превращения, обращения, противопоставления пре­дикату?

5. Как строятся умозаключения по логическому квадрату? Какова зависимость истинности или ложности одного суждения от истинности или ложности другого, если эти суждения находятся в отношениях: противоречия, противоположности, частич­ной совместимости, подчинения?

6. Что такое простой категорический силлогизм и каков его состав?

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

8. Что такое фигуры и модусы силлогизма? Какие особые правила имеют 1-я, 2-я и 3-я фигуры? Охарактеризуйте значение этих фигур в познании.

9. Что представляют собой умозаключения из суждений с отношениями? Охарак­теризуйте основные свойства отношений.

Глава VII

ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ. ВЫВОДЫ ИЗ СЛОЖНЫХ СУЖДЕНИЙ. СОКРАЩЕННЫЕ И СЛОЖНЫЕ СИЛЛОГИЗМЫ

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