摘要
"空词项"在语形、语义两方面都给模态谓词逻辑带来了难以克服的困难。于是,产生了旨在克服"空词项"的模态谓词逻辑,即自由模态逻辑。自由模态逻辑由于其复杂性,若用公理系统加以刻画,难以展现其全貌。相对于纯对象语言的公理系统而言,表列系统同时涵盖对象语言和元语言,并且其完全性定理的证明更为简洁。因而,表列系统用来刻画自由模态逻辑更具优势。
Void term has brought difficulty to the modal logic of predicate in two aspects of lingual form and meaning, so it caused the birth of free modal logic(i.e. the modal logic of predicate) in order to deal with the void term. Because of the complexity of free modal logic, it is difficult to reveal its full view described by the system of axioms. In contrast to the axioms system based on pure objective language, table system covers both objective language and meta-language, and has more concise proof of completeness theorem; therefore the table system has advantage in describing the free modal logic.
出处
《学术研究》
CSSCI
北大核心
2017年第8期18-22,共5页
Academic Research
基金
国家社会科学基金项目"自由逻辑及其相关哲学问题研究"(13BZX068)的研究成果
