评价网 > 科教论文 > 哲学毕业论文 > 哲学论文 > 正文

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

2016-04-16 01:04
    （1）一个命题是S-分析的，当且仅当，该命题的命题形式是S- 有效的。
    （2）一个命题是狭义S-分析的，当且仅当， 该命题的命题形式是S-有效的并且不是有效的。
    由该定义得到的S-分析性和狭义S-分析性分别相应于直观的广义分析性，即包含逻辑真的分析性，和狭义的分析性。
    带涵义约定的语义解释以及上述严格的分析性概念可以用来考察奎因的例子。
    在原来的解释下，对于命题（1 ）“没有一个非已婚男子是已婚的（男子）”来说，其命题形式为（用P表示“已婚男子”）ヨx（玃x∧Px）是有效式，所以该命题是逻辑真的。对于命题（2）“没有一个单身汉是已婚男子”来说，其命题形式为（用Q表示“单身汉”，还用P表示“已婚男子”）ヨx（Qx∧Px）是非有效式，所以（2 ）不是逻辑真的。
    根据通常的涵义约定，“单身汉”指的就是就是非已婚男子。在带涵义约定的语义解释下，可以设S是一个满足以下条件的涵义映射：S（单身汉）＝非已婚男子，S（已婚男子）＝已婚男子，用P[-] 表示“非已婚男子”，即S（Q）＝P[-]，S（P）＝P，于是
    S（ヨx（Qx∧Px））＝ヨx（S（Q）S（x）∧S（P）S（x））＝ヨx（P[-]x∧Px）
    因为P[-]x←→玃x，所以S（ヨx（Qx∧Px））←→ヨx（玃x∧Px），
    即在这个S映射下ヨx（Qx∧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（ヨx（Qx∧Px））是个S-有效式。这表明，存在这样的的公式，在某些涵义映射下它是S-有效的，在另一些涵义映射下它又是非S-有效的，相应地，存在这样的的命题，在某些情况下是分析的，而在另一些情况下又是综合的，那么分析命题与综合命题是否还有确定的界线？这似乎反倒支持了奎因的分析命题与综合命题无法划界的观点。
    （3）S-分析性以S映射为基础。S映射的根据何在， 是否清楚明白，是否还需要说明？
    先看问题（1）。我们在上面定义的只是S-分析性， 即总是相对于某个涵义映射S的分析性，可以称为相对分析性。去掉了S后的分析性，即对任意的S都是分析的这样的的分析性， 可以看作某种意义下的绝对的分析性，就是逻辑真。因为这种分析性对应于对任意S都S-有效， 即有效性。如果我们还要将逻辑真与狭义分析性加以区别的话，那么只能得到相对的分析性。用逻辑语义学来刻画分析性并不是要找出绝对的分析性，其根本目的是借助于这个工具使得我们可以将这一问题加以澄清。在这个刻画中，我们离不开涵义S映射， 这正是说明了任何分析命题都有涵义约定作为其分析性的一个先决条件。有涵义约定在先，恰恰说明了分析性的基本性质。借助逻辑语义学这个性质现在更为明确。　　 （转载自http://zw.ＮＳＥaＣ.com科教作文网）
    再看问题（2）。的确，对于不同的映射S有不同的分析命题与综合命题的划界，从这个意义上说，分析命题与综合命题确实没有绝对的界线。应该说，奎因看到了这一点，甚至可以说他首次把这个问题明确地摆在人们前面，引起人们的注意。如果奎因的意见就此为止，那么他是正确的。但是从这里出发，他走得太远，认为分析命题与综合命题之间没有严格的界线。实际上，给定一个涵义约定S， 总会得到一些确定的分析命题与综合命题。而且我们只要使用一个语言，总要遵循该语言的某些约定，如果再考虑到具体的语言环境，可能还会有某些特殊的约定，因此总有某些在一定的约定下的分析命题与综合命题。这一点是不可否定的。尽管对于任何一个具体的约定来说都可以被替换或被取消，即都是相对的而不是绝对的，但总有约定存在，这是绝对的。我们不能从每个约定的相对性出发来否定在总体上约定存在的绝对性，即不能由每个命题的相对的分析性来否定分析命题存在的绝对性。事实上，逻辑真也有一定的相对性。相对于不同的逻辑，