摘要
本文提出了信念逻辑RB,其特点是将关系信念,将信念看作是引用的公式和信念背景。其主要谓词是三元组:B≤xyb,读作:"在背景下,最多与同样可信。"背景在语义及认知语用目的上起作用。RB的表达力足以表达对角线引理。因此,RB也许被认为是不一致的,如共同认知逻辑。但是,从RB的公理中并不能推出矛盾。事实上,可以找到RB合理有趣的模型。
A doxastic logic RB is proposed, whose characteristics are relational belief, beliefs as quoted formulas and backgrounds of beliefs. Its main predicate is ternary: B xyb, read "I believe, presupposing b, x to at most as high a degree as y". Backgrounds serve semantic as well as epistemic-pragmatic purposes. RB is expressive enough to allow for a diagonal lemma.Hence it may thought to be inconsistent, like common epistemic logics. However, from the axioms of RB, a contradiction is not readily derived. Indeed, plausible and interesting models of RB can be found.
作者
卞拓蒙
Thomas Benda(Institute of Philosophy of Mind, National Yang Ming University)
出处
《逻辑学研究》
CSSCI
2017年第3期1-21,共21页
Studies in Logic
