Модальна логіка

область логіки, присвячена вивченню модальностей (Див. Модальність) , побудови обчислень (Див. Обчислення) , в яких модальності застосовуються до висловлювань, поряд з логічними операціями (Див. Логічні операції), і порівняльному вивченню таких обчислень. "Модальні оператор и "(" можливо "," необхідно "і ін.) можуть ставитися як до висловлювань (Див. Висловлення) або предиката , так і до слів, що виражає будь-які дії чи вчинки. Інтерес до проблем М. л. обумовлений перш за все природним зв'язком, з одного боку, між модальностями типу "необхідно" і поняттям "логічного закону" (т. е. тотожне істинного висловлювання будь-якої логічної системи), а з іншого - між модальностями типу "можливо" і такими гносеологічними і загальнонауковими поняттями, як "(ефективно) здійсненно", "обчислюваності" і т. п. У класичних системах М. л. (Для яких справедливий Виключеного третього принцип A V ⌉ A або закон зняття подвійного заперечення ⌉ ⌉ А А для модальностей мають місце співвідношення подвійності, аналогічні "законам де Моргана" ⌉ ( А V В ) ≡ (⌉ А & ⌉ В ) і ⌉ (< А & В ) ≡ (⌉ А V ⌉ В ) алгебри логіки і еквівалентне для кванторів , зв'язують оператори можливості і необхідності ☐ з Запереченням ⌉: ☐ A ≡ ⌉ ⌉ A і А ≡ ⌉ ☐ ⌉ A .Тому в аксіоматичних системах М. л. в якості вихідної вводять зазвичай одну модальну операцію (використовуючи будь-яку з цих еквівалентностей як визначення іншої операції). Аналогічно вводяться і інші модальні операції (не входять в число логічних операцій і не виразність через них). Системи М. л. можуть бути інтерпретовані в термінах багатозначної логіки (Див. Багатозначна логіка) (найпростіші системи - як тризначні: «істина», «брехня», «можливо»). Ця обставина, а також можливість застосування М. л. до побудови теорії "правдоподібних" висновків вказують на її глибоку спорідненість з ймовірнісної логікою (Див. Вероятностная логіка). Крім розглядалися вище «абсолютних» модальностей, в М. л. доводиться мати справу з т. зв. відносними, т. е. пов'язаними з будь-якими умовами ( " А можливо, якщо В ", і т. п.); формалізація правил поводження з ними не викликає додаткових труднощів і проводиться за допомогою апарату обмежених кванторів (з використанням предикатів, що виражають обмежувальні умови, і логічні операції матеріальної імплікації). Ю. А. Гаст. Велика радянська енциклопедія. - М.: Радянська енциклопедія. 1969-1978.

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

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

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

50795

ГОСТ Р 50795 {-95 (ІСО 8676-88)} Болти з шестигранною головкою з дрібним кроком різьби і різьбленням до головки класів точності А і В. Технічні умови. ОКС: 21. 060. 10 КГС: Г31 Болти Дія: З 01. 07. 96 Примітка: перевидання 2006 у зб. "Болти. Технічні умови. Конструкція і розміри" Текст документа: ГОСТ Р 50795 "Болти з шестигранною головкою з дрібним кроком різьби і різьбленням до головки класів точності А і В.
Читати Далі
51587
Довідник ГОСТів

51587

ГОСТ Р 51587 {-2000} Вугілля кам'яні й антрацит Кузнецького басейну для цементних і вапняних печей і виробництва цегли. Технічні умови. ОКС: 75. 160. 10 КГС: А13 Вугілля кам'яні й бурі Дія: З 01. 01. 2002 Змінено: ІКС 2/2002 Текст документа: ГОСТ Р 51587 "Вугілля кам'яне та антрацит Кузнецького басейну для цементних і вапняних печей і виробництва цегли.
Читати Далі
Незалежність суддів
Велика радянська енциклопедія

Незалежність суддів

Один з демократичних конституційних принципів соціалістичного правосуддя, що означає, що при винесенні рішення (вироку, ухвали, постанови) судді не зв'язані ніякими міркуваннями, сторонніми правосуддю, і зобов'язані керуватися тільки законом відповідно до їх соц іалістіческім правосвідомістю (див., наприклад, Конституція СРСР, ст.
Читати Далі
Телеконференція
Фінансовий словник

Телеконференція

Телеконференція Телеконференція - захід, в якому групова комунікація здійснюється між територіально розподіленими учасниками за допомогою технології телеконференцій. Телеконференція здійснюється на базі програмно-технічного середовища, яка забезпечує взаємодію користувачів. По-англійськи: Teleconference Див.
Читати Далі
50380
Довідник ГОСТів

50380

ГОСТ Р 50380 {-2005} Риба, нерибні об'єкти і продукція з них. Терміни та визначення. ОКС: 67. 120. 30 КГС: Н00 Терміни і позначення Натомість: ГОСТ Р 50380-92 Дія: З 01. 01. 2007 Текст документа: ГОСТ Р 50380 "Риба, нерибні об'єкти і продукція з них. Терміни та визначення. " Довідник ГОСТів. 2009.
Читати Далі
Багатоканальний маркетинг
Фінансовий словник

Багатоканальний маркетинг

Багатоканальний маркетинг Багатоканальний маркетинг - маркетинг, при якому організація створює два і більше каналів розподілу для обслуговування одного або кількох сегментів ринку. По-англійськи: Multichannel marketing Див. також: Мікромаркетінг Фінансовий словник Фінам. .
Читати Далі
14017
Довідник ГОСТів

14017

ГОСТ 14017 {-68} ГСИ. Машини силовимірювальні зразкові 2-го розряду. Методи і засоби перевірки. ОКС: 17. 100 КГС: Т88. 2 Вимірювання механічних величин Натомість: МУ 247 Дія: З 01. 07. 69 Змінено: ІКС 2/79, 1/85 Примітка: перевидання +1985 Текст документа: ГОСТ 14017 "ГСИ. Машини силовимірювальні зразкові 2-го розряду.
Читати Далі
9338
Довідник ГОСТів

9338

ГОСТ 9338 {-80} барабани фанерні. Технічні умови. ОКС: 55. 140 КГС: Д72 Бочки та барабани дерев'яні Натомість: ГОСТ 9338-74 Дія: З 01. 01. 82 Змінено: ІКС 9/84, 2/86, 8/91 Примітка: перевидання тисяча дев'ятсот дев'яносто вісім Текст документа: ГОСТ 9338 "Барабани фанерні. Технічні умови. " Довідник ГОСТів.
Читати Далі