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

摘要

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