自由逻辑中的存在问题

发布时间：2017-09-11 11:17

  本文关键词：自由逻辑中的存在问题

  更多相关文章： 自由逻辑 个体域 逻辑系统 存在问题 一阶谓词逻辑 语义学 一阶逻辑 变项 语义模型 非存在

【摘要】：正自由逻辑是20世纪50年代兴起的一个哲学逻辑分支。由于在有些自由逻辑系统中引入了表示"存在"的逻辑符号"E!",而且自由逻辑中的量词包含经典谓词逻辑的存在含义,这就使得自由逻辑不可避免地与存在问题联系在一起。关于存在问题的哲学争论历史久远。而近一个多世纪以来,随着现代逻
【作者单位】： 首都师范大学文学院;
【关键词】： 自由逻辑 个体域 逻辑系统 存在问题 一阶谓词逻辑 语义学 一阶逻辑 变项 语义模型 非存在
【基金】：国家社会科学基金青年项目“自由摹状词理论研究”(项目编号:07CZX017)的资助
【分类号】：B812
【正文快照】： 自由逻辑是20世纪50年代兴起的一个哲学逻辑分支。由于在有些自由逻辑系统中引入了表示“存在”的逻辑符号“E!”,而且自由逻辑中的量词包含经典谓词逻辑的存在含义,这就使得自由逻辑不可避免地与存在问题联系在一起。关于存在问题的哲学争论历史久远。而近一个多世纪以来,随

【相似文献】

中国期刊全文数据库 前10条

1 冯艳;20世纪自由逻辑的产生与发展[J];湖南科技大学学报(社会科学版);2004年04期

2 赵传林;关于认为逻辑的再思考[J];九江师专学报;1993年02期

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

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

5 陈波;“哲学逻辑”词义探源和辨析[J];哲学动态;1997年03期

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

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

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

9 龚启荣;;所谓“逻辑量词”[J];重庆工学院学报(社会科学版);2009年11期

10 张清宇;不用联结词和量词的一阶逻辑系统[J];哲学研究;1996年05期

中国重要会议论文全文数据库 前10条

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

2 陈图云;刘新友;;模糊基数量词初论[A];1994年逻辑研究专辑[C];1994年

3 沈有鼎;张清宇;;个体和真值的演算[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

4 张力锋;;一阶量词的逻辑哲学考察[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

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

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

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

8 袁正校;何向东;;论黑格尔关于同一律、矛盾律和排中律的谬误[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

9 熊立文;;芬兰学派的归纳理论[A];1998年逻辑研究专辑[C];1998年

10 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

中国硕士学位论文全文数据库 前2条

1 张亮;卡尔纳普归纳逻辑及其认知意义[D];山西大学;2010年

2 赵新波;论可能世界的哲学问题[D];燕山大学;2012年

，

本文编号：830415