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

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

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

Превращение категорического суждения — это изменение его качества одновременно с заменой предиката на противоречащий ему термин; осуществляется в соответствии во следующими схемами:

А: Все S суть P Е: Ни один S не суть P

Ни один S не суть не-P Все S суть не-P