Description

• Title:
  A Note on the Intuitionistic Logic of False Belief
• Creator:
  Witczak, Tomasz
• Contributor:
  University of Silesia, Faculty of Science and Technology, Institute of Mathematics, Bankowa 14, 40-007 Katowice, Poland;
  tm.witczak@gmail.com
• Description:
  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 (or we think that it should be accepted). 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.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2022.05.19;
  2021.09.01
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;1;
  51
• Subject:
  Intuitionistic modal logic;
  non-normal modal logic;
  neighborhood semantics
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/41868 ;
  2449-836X;
  10.18778/0138-0680.2021.20
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other