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

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

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

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

  М. М. Новосёлов.