对现代逻辑中量词的逻辑哲学省察.pdfVIP

2015年 6月 中 州 学 刊 June，2015 第6期 (总第222期) AcademicJournalofZhongzhou No．6 【哲学研究】 对现代逻辑 中量词的逻辑哲学省察术 杨 红 玉 摘 要 ：量词是现代逻辑的关键性概念，对量词的解释既是现代逻辑、也是现代哲学的重要问题。首先，现代逻辑 中的量词在本质上是一个二阶函数，量词的这种特点克服 了传统逻辑量词的局限性，并使得现代逻辑的语言处理 能力大为增强，但同时也使得对量词的语义解释涉及了很多概念和理论。其次，两种对量词 的解释方案——指称 量化和替换量化，它们的不同特点造成了不同的逻辑后果和哲学后果。最后，量词成为分析诸如真、指称以及本体 论这些哲学概念的核心概念，逻辑也为哲学问题的解决提供了深刻的视角。 关键词 ：量词一变元；对象量化；替换量化；本体论承诺 中图分类号：B81 文献标识码：A 文章编号：1003-0751(2015)06-0106-07 量词是逻辑学的一个基本概念，传统逻辑围绕 对应于现代逻辑的量化理论，也没有围绕着量词形 着量词做了很多的工作并形成了一系列的理论，但 成太多的其他相关理论；而量词却成为现代逻辑的 直到现代逻辑产生后，量词在逻辑学中的核心地位 核心概念，现代谓词逻辑甚至被称为量词逻辑，现代 和价值才得到彰显和重视。现代逻辑的两个基本研 逻辑的很多理论，如真、指称等理论都和量词密切相 究路径——句法学和语义学都是围绕着量词概念而 关，而这种现象的出现是和传统逻辑与现代逻辑中 展开的，对量词的语义解释也与现代哲学中的真、指 量词的不同特点密切相关的。 称、意义、同一、本体论等理论密切相关，量词由此成 在传统逻辑中，量词是与句子中的主语密切相 为现代逻辑的核心概念 ，对量词理论的关注也成为 关的，量词被用在主语的前面，用来表达主项所断定 现代哲学的基本问题。 的对象的范围和数量。传统逻辑中量词的这个特点 是与 日常语言表达方式密切相关的。从古希腊逻辑 一 、 现代逻辑 中量词的句法特点 发轫之初，人们主要关注的是形如 “所有人都是会 量词是用来表示数量的概念。自然语言中的量 死的”，即 “S是 P”这样的主谓式句子的推理，在这 词很多，如 “所有的”“很多”“大多数”“一些”等，但 样 的推理中，推理形式和 日常语言的形式是紧密相 逻辑作为一种追求真的普遍规律的科学，只选取了 关的甚至是一致的。 “所有人都是会死的(Everyone 表示全部数量的全称量词 (“所有的”)和表示部分 ismorta1)”在传统逻辑看来就是这样一个主谓式句 数量的特称量词(“有些”)作为研究对象，后者也经 子：“人”是这个句子的主语，“会死的”是这个句子 常被称为存在量词，传统逻辑和现代逻辑的量词理 的谓语，“所有人”这样 的量词加诸句子的主语的前 论都是围绕着这两个量词而展开。一个有意思的现 面，表达了主项的数量 。亚里士多德的三段论理论 象是，虽然全称量词和特称量词也是传统逻辑的基 也建立在对这样的主谓式的性质命题的关注之上。 本量词，但围绕着这两个量词，传统逻辑并没有形成 虽然三段论推理代表了传统逻辑的最高成就，但是 收稿 日期：2015-03-16 基金项 目：河南省社会科学规划项 目“蒯因的逻辑哲学思想研究”(2014CZX006)；河南大学青年科研人才种子基金