巴坎公式和自由逻辑

发布时间：2017-07-28 19:00

  本文关键词：巴坎公式和自由逻辑

  更多相关文章： 巴坎公式 自由逻辑 模态谓词逻辑

【摘要】：在模态谓词逻辑语义学构建的过程中,巴坎公式扮演着重要的角色。以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。具有较好的柔韧性和宽容度,它可以容纳经典谓词逻辑。用自由逻辑系统解读巴坎公式,增加扩展公理和收缩公理,可以获得常域选择下的模态谓词逻辑。但这种逻辑仍有谜团需要我们去化解。
【作者单位】： 华南师范大学政治与行政学院;
【关键词】： 巴坎公式 自由逻辑 模态谓词逻辑
【基金】：教育部人文社会科学研究2008年度一般项目“模态逻辑与美国实用主义哲学研究”(08JA720010)
【分类号】：B81
【正文快照】： 一著名的巴坎公式探讨模态词和量词之间的交互影响问题,有形形色色的处理方案和处理原则。其中最为著名的方案是美国著名的女性逻辑学家巴坎(Ruth.Bar-can.Marcus)在1946年给出的[1],巴坎给出的两个公式被看作是解释这两类范畴之间交互影响的基本原则。因此,这两个公式也就命

【共引文献】

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

1 陈波;;语句的真、真的语句、真的理论体系——“truth”的三重含义辨析[J];北京大学学报(哲学社会科学版);2007年01期

2 汪亚文,李未;开放逻辑及其实现技术[J];北京航空航天大学学报;1992年03期

3 冯艺远;;理解:开始与终结[J];北京教育学院学报;2005年04期

4 吴炜;分析命题和综合命题的区分及其对真理问题的意义[J];北京邮电大学学报(社会科学版);2001年02期

5 杨建梓,曾华锋,杨剑利;对本体论的一种阐释[J];北京理工大学学报(社会科学版);2002年04期

6 白刚;从实践本体化到本体实践化[J];东岳论丛;2003年06期

7 郑祥福;20世纪西方科学哲学发展回眸与瞻望[J];福建论坛(人文社会科学版);2002年01期

8 程仲棠;规范领域中的分析命题[J];广东社会科学;2002年01期

9 席酉民;井辉;曾宪聚;肖宏文;;和谐管理双规则机制的探索性分析与验证[J];管理学报;2006年05期

10 周建斌;奎因的语言哲学思想[J];甘肃教育学院学报(社会科学版);2003年02期

中国博士学位论文全文数据库 前10条

1 胡波;社会理想境界论纲[D];中国社会科学院研究生院;2000年

2 黄玉顺;超越知识与价值的紧张：“科学与玄学论战”的哲学问题[D];中国社会科学院研究生院;2000年

3 杨学功;本体论哲学批判[D];中国社会科学院研究生院;2001年

4 李淑静;If条件句与常规关系[D];河南大学;2005年

5 刘高岑;语言、心智与世界[D];山西大学;2004年

6 黄欣荣;复杂性科学的方法论研究[D];清华大学;2005年

7 张镇环;实在与科学理论的真理性[D];吉林大学;2006年

8 张本祥;不可计算复杂性的机理与意义[D];华南师范大学;2006年

9 闻曙明;隐性知识显性化问题研究[D];苏州大学;2006年

10 杨建梓;寻找回归之路[D];中国人民大学;2002年

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

1 张利芳;摹状词理论研究[D];西南师范大学;2001年

2 顿新国;亨佩尔定性确证思想探析[D];华中师范大学;2002年

3 宋建平;形而上学终结了吗？[D];浙江师范大学;2002年

4 荣小雪;非充分决定性论题与波普尔的证伪方法[D];山西大学;2003年

5 郭丽丽;女性主义科学哲学研究[D];大连理工大学;2004年

6 屠军;述评罗蒂对镜式哲学的批判和改造[D];湘潭大学;2004年

7 胡华南;通向科学理论真理性的道路——源自科学实在论与反实在论之争[D];武汉理工大学;2004年

8 周佳;本体论的现代阐释[D];东北师范大学;2005年

9 唐玉斌;本质主义和必然性问题的研究[D];华南师范大学;2005年

10 刘卫花;对蒯因逻辑中“本体论承诺”的探讨[D];西南师范大学;2005年

【相似文献】

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

1 梁义民;任晓明;;存在问题的逻辑语言维度[J];现代哲学;2006年06期

2 J. 德里达,单继刚;荣誉学位:这也太有趣了[J];世界哲学;2005年02期

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

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

5 季冠芳,弓肇祥;关于哲学逻辑的几个理论问题[J];哈尔滨学院学报;2001年01期

6 王路;《逻辑学》[J];哲学动态;2000年05期

7 田佑中;黑格尔发展观中内在逻辑结构的两次嬗变[J];理论探讨;1999年04期

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

9 王路;如何理解“存在”?[J];哲学研究;1997年07期

10 李建华;哲学逻辑刍议[J];湘潭师范学院学报(社会科学版);1997年04期

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

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

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

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

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

，

本文编号：585504