模态认识论探纲

模态认识论主要讨论形而上学模态、模态信念和知识、获取模态知识的途径、确立模态信念正当性的规范等主要议题。现代哲学中即有模态认识论的理性主义、经验主义和语义主义思想源头,当代哲学家克里普克区分形而上学模态与认知模态,为当代模态认识论设定了核心议题及出发点。当前,人们讨论形而上学模态与逻辑模态、律则模态之间的关系,提出并试图应对各种模态怀疑论,建立四种主要的模态认识论方案,就模态直觉、错觉、错误等提出具体的规范性条件。未来,模态认识论将沿着基本概念探析、可设想型模态知识说明、反事实型模态知识说明和本质主义模态知识说明等几个方向,取得突破性进展,并在逻辑学、语言哲学等学科领域产生持续且深远的影响。

直觉主义量词模态逻辑系统MIPC~*的可靠性定理

设WMμ为系统MIPC*全部公式的集,再设г∪{A} WMμ,则гMIPC* A意义明显.而 M A指гM-蕴涵A.以前已证明гM A гMIPC*A,即MIPC*为强完全的.本文证明其逆定理成立,即гMIPC*A гM A.是为MIPC*的可靠性定理.