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

About Free Modal Logic and Its Table System

作　　者：胡泽洪[1] 邓雄雁[2] 

机构地区：[1]华南师范大学政治与行政学院 [2]贵州师范大学马克思主义学院

出　　处：《学术研究》2017年第8期18-22,共5页Academic Research

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

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

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

分 类 号：B815.1[哲学宗教—逻辑学]