“逻辑行动主义”视角下的量词解释理论

《“逻辑行动主义”视角下的量词解释理论》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、2013年9月云南师范大学学报Sep．，2013第45卷第5期(哲学社会科学版)Vo1．45No．5【主持人语】逻辑哲学是现代逻辑与现代哲学互动发展的重要平台。顾名思义，狭义的“逻辑哲学”就是关于逻辑的哲学研究，而广义的“逻辑哲学”是一个“伞状术语”，可包容运用现代逻辑分析与语言分析方法对一些基本哲学问题的研究，特别是对那些由现代逻辑的发展而提出、在哲学中又有深厚背景问题的研究，已形成意义理论、真理理论与悖论理论等研究重心。本期逻辑学专栏发表的三篇论文隶属于狭义逻辑哲学，但都与上述广义逻辑哲学核心问题有深刻关联。《论现

2、代归纳逻辑的发展趋势与特点》讨论了现代归纳逻辑的三大发展趋势和三个基本转变，全方位地呈现出其理论意义与应用价值；《NTV观点与实质蕴涵怪论》评述了把条件句的概率视为相应的条件概率的NTV观点解决实质蕴涵怪论问题的基本进路，揭示了其独特贡献及其理论困境；《“逻辑行动主义”视角下的量词解释理论》则运用逻辑行动主义方法论探讨了逻辑量词的对象解释与代入解释两大传统解释存在的问题，提出了一种新型“外延一指称解释”。三篇文章均就学界长期争论的问题提出了新颖的、富有启发价值的学术见解，欢迎读者予以关注与进一步讨论。“逻辑行动主义’’

3、视角下的量词解释理论陈吉胜，张建军(南京大学哲学系现代逻辑与逻辑应用研究所，南京21O023)[摘要]对象解释和代人解释是关于经典逻辑量词的两种不同解释理论，二者的取舍曾引起学界长期的争论，迄今仍莫衷一是而陷入困境。“逻辑行动主义方法论”严格界划了语言域、思想域与对象域，并以行动论的视角阐释了它们的关联机理。以这一方法论为分析工具，可以清楚地显示以往困境的症结所在，并可通过对两种解释理论的一种共同预设的修订，提出一种新型的“外延一指称解释”。这种新的解释克服了对象解释与代入解释的缺陷，又保留了它们的优点。[关键词]量词

4、解释；对象解释；代入解释；外延一指称解释；逻辑行动主义方法论[中图分类号]B81-092[文献标识码]A[文章编号]1()OO～511o(2013)05-0096-09量词理论一直是逻辑学与逻辑哲学的核心话辑量词”，成为其建立现代逻辑基础的重要台阶。题之一。“两千多年来，欧洲的一些最优秀的思想而在现代逻辑语义理论中，一阶逻辑量词[全称前家一直在不懈地思考，如何确定一种语义规则，来束词(Vx)和存在前束词(]x)]的“对象解释”(ob—把握自然语言所表达的‘所有’和‘存在’的本jectualinterpretation)

5、长期居于主流。但由于上质。”[]["]现代逻辑奠基人弗雷格(G．Frege)通世纪中叶蒯因(W．V．Quine)基于这种解释所阐过命题函数理论的创立，提出全称约束词和存在发的一系列哲学观点引起了广泛争论，许多学者约束词这两个适用于“普遍性”刻画的“真正的逻开始质疑这种“标准解释”的合理性，从而提出了*[收稿日期]2O13—07—10[基金项目]本文为国家社科基金重点项目(编号：12AZX009)。[作者简介]陈吉胜(1985一)，男，吉林省吉林市人，南京大学哲学系博士生，研究方向为逻辑哲学与语言哲学。[通讯作者]张建军

6、(1963-)，男，河北沧州人，南京大学哲学系教授、博士生导师，南京大学现代逻辑与逻辑应用研究所所长，研究方向为现代逻辑与逻辑哲学。第5期陈吉胜，等：“逻辑行动主义”视角下的量词解释理论·97·其竞争者“代入解释”(substitutionalinterpreta—东西x使得(somethingXissuchthat)”’，“一tion，又译“替换解释”)。多年以来，关于这两种旦关系从句或suchthat’结构迈出产生量化这重解释究竟何者更为合理，以及二者是否可以相容要的一步，其代词或变项的本性便发生了重大的或互补，在

7、学界引起了长期的争论，提出了一系列变化：它成了对象的。”ES]Ep．∞。。](译文略有改动)待解决的问题，但迄今并未就一些基本问题达成通过蒯因的相关工作，对象解释巩固了其作为经共识。本文在对有关争论的回顾与所涉问题的分典量化理论的地位。析之基础上，试图运用“逻辑行动主义方法论”对正是基于量词的对象解释，蒯因提出了影响有关争论与问题的症结做出新的评析，并提出在深远的“本体论承诺”学说。“一旦我们择定了要逻辑行动主义视角下的“外延一指称解释”作为量容纳最广义的科学的全面的概念结构，我们的本词解释的第三种选择。体论就决定了”

8、，{5liP．]换句话说，科学理论是具一、量词解释及其论争有本体论立场的；而“我们能够使自己卷入本体论所谓量词的对象解释，是常见于现代逻辑基承诺的唯一途径，即通过约束变元的使用而做出础教科书的量词解释形式，它诉诸变元的值，即变本体论的承诺”0[]。显然，量词的对象解释直元所遍历的对象：接满足并体现了蒯因的这一观点：“一个理论需要“