非严格弗雷格自由逻辑

发布时间：2018-06-25 21:43

  本文选题：自由逻辑 + 空词项　； 参考：《逻辑学研究》2014年01期

【摘要】：莱曼(S.Lehmann)的1994年的论文从三值逻辑角度处理语言中的空词项。弗雷格认为句子的所指是真值,包含空词项的句子缺乏所指,而只有涵义,那么这样的句子不真也不假。莱曼的文章刻画了弗雷格这一思想,但有两点不尽人意之处:其一、对量词进行特殊处理,使得量词公式是二值的;其二,把包含空词项的复合句一概归于第三值。针对上述两点,本文以一度衍推系统为基础,在语义上,以偏解释函数为基础构造了一个非严格弗雷格中性自由逻辑表列系统,使得量词公式是三值的,同时使得一部分包含空词项的复合公式或真或假。
[Abstract]:S. Lehmann's 1994 paper deals with empty words in language from the point of view of ternary logic. Frege believes that the meaning of a sentence is true, and that a sentence containing empty words lacks a reference and has only meaning, so that such a sentence is not true or false. Lehmann's paper depicts Frege's thought, but there are two unsatisfactory points: firstly, the quantifier formula is binary by special treatment of quantifier, and second, the compound sentence containing empty words is classified as the third value. In view of the above two points, this paper constructs a nonstrict Frege neutral free logic list system based on the one-degree derivation system and the partial interpretation function, which makes the quantifier formula ternary. At the same time, part of the compound formula containing empty terms is true or false.
【作者单位】： 华南师范大学政治与行政学院;
【基金】：国家社会科学基金项目《自由逻辑及其相关哲学问题研究》(13BZX068)
【分类号】：B815.8

【共引文献】

相关期刊论文 前1条

1 冯艳;自由摹状词理论研究述评[J];哲学动态;2005年07期

【相似文献】

相关期刊论文 前10条

1 陈晓平;关于空词项及其内涵与外延的对称性问题[J];哲学动态;1997年02期

2 陈晓平;虚拟蕴涵实质蕴涵和空词项——也谈“逻辑研究中有待澄清的若干问题”[J];广西大学学报(哲学社会科学版);1997年03期

3 周祯祥;;巴坎公式和自由逻辑[J];湖南科技大学学报(社会科学版);2010年04期

4 冯艳;;自由逻辑中的存在问题[J];哲学动态;2010年08期

5 刘明元;陈治龙;;从谓词逻辑的观点看传统词项逻辑推理中的空词项[J];毕节学院学报;2011年06期

6 孙启明;传统逻辑的对当关系及其推理与主项是否为空词项无关[J];安徽大学学报(哲学社会科学版);1998年02期

7 胡泽洪;邓雄雁;;论模态谓词逻辑的“非指称”问题——基于自由逻辑的考察[J];哲学研究;2011年01期

8 熊明辉;易永胜;;逻辑与科学思维的融合——第二届逻辑与思维科学论坛综述[J];特区实践与理论;2011年01期

9 冯艳;刘壮虎;;一个自由模态的摹状词理论LFMDT_K[J];哲学研究;2007年08期

10 冯艳;自由摹状词理论研究述评[J];哲学动态;2005年07期

相关会议论文 前4条

1 弓肇祥;季冠芳;;自由逻辑的缘起和发展[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

2 弓肇祥;季冠芳;;哲学逻辑的几个理论问题[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

3 张建军;;略论“强化的排中律”[A];1996年逻辑研究专辑[C];1996年

4 蔡曙山;;学科交叉与现代逻辑的发展[A];小康社会：文化生态与全面发展——2003学术前沿论坛论文集[C];2004年

，

本文编号：2067608