自由模态逻辑及其表列系统

摘要：

“空词项”在语形、语义两方面都给模态谓词逻辑带来了难以克服的困难.于是,产生了旨在克服“空词项”的模态谓词逻辑,即自由模态逻辑.自由模态逻辑由于其复杂性,若用公理系统加以刻画,难以展现其全貌.相对于纯对象语言的公理系统而言,表列系统同时涵盖对象语言和元语言,并且其完全性定理的证明更为简洁.因而,表列系统用来刻画自由模态逻辑更具优势.

关键词：表列系统、自由逻辑、模态逻辑、空词项

分类号：B815.1(逻辑学(论理学))

资助基金：国家社会科学基金项目“自由逻辑及其相关哲学问题研究”13BZX068的研究成果

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

页数：共5页

页码：18-22