摘要:本文提出了信念逻辑RB,其特点是将关系信念,将信念看作是引用的公式和信念背景。其主要谓词是三元组:Bxyb,读作:“在背景b下,x最多与y同样可信。”背景在语义及认知语用目的上起作用。RB的表达力足以表达对角线引理。因此,RB也许被认为是不一致的,如共同认知逻辑。但是,从RB的公理中并不能推出矛盾。事实上,可以找到RB合理有趣的模型。
简介:《逻辑学研究》(CN:44-1649/C)是一本有较高学术价值的双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社