Об одном варианте динамической логики знания
Article Sidebar
Опубликован:
04.12.2007
Main Article Content
Аннотация
В статье предлагается логика знания, убеждения, обоснования, доверия, веры, сомнения и опровержения. Такая логика, названная динамической логикой познания ($L_{dyn}$-логика), сформулирована в аксиоматической форме и в форме аналитических таблиц. Логика $L_{dyn}$ сохраняет интуитивные свойства обсуждаемых понятий.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Ледников Е. Об одном варианте динамической логики знания // Логические исследования / Logical Investigations. 2007. Т. 14. C. 218-223.
Выпуск
Раздел
Статьи
Литература
Кант И. Критика чистого разума. М., Мысль 1994. С. 481.
Костюк В.Н. Элементы модальной логики. Киев: Наукова Думка, 1978. С. 129-133.
Ледников Е.Е. Логика знания и родственных ему понятий // Логические исследования. М.: Наука, 2006. Вып. 13. С. 132-135.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1971. С. 38.
Платон. Менон // Собрание сочинений: В 4 т. Т. 1. М.: Мысль, 1990. С. 575-612.
Рассел Б. Исследование значения и истины. М.: «Идея-пресс», 1999. С. 19.
Fitting М. Model existence theorems for modal and intuitionistic logics // The journal of symbolic logic. V. 36, n. 4, Dec., 1973. P. 613-627.
Hintikka J. Knowledge and belief. Ithaca, 1962.
Костюк В.Н. Элементы модальной логики. Киев: Наукова Думка, 1978. С. 129-133.
Ледников Е.Е. Логика знания и родственных ему понятий // Логические исследования. М.: Наука, 2006. Вып. 13. С. 132-135.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1971. С. 38.
Платон. Менон // Собрание сочинений: В 4 т. Т. 1. М.: Мысль, 1990. С. 575-612.
Рассел Б. Исследование значения и истины. М.: «Идея-пресс», 1999. С. 19.
Fitting М. Model existence theorems for modal and intuitionistic logics // The journal of symbolic logic. V. 36, n. 4, Dec., 1973. P. 613-627.
Hintikka J. Knowledge and belief. Ithaca, 1962.