非严格弗雷格自由逻辑

摘要：

莱曼（S. Lehmann）的1994年的论文从三值逻辑角度处理语言中的空词项。弗雷格认为句子的所指是真值，包含空词项的句子缺乏所指，而只有涵义，那么这样的句子不真也不假。莱曼的文章刻画了弗雷格这一思想，但有两点不尽人意之处：其一、对量词进行特殊处理，使得量词公式是二值的；其二，把包含空词项的复合句一概归于第三值。针对上述两点，本文以一度衍推系统为基础，在语义上，以偏解释函数为基础构造了一个非严格弗雷格中性自由逻辑表列系统，使得量词公式是三值的，同时使得一部分包含空词项的复合公式或真或假。

关键词：自由逻辑、空词项、表列系统、中性语义

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

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

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

页数：共17页

页码：45-61