论文标题
关于错误信念的直觉逻辑的注释
A note on the intuitionistic logic of false belief
论文作者
论文摘要
在本文中，我们分析了直觉环境中错误信念的逻辑。这种逻辑是由Steinsvold，Fan，Gilbert和Venturi在其古典版本中研究的，描述了以下情况：在给定的世界中，Formula F不满意，但我们仍然相信它（或者我们认为应该接受它）。另一个解释也是可能的：例如我们不接受F，但它是由理事会或顾问委员会强加给我们的。从数学的角度来看，这个想法是由模态算子W的适当形式表达的，该模态操作员W与邻居的关系框架解释。我们讨论强迫，健全，完整性和其他几个问题的单调性。我们还提供了一些简单的系统，其中对先前接受的公式进行了建模。
In this paper we analyse logic of false belief in intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula F 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 F 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 W which is interpreted in relational frames with neighborhoods. We discuss monotonicity of forcing, soundness, completeness and several other issues. We present also some simple systems in which confirmation of previously accepted formula is modelled.
