论逻辑常项的归约
On Reduction of Logical Constants作者机构:中国社会科学院哲学所
出 版 物:《哲学研究》 (Philosophical Research)
年 卷 期:2011年第6期
页 面:115-122,128页
核心收录:
学科分类:01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学]
基 金:国家社科基金项目"广义析舍的逻辑系统及其证明论与复杂性研究"(编号10BZX055)资助
摘 要:逻辑联结词和量词都是逻辑的核心概念之一。2004年以来陆续出版的多卷本《逻辑史手册》,计划在第11卷专门以一卷的篇幅来研究后承关系、量词、否定、联结词、模态、自然推演、逻辑图等逻辑核心概念的发展过程。