Логика для юристов

Ни один философ не открыл секрет физического бессмертия (человека).

__________________

Ни один человек, открывший секрет физического бессмертия, не является философом.

Каждый человек, открывший секрет физического бессмертия, суть не философ. (Результат превращения предшествующего суждения).

__________________

Некоторые не философы открыли секрет физического бессмертия (человека).

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

Общие схемы противопоставления предикату:

... S суть Р

__________

... не-Р не суть S

... S не суть Р

__________

...не-Р суть S

Общие схемы противопоставления субъекту:

... S суть Р

________

... Р не суть не-S

... S не суть Р

________

... Р суть не-S

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

Пусть дано умозаключение:

Некоторые хозрасчетные предприятия являются рентабельными.

_____________

Некоторые нерентабельные предприятия не являются хозрасчетными.

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

Некоторые хозрасчетные предприятия являются рентабельными

_____________

Некоторые хозрасчетные предприятия не являются нерентабельными.

Затем правильно произвести обращение результата превращения:

Некоторые хозрасчетные предприятия не являются нерентабельными.

________

?

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

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

Пусть дано умозаключение (противопоставление субъекту):

Некоторые материалисты (S) — метафизики (Р)

_________

Некоторые метафизики (Р) не суть не материалисты (не-S)

В посылке этого умозаключения утверждается, что некоторые элементы объема имени S входят в объем имени Р. Поскольку слово “некоторые” употребляется в смысле “по крайней мере некоторые, а, может быть, и все”, то в общем случае следует допустить четыре возможности:

Заштрихованная поверхность соответствует тем элементам объема имени S, которые входят в объем имени Р. Прямоугольником представлен универсум рассуждения — в данном случае, например, класс философов.

Что говорится в заключении? Некоторые Р не суть не-S. Во всех ли случаях на приведенных схемах отражено, что (по крайней мере) некоторые элементы объема термина Р не включаются в объем термина не-S? Заштрихуем на схемах горизонтальными линиями поверхности, соответствующие объему термина не-S . Для этого схемы начертим еще раз:

Очевидно, что во всех четырех случаях некоторые Р не являются элементами не-S. Эти элементы объема термина Р представлены поверхностями, заштрихованными наклонными линиями. Анализируемое рассуждение является правильным.

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

Рассмотрим схему умозаключения, напоминающего обращение общеутвердительного суждения:

Все S суть Р

____________

Все Р суть S