2.Вывод по 1-й фигуре, в которой большая посылка — частное суждение.

Необходимость вывода в этом силлогизме может быть показана на приведенном примере: средний термин в меньшей посылке распределен.

3.Одна из посылок — частное суждение, заключение — общее суждение.

Большая посылка в этом примере — частноутвердительное выделяющее суждение с распределенным предикатом — средним термином силлогизма.

4.Вывод по 2-й фигуре из двух утвердительных посылок.

Приведенный пример показывает, что вывод по 2-й фигуре следует с необходимостью, так как средний термин в одной из посылок распределен. .

5.Вывод по 1-й фигуре, в которой меньшая посылка — отрицательное суждение.

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

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

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

Такие силлогизмы используются в судебной практике, в частности при квалификации преступлений. Например:

Заключение получено из двух утвердительных посылок по 2-й фигуре.

§ 4. Умозаключения из суждений с отношениями

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

Посылки и заключение в приведенном примере — суждения с отношениями, имеющие логическую структуру xRy.

Логическим основанием умозаключений из суждений с отношениями являются свойства отношений, важнейшие из которых —-1) симметричность, 2) рефлексивность и 3) транзитивность.

1.Отношение называется симметричным (от греческого simmetria — «соразмерность»), если оно имеет место как между предметами х и у, так и между предметами у и х. Иначе говоря, перестановка членов отношения не ведет к изменению вида отношения. Симметричными являются отношения равенства (если а равно b, то и b равно а), сходства (если с сходно с d, то и d сходно с с), одновременности (если событие х произошло одновременно с событием у, значит, и событие у произошло одновременно с событием х), различия и некоторые другие.

Отношение симметричности символически записывается:

xRy yRx.

2.Отношение называется рефлексивным (от латинского геflexio — «отражение»), если каждый член отношения находится в таком же отношении к самому себе. Таковы отношения равенства(если а=b, то а=а и b=b) и одновременности (если событие х произошло одновременно с событием у, значит, каждое из них произошло одновременно с самим собой).

Отношение рефлексивности записывается:

xRy xRx Λ yRy.

3. Отношение называется транзитивным (от латинского transitivus — «переход»), если оно имеет место между х и r тогда, когда оно имеет место между х и у и между у и z. Иначе говоря, отношение является транзитивным (переходным) тогда и только тогда, когда из отношения между х и у и между у и г следует такое же отношение между х и y.

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

Отношение транзитивности записывается:

(xRy yRz) xRz.

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

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

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

Из свойства транзитивности (xRyΛyRzxRz) вытекает правило: если суждение xRy истинно и суждение yRz истинно, то суждение xRz также истинно. Например:

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