Open Access
2011 Being Wrong: Logics for False Belief
Christopher Steinsvold
Notre Dame J. Formal Logic 52(3): 245-253 (2011). DOI: 10.1215/00294527-1435438


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.


Download Citation

Christopher Steinsvold. "Being Wrong: Logics for False Belief." Notre Dame J. Formal Logic 52 (3) 245 - 253, 2011.


Published: 2011
First available in Project Euclid: 28 July 2011

zbMATH: 1252.03035
MathSciNet: MR2822487
Digital Object Identifier: 10.1215/00294527-1435438

Primary: 03B42

Keywords: belief , false , incorrect , modal logic , wrong

Rights: Copyright © 2011 University of Notre Dame

Vol.52 • No. 3 • 2011
Back to Top