收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

非严格弗雷格自由逻辑

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

知网文化
【相似文献】
中国期刊全文数据库 前20条
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期
11 叶建柱,应向东;论虚概念[J];现代哲学;2004年02期
12 梁义民;任晓明;;存在问题的逻辑语言维度[J];现代哲学;2006年06期
13 夏卫国;存在问题新探[J];东岳论丛;2001年05期
14 王路;《逻辑学》[J];哲学动态;2000年05期
15 文海鸿;对亚里士多德逻辑的一点思考[J];云南社会科学;2002年01期
16 陈波;“哲学逻辑”词义探源和辨析[J];哲学动态;1997年03期
17 李建华;哲学逻辑刍议[J];湘潭师范学院学报(社会科学版);1997年04期
18 王法学;关于词项的种类[J];山东师大学报(社会科学版);1999年03期
19 陈晓平;科学定律与反事实条件句——兼论“新归纳之谜”[J];自然辩证法研究;2001年07期
20 季冠芳,弓肇祥;关于哲学逻辑的几个理论问题[J];哈尔滨学院学报;2001年01期
中国重要会议论文全文数据库 前4条
1 弓肇祥;季冠芳;;自由逻辑的缘起和发展[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
2 弓肇祥;季冠芳;;哲学逻辑的几个理论问题[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
3 张建军;;略论“强化的排中律”[A];1996年逻辑研究专辑[C];1996年
4 蔡曙山;;学科交叉与现代逻辑的发展[A];小康社会:文化生态与全面发展——2003学术前沿论坛论文集[C];2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978