逻辑等于初等逻辑

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