非严格弗雷格自由逻辑.pdfVIP

逻辑学研究 2014 年第1 期，45–61 文章编号：1674-3202(2014)-01-0045-17 非严格弗雷格自由逻辑* 胡泽洪 邓雄雁 华南师范大学政治与行政学院 华南师范大学政治与行政学院 huzh@ huananyiye@163.com 摘 要：莱曼（S. Lehmann）的1994 年的论文从三值逻辑角度处理语言中的空词项。 弗雷格认为句子的所指是真值，包含空词项的句子缺乏所指，而只有涵义，那么这样 的句子不真也不假。莱曼的文章刻画了弗雷格这一思想，但有两点不尽人意之处：其 一、对量词进行特殊处理，使得量词公式是二值的；其二，把包含空词项的复合句一概 归于第三值。针对上述两点，本文以一度衍推系统为基础，在语义上，以偏解释函数为 基础构造了一个非严格弗雷格中性自由逻辑表列系统，使得量词公式是三值的，同时 使得一部分包含空词项的复合公式或真或假。 关键词：自由逻辑；空词项；表列系统；中性语义 中图分类号：B81 文献