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

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

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

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

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