几个相关的逻辑问题.PPT

经验论的两个教条 〔美〕威拉德·奎因 Willard Van Orman Quine （1908-2000） 2. 2 定义不是同义性的根据 2．2．1 内涵定义 2．2．2 解释性定义 2．2．3 规定的语词定义 2．2．1 内涵定义 单身汉是未婚男子。 这个定义是根据什么？词典－词典编撰人－报道了这个词的民间流行的和喜爱的用法。 所以，定义当然不能被看作是以先验的同义性为根据的，而是以经验性的用法为根据的。 2．2．2 解释性定义 使被定义词意义精炼或对它加以补充来改进它： 第一种，使被定义词意义精炼－规定的语词定义。 犊就是小牛。 旌旗就是旗帜的泛称。 耄耋：耄是指八十、九十高寿，耋指七十 高寿。意指年寿甚高。 第二种，对被定义词加以补充来改进它。在这种定义中，被定义词在特殊条件的语境（favored contexts）中有清楚的涵义，只是被定义词的用法在其他语境中的用法发生了转变，解释定义的目的是使它在赋予特殊条件语境中的用法与它在其他语境中的用法得到明确。如， “电脑 病毒”；“电脑 流氓 程序” 这种解释性定义仍然是以被定义词与定义词先前已存在的同义性用法为根据的，因此最终是根据经验的。 2．2．3 规定的语词定义 即“一种极端的定义”情况： 第一种：用特意规定的符号缩写许多概念或一个词组或一个陈述。如， iff就是if and only if。 →表示“如果…那么”。 ∨表示“…或者…”。 这种定义的目的是使语言表达简洁（economy）。定义词与被定义词的同义性，纯粹是特意造出的，是为使它们同义而人为造出的，所以这种同义性可以看作是不依赖经验的。 第二种：以尽量少的基本概念作为初始符号，通过定义构造一种语言系统。比如一种逻辑系统的语法： 初始符号（字母表） 甲类：p, q, r, s, p1, q1, r1, s1, p2,…。（命题变项） 乙类：?， ∨。（真值联结词） 丙类：（， ）。（技术符号，用以区分公式的结构的符号） 符号说明： （1） 小写希腊字母π。它是语法变项，它的值是任一甲类符号，如“p”, “r”等。（命题变项符号的名称） （2） 大写拉丁字母X, Y, Z。也是语法变项，它们的之是任一符号序列。如“（p∨q）”, “p→q”等。（任一合式公式的缩略） （3） 大写拉丁字母A,B,C,D,E。语法变项，它们的值是任一合式公式的符号序列，任一合式公式。（任一合式公式的缩略，哪些符号序列是合式公式见下面的形成规则） （4）语法符号“├”。写在一公式之前，它表示紧接在后面的公式是本系统所要肯定的公式。 形成规则（句法规则，即合式公式的定义） （甲）? 一甲类符号π是合式公式。 （乙）? 如符号序列X是合式公式，则?X是合式公式。 （丙）? 如符号序列X和Y是合式公式，则（X∨Y）是合式公式。 （丁）? 只有适合以上三条的符号序列是合式公式。 定义 定义甲：（A→B）定义为（?A∨B）。 定义乙：（A∧B）定义为?（?A∨?B）。 定义丙：（AB）定义为(（A→B）∧(B→A))。 公理 公理1：├((p∨p)→p)。 公理2：├(p→(p∨q))。 公理3：├((p∨q)→(q∨p))。 公理4：├((q→r)→((p∨q)→(p∨r)))。 有了这4条公理，再加上几条变形规则，就可以推出这个系统的所有真命题。 形成规则（句法规则，即合式公式的定义） （甲）? 一甲类符号π是合式公式。 （乙）? 如符号序列X是合式公式，则?X是合式公式。 （丙）? 如符号序列X和Y是合式公式，则（X∨Y）是合式公式。 （丁）? 只有适合以上三条的符号序列是合式公式。 定义 定义甲：（A→B）定义为（?A∨B）。 定义乙：（A∧B）定义为?（?A∨?B）。 定义丙：（AB）定义为(（A→B）∧(B→A))。 公理 公理1：├((p∨p)→p)。 公理2：├(p→(p∨q))。 公理3：├((p∨q)→(q∨p))。 公理4：├((q→r)→((p∨q)→(p∨r)))。 有了这4条公理，再加上几条变形规则，就可以推出这个系统的所有真命题。 形成规则（句法规则，即合式公式的定义） （甲）? 一甲类符号π是合式公式。 （乙）? 如符号序列X是合式公式，则?X是合式公式。 （丙）? 如符号序列X和Y是合式公式，则（X∨Y）是合式公式。 （丁）? 只有适合以上三条的符号序列是合式公式。 定义 定义甲：（A→B）定义为（?A∨B）。 定义乙：（A∧B）定义为?（?A∨?B）。 定义丙：（AB）定义为(（A→B）∧(B→A))。 公理 公理1：├((p∨p)→