- ОБРАЩЕНИЕ конверсия ()
- ОБРАЩЕ́НИЕ конверсия (в логике)
-
в силлогистике операция преобразования суждений видов: "Все S суть Р", "Ни одно S не есть Р", "Нек-рые S суть P", связанная со взаимным обменом местами терминов S и Р. Обычно О. рассматривается как непосредственное умозаключение, правилами к-рого для непустых (см. Пустое) S и Ρ являются следующие: 1) "От истинного суждения вида "Ни одно S не есть Ρ" можно перейти к также истинному суждению вида "Ни одно Ρ не есть S"' и наоборот"; 2) "От истинного суждения вида "Нек-рые S суть Р" можно перейти к также истинному суждению вида "Нек-рые Ρ суть S" и наоборот" [Эти правила наз. правилами простого О., поскольку они не вводят новые кванторные слова (кванторы), или, – по традиц. терминологии, – сохраняют в заключит. суждении количество исходного суждения. ]; 3) "От истинного суждения вида "Все S суть Р" можно перейти к также истинному суждению вида „Нек-рые Ρ суть S“". [Это правило наз. правилом О. с о г р а н и ч е н и е м, поскольку оно вводит в заключение квантор "Нек-рые" вместо квантора "Все" исходного суждения, т.е. ограничивает общность заключит. суждения по отношению к исходному. ] Указанные правила О. обосновываются с е м а н т и ч е с к и в т.н. учении о распределенности терминов в суждении.В теории отношений О. – замена данного отношения обратным ему отношением (см. Отношение) с одновременным обменом местами членов данного отношения. О. отношений (для произвольного двучленного отношения R) можно рассматривать как умозаключение по правилу: "От истинного высказывания вида xRy [напр., 1<2 ] можно перейти к также истинному высказыванию вида yR-1x [(где R-1 – отношение, обратное R), напр., 2>1 ], и наоборот". Соответствующее рассмотрение возможно для n-местных (n больше двух) отношений.Лит.: Асмус В. Ф., Логика, М., 1947, с. 118–27; Ziеmbiński Z., Logika praktyczna, Warsz., 1965, s. 190–191; см. также лит. при ст. Отношение.А. Ветров, М. Новоселов. Москва.
Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.
.