三值自由模态逻辑FML

摘要：

FML是以自由逻辑为基础构建起来的一个三值模态谓词逻辑表列系统。若一个词项无所指（空词项）则包含该词项的简单句子无所指（即无真值），FML的偏函数语义模型体现了这一思想。通过借鉴普利斯特的一度衍推系统和菲汀的抽象谓词思想，FML系统刻画了在内涵语境下关于空词项的推理规律。最后，用数模的方法证明了FML的强完全性。

关键词：空词项、一度衍推、抽象谓词、模态逻辑

分类号：B81-0(逻辑学(论理学))

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

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

页数：共6页

页码：176-181