Логические модальности как арифметические функции

Article Sidebar

PDF
Опубликован: 07.04.2010
DOI: https://doi.org/10.21146/2074-1472-2010-16-0-3-22

Main Article Content

Н.Л. Архиереев

Аннотация

В статье рассматривается новый подход к теории логических модальностей. Этот подход предполагает построение базовых логических понятий логической необходимости, логической непредвиденности, логической невозможности с помощью ограниченных и относительно ограниченных множеств описаний состояний (ОМОС и ОГОС соответственно), которые также могут рассматриваться как упорядоченные наборы возможных значений истинности для переменных. Пересчет ОМОС и ОГОС для каждой конкретной формулы обеспечивается арифметическими функциями специального типа.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Архиереев Н. Логические модальности как арифметические функции // Логические исследования / Logical Investigations. 2010. Т. 16. C. 3-22.
Выпуск
Том 16 (2010)
Раздел
Статьи

Литература

Архиереев H.Л. К вопросу о содержательном истолковании итерированных модальностей в системе S4 К. И. Льюиса // Труды научно-исследовательского семинара Логического центра Института философии РАН. М.: 2008. Вып. XIX, С. 7-19.
Войшвилло Е. К. Содержательный анализ модальностей S4 и S5 // Филос. науки . М. 1983. № 3, С. 76-80
Ивлев Ю. В. Модальная логика. М.: 1991.