相干逻辑关系语义的推理解释

发布时间：2017-08-28 05:53

  本文关键词：相干逻辑关系语义的推理解释

  更多相关文章： 相干逻辑 关系语义 推理语义

【摘要】：关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以"纯粹"的形式语义的面貌出现,其中三元关系R的直观意思是什么并不清楚,于是出现了关于关系语义的多种解释。我们认为,R所代表的是推理规则集、前提集和结论集三者之间的关系,据此提出了推理语义。推理语义以推理的形式结构为背景,有明确的直观意义。本文以相干逻辑系统R+为例,证明出推理语义是与关系语义等价的语义。从推理语义与关系语义的这个等价关系上看,推理语义完全可以作为对于关系语义直观解释的一个中间环节。由此不仅使得关系语义有了推理结构的解释,同时说明了相干逻辑是一种关于推理的逻辑。这与相干逻辑产生的历史也完全吻合。
【作者单位】： 北京大学哲学系;中国社会科学院哲学研究所;
【关键词】： 相干逻辑 关系语义 推理语义
【基金】：国家社科基金重大项目(批准号12&ZD119)
【分类号】：B81
【正文快照】： 上世纪七十年代初R.Routley和R.Meyer给出了相干逻辑的关系语义(relational semantics)。这一语义中的框架是一个四元组?K,R,0,?,其中R是一个三元关系([10 12])。在关系语义下可以得到一系列相干逻辑系统的完全性,从这个角度看关系语义是一个成功的语义,因而成为了相干逻辑中

【参考文献】

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

1 胡光远;;相干逻辑的情境论解释[J];逻辑学研究;2013年04期

【共引文献】

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

1 冯棉;;论相干逻辑的研究方法[J];华东师范大学学报(哲学社会科学版);2008年06期

2 埃德温·马莱斯;;相干否定与经典否定[J];逻辑学研究;2010年01期

3 霍书全;;相干逻辑研究的当代成果和发展趋势[J];哲学动态;2007年04期

4 娄永强;;信息流研究及发展趋势[J];哲学动态;2013年09期

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

1 周春来;;Minimal Relevance Logics and Semantical Proof of Better Bubbling Lemma[A];2005年逻辑研究专辑[C];2005年

2 冯棉;;相干逻辑与蕴涵怪论[A];2005年逻辑研究专辑[C];2005年

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

1 娄永强;信息流理论的逻辑研究[D];南开大学;2009年

【二级参考文献】

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

1 冯棉;;论相干逻辑的研究方法[J];华东师范大学学报(哲学社会科学版);2008年06期

【相似文献】

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

1 冯棉;;论相干逻辑的研究方法[J];华东师范大学学报(哲学社会科学版);2008年06期

2 牛奔玉;周祯祥;;相干逻辑R中合取的解释[J];湖南科技大学学报(社会科学版);2013年01期

3 施拉姆科 ,王靖华;相干结论保留着非假值[J];现代外国哲学社会科学文摘;1996年07期

4 胡红;盛作国;;制约逻辑与相干逻辑比较研究[J];毕节学院学报;2008年01期

5 颜中军;;从相干逻辑看逻辑的可修正性[J];毕节学院学报;2011年03期

6 刘步青;;相干逻辑的产生及评价[J];重庆理工大学学报(社会科学版);2013年09期

7 张清宇;试谈相干逻辑[J];哲学研究;1985年10期

8 胡光远;;相干逻辑的情境论解释[J];逻辑学研究;2013年04期

9 冯棉;条件句与相干逻辑[J];华东师范大学学报(哲学社会科学版);1999年01期

10 薛元;有关制约逻辑的一些情况[J];国内哲学动态;1986年11期

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

1 冯棉;;相干逻辑与蕴涵怪论[A];2005年逻辑研究专辑[C];2005年

2 弓肇祥;;蕴涵与逻辑推断[A];1995年逻辑研究专辑[C];1995年

3 张盛彬;;试论条件句与蕴涵的一致性[A];2000年逻辑研究专辑[C];2000年

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

1 盛作国;蕴涵理论研究[D];贵州大学;2008年

，

本文编号：747307