ОБРАЩЕНИЕ конверсия

в силлогистике операция преобразования суждений видов: "Все S суть Р", "Ни одно S не есть Р", "Нек-рые S суть P", связанная со взаимным обменом местами терминов S и Р. Обычно О. рассматривается как непосредственное умозаключение, правилами к-рого для непустых (см. Пустое) S и ? являются следующие: 1) "От истинного суждения вида "Ни одно S не есть ?" можно перейти к также истинному суждению вида "Ни одно ? не есть S"´ и наоборот"; 2) "От истинного суждения вида "Нек-рые S суть Р" можно перейти к также истинному суждению вида "Нек-рые ? суть S" и наоборот" [Эти правила наз. правилами простого О., поскольку они не вводят новые кванторные слова (кванторы), или, – по традиц. терминологии, – сохраняют в заключит. суждении количество исходного суждения. ]; 3) "От истинного суждения вида "Все S суть Р" можно перейти к также истинному суждению вида „Нек-рые ? суть S“". [Это правило наз. правилом О. с о г р а н и ч е н и е м, поскольку оно вводит в заключение квантор "Нек-рые" вместо квантора "Все" исходного суждения, т.е. ограничивает общность заключит. суждения по отношению к исходному. ] Указанные правила О. обосновываются с е м а н т и ч е с к и в т.н. учении о распределенности терминов в суждении. В теории отношений О. – замена данного отношения обратным ему отношением (см. Отношение) с одновременным обменом местами членов данного отношения. О. отношений (для произвольного двучленного отношения R) можно рассматривать как умозаключение по правилу: "От истинного высказывания вида xRy [напр., 11 ], и наоборот". Соответствующее рассмотрение возможно для n-местных (n больше двух) отношений. Лит.: Асмус В. Ф., Логика, М., 1947, с. 118–27; Ziеmbi?ski Z., Logika praktyczna, Warsz., 1965, s. 190–191; см. также лит. при ст. Отношение. А. Ветров, М. Новоселов. Москва.