分析性概念的严格定义与哲学考察论文

《分析性概念的严格定义与哲学考察论文》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分析性概念的严格定义与哲学考察论文.freeleaningandNecessity，Chicago，Seconded.1956）王浩曾转述哥德尔对“分析的”一词挑选出的两种涵义：重言的以及分析的。后者指的是：一个“命题被称为是分析的，其成立的‘理由在于其中出现的概念的意义’……”（《分析经验主义的两个戒条》，王浩著，载《中国社会科学》1985年第4期，第96页）。这也是王浩所赞同的一种涵义。凡此种种，不一一列举。各种看法、表述不尽同一。对于哲学上的不同意见，大概无法简单地说哪一种是最好的。退一步，略去细节，本文前面提到的奎因列出的两种

2、分析性，大体上概括出了现代哲学对分析性基本看法。概括历史上分析性概念的形成以及现实的理解和看法，一个命题或陈述是分析的，最低总满足以下一些条件：（1）与其中词项的涵义或意义有关；（2）与语言内部的约定有关；（3）与事实和经验无关。S-有效性符合这些条件：S是语言表达式之间的映射，与词项之间的涵义有关；S（P）＝S（Q）说的是在S的作用下，P与Q同义，特别地，当还有S（Q）＝Q时，可以看作在S的作用下P具有涵义Q；S是语言内部关于词项的涵义约定，与语言外部的事实无关，因而命题形式是S-有效的命题无经验内容。所以，如果由S-有效性得到分析

3、性，应该说具有相当的概括性。出于这一考虑，可以认为，如果一个命题的命题形式是S-有效的，那么该命题在S表示的涵义约定下是分析的。下面据此给出确切定义。分析性定义设S是任意的涵义映射，（1）一个命题是S-分析的，当且仅当，该命题的命题形式是S-有效的。（2）一个命题是狭义S-分析的，当且仅当，该命题的命题形式是S-有效的并且不是有效的。由该定义得到的S-分析性和狭义S-分析性分别相应于直观的广义分析性，即包含逻辑真的分析性，和狭义的分析性。带涵义约定的语义解释以及上述严格的分析性概念可以用来考察奎因的例子。在原来的解释下，对于命题（1）

4、“没有一个非已婚男子是已婚的（男子）”来说，其命题形式为（用P表示“已婚男子”）ヨx（Px∧Px）是有效式，所以该命题是逻辑真的。对于命题（2）“没有一个单身汉是已婚男子”来说，其命题形式为（用Q表示“单身汉”，还用P表示“已婚男子”）ヨx（Qx∧Px）是非有效式，所以（2）不是逻辑真的。根据通常的涵义约定，“单身汉”指的就是就是非已婚男子。在带涵义约定的语义解释下，可以设S是一个满足以下条件的涵义映射：S（单身汉）＝非已婚男子，S（已婚男子）＝已婚男子，用P-表示“非已婚男子”，即S（Q）＝P-，S（P）＝P，于是S（ヨx（

5、Qx∧Px））＝ヨx（S（Q）S（x）∧S（P）S（x））＝ヨx（P-x∧Px）因为P-x←→Px，所以S（ヨx（Qx∧Px））←→ヨx（Px∧Px），即在这个S映射下ヨx（Qx∧Px）是个S-有效式。根据以上说明，命题（2）在该S所代表的涵义约定下，是S-分析的，并且是狭义S-分析的。在该解释下显然还存在许多非S-有效的命题形式，除去其中的不可满足式，凡具有这些命题形式的命题，就是在该涵义约定下的综合命题。这样的的命题亦由S所决定，因而可称为S-综合命题。一般地，只要给定映射S，我们就可以在分析性命题以及综合命题之间划

6、出严格的界线。尽管对于不同的涵义映射S来说有不同的划界，因而有不同的分析命题与综合命题，但是一旦给定了涵义映射S，也就有了综合命题和分析命题的严格区分，有了确定的分析性，特别是狭义的分析性。当然，在这里所说的分析命题与综合命题指的还都是其命题形式可以为一阶逻辑所处理的那些命题。对于其他命题，还需要以其他逻辑和逻辑语义学为基础的分析性定义。关于S-分析性的哲学讨论S-分析性存在三个问题：（1）我们的目的似乎是要得到一种绝对的分析性，即不带S的分析性，但是现在得到的只是S-分析性，S-分析性是否刻画了直观的分析性？（2）在满足S（Q）＝P

7、—和S（P）＝P的情况下，S（ヨx（Qx∧Px））是个S-有效式。这表明，存在这样的的公式，在某些涵义映射下它是S-有效的，在另一些涵义映射下它又是非S-有效的，相应地，存在这样的的命题，在某些情况下是分析的，而在另一些情况下又是综合的，那么分析命题与综合命题是否还有确定的界线？这似乎反倒支持了奎因的分析命题与综合命题无法划界的观点。（3）S-分析性以S映射为基础。S映射的根据何在，是否清楚明白，是否还需要说明？先看问题（1）。我们在上面定义的只是S-分析性，即总是相对于某个涵义映射S的分析性，可以称为相对分析性。去掉了S后的分析性

8、，即对任意的S都是分析的这样的的分析性，可以看作某种意义下的绝对的分析性，就是逻辑真。因为这种分析性对应于对任意S都S-有效，即有效性。如果我们还要将逻辑真与狭义分析性加以区别的话，那么只能得到相对的分析性。用逻辑语义学