(лат. conversio), преобразование предложения путём обмена местами его терминов - субъекта и предиката. О. называется простым, если при О. кванторные слова (см. Квантор ) не меняются. Просто обращаются все общеотрицательные предложения (вида 'Ни одно S не есть Р') и все частноутвердительные предложения (вида 'Некоторые S суть Р'). Общеутвердительные предложения (вида 'Все S суть Р') обращаются с ограничением, т. е. их О., вообще говоря, даёт снова истинное предложение, если квантор 'Все' заменяется квантором 'Некоторые'. Частноутвердительные предложения (вида 'Некоторые S не суть Р') не обращаются: из того, что некоторые люди не курящие, не следует, что некоторые курящие не люди.
В традиционной логике О. относили к непосредственным умозаключениям. Последние выделялись в особую группу, и правила для них формулировались наряду с правилами силлогизма. В современной логике предикатов О. самостоятельного значения не имеет, а правила О. в число правил логической дедукции как таковые не входят. Это, однако, не умаляет эвристические ценности О. для практики содержательного мышления.
В логике отношений , где с каждым отношением между терминами х и у связывается понятие об отношении между терминами у и х , обратном первоначальному, О. - это операция замены данного отношения обратным ему с одновременной перестановкой терминов отношения.
М. М. Новосёлов.