Звернення (в логіці)

Звернення (лат. Conversio), перетворення пропозиції шляхом обміну місцями його термінів ≈ суб'єкта і предиката. О. називається простим, якщо при О. кванторние слова (див. Квантор) не змінюються. Просто звертаються всі общеотріцательние пропозиції (вигляду "Жодне S не є Р") і все частноутвердітельние пропозиції (вигляду "Деякі S суть Р"). Общеутвердітельние пропозиції (вигляду "Всі S суть Р") звертаються з обмеженням, т. Е. Їх О., взагалі кажучи, дає знову істинне речення, якщо квантор "Все" замінюється квантором "Деякі". Частноутвердітельние пропозиції (вигляду "Деякі S не має Р") не звертаються: з того, що деякі люди не палять, не випливає, що деякі курці не люди. ═ У традиційній логіці О. відносили до безпосередніх умовиводів. Останні виділялися в особливу групу, і правила для них формулювалися поряд з правилами силогізму. У сучасній логіці предикатів О. самостійного значення не має, а правила О. в число правил логічної дедукції як такі не входять. Це, однак, не применшує евристичні цінності О. для практики змістовного мислення. ═ У логіці відносин, де з кожним відношенням між термінами х і у пов'язується поняття про ставлення між термінами у і х, зворотному первинному, О. ≈ це операція заміни даного відносини зворотним йому з одночасною перестановкою термінів відносини.═ М. М. Новосьолов.

Велика радянська енциклопедія. - М.: Радянська енциклопедія. 1969-1978.

Популярні Пости

Рекомендуємо, 2019

51053
Довідник ГОСТів

51053

ГОСТ Р 51053 {-97} Замки сейфові. Вимоги та методи випробувань на стійкість до кримінального відкриванню і злому. ОКС: 13. 310 КГС: У07 Техніка безпеки Дія: З 01. 01. 98 Змінено: ІКС 11/2006 Примітка: перевидання 2005 у сб . "Захист від злочинів" Текст документа: ГОСТ Р 51053 "Замки сейфові. Вимоги та методи випробувань на стійкість до кримінального відкриванню і злому.

Читати Далі
Мон Хенрік
Велика радянська енциклопедія

Мон Хенрік

Мон, Мун (Mohn) Хенрік [15. 5. тисячу вісімсот тридцять п'ять, Берген, - 12 (за іншими даними, 30). 9. 1916 Осло], норвезький метеоролог. Професор університету в Крістіанії (Осло) і директор Норвезького метеорологічного інституту (1866-1913). Організував мережу метеорологічних станцій в Норвегії. Основні праці по клімату Норвегії, синоптичної і динамічної метеорології, поширенню звуку в атмосфері і ін.

Читати Далі
РАХУНОК РЕАЛІЗАЦІЇ
Фінансовий словник

РАХУНОК РЕАЛІЗАЦІЇ

РАХУНОК РЕАЛІЗАЦІЇ (realization account) Рахунок (account), який використовується для обліку реалізації активу або декількох активів і для визначення прибутку або збитку від реалізації. Принцип ведення рахунків реалізації полягає в тому, що вони дебетуються на балансову вартість активу і кредитуються на ціну його реалізації.

Читати Далі
Парогенератор
Велика радянська енциклопедія

Парогенератор

Апарат або агрегат для виробництва водяної пари. П., в якому пар отримують за рахунок тепла спалюваного органічного палива, називається паровим котлом (Див. Паровий котел), а при використанні електричної енергії - електрокотлом. З появою атомних електростанцій (Див. Атомна електростанція) термін "П." був застосований для випарників, що обігріваються теплоносієм (Див.

Читати Далі
Патна
Велика радянська енциклопедія

Патна

Місто в Північній Індії, на правому березі р. Ганг. Адміністративний центр штату Біхар. 490, 3 тис. Жителів (1971). Великий транспортний вузол і центр торгівлі с. -х. продуктами в долині середнього Гангу. Бавовняна, харчова промисловість, металообробка, виготовлення килимів, парчі, меблів, метизів. Університет (заснований в 1917).

Читати Далі
1629
Довідник ГОСТів

1629

СТ РЕВ тисячу шістсот двадцять дев'ять {-79} Вантажні автомобілі та автобуси. Кермові механізми з гідравлічним підсилювачем. Технічні вимоги. Методи стендових випробувань. ОКС: 43. 040. 50, 43. 080. 10, 43. 080. 20 КГС: Д22 Вантажні автомобілі та автотракторної вози Дія: З 01. 07. 83 Примітка: введений в дію в якості міждержавного стандарту Текст документа: СТ РЕВ 1 629 "Вантажні автомобілі та автобуси.

Читати Далі
Недонсель Моріс Гюстав
Велика радянська енциклопедія

Недонсель Моріс Гюстав

Недонсель (Nedoncelle) Моріс Гюстав (р. 30. 10. 1905 Рубе), французький філософ-ідеаліст, католицький священик. Професор (1945) і декан (1956-65) теологічного факультету Страсбурского католицького університету. Один із чільних представників персоналізму. В основі концепції Н. лежить поняття взаємності, взаємності, т.

Читати Далі