Geodesic
A Note on the Intuitionistic Logic of False Belief
Bulletin of the Section of Logic, Tome 51 (2022) no. 1, pp. 57-71
Cet article a éte moissonné depuis la source Library of Science

Voir la notice de l'article

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 φ is not satisfied in a given world, but we still believe in it (or we think that it should be accepted). Another interpretations are also possible: e.g. that we do not accept φ 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 𝖶 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.
Keywords: Intuitionistic modal logic, non-normal modal logic, neighborhood semantics 
@article{BSL_2022_51_1_a1,
     author = {Witczak, Tomasz},
     title = {A {Note} on the {Intuitionistic} {Logic} of {False} {Belief}},
     journal = {Bulletin of the Section of Logic},
     pages = {57--71},
     year = {2022},
     volume = {51},
     number = {1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2022_51_1_a1/}
}
TY  - JOUR
AU  - Witczak, Tomasz
TI  - A Note on the Intuitionistic Logic of False Belief
JO  - Bulletin of the Section of Logic
PY  - 2022
SP  - 57
EP  - 71
VL  - 51
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/BSL_2022_51_1_a1/
LA  - en
ID  - BSL_2022_51_1_a1
ER  - 
%0 Journal Article
%A Witczak, Tomasz
%T A Note on the Intuitionistic Logic of False Belief
%J Bulletin of the Section of Logic
%D 2022
%P 57-71
%V 51
%N 1
%U http://geodesic.mathdoc.fr/item/BSL_2022_51_1_a1/
%G en
%F BSL_2022_51_1_a1
Witczak, Tomasz. A Note on the Intuitionistic Logic of False Belief. Bulletin of the Section of Logic, Tome 51 (2022) no. 1, pp. 57-71. http://geodesic.mathdoc.fr/item/BSL_2022_51_1_a1/

[1] J. Fan, Notes on neighborhood semantics for logics of unknown truths and false beliefs (2020), arXiv:2002.09622, math.LO.

[2] D. Gilbert, G. Venturi, Neighborhood Semantics for Logics of Unknown Truths and False Beliefs, The Australasian Journal of Logic, vol. 14(1) (2017), pp. 246–267 | DOI

[3] C. Steinsvold, Being Wrong: Logics for False Belief, Notre Dame Journal of Formal Logic, vol. 52(3) (2011), pp. 245–253 | DOI

[4] N. O. T. Dalmonte, Ch. Grellois, Intuitionistic non-normal modal logics: A general framework, Journal of Philosophical Logic, vol. 49 (2020), pp. 833–882 | DOI

[5] E. Żabski, Logiki nihilistyczne, czyli teorie prawd "powierzchownych" i "głebokich", Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław (2001).