逻辑哲学研究述评（上），本文主要内容关键词为：述评论文,逻辑论文,哲学论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。
〔中图分类号〕B81 〔文献标识码〕A 〔文章编号〕1002-8862(2003)04-0025-06
在英文中，与逻辑哲学相关的表达一般有三个：哲学逻辑(philosophical logic)、逻辑哲学(philosophy of logic)和逻辑的哲学(logical philosophy)。从文献来看，使用较多的是前两个。关于这两个表达，人们的看法是不一样的。而且，即使是关于其中的某一个表达，看法也不一样。这些看法不仅表现出人们对逻辑哲学的不同理解，而且也反映出在以逻辑哲学为名的东西上存在的问题。
一般认为，罗素最早使用了“哲学逻辑”这个概念。但是，这个词以及与它相近的词“逻辑哲学”的频繁出现却是在进入20世纪60年代以后。在过去几十年的时间里，不仅以“逻辑哲学”或“哲学逻辑”为名出版了一些专著和文集，而且还出版了几份以它们为题的专业杂志。因此，至少从表面上看，逻辑哲学或哲学逻辑已经堂堂正正地走入了人们的研究视野，成为人们研究的对象或领域。但是，人们对哲学逻辑或逻辑哲学存在不同的理解，而且至今也没有形成一致的看法。其次，也有人承认哲学逻辑或逻辑哲学的提法有问题，但是为了某种目的和便利，仍然使用它。此外，还有人干脆简单地用逻辑哲学或哲学逻辑为题，根本不对它们进行任何说明或解释。在这三种情况中，第一种情况比较清楚，因为只要看一看不同作者的不同观点，就可以明白其差异所在；而后两种情况则不太清楚。然而，从作者或编者的具体论述或选编的文章，我们大致仍然可以看出或体会到他们的基本意图和想法。
一 含糊的用法
1967年11月10～12日在伦敦开了一个以“哲学逻辑”为题的学术讨论会。两年以后，与会论文结集出版，名称不变(Philosophical Logic,D.Reidel Publishing Company 1969)。值得注意的是，除了会上宣读和讨论的文章外，文集又增加了几篇论文，而所增加的第一篇文章就是戴维森的“真与意义”。这篇文章是语言哲学的重要文献，刚发表不久，影响很大。由于编者没有解释，因此我们无法知道编者对“哲学逻辑”的理解。真无疑属于逻辑研究的范围，意义是不是属于逻辑研究的范围却值得思考。把这篇文章与文集中诸如欣迪卡的“命题态度的语义”和冯·莱特的“论逻辑的规范和本体论”等论文放在一起，自然是把它划入哲学逻辑的范围。这种做法反映出编者对哲学逻辑采取一种非常宽泛的态度。
1971年，普特南发表论文《逻辑哲学》。开篇第一节“什么是逻辑”说：“让我们首先问什么是逻辑，然后试图看一看为什么应该有关于逻辑的哲学问题。”（注：Putnam,"Philosophy of Logic",in Contemporary Readings in the Foundations of Metaphysics,S.Laurence & C.Macdonald,ed.Blackwell Publishers,1998,p.404.）通过对几条逻辑推理规则或逻辑定律的分析，普特南得出一个结论，逻辑推论规则或定律没有什么太大的变化，逻辑学家们的看法也是一致的。这些是逻辑的主要部分，是“逻辑中‘永久的学说’”（注：Putnam,"Philosophy of Logic",in Contemporary Readings in the Foundations of Metaphysics,S.Laurence & C.Macdonald,ed.Blackwell Publishers,1998,p.第406页。）。但是在如何接受它们的问题上，逻辑学家们的解释和态度却是不同的。在这个结论的基础上，他说：“显然有一些与逻辑相联系的哲学问题，而且至少它的一个理由也是清楚的，这就是：关于所有逻辑学家在某种程度上似乎普遍承认的一般原理，很难得到任何普遍接受的陈述。如果我们深究这个困难，那么与逻辑相联系的更深的哲学问题就会变得更加清楚。”（注：Putnam,"Philosophy of Logic",in Contemporary Readings in the Foundations of Metaphysics,S.Laurence & C.Macdonald,ed.Blackwell Publishers,1998,p.第406页。）接下来，他讨论了唯名论和实在论之争，逻辑和数学的关系，以及由唯名论所带来的与集合论相关的一些问题。从他的文章可以看出，他所说的逻辑哲学，主要是指在逻辑的基础上，对各种涉及逻辑、与逻辑相关的不同哲学考虑的反思。
科奈(Korner,S.)于1976年编辑出版了一本名为《逻辑哲学》文集，目的是“讨论一个核心的哲学问题”。文集包括：本体论与哲学；多值逻辑的用途；同一性、必然性和物理主义；自然语言和形式化语言的关系；量词逻辑中的量词与自然语言中的量词。从这些内容来看，许多问题显然很难说是逻辑问题。
1978年，科比和古尔德编了一本题为《当代哲学逻辑》的文集，前言涉及文集内容的说明只有如下一小段：
现代逻辑的课本趋于把大部分内容用来发展逻辑技术和逻辑系统的构造。因此它们不太能够注意其主题的历史、逻辑理论的问题或逻辑发展的最新方向。但是有成果的课堂讨论必须探讨逻辑的理论或哲学，而不是探讨它的技术：困为这些技术，作为技术而言，几乎是不可争议的。这个读本旨在为符号逻辑课提供补充课本。它想起的作用是为课堂上讨论逻辑问题提供基础和动力。（注：I.M.Copi & J.A.Could,Contemporary Philosophical Logic,St.Martin's Press,Inc.,1978.）
从这段说明来看，作者是想在逻辑技术和逻辑系统的基础上，还要探讨其他一些不同的东西。全书共分八章：形式途径，联结词和演绎有效性，意义和所指，逻辑和本体论，类型论，模态逻辑，道义逻辑，多值逻辑。所选文章的作者包括罗素、卡尔纳普、奎因等人。从内容来看，作者打破了一般现代逻辑教材的体系，因循的思路是现代逻辑从经典到非经典的基本分类。
1996年出版了一本文集《哲学逻辑与逻辑的哲学》（注：P.I.Bystrov & V.N.Sadovsky,Philosophical Logic and Logical Philosophy,Kluwer Academic Publisher,1996.）。这本文集是为了纪念前苏联著名逻辑学家斯米尔莫夫(Smirmov,V.A)，共四部分：一，认识论与科学哲学；二，现代逻辑与科学方法；三，逻辑语义学；四，逻辑证明的分析。“对各种哲学和方法论问题提出了非标准的解决办法”。这里许多文章并不属于逻辑研究或与逻辑相关的研究，只用“哲学逻辑”还不能涵盖它们，所以又加了“逻辑的哲学”这个更为宽泛的名称。
以上文章和文集采用了“哲学逻辑”或“逻辑哲学”的名称，但是对这两个名称没有明确说明。从具体内容来看，既有现代逻辑技术性的讨论，也有非技术性的讨论，既有逻辑讨论，也有哲学讨论。一个比较明显的特征是，加上“哲学”这一表达，自然而然地容纳了比逻辑更多的内容。
二 明确的说明
20世纪70年代初，《哲学逻辑杂志》(The Journal of Philosophical Logic)正式出版。该杂志明确地说，它的范围限制在使用形式方法或探讨逻辑理论中的论题的哲学研究。具体内容可分为四类：非经典逻辑；用形式逻辑的方法进行的哲学讨论；讨论与逻辑和语言的逻辑结构相关的哲学问题；与特殊学科相关的哲学工作。该杂志的目的是为具有明确的哲学意义而本质上是技术性的工作提供舞台。这四类内容实际上就是文章的内容。由此可以看出，这份杂志主要有两个特点和精神，一个是突出关于纯逻辑的研究，另一个是用逻辑的技术手段来探讨和处理一些与哲学、语言以及相关学科的问题。
1980年出版了一本杂志，题目是《逻辑的历史和哲学》(History and Philosophy of logic)，直接含有“逻辑哲学”(Philosophy of logic)这一表达。编者在序中说，其主要感兴趣的是有关逻辑的一般哲学问题：存在和本体论方面，经典和非经典逻辑之间的关系等等。它特别提到，对历史方面的文章感兴趣，而“对现在被划分为‘哲学逻辑’的那类专门文章不感兴趣，对与逻辑教学有关的文章也不感兴趣”。这份杂志对文章的要求无疑是十分明确的。但是值得注意的是，它提到排除“被划分为‘哲学逻辑’的那类文章”。从该杂志的内容来看，这类文章应该是属于《哲学逻辑杂志》中所说的非经典逻辑。由此也就说明，非经典逻辑是“哲学逻辑”中的主要部分，或者至少是其中一部分非常重要的内容。同时似乎还说明，逻辑哲学与哲学逻辑是不同的东西。
1983年，《哲学逻辑手册》（注：D.Gabbay & F.Guenthner,Handbook of Philosophical Logic,vol.Ⅰ，D.Reidel Publishing Company,1983.）第一卷出版。编者在序中明确地说，目的主要有两个。首先介绍经典逻辑的主要部分。其次是为理解以后的部分提供相关的背景材料。所谓以后的部分即是第二卷和第三卷的内容。编者认为，十分重要的是古典逻辑及其“扩展”，这主要是第二卷（注：D.Gabbay & F.Guenthner,Handbook of Philosophical Logic,vol.Ⅱ，D.Reidel Publishing Company,1984.）的主要内容，包括模态逻辑、时态逻辑、条件句逻辑、内涵逻辑、道义逻辑等等。一些“不同方式”的扩展也是十分重要的，这主要是第三卷（注：D.Gabbay & F.Guenthner,Handbook of Philosophical Logic,vol.Ⅲ，D.Reidel Publishing Company,1986.）的主要内容，包括多值逻辑、相干逻辑、衍推逻辑、直觉主义逻辑、自由逻辑、量子逻辑等等。编者认为，哲学逻辑领域十分广阔，且具有多样性，比如，它植根于一般的哲学、数理逻辑和理论语言学之中。基于这样的思想，后来又出版了该书第四卷（注：D.Gabbay & F.Guenthner,Handbook of Philosophical Logic,vol.Ⅳ，D.Reidel Publishing Company,1989.）。在第四卷，编者认为，几乎任何哲学逻辑系统都不会不与自然语言的语义密切相关。从历史上看，语言哲学与哲学逻辑从一开始就一直是相互交织在一起的。而在过去的一百年里，数理逻辑与哲学逻辑成熟了，成为哲学中的主要学科，并与哲学中的问题相联系。该卷突出并强调语言的形式语义化能力以及形式的语言哲学，因此概述的重点不是揭示语义学上特殊的理论途径，而是展示任何成熟的自然语言的语义理论都要考虑的问题的途径。因而它介绍了广义量词理论、与谓述相关的问题、专名与摹状词的问题、命题态度、预设，等等。
从1993年起，Nicholas Copernicus University Press每年出版一本文集，题目为《逻辑与逻辑的哲学》(Logic and Logical Philosophy,ed.By Perzanowski,J./Pietruszczak,A.)，主编都是逻辑教授。它声称“主要是专门集中在哲学逻辑和逻辑的哲学部分，即由把逻辑手段应用到哲学问题而产生的哲学。同时不排除其他逻辑问题和逻辑在相关学科中的应用”。
1994年出版了一本文集《逻辑哲学在波兰》。编者是波兰著名逻辑学家沃伦斯基。他在该文集的序中说，卢卡西维奇在1929年出版的《数理逻辑基础》一书中说过，哲学逻辑是逻辑、认识论和心理学的混合物，为了数理逻辑应该把它抛弃。由于卢卡西维奇的巨大影响，波兰逻辑学家对“哲学逻辑”这个说法一直是有保留的。尽管完全知道“哲学逻辑”这个术语的含义并不是完全确定的，但是沃伦斯基仍然采用了它。他有两个理由：其一，“哲学逻辑”可以十分便利地涵盖许多不同种类的逻辑研究，而这些研究是哲学家们感兴趣的。其二，“哲学逻辑”表达了一种评价态度，即逻辑是与哲学家最相关的。从这两个理由来看，第一个理由最重要，因为它比较清楚地说明哲学逻辑的实质，而从所选论文来看，主要也是一些非经典逻辑的研究，比如“极小蕴涵逻辑”，“对象逻辑”等等。
从以上几份主要的哲学逻辑杂志和文集我们可以看出两个特点。一个特点是，哲学逻辑或哲学的逻辑这个概念虽然不是十分明确，在使用中也不是特别清楚，但是有一点非常明确，这就是它包含非经典逻辑的研究，甚至说，非经典逻辑是哲学逻辑的非常重要的部分和内容。这也是哲学逻辑区别于经典逻辑的主要所在。另一个特点是，哲学逻辑有不太清楚的一面，这就是涉及哲学的一面。正是由于涉及哲学，因此这一面是不太容易界定的。从《哲学逻辑杂志》的说明来看，这样的哲学讨论主要是要突出技术性，也就是运用现代逻辑的方法，而不是纯思辨的方法。而从《逻辑的历史与哲学》的说明却无法明显看出这一点。但是如果我们看到整个国际学术界对于逻辑的看法，了解逻辑杂志的内容和水平，就没有理由怀疑，今天哲学逻辑的讨论，即使是纯粹哲学的讨论，也完全是以现代逻辑的方法为基础的。
三 不同的看法
1967年，斯特劳森编辑出版了一本文集《哲学逻辑》，序中说，逻辑有形式的部分和哲学的部分。所谓形式的部分，就是通常所说的形式逻辑，而所谓哲学的部分，就是他所说的哲学逻辑。他认为，哲学逻辑主要回答以下问题：命题是什么？一个命题是真的，这样说是什么意思？从一个命题得出或演绎出另一个命题，命题之间这种关系的实质是什么？如此等等。而回答这些问题迫使人们必须回答其他许多问题，比如关于语言的实质和作用，许多种类型的语言表达式的实质和作用，等等。说明了这种区别，斯特劳森进一步论述了一般命题形式，所指和谓述，真值函项和条件式，意义和使用，意义和必然性，真，范畴等一些问题。显然，他认为哲学逻辑应该研究这些问题。
斯特劳森的区分十分清楚。形式逻辑是大家都明白的，尤其是在今天，随着现代逻辑的发展，逻辑已经成为一门独立的学科，因此对于形式逻辑没有任何歧义。而关于哲学逻辑的说明，应该也没有什么问题。我们仅从他问的那几个“是什么”就可以看出，这是典型的哲学思考的方式，由此也大致可以领会他所说的哲学逻辑。但是从他具体论述的那些问题来看，我们还是会有一些疑问的。像所指、意义和使用等等这些问题，显然不是逻辑问题，而是哲学问题。但是难道我们不能说它们是语言哲学所一般探讨的问题吗？而且，如果说它们是语言哲学的问题，难道不是更恰当吗？
1978年，哈克(Haack,S.)出版专著《逻辑哲学》。他十分明确地说：“逻辑哲学的职责，正像我所理解的，是研究逻辑所提出的哲学问题，一如科学哲学的职责是研究科学提出的哲学问题，数学哲学的职责是研究数学提出的哲学问题。”（注：S.Haack,Philosophy of Logics,Cambridge University Press,1978,p.1.）逻辑要区别有效论证与无效论证，逻辑的形式系统则为论证的有效性提供严格的工具和纯形式的标准。与此相区别，哲学逻辑所要考虑的主要是这里所涉及的一些哲学问题：一个论证是有效的，是什么意思？从一个陈述得出另一个陈述，是什么意思？一个陈述是逻辑真的，是什么意思？应该把有效性解释为相对于某个形式系统吗？有效的与好的论证有什么关系吗？如此等等。这些问题显然属于逻辑的范围，但是使人感到它们是元逻辑的问题。哈克显然也认识到这一点，因此强调应该把逻辑哲学与元逻辑相区别。他认为，元逻辑主要研究形式逻辑系统的形式性质，诸如一致性、完全性、可判定性的证明，而逻辑哲学却不考虑这些纯形式问题，而主要考虑哲学问题。比如关于二值和多值命题演算之间的关系，对这样两种演算，究竟应该如何替换，如何取舍呢？而做出替换和取舍的依据又是什么呢？此外，他认为，逻辑哲学并不完全限于形式逻辑的问题，它还要考虑非形式论证，以及形式系统和非形式论证之间的关系。
哈克的说明与斯特劳森有十分相似的地方。而最相似之处就是关于逻辑的说明是清楚的，而关于逻辑哲学的说明却不是特别清楚。在涉及说明什么是逻辑哲学的地方，哈克两次都是通过举例。举例无疑是为了说明。但是一个真正的说明，仅有举例是不够的。它充其最只能使我们去体会一些东西，而没有明明白白地告诉我们它实际想要表达的东西。具体地说，知道探讨有效论证和好论证的区别是属于逻辑哲学的问题，与知道什么是逻辑哲学难道是一回事吗？
我们发现，在哈克的书名中逻辑是复数(logics)。这是哈克与斯特劳森比较明显不同的地方。也就是说，哈克说的逻辑哲学中的“逻辑”与斯特劳森说的“哲学逻辑”中的逻辑是有区别的。从哈克的具体论述来看，他说的逻辑，主要是指各种不同的形式逻辑，比如传统逻辑、经典逻辑、扩展的逻辑、异常逻辑和归纳逻辑等。因此，他所说的逻辑哲学主要是关于这些逻辑或形式系统的哲学，或与它们有关的哲学。比如，有没有一种逻辑的自然本质可以使人们区别形式逻辑与其他系统？标准的经典的逻辑显然是逻辑，那么非标准的扩展的变异的逻辑系统是不是逻辑？这里不仅涉及各种逻辑的形式，而且涉及它们的内容。那么有关论证的形式和内容如何区分呢？因此，从这些问题来看，他所讨论的逻辑哲学与斯特劳森所要讨论的哲学逻辑是有很大区别的。
此外，哈克不主张使用“哲学逻辑”这个术语。他认为，这个术语“容易传达一种不幸的印象，好像有一种作逻辑的专门的哲学方式，而不是有关于逻辑的专门的哲学问题”（注：S.Haack,Philosophy of Logics,Cambridge University Press,1978,p.1.第2页。）。
1989年，沃尔夫拉姆出版了《哲学逻辑》一书。他的观点与斯特劳森十分相似，做法也差不多，区别只是在阐述观点的过程中更细致具体一些。他认为逻辑有两个分支，一个是形式逻辑或符号逻辑，另一个是哲学逻辑。形式逻辑很清楚，它要使论证规范化，提供对一致性和有效性的检验方法。但是，哲学逻辑却很难划定界限和定义。他对哲学逻辑的具体说明如下：
可以说，哲学逻辑研究论证、意义和真。它的主题与形式逻辑的主题密切联系，但是它的对象是不同的。它不着手使有效论证规范化，也不提供可以使人们对越来越复杂的论证进行评价的公理和符号方法，而是检验构造这样的系统的砖石和灰浆。尽管它的目的主要是对通过构造起来的公理使论证成为形式化的系统进行说明，或者有时候是进行质疑，但是它并不限于研究被形式逻辑规范化了的论证。（注：S.Wolfram,Philosophical Logic,Routledge,1989,p.12.）
这里的说明有很大比喻的成份。以命题演算为例，p,q,r等表示命题的符号被说成是“砖石”，而“真”，“假”，“并且”，“或者”等等被说成是“灰浆”。因此，相对于命题演算而言，哲学逻辑考虑的问题是：命题演算的“命题”是什么？只有两个真值吗？命题演算在什么程度上体现论证？如此等等。问题是，这样的说明能不能使人明白究竟什么是哲学逻辑？而且这样的说明能不能令人满意？
除了从与形式逻辑的关系来谈论哲学逻辑外，沃尔夫拉姆还从与哲学的关系论述了哲学逻辑。他认为，任何哲学分支都产生一些问题，这些问题不仅是这个哲学分支专门的问题，而且可以说是哲学逻辑的问题。他的具体说明是，涉及的问题，如果不是专属于论题，而是与论证的有效性有关，则是逻辑的问题。具体地说，比如摩尔关于“道德善”的论证，这个论证是不是一个正确的描述，就属于道德哲学领域，而它是不是含有逻辑错误，则是哲学逻辑的问题。比如，关于“上帝存在”的本体论证明，它后来被基于“存在不是谓词”而说成是谬误。这就是把哲学逻辑应用到哲学家一直考虑的某个问题。在这样的说明中，令人比较困惑的是：哲学逻辑是不是等同于逻辑理论和逻辑方法的应用？它们之间是究竟有没有区别？如果有，有些什么样的区别？