达米特对直觉主义逻辑的辩护

发布时间：2018-05-21 01:36

  本文选题：直觉主义 + 演绎　； 参考：《南开学报(哲学社会科学版)》2007年04期

【摘要】：直觉主义逻辑是达米特语义反实在论的基础。他对直觉主义逻辑的辩护包括证明论、模型论或语义学、意义理论三个层次,他论证了直觉主义逻辑规律是自我辩护的、其语义解释可以避免循环论证,阐明了直觉主义逻辑和经典逻辑之争的逻辑哲学内涵。他提出的协调性、非循环性、组合性等原则对演绎辩护具有重要的价值。
[Abstract]:Intuitionistic logic is the basis of Damit's semantic anti-realism. His defense of intuitionism logic includes three levels: proof theory, model theory or semantics, meaning theory. He proves that the laws of intuitionism logic are self-defense, and its semantic interpretation can avoid circular argument. This paper expounds the logic philosophy connotation of the argument between intuitionism logic and classical logic. His principles of coordination, non-circularity and combination are of great value to deductive defense.
【作者单位】： 南开大学哲学系 南开大学哲学系
【基金】：教育部人文社会科学重点研究基地重大项目(02JAZJD720018)
【分类号】：B815

【相似文献】

相关期刊论文 前10条

1 王春梅;;黑格尔逻辑学开端及其演绎的分析[J];兰州学刊;2011年07期

2 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期

3 郭建萍;;殊途同归的意义理论——逻辑视野中的戴维森与达米特意义理论[J];哲学动态;2011年06期

4 刘新文;;现代模态逻辑探源[J];哲学动态;2011年05期

5 周山;;逻辑多元性的历史根据——谈谈《中国传统类比推理系统研究》一书的写作旨意[J];哲学分析;2011年03期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前1条

1 俞颖杰;;达米特论指称和涵义[A];第二届中国科技哲学及交叉学科研究生论坛论文集（博士卷）[C];2008年

相关博士学位论文 前1条

1 张继华;科学探究推理研究[D];西南大学;2012年

相关硕士学位论文 前5条

1 吕海荣;中国古代推类的特点[D];北京师范大学;2008年

2 张保垒;表列演算探究[D];华东师范大学;2011年

3 郑伟;亚里士多德三段论系统研究[D];河南大学;2011年

4 陈珊;核证逻辑研究[D];中国社会科学院研究生院;2011年

5 孙梦荻;侦查假说的构建[D];河南大学;2012年

，

本文编号：1917173