三值自由模态逻辑FML

发布时间：2018-03-26 12:00

本文选题：空词项　切入点：一度衍推　出处：《华南师范大学学报(社会科学版)》2016年01期

【摘要】：FML是以自由逻辑为基础构建起来的一个三值模态谓词逻辑表列系统。若一个词项无所指(空词项)则包含该词项的简单句子无所指(即无真值),FML的偏函数语义模型体现了这一思想。通过借鉴普利斯特的一度衍推系统和菲汀的抽象谓词思想,FML系统刻画了在内涵语境下关于空词项的推理规律。最后,用数模的方法证明了FML的强完全性。
[Abstract]:FML is a ternary modal predicate logic list system constructed on the basis of free logic. If a word item has no indication (empty word item), the simple sentence containing the word item has no reference. By drawing lessons from Prith's one-degree derivation system and FML's abstract predicate system, this paper depicts the reasoning law of empty words in the context of connotation. The strong completeness of FML is proved by numerical simulation.
【作者单位】：华南师范大学政治与行政学院;贵州师范大学马克思主义学院;
【基金】：国家社会科学基金项目“自由逻辑及其相关哲学问题研究”(13BZX068)
【分类号】：H0-05

【相似文献】