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