逻辑等于初等逻辑

• 作者: 马明辉
• 来源期刊: 中国哲学年鉴
• 学科: 教育
• 关键词: 逻辑常项 集合论 一阶逻辑 证明论 模型论 教学结合 逻辑哲学 递归论
• 年，卷（期）: 2016,（1）
• 页码范围: 313-314
• 页数: 2页
• 分类号: G63

摘要

在逻辑哲学领域中,奎因以他著名的论题“逻辑等于初等逻辑”而闻名,我们称之为奎因论题。这里初等逻辑是指古典二值的带等词一阶逻辑(包含古典句子逻辑)。王浩在1981年为“在世哲学家文库”奎因卷撰写的论文“从历史的观点看奎因的逻辑观”中对奎因在逻辑方面的工作给予了一些评价,他认为“奎因的习惯是把写书与教学结合起来”,奎因在逻辑研究方面的兴趣“不是发现集合论中的新定理”,奎因似乎“远离证明论以及……递归论、模型论和计算理论”,而“限于关心初等逻辑和集合论的某一个方面”。对此奎因作出了解释,奎因的目标是清晰的、优雅的和一种贴近哲学的视角,他说“为逻辑注入一种可靠的哲学态度一直是我的一个主要目的”。奎因论题事实上也伴随着哲学的考虑。从历史的角度看,奎因论题有一个形成过程。从逻辑常项的观点看,奎因论题也可以得到辩护。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马明辉	西南大学逻辑与智能研究中心	20	10	1.0	2.0