Превращением называется такое непосредственное умозаключение, в котором в выводе (новом суждений) – субъектом является субъект исходного суждения, а предикатом – понятие, противоречащее предикату исходного суждения; при этом связка заменяется на противоположную.
Чтобы превратить утвердительное суждение, надо внести в него два отрицания: одно – в предикат (превратив его в не-Р), второе – в связку перед словом «есть». Чтобы превратить отрицательное суждение, нужно убрать имеющееся в его связке перед «есть» отрицание, и внести отрицание в предикат (превратив его в не-Р).
Схемы превращений:
(А) Все S суть Р (I) Некоторые S суть Р
(Е) Ни одно S не есть не-Р (О) Некоторые S не суть не-Р
(Е) Все S не есть Р (О) Некоторые S не суть Р
(А) Все S суть не-Р (I) Некоторые S суть не-Р
Смысл отрицания заключается в выявлении того, что мыслимый предмет не может обладать свойством, противоречащим свойству, отражаемому предикатом. Вывод не просто повторяет исходное суждение, а уточняет его.
Всякий договор есть сделка.
Ни один договор не есть не сделка.