斯特劳森的区分十分清楚。形式逻辑是大家都明白的，尤其是在今天，随着现代逻辑的发展，逻辑已经成为一门独立的学科，因此对于形式逻辑没有任何歧义。而关于哲学逻辑的说明，应该也没有什么问题。我们仅从他问的那几个“是什么”就可以看出，这是典型的哲学思考的方式，由此也大致可以领会他所说的哲学逻辑。但是从他具体论述的那些问题来看，我们还是会有一些疑问的。像所指、意义和使用等等这些问题，显然不是逻辑问题，而是哲学问题。但是难道我们不能说它们是语言哲学所一般探讨的问题吗?而且，如果说它们是语言哲学的问题，难道不是更恰当吗?
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等表示命题的符号被说成是“砖石”，而“真”，“假”，“并且”，“或者”等等被说成是“灰浆”。因此，相对于命题演算而言，哲学逻辑考虑的问题是：命题演算的“命题”是什么?只有两个真值吗?命题演算在什么程度上体现论证?如此等等。问题是，这样的说明能不能使人明白究竟什么是哲学逻辑?而且这样的说明能不能令人满意?
除了从与形式逻辑的关系来谈论哲学逻辑外，沃尔夫拉姆还从与哲学的关系论述了哲学逻辑。他认为，任何哲学分支都产生一些问题，这些问题不仅是这个哲学分支专门的问题，而且可以说是哲学逻辑的问题。他的具体说明是，涉及的问题，如果不是专属于论题，而是与论证的有效性有关，则是逻辑的问题。具体地说，比如摩尔关于“道德善”的论证，这个论证是不是一个正确的描述，就属于道德哲学领域，而它是不是含有逻辑错误，则是哲学逻辑的问题。比如，关于“上帝存在”的本体论证明，它后来被基于“存在不是谓词”而说成是谬误。这就是把哲学逻辑应用到哲学家一直考虑的某个问题。在这样的说明中，令人比较困惑的是：哲学逻辑是不是等同于逻辑理论和逻辑方法的应用?它们之间是究竟有没有区别?如果有，有些什么样的区别? 1982年，格雷林出版专著《哲学逻辑导论》，1997年又出了修订版。他认为，哲学逻辑不是关于逻辑的，也不是逻辑;(注：A.Grayling,An Introduction to Philosophical Logic,Blackwoll Publishers Ltd.,1997,P.2.)“哲学逻辑是哲学，尽管是充满逻辑信息和对逻辑敏感的哲学，依然是哲学”。(注：A.Grayling,An Introduction to Philosophical Logec,Blackwoll Publishers Ltd.,1997,P.3.)书中讨论的题目是：命题、分析性、必然性、存在、同一性、真、意义和所指。选择这些内容并把它们称为哲学逻辑，主要有三个理由：第一，“哲学逻辑”标明它们是相互联系的;第二，“哲学逻辑”标明它们在所有严肃的哲学讨论中的核心地位;第三，“哲学逻辑”反映出自19世纪后期以来逻辑学发展所带来的影响。
川公网安备 51041102000034号
