Being Wrong: Logics for False Belief

被引：10
作者：
Steinsvold, Christopher [1 ]
机构：
[1] CUNY Brooklyn Coll, Dept Philosophy, Brooklyn, NY 11210 USA
来源：
NOTRE DAME JOURNAL OF FORMAL LOGIC | 2011年 / 52卷 / 03期
关键词：
modal logic; wrong; incorrect; false; belief;
D O I：
10.1215/00294527-1435438
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We introduce an operator to represent the simple notion of being wrong. Read Wp to mean: the agent is wrong about p. Being wrong about p means believing p though p is false. We add this operator to the language of propositional logic and study it. We introduce a canonical model for logics of being wrong, show completeness for the minimal logic of being wrong and various other systems. En route we examine the expressiveness of the language. In conclusion, we discuss an open question regarding K4.
引用
收藏
页码：245 / 253
页数：9
相关论文
共 14 条
  • [1] Boolos G., 1993, LOGIC PROVABILITY
  • [2] BROGAN AP, 1967, MIND, V76, P46
  • [3] Cresswell M. J., 1988, STUDIA LOGICA, V47, P145, DOI 10.1007/BF00370288
  • [4] HUMBERSTONE I.L., 1995, NOTRE DAME J FORM L, V36, P214
  • [5] Kuhn ST., 1995, Notre Dame Journal of Formal Logic, V36, P230, DOI [10.1305/ndjfl/1040248456, DOI 10.1305/NDJFL/1040248456]
  • [6] The Modal Logic of Godel Sentences
    Kushida, Hirohiko
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2010, 39 (05) : 577 - 590
  • [7] Lomuscio A, 2004, ELECT NOTES THEORETI, V85
  • [8] Marcos J., 2005, B SECTION LOGIC, V34, P43
  • [9] Montgomery H., 1968, LOG ANAL, V11, P422
  • [10] Mortensen, 1976, LOG ANAL, V19, P341
12