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

摘要：

直觉主义逻辑是达米特语义反实在论的基础.他对直觉主义逻辑的辩护包括证明论、模型论或语义学、意义理论三个层次,他论证了直觉主义逻辑规律是自我辩护的、其语义解释可以避免循环论证,阐明了直觉主义逻辑和经典逻辑之争的逻辑哲学内涵.他提出的协调性、非循环性、组合性等原则对演绎辩护具有重要的价值.

关键词：直觉主义、演绎、辩护

分类号：B815(逻辑学(论理学))

资助基金：教育部人文社会科学研究基地基金02JAZJD720018

在线出版日期：2007-09-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：46-51