К непосредственным умозаключениям относятся выводы, заключающиеся в превращении категорического суждения и обращении результата превращения (противопоставление предикату), а также в обращении категорического суждения и превращении результата обращения (противопоставление субъекту). Противопоставление предикату — это умозаключение, в котором субъектом заключения является термин, противоречащий предикату посылки, предикатом — субъект посылки, и заключение и посылка различны по качеству. Противопоставление субъекту — это умозаключение, в котором субъектом заключения является предикат посылки, предикатом заключения — термин, противоречащий субъекту посылки и заключение и посылка различны по качеству. Противопоставление предикату и противопоставление субъекту можно осуществлять и анализировать поэтапно (например, в случае противопоставления предикату сначала произвести превращение, а затем осуществить правильное обращение).
Общие схемы противопоставления предикату:
... S суть Р
__________
... не-Р не суть S
... S не суть Р
__________
...не-Р суть S
Общие схемы противопоставления субъекту:
... S суть Р
________
... Р не суть не-S
... S не суть Р
________
... Р суть не-S
Замечание. Нельзя делать выводы, называемые противопоставлением предикату и противопоставлением субъекту, из суждений с предикатами, являющимися, соответственно, универсальными и мнимыми именами.
Пусть дано умозаключение:
Это умозаключение подпадает под общую схему противопоставления предикату. Чтобы проверить, правильное оно или нет, нужно произвести превращение исходного суждения:
Затем правильно произвести обращение результата превращения:
Частноотрицательное суждение не обращается. Следовательно, приведенное выше умозаключение не является правильным.
Для письменной проверки правильности непосредственных умозаключений можно использовать круговые схемы Эйлера.
Пусть дано умозаключение (противопоставление субъекту):
В посылке этого умозаключения утверждается, что некоторые элементы объема имени S входят в объем имени Р. Поскольку слово “некоторые” употребляется в смысле “по крайней мере некоторые, а, может быть, и все”, то в общем случае следует допустить четыре возможности:
Заштрихованная поверхность соответствует тем элементам объема имени S, которые входят в объем имени Р. Прямоугольником представлен универсум рассуждения — в данном случае, например, класс философов.
Что говорится в заключении? Некоторые Р не суть не-S. Во всех ли случаях на приведенных схемах отражено, что (по крайней мере) некоторые элементы объема термина Р не включаются в объем термина не-S? Заштрихуем на схемах горизонтальными линиями поверхности, соответствующие объему термина не-S . Для этого схемы начертим еще раз:
Очевидно, что во всех четырех случаях некоторые Р не являются элементами не-S. Эти элементы объема термина Р представлены поверхностями, заштрихованными наклонными линиями. Анализируемое рассуждение является правильным.
Чтобы установить, что непосредственное умозаключение не является правильным, нет необходимости рассматривать все возможные отношения между субъектом и предикатом посылки, при которых она является истинной. Достаточно найти один опровергающий случай.
Рассмотрим схему умозаключения, напоминающего обращение общеутвердительного суждения:
Все S суть Р
____________
Все Р суть S
