(лат. conversio) - в традиционной логике вид непосредственного умозаключения, в котором вывод получается путем постановки предиката посылки на место субъекта, а субъекта посылки - на место предиката. Общая схема О. выглядит следующим образом: S есть Р. Р есть S. Напр., из суждения "Птицы есть позвоночные" мы путем О. получаем вывод "Позвоночные есть птицы". Общеутвердительные суждения "Все S есть Р" (типа A) обращаются в частноутвердительные "Некоторые Р есть S" (типа I), напр., суждение "Все рыбы дышат жабрами" обращается в суждение "Некоторые дышащие жабрами есть рыбы"; общеотрицательные суждения "Ни одно S не есть Р" (типа Е) обращаются в общеотрицательные "Ни одно Р не есть S" (типа Е), напр., суждение "Ни один кит не является рыбой" обращается в суждение "Ни одна рыба не есть кит"; частноутвердительные суждения "Некоторые S есть P" (типа I) обращаются в частноутвердительные "Некоторые Р есть S", напр., суждение "Некоторые металлы - жидкости" обращается в суждение "Некоторые жидкости - металлы"; наконец, из частноотрицательного суждения нельзя сделать вывод путем О.