一个关系信念逻辑（英文）  

A Relational Doxastic Logic

作　　者：卞拓蒙 Thomas Benda(Institute of Philosophy of Mind, National Yang Ming University)

机构地区：[1]国立阳明大学心智哲学研究所

出　　处：《逻辑学研究》2017年第3期1-21,共21页Studies in Logic

摘　　要：本文提出了信念逻辑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.

关 键 词：认知逻辑 信念 语用目的 对角线 表达力 矛盾 

分 类 号：B815.3[哲学宗教—逻辑学]