ОБРАЩЕНИЕ

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

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

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