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.
机构:
Peking Univ, Dept Philosophy & Religious Studies, Beijing, Peoples R ChinaPeking Univ, Dept Philosophy & Religious Studies, Beijing, Peoples R China
机构:
Southwest Univ, Fac Psychol, Chongqing 400715, Peoples R ChinaSouthwest Univ, Fac Psychol, Chongqing 400715, Peoples R China
Zhang, Ting
Zhang, Qin
论文数: 0引用数: 0
h-index: 0
机构:
Univ Elect Sci & Technol China, Sch Polit Sci & Publ Adm, Chengdu 610054, Peoples R ChinaSouthwest Univ, Fac Psychol, Chongqing 400715, Peoples R China
Zhang, Qin
Li, Yiyuan
论文数: 0引用数: 0
h-index: 0
机构:
Southwest Univ, Fac Psychol, Chongqing 400715, Peoples R China
Mianyang Normal Univ, Sch Educ Sci, Mianyang, Peoples R ChinaSouthwest Univ, Fac Psychol, Chongqing 400715, Peoples R China
Li, Yiyuan
Long, Changquan
论文数: 0引用数: 0
h-index: 0
机构:
Southwest Univ, Fac Psychol, Chongqing 400715, Peoples R ChinaSouthwest Univ, Fac Psychol, Chongqing 400715, Peoples R China
Long, Changquan
Li, Hong
论文数: 0引用数: 0
h-index: 0
机构:
Southwest Univ, Fac Psychol, Chongqing 400715, Peoples R China
Niaoning Normal Univ, Sch Psychol, Niaoning, Peoples R ChinaSouthwest Univ, Fac Psychol, Chongqing 400715, Peoples R China