分析性概念的严格定义与哲学考察(1)(精)

分析性概念的严格定义与哲学考察(1)

引言逻辑真、必然性和分析性是逻辑哲学和哲学经常讨论和涉及到的重要概念。今天逻辑真和必然性都得到了逻辑语义学的严格刻画，唯有分析性还是个空白。这并不表明分析性的重要性弱于其他两个概念。50年代，奎因的一篇檄文《经验论的两个教条》曾在西方哲学界掀起了一场持续十余年的激烈争论。其中所反对的第一个教条就是分析陈述与综合陈述之间存在根本的区别。奎因首先区分了两类分析陈述，逻辑真的分析陈述以及依赖同义性概念或其他处理的第二类分析陈述，它们分别以以下两个陈述为典型：（1）没有一个非已婚男子是已婚的。（2）没有一个单身汉是已婚的。奎因也认为问题主要不在于逻辑真的分析陈述，而在于第二类分析陈述。（参见《从逻辑的观点看》，威拉德·奎因著，江天骥等译，上海译文出版社1987年版，第21—22页）因为逻辑真的概念已得到了逻辑语义学的严格刻画，所以奎因无法否认逻辑真的陈述的存在。但是，正是由于没有刻画第二类分析陈述的分析性（以下称为“狭义分析性”，概括这两类分析陈述的分析性称为“广义分析性”）的严格方法，由于有这样一个模糊的中间地带的存在，最终使得奎因似乎有理由宣布“尽管这一切有先天的合理性，分析性和综合性的界线却一直根本没有划出来。认为有这样一个界线可划，这是经验论的一个非经验的教条，一个形而上学的信条。”（同上书，第35页）尽管这个结论显得武断了一些，但是，由于狭义分析性也确实没有严格的定义，在这场争论中，奎因似乎多少占了一些上风。甚至有观点认为，这是逻辑经验主义后来萧条甚至衰落的重要原因之一。实际上分析陈述与综合陈述的区别是相当直观的，并不仅仅为逻辑经验主义所主张、所接受。即使奎因的责难看起来击中了要害，还是有许多人不接受奎因的意见，也有过各种对奎因的反驳。但是时至今日，这些努力都缺少一个重要的方面，就是对于分析性概念从正面给出严格的定义或界定。这使得分析性概念仍处于不够清晰的境地，也使得奎因的观点依然占有一定的地位。近半个世纪了，虽然已是老问题，但仍有讨论的必要。首先要做的就是正面解决什么是分析性的问题。本文以逻辑语义学为工具，试说明，对任意的一个语言，如果我们能对该语言中的陈述给出逻辑真的定义，那么我们同样也能得到分析性这一概念的严格定义。带涵义约定的逻辑语义学今天一阶语言的逻辑语义学已经完全成熟，下面已此为例来建立分析性的定义。附图附图另外，从定义S-有效的过程不难看出该定义方法的一般性：对任何一个与上类似的外延的逻辑语义学，总可以在其基础上类似地给出带涵义约定的逻辑语义学，给出相应的S-有效定义。S-有效性与分析性 S-有效性就是对直观分析性概念的严格刻画，就像有效性是对直观的逻辑真概念的严格刻画一样。通常所说的逻辑真可以由逻辑语义学的严格概念有效性来刻画：如果一个命题的命题形式是有效的，那么该命题是逻辑真的；更严格地说，如果一个命题的命题形式是某一逻辑的语义解释下有效的，那么这一命题就是相对于该逻辑来说的逻辑真的。在今天，有效性是直观的逻辑真概念的严格刻画这一点应该说已没有异议。下面说明S-有效性就是对直观分析性概念的严格刻画。哲学史上首次对分析陈述和综合陈述作出明确区分的是康德。他称之为分析判断

和综合判断。简单地说，分析判断就是谓项的内容都包含在主项之中的判断。更早一些，这一区分的历史渊源还可以上溯到莱布尼茨的理性的真和事实的真的区分以及休谟对于观念的联系与经验事实所作的区分。数理逻辑产生后，康德的表述被现代的逻辑学家和哲学家们作了两点今天大家一般都接受的修改：不再用“判断”，改为“陈述”或“命题”；取消了主谓式语句的限制，可以对任何语句考虑它的分析性或综合性。在此之下，哲学家和逻辑学家们试图对于分析性给出一些现代的表述和刻画。例如，艾耶尔认为：“一个命题若其有效性仅依赖其中的符号的定义，那么该命题就是分析性的；而一个命题若其有效性根据经验事实来确定，那么它就是综合的”（艾耶尔：《语言、真理与逻辑》，转引自《哲学逻辑导论》，A.C.格雷林著，四川人民出版社1992年版，第45页）。