分析性概念的严格定义与哲学考察引言逻辑真、必然性和分析性是逻辑哲学和哲学经常讨论和涉及到的重要概念今天逻 辑真和必然性都得到了逻辑语义学的严格刻画，唯有分析性还是个空白这并不表明 分析性的重要性弱于其他两个概念 50 年代，奎因的一篇檄文《经验论的两个教条》 曾在西方哲学界掀起了一场持续十余年的激烈争论其中所反对的第一个教条就是分 析陈述与综合陈述之间存在根本的区别奎因首先区分了两类分析陈述，逻辑真的分 析陈述以及依赖同义性概念或其他处理的第二类分析陈述，它们分别以以下两个陈述 为典型：（1）没有一个非已婚男子是已婚的2）没有一个单身汉是已婚的 奎因也认为问题主要不在于逻辑真的分析陈述，而在于第二类分析陈述参见《从逻辑的观点看》，威拉德 奎因著，江天骥等译，上海译文出版社 1987年版，第21 —22 页）因为逻辑真的概念已得到了逻辑语义学的严格刻画，所以奎因无法否认逻 辑真的陈述的存在但是，正是由于没有刻画第二类分析陈述的分析性（以下称为 “狭 义分析性”，概括这两类分析陈述的分析性称为 “广义分析性 ”）的严格方法，由于有这 样一个模糊的中间地带的存在，最终使得奎因似乎有理由宣布 “尽管这一切有先天的合 理性，分析性和综合性的界线却一直根本没有划出来。
认为有这样一个界线可划，这 是经验论的一个非经验的教条，一个形而上学的信条 ”（同上书，第 35 页）尽管这 个结论显得武断了一些，但是，由于狭义分析性也确实没有严格的定义，在这场争论 中，奎因似乎多少占了一些上风甚至有观点认为，这是逻辑经验主义后来萧条甚至 衰落的重要原因之一实际上分析陈述与综合陈述的区别是相当直观的，并不仅仅为逻辑经验主义所主张、 所接受即使奎因的责难看起来击中了要害，还是有许多人不接受奎因的意见，也有 过各种对奎因的反驳但是时至今日，这些努力都缺少一个重要的方面，就是对于分 析性概念从正面给出严格的定义或界定这使得分析性概念仍处于不够清晰的境地， 也使得奎因的观点依然占有一定的地位近半个世纪了，虽然已是老问题，但仍有讨 论的必要首先要做的就是正面解决什么是分析性的问题本文以逻辑语义学为工具，试说明，对任意的一个语言，如果我们能对该语言中的陈述给出逻辑真的定义，那么 我们同样也能得到分析性这一概念的严格定义带涵义约定的逻辑语义学今天一阶语言的逻辑语义学已经完全成熟，下面已此为例来建立分析性的定义附图附图另外，从定义S-有效的过程不难看出该定义方法的一般性：对任何一个与上类似的 外延的逻辑语义学，总可以在其基础上类似地给出带涵义约定的逻辑语义学，给出相 应的S-有效定义。
S-有效性与分析性S-有效性就是对直观分析性概念的严格刻画，就像有效性是对直观的逻辑真概念的 严格刻画一样通常所说的逻辑真可以由逻辑语义学的严格概念有效性来刻画：如果 一个命题的命题形式是有效的，那么该命题是逻辑真的；更严格地说，如果一个命题 的命题形式是某一逻辑的语义解释下有效的，那么这一命题就是相对于该逻辑来说的 逻辑真的在今天，有效性是直观的逻辑真概念的严格刻画这一点应该说已没有异议 下面说明S-有效性就是对直观分析性概念的严格刻画哲学史上首次对分析陈述和综合陈述作出明确区分的是康德他称之为分析判断和 综合判断简单地说，分析判断就是谓项的内容都包含在主项之中的判断更早一些， 这一区分的历史渊源还可以上溯到莱布尼茨的理性的真和事实的真的区分以及休谟对 于观念的联系与经验事实所作的区分数理逻辑产生后，康德的表述被现代的逻辑学 家和哲学家们作了两点今天大家一般都接受的修改：不再用 “判断”，改为 “陈述”或“命 题”；取消了主谓式语句的限制，可以对任何语句考虑它的分析性或综合性在此之下， 哲学家和逻辑学家们试图对于分析性给出一些现代的表述和刻画例如，艾耶尔认为： “一个命题若其有效性仅依赖其中的符号的定义，那么该命题就是分析性的；而一个命 题若其有效性根据经验事实来确定，那么它就是综合的 ”(艾耶尔：《语言、真理与逻 辑》，转引自《哲学逻辑导论》，A.C.格雷林著，四川人民出版社1992年版，第45 页)。
附图(参见 R.Carnap ， Meaning and Necessity ， Chicago ， Seconded. 1956 )王 浩曾转述哥德尔对 “分析的 ”一词挑选出的两种涵义：重言的以及分析的后者指的是： 一个命题被称为是分析的，其成立的 理由在于其中出现的概念的意义’……”《分析 经验主义的两个戒条》，王浩著，载《中国社会科学》 1985 年第 4期，第 96 页) 这也是王浩所赞同的一种涵义凡此种种，不一 一列举各种看法、表述不尽同一 对于哲学上的不同意见，大概无法简单地说哪一种是最好的退一步，略去细节，本 文前面提到的奎因列出的两种分析性，大体上概括出了现代哲学对分析性基本看法概括历史上分析性概念的形成以及现实的理解和看法，一个命题或陈述是分析的， 最低总满足以下一些条件：( 1 )与其中词项的涵义或意义有关；( 2)与语言内部的 约定有关；(3)与事实和经验无关S-有效性符合这些条件：S是语言表达式之间的 映射，与词项之间的涵义有关；S( P)= S (Q)说的是在S的作用下，P与Q同义, 特别地，当还有S (Q)= Q时，可以看作在S的作用下P具有涵义Q; S是语言内 部关于词项的涵义约定，与语言外部的事实无关，因而命题形式是 S-有效的命题无经验内容。
所以，如果由S-有效性得到分析性，应该说具有相当的概括性出于这一考 虑，可以认为，如果一个命题的命题形式是 S-有效的，那么该命题在S表示的涵义约 定下是分析的 下面据此给出确切定义分析性定义 设S是任意的涵义映射，(1) 一个命题是S-分析的，当且仅当，该命题的命题形式是 S-有效的2) 一个命题是狭义S-分析的，当且仅当， 该命题的命题形式是S-有效的并且不 是有效的由该定义得到的S-分析性和狭义S-分析性分别相应于直观的广义分析性，即包含 逻辑真的分析性，和狭义的分析性带涵义约定的语义解释以及上述严格的分析性概念可以用来考察奎因的例子 在原来的解释下，对于命题( 1 )“没有一个非已婚男子是已婚的(男子) ”来说， 其命题形式为(用P表示已婚男子” ? H x ( ?Px A Px)是有效式，所以该命题是逻 辑真的对于命题( 2)“没有一个单身汉是已婚男子 ”来说，其命题形式为(用 Q 表示 单身汉”还用P表示已婚男子” ?H x (Qx A Px)是非有效式，所以(2 )不是逻 辑真的根据通常的涵义约定， “单身汉”指的就是就是非已婚男子在带涵义约定的语义解 释下，可以设S是一个满足以下条件的涵义映射：S (单身汉)=非已婚男子，S (已 婚男子)二已婚男子，用P[-]表示 非已婚男子”即S (Q)= P[-]，S (P)= P，于 是S (? H x (Qx A Px))= ?3 x (S (Q) S (x) A S (P) S (x))= ? H x ( P[- ]xA Px)因为 P[-]x <--> ?Px,所以 S (? H x (Qx A Px)) <-- ? H x (?Px A Px),即在这个S映射下？ H x (Qx A Px)是个S-有效式。
根据以上说明，命题(2)在该S所代表的涵义约定下，是 S-分析的，并且是狭义 S-分析的在该解释下显然还存在许多非 S-有效的命题形式，除去其中的不可满足式， 凡具有这些命题形式的命题，就是在该涵义约定下的综合命题这样的的命题亦由 S 所决定，因而可称为S-综合命题一般地，只要给定映射 S， 我们就可以在分析性命题以及综合命题之间划出严格的 界线尽管对于不同的涵义映射 S来说有不同的划界，因而有不同的分析命题与综合 命题，但是一旦给定了涵义映射 S， 也就有了综合命题和分析命题的严格区分，有了 确定的分析性，特别是狭义的分析性当然，在这里所说的分析命题与综合命题指的 还都是其命题形式可以为一阶逻辑所处理的那些命题对于其他命题，还需要以其他 逻辑和逻辑语义学为基础的分析性定义关于S-分析性的哲学讨论S-分析性存在三个问题：(1 )我们的目的似乎是要得到一种绝对的分析性，即不带 S的分析性，但是现在得到的只是S-分析性，S-分析性是否刻画了直观的分析性？(2) 在满足 S ( Q )= P[—]和 S (P )= P 的情况下，S (? H x ( Qx A Px))是个 S-有效式这表明，存在这样的的公式，在某些涵义映射下它是 S-有效的，在另一些 涵义映射下它又是非 S-有效的，相应地，存在这样的的命题，在某些情况下是分析的， 而在另一些情况下又是综合的，那么分析命题与综合命题是否还有确定的界线？这似 乎反倒支持了奎因的分析命题与综合命题无法划界的观点。
3) S-分析性以S映射为基础S映射的根据何在，是否清楚明白，是否还需要 说明？先看问题(1)我们在上面定义的只是 S-分析性，即总是相对于某个涵义映射 S 的分析性，可以称为相对分析性去掉了 S后的分析性，即对任意的S都是分析的这 样的的分析性， 可以看作某种意义下的绝对的分析性，就是逻辑真因为这种分析性 对应于对任意S都S-有效，即有效性如果我们还要将逻辑真与狭义分析性加以区 别的话，那么只能得到相对的分析性用逻辑语义学来刻画分析性并不是要找出绝对 的分析性，其根本目的是借助于这个工具使得我们可以将这一问题加以澄清在这个 刻画中，我们离不开涵义 S 映射， 这正是说明了任何分析命题都有涵义约定作为其分 析性的一个先决条件有涵义约定在先，恰恰说明了分析性的基本性质借助逻辑语 义学这个性质现在更为明确再看问题（ 2）的确，对于不同的映射 S 有不同的分析命题与综合命题的划界， 从这个意义上说，分析命题与综合命题确实没有绝对的界线应该说，奎因看到了这 一点，甚至可以说他首次把这个问题明确地摆在人们前面，引起人们的注意如果奎 因的意见就此为止，那么他是正确的但是从这里出发，他走得太远，认为分析命题 与综合命题之间没有严格的界线。
实际上，给定一个涵义约定 S， 总会得到一些确定 的分析命题与综合命题而且我们只要使用一个语言，总要遵循该语言的某些约定， 如果再考虑到具体的语言环境，可能还会有某些特殊的约定，因此总有某些在一定的 约定下的分析命题与综合命题这一点是不可否定的尽管对于任何一个具体的约定 来说都可以被替换或被取消，即都是相对的而不是绝对的，但总有约定存在，这是绝 对的我们不能从每个约定的相对性出发来否定在总体上约定存在的绝对性，即不能 由每个命题的相对的分析性来否定分析命题存在的绝对性事实上，逻辑真也有一定 的相对性相对于不同的逻辑，有不同的逻辑真但我们不能据此说不存在逻辑真 如果我们不否定逻辑真命题有严格的界定，那么我们同样不能否定分析命题也有严格 的界定最后，看问题（ 3）从技术的角度说， S 映射作为一种函数在概念上是严格和清楚 的，就像该语义解释中的其他函数 n p等一样，似乎从来没有人对它们提出怀疑当 然，从哲学的角度说，考虑到分析性概念形成和发展的历史，以及对于直观分析性概 念的刻画，可以继续追问实际中的 S是什么在一个实际使用的语言中，这个 S可以 是自然形成的同义词之间的对应，可以是为某种需要而设立的约定，如为说话方便设 立的约定，为保密设立的约定，为游戏设立的约定等，还可是出于其他原因而形成的 某种约定。
总之，不论是什么，只要满足 S 映射的抽象性质，都是一个具体的 S 映射 面对这类具体的 S 映射，可能有些还可以追问其产生的原因，是否均据某些经验事实 形成，是否清楚等，但肯定有些不存在这类问题例如，为保密而设立的 “密电码 ”。