Note on the Intuitionistic Logic of False Belief

Bulletin of the Section of Logic 51 (1):57-71 (2022)


In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula $\varphi$ is not satisfied in a given world, but we still believe in it. Another interpretations are also possible: e.g. that we do not accept $\varphi$ but it is imposed on us by a kind of council or advisory board. From the mathematical point of view, the idea is expressed by an adequate form of modal operator $\mathsf{W}$ which is interpreted in relational frames with neighborhoods. We discuss monotonicity of forcing, soundness, completeness and several other issues. Finally, we mention the fact that it is possible to investigate intuitionistic logics of unknown truths.

Download options


    Upload a copy of this work     Papers currently archived: 72,766

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

6 (#1,141,920)

6 months
6 (#116,819)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Being Wrong: Logics for False Belief.Christopher Steinsvold - 2011 - Notre Dame Journal of Formal Logic 52 (3):245-253.
Advisory Board.[author unknown] - 1971 - Inquiry: An Interdisciplinary Journal of Philosophy 14 (1-4):1-1.

Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
A Note on Dual-Intuitionistic Logic.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (5):519.
A Note on Full Intuitionistic Linear Logic.G. M. Bierman - 1996 - Annals of Pure and Applied Logic 79 (3):281-287.
From Classical to Intuitionistic Probability.Brian Weatherson - 2003 - Notre Dame Journal of Formal Logic 44 (2):111-123.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
A Note on Majkić's Systems.Hitoshi Omori & Toshiharu Waragai - 2010 - Notre Dame Journal of Formal Logic 51 (4):503-506.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.