МОДАЛЬНАЯ ЛОГИКА


МОДАЛЬНАЯ ЛОГИКА

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

Элементы М. л. имелись по существу еще у Аристотеля (4 в. до н. э.), а от него перешли в классич. философию. Впервые М. л. была формализована К. Льюисом [1], к-рый построил пять пропозициональных систем М. л., получивших в литературе обозначения S1-S5 (их формулировки приведены ниже). Затем были построены и исследованы другие системы М. л. Большое разнообразие систем М. л. объясняется тем, что понятия "возможно" и "необходимо" можно уточнять различными способами и, кроме того, по-разному трактовать сложные модальности типа, "необходимо возможно" и "взаимоотношения" модальностей с логич. связками. Большинство изучавшихся систем М. л. опирается на классич. логику, однако рассматриваются и системы, основанные на интуиционистской логике (см., напр., [6]).

Ниже описывается несколько наиболее хорошо изученных пропозициональных систем М. л. Язык каждой из этих систем получается из языка классич. исчисления высказываний Р добавлением новых одноместных связок (модальных операторов) (необходимо) и (возможно). Поскольку почти во всех системах имеет место соотношение

то в качестве исходного берется один модальный оператор, напр. , а другой определяется через него с помощью соотношения (*).

Система S1. Схемы аксиом:

1) все формулы вида , где - выводимая в Р формула,

2) 3) Правила вывода:

I)

II)

III)

Система К. Схемы аксиом:

1) все схемы аксиом исчисления высказываний Р,

2)

Правила вывода: модус поненс и A/яA(я-введение).

Система Т:

Система В:

Система S4:

Система S5:

Среди вышеупомянутых систем важное значение имеет S4, т. к. в ней интерпретируется интуционист-ское исчисление высказываний I, т. е. по всякой пропозициональной (немодальной) формуле Аможно построить такую формулу модальной логики, что

В связи с этим особый интерес представляет система Гжегорчика (см. [5]):

для к-рой верна теорема о переводе: для любого множества схем аксиом Г и любой формулы А

где причем G - самая сильная система с таким свойством. Эта теорема позволяет переносить нек-рые свойства (напр., полноту или разрешимость) с расширений системы S4 (или G) на промежуточные логики.

Для каждой пропозициональной системы М. л. S можно рассмотреть соответствующую предикатную систему, к-рая получается добавлением к языку системы S предметных переменных, предикатных символов и кванторов (или одного из них). Также добавляются обычные схемы аксиом и правила вывода для кванторов. Кроме того, иногда добавляют и другие аксиомы, описывающие действие модальных операторов на кванторы, напр. т. н. формулу Баркан:

Алгебраич. интерпретация систем М. л. задается нек-рой алгеброй (называемой также матрицей)

где М- множество истинностных значений, D- множество выделенных истинностных значений, - операции на М, соответствующие связкам . Формула наз. общезначимой на алгебре , если при всякой оценке ее пропозициональных переменных элементами Мона принимает выделенное значение. Система М. л. S наз. полной относительно класса алгебр , если всякая формула выводима в S тогда и только тогда, когда она общезначима на всякой алгебре из . Напр., система S4 полна относительно класса конечных т. н. топологических булевых алгебр (см. [3]). Вообще, система S наз. финитно аппроксимируемой, если она полна относительно конечных алгебр. Если система конечно аксиоматизируема и финитно аппроксимируема, то она разрешима, т. е. для нее алгоритмически разрешима проблема распознавания выводимости. Матрица наз. характеристической, или адекватной, для системы S, если S полна относительно . Никакая из упомянутых выше пропозициональных систем М. л. не имеет конечной адекватной матрицы, но каждая из этих систем финитно аппроксимируема и поэтому разрешима. С другой стороны, всякое расширение системы S5 имеет конечную адекватную матрицу с одним выделенным значением. Свойством финитной аппроксимируемости обладают также все расширения системы

Важным инструментом изучения М. л. являются Крипке модели, имеющие вид (), где W- множество "миров", "ситуаций", R- нек-рое отношение на - оценка пропозициональных переменных подмножествами W. Для отношение можно трактовать как "мир t возможен в мире s". Пару (W, R )наз. структурой Крипке, или остовом (встречается также термин шкала). Формула Аназ. общезначимой на остове (W, R), если для всякой оценки формула Аистинна в модели Крипке . Система S наз. полной по Крипке, если всякая не выводимая в S формула опровержима на нек-рой структуре Крипке, на к-рой общезначимы все выводимые в S формулы. Напр., система Т полна относительно структур (W, R), где R- рефлексивное отношение; S4 полна относительно структур с рефлексивным и транзитивным отношением. Среди конечно аксиоматизируемых расширений системы S4 существуют такие, к-рые не полны по Крипке (см. [7]).

Для предикатных систем М. л. модели Крипке имеют вид - универсум мира - интерпретация предикатных символов в - оценка, сопоставляющая каждой предметной переменной нек-рый элемент множества Для систем, содержащих формулу Баркан, надо также потребовать, чтобы

Модели Крипке имеют, как правило, более наглядную структуру, чем алгебраич. модели, поэтому часто они удобнее для изучения различных систем М. л.

Лит.;[1] Lewis С. I., LangfordC. H., Symbolic Logic, 2 ed., N. Y., 1959; [2] Фейс Р., Модальная логика, [пер. с англ.], М., 1974; [3] Расева Е., Сикорский Р., Математика метаматематики, пер. с англ., М., 1972; [4] Минц Г. <Е., "Тр. Матем. ин-та АН СССР", 1968, т. 98, с. 88-111; [5] Grzegоrсzуk A., "Fundam. math.", 1967, t. 60, № 2, p. 223-31; [6] Вull R. A., "Notre Dame J. Form. Logic", 1965, t. 6, p. 142-46; [7] Fine K., "Theoria", 1974, v. 40, pt 1, p. 23-29; [8] Gabbay D. M., "Ann. Math. Log.", 1975, v. 8, № 3,p. 237- 95.

С. К. Соболев.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "МОДАЛЬНАЯ ЛОГИКА" в других словарях:

  • МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …   Философская энциклопедия

  • Модальная логика — Модальная (от лат. – способ, мера) логика логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временные («когда то в… …   Википедия

  • модальная логика —         МОДАЛЬНАЯ ЛОГИКА раздел логики, посвященный изучению свойств модальных логических операторов типа «необходимо» и «возможно». К модальным операторам сейчас относят большинство операторов, с помощью которых удается учитывать силу (степень)… …   Энциклопедия эпистемологии и философии науки

  • МОДАЛЬНАЯ ЛОГИКА — логическая теория модальностей (модальных операторов), применяемых к высказываниям или предикатам; играет важную роль в логической семантике …   Большой Энциклопедический словарь

  • модальная логика — логическая теория модальностей (модальных операторов), применяемых к высказываниям или предикатам; играет важную роль в логической семантике. * * * МОДАЛЬНАЯ ЛОГИКА МОДАЛЬНАЯ ЛОГИКА, логическая теория модальностей (см. МОДАЛЬНОСТЬ) (модальных… …   Энциклопедический словарь

  • модальная логика — раздел неклассической логики, в котором исследуются логические связи модальных высказываний, т. е. высказываний, включающих модальности. М. л. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного… …   Словарь терминов логики

  • Модальная логика —         область логики, посвящённая изучению модальностей (См. Модальность), построению исчислений (См. Исчисление), в которых модальности применяются к высказываниям, наряду с логическими операциями (См. Логические операции), и сравнительному… …   Большая советская энциклопедия

  • Модальная логика — (modal logic), область логики (логика формальная), изучающая умозаключения, содержащие понятия необходимости и возможности. К осн. принципам М.л. относятся, напр., такие: если нечто необходимо, то оно и дано; если нечто дано, то оно возможно;… …   Народы и культуры

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

Книги

Другие книги по запросу «МОДАЛЬНАЯ ЛОГИКА» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.