分级模态的元理论初探.PDFVIP

研究背景 分级模态语言和语义 系统和完全性 对应定理、一致性定理、真扩充定理 模型论性质 未来可以做的工作 分级模态的元理论初探 范杰 北大哲学 系级博士生 研究背景 分级模态语言和语义 系统和完全性 对应定理、一致性定理、真扩充定理 模型论性质 未来可以做的工作 研究背景 分级模态语言和语义 系统和完全性 对应定理、一致性定理、真扩充定理 模型论性质 未来可以做的工作 研究背景 分级模态语言和语义 系统和完全性 对应定理、一致性定理、真扩充定理 模型论性质 未来可以做的工作 研究背景 “分级模态”（ ）一词是指给模态词分级， 确切地说，是给模态词所表达 的可通达世界的数 目分级。 最先引入 了分级模态词 （ ），每个模态 词表达不同的必然性程度。例如公式 ， 它的直观解释是 和 都是必然的，但是 比 更必然。 受 数字量词的启发， 引入 了所谓的数字模 态词： ，这些模态词刻画数字可能性。 在论 文的开头部分就说到：标准模态逻辑处理命题在至少一个可 能世界中为真的概念，这使得我们很自然地考虑命题在至少 个可能世界中为真的情况 （其 中 是任意非负整数 ）。随 后，他建立了几个完备的分级模态系统。 研究背景 分级模态语言和语义 系统和完全性 对应定理、一致性定理、真扩充定理 模型论性质 未来可以做的工作 研究背景 ——— “ ” 研究背景 分级模态语言和语义 系统和完全性 对应定理、一致性定理、真扩充定理 模型论性质 未来可以做的工作 研究背景 提出了 的分级模态 公理化系统 ，并证 明了 的完全性、紧致性和可判定性 结果。 运用典范模型技术证 明了 、 、 等分级模态公理化系统的完全性结果，并重新证 明了 中 提出的 的完全性结果。 同时， 在 中建立了分 级模态谓词逻辑，证 明了 、 、 、 的一阶扩充 版本的完全性定理。 给出 了分级模态公理化系统 ，并得出了 的完全性和紧致 性结果。 论证了通常的典范模型方法不适用于对 称性系统 、 、 ，进而给出了一般典范模型 （ ）思想，并运用这一思想证 明了包 括对称性系统在 内的主要分级系统的完全性和紧致性定理。 研究背景 分级模态语言和语义