В традиционной логике, obversion является "типом немедленный вывод, в котором из данного пропозиции делается вывод о другом суждении, субъект которого совпадает с исходным субъектом, чей предикат противоречит исходному предикату и качество которого является утвердительным, если исходное предложение качество было отрицательным, и наоборот ". Качество выведенного категориального предложения изменяется, но значение истинности такое же, как и у исходного предложения. Непосредственно выведенное предложение называется «лицевой стороной» исходного предложения и является допустимой формой вывода для всех типов (A, E, I, O) категориальных предложений.
В универсальном утвердительном и универсальном отрицательном суждении термин субъект и термин предикат заменяются их отрицанием аналоги:
Универсальное утвердительное (пропозиция «А») заменяется универсальным отрицанием (пропозиция «Е»).
Универсальный отрицательный (« E "пропозиция) превращается в универсальное утвердительное (пропозиция" A ").
В конкретном утвердительном количество подлежащего термину остается неизменным, но предикатный член выводимого предложения отрицает дополнение предикатного члена исходного предложения. Конкретное утвердительное (предложение «Я») превращается в конкретное отрицательное (предложение «О»).
В возражении От конкретного отрицательного к конкретному утвердительному, количество подлежащего также остается неизменным, и предикатный термин изменяется с простого отрицания на член дополнительного класса. Конкретное отрицательное («О») суждение превращается в конкретное положительное («Я» суждение).
Обратите внимание, что истинностное значение исходное заявление сохраняется в полученном аверсе. Из-за этого обследование можно использовать для определения непосредственных выводов всех категориальных предложений, независимо от качества или количества.
Кроме того, возражение позволяет нам перемещаться по традиционному квадрату логической оппозиции, предоставляя средства для перехода от предложений «A» к предложениям «E», а также от «I». "Предложения к" О "предложениям, и наоборот. Однако, хотя результирующие утверждения от возражения логически эквивалентны исходным утверждениям с точки зрения истинности, они семантически не эквивалентны своим исходным утверждениям в их стандартной форме.
Рассмотрите все возможные отношения между Субъектом (S) и Предикатом (P), представленными с помощью наборов:
Случай 1: S = P (S и P полностью перекрываются)
Случай 2: S является подмножеством P
Случай 3: P является подмножеством S
Случай 4: S и P - два перекрывающихся набора
Случай 5: S и P являются непересекающимися множествами
Случай 6: S - это вселенная, где P является подмножеством P
Случай 7: P - это вселенная с S являясь подмножеством S
Действительность операторов после Obversion:
Операция obversion выполняется путем изменения качества утверждения и замены предиката его дополнением.
1. Утверждение: все S - это P (применимо для случаев 1, 2, 6 и 7)
Аверс: Нет S не являются P
Срок действия: ДА
2. Утверждение: Нет S не являются P (применимо к случаю 5)
Лицевая сторона: Все S не являются P
Срок действия: ДА
3. Утверждение: Некоторые S являются P (применимо для случаев 1, 2, 3, 4, 6 и 7)
Лицевая сторона: Некоторые S не являются P
Срок действия: ДА
4. Утверждение: Некоторые S не являются P (применимо для случаев 3, 4, 5 и 7)
Лицевая сторона: Некоторые S не являются P
Срок действия: ДА