相干逻辑关系语义的推理解释
本文关键词:相干逻辑关系语义的推理解释
【摘要】:关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以"纯粹"的形式语义的面貌出现,其中三元关系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
本文链接:https://www.wllwen.com/shekelunwen/ljx/747307.html