建构第一人称信念逻辑的一致性难题

摘要：

研究信念逻辑的有趣之处在于:可以在没有清楚的存在与等同条件下,建立一套元目的形式理论.现有的合理且可能为真的形式系统皆因为著名的"知识拥有者的悖论(Knower's Paradox)"而导致不一致.这篇论文将建构一套第一人称信念的形式系统.用来建构系统的信念将来自内在观点,因此信念的拥有者将不在讨论的范围中.此外,本篇论文将论证信念的背景将扮演语意、知识论及语用的角色.本篇论文建构的系统将是标准初阶逻辑的有限延展,并将使用到引述.本系统所使用的公理及规则相对较弱,且因为太弱而不足够,因此导致了系统的不一致.本论文欲藉此论证:可被定义的信念集合将不可能被找到.在现有的信念理论及所有的第一人称信念理论中,有限且可被定义的信念集合皆为不一致的原因在于并未涵盖我们真实拥有的信念.

机标关键词：第一人称、信念逻辑、一致性、形式系统、beliefs、theory、信念理论、论文、formal system、知识拥有者、perspective、interesting、pragmatic、Exploring、existence、内在观点、建构系统、集合、定义、theories

所属期刊栏目：2

分类号：TP3;TP1

在线出版日期：2009-08-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共23页

页码：30-52