Логика знания и родственных ему понятий

##plugins.themes.bootstrap3.article.main##

E.E. Lednikov

Abstract

In the paper the logic of knowledge and related notions (belief, conviction, doubt) are proposed. Such logic ($L_{ep}$-logic) is formulated in the form of analytical tableaux and in axiomatic form. $L_{ep}$-logic preserves intuitive properties of notions under discussion.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Кант И. Критика чистого разума. М.: Мысль, 1994. С. 481.
Костюк В.Н. Элементы модальной логики. Киев: «Наукова Думка», 1978. С. 129-133.
Ледников Е.Е. О семантике знания и мнения // Логико-философские штудии-3. Санкт-Петербург: Издательство С.-Петербургского университета, 2005. С. 457-460.
Ледников Е.Е. Аналитические таблицы для логики знания и мнения // Современная логика: проблемы теории, истории и применения в науке. Санкт-Петербург, 2006. С. 61-62.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1971. С. 38.
Fitting M. Model existence theorems for modal and intuitionistic logics // The journal of symbolic logic. V. 36, n. 4, Dec., 1973. P. 613-627.