Обращение (в логике)

Определение "Обращение (в логике)" в Большой Советской Энциклопедии

Обращение (лат. conversio), преобразование предложения путём обмена местами его терминов — субъекта и предиката. Обращение (в логике) называется простым, если при Обращение (в логике) кванторные слова (см. Квантор) не меняются. Просто обращаются все общеотрицательные предложения (вида «Ни одно S не есть Р») и все частноутвердительные предложения (вида «Некоторые S суть Р»). Общеутвердительные предложения (вида «Все S суть Р») обращаются с ограничением, т. е. их Обращение (в логике), вообще говоря, даёт снова истинное предложение, если квантор «Все» заменяется квантором «Некоторые». Частноутвердительные предложения (вида «Некоторые S не суть Р») не обращаются: из того, что некоторые люди не курящие, не следует, что некоторые курящие не люди.

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

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