逻辑常项与保守性:以tonk为例

发布时间：2017-08-19 15:42

  本文关键词：逻辑常项与保守性:以tonk为例

  更多相关文章： 逻辑推理论 逻辑常项 tonk 协调性 保守性

【摘要】：根据逻辑推理论,逻辑常项的意义是由它的引入和消去规则确定的。普莱尔(Arthur Prior)提出的tonk对推理论构成了严重挑战。库克(Roy Cook)最近构造了一个禁止传递性的相干的逻辑系统,即Tonk-逻辑,并借助四值语义学重新定义了Tonk-后承概念,在这种概念之下,tonk的引入规则和消去规则都是有效的,同时系统还不是平凡的。本文探讨了保守性与常项的引入和消去规则的协调性之间的联系,并定义了两种较强的协调性概念,即HCU-协调性和HML-协调性概念。借助这两个概念,本文论证,tonk不是HCU-协调的也不是HML-协调的,因而它不是合法的逻辑常项,Tonk-逻辑也不是一种合法的逻辑系统。
【作者单位】： 中南财经政法大学哲学院;
【关键词】： 逻辑推理论 逻辑常项 tonk 协调性 保守性
【分类号】：B812
【正文快照】： 按照逻辑推理论(logical inferentialism)的传统,逻辑常项的意义是由它在推理中的作用(即它的引入和消去规则)确定的。1在1960年的一篇著名文章中,普莱尔对这种传统提出一个严重的挑战。([10])他构造了一个怪异的常项:tonk。这个常项的引入和消去规则分别借用了析取()的引入规

【相似文献】

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

1 罗翊重;论形式逻辑和辩证逻辑的互补前提设定[J];学术探索;1995年02期

2 韩铁稳;;浅谈逻辑常项的语言表达形式[J];思维与智慧;1989年03期

3 江东;例谈填空题的解答和注意事项[J];思维与智慧;1994年01期

4 李娜;模态系统P_1的协调性[J];信阳师范学院学报(哲学社会科学版);2005年03期

5 刘新文;;函数完备性问题[J];重庆理工大学学报(社会科学);2011年08期

6 邓雄雁;胡泽洪;;协调、一致与一阶公理系统的强完全性[J];华南师范大学学报(社会科学版);2010年03期

7 刘新文;;论逻辑常项的归约[J];哲学研究;2011年06期

8 周斌;斯特劳逊的逻辑理论述评[J];社会科学;1992年12期

9 郁慕镛;普通逻辑学习问答[J];河北自学考试;2002年03期

10 张余黄;三、上期题目参考答案[J];思维与智慧;1985年05期

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

1 李小五;;协调性质与无穷逻辑几个公理化系统的完全性[A];1993年逻辑研究专辑[C];1993年

2 刘新文;;一阶逻辑函数完备性和逻辑常项问题[A];科学发展：社会管理与社会和谐——2011学术前沿论丛（上）[C];2011年

3 王宝龙;;对充分条件假言命题逻辑常项的再认识[A];第十六届全国法律逻辑学术讨论会论文（成就·反思·前瞻——中国法律逻辑三十年）[C];2008年

4 罗翊重;;逻辑推理四大基础类型及其相互关系研究[A];中国思维科学研究论文选2011年专辑[C];2012年

5 李小五;;无穷逻辑与LS定理[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

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

7 张清宇;;弗协调逻辑系统Zn和ZnUS[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

，

本文编号：701573