三值自由模态逻辑FML  

3-Valued Free Modal Logic FML

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

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

出　　处：《华南师范大学学报（社会科学版）》2016年第1期176-181,192,共6页Journal of South China Normal University：Social Science Edition

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

摘　　要：FML是以自由逻辑为基础构建起来的一个三值模态谓词逻辑表列系统。若一个词项无所指(空词项)则包含该词项的简单句子无所指(即无真值),FML的偏函数语义模型体现了这一思想。通过借鉴普利斯特的一度衍推系统和菲汀的抽象谓词思想,FML系统刻画了在内涵语境下关于空词项的推理规律。最后,用数模的方法证明了FML的强完全性。FML is a tableau of modal predicate logic which is based on free logic. If one item has no reference,namely empty item,then the simple proposition including it has no truth value. In FML,the partial-functional semantic model can verify the idea above. Based on Priest's one-degree entailment system and Fitting's predicate abstraction,FML can characterize the inference rules of empty item in multi-value model context. Finally,it can be proved by means of digital analogy that FML is strongly complete.

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

分 类 号：B81-0[哲学宗教—逻辑学]