从逻辑观的演变看逻辑语义学的发展-重庆理工大学学报.PDFVIP

重庆理工大学学报（社会科学）　　２０１０年第２４卷第６期 逻辑学与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ２４Ｎｏ．６２０１０ 从逻辑观的演变看逻辑语义学的发展 王力钢 （第三军医大学 人文社科学院，重庆　４０００３８） 摘要：逻辑观的进步是逻辑语义学发展的内在动力。古典逻辑观向现代数理逻辑观的转化促成 了塔斯基逻辑语义学的产生，但对形式系统的过分注重使它局限于外延层面。随着逻辑观的进 一步发展，对由自然语言所承载的日常推理的刻画成为逻辑研究的重心，这种趋势使语义学研 究由外延意义向内涵意义的过渡成为可能，卡尔纳普的外延－内涵方法和蒙太古语法的建立是 这种可能的现实实现。 关键词：逻辑观；逻辑语义学；传统逻辑；现代逻辑 中图分类号：Ｂ８１　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１０）０６－００１４－０４ 　　 “一般说来，语义学是研究语言的表达式与 的工作所具有的划时代意义。但接下来，随着研 这些表达式所涉及的对象（或事态）之间关系的学 究的深入，逻辑学家们发现符号化的逻辑似乎被 ［１］ 科。” 在这个角度，从古希腊开始，人们就对语义 施了魔法，具有无穷的生成能力，可以暂时抛开符 学有过比较深入的探讨。但真正现代意义上的逻 号的意义不管，而只做纯形式的推导。这样，对日 辑语义学，是随着现代逻辑科学的日益发展、现代 常思维规律的研究不再是逻辑学的首要任务，而 逻辑方法的广泛应用而产生的。在这个意义上， 对“由符号生成公理、再由公理推演出定理”的形 离开现代逻辑观念的产生和发展，逻辑语义学的 式系统研究取而代之———首先是语形的推导，然 发展就无从谈起。基于这样的认识，本文试就逻 后是语义的解释。由是观之，只有当现代数理逻 辑观的演变如何作用于逻辑语义学的发展做一初 辑观取代传统逻辑观，对形式系统的研究取代对 步探讨，并在此基础上大致描述现代语义学的发 思维规律的研究之后，逻辑语义学才有可能建立 展进程。 起来。 在逻辑学发展史上，塔斯基的《形式化语言中 一、现代逻辑观与塔斯基外延 的真理概念》标志着逻辑语义学的真正建立。他 语义学的建立 在文中称：“本文几乎全部都奉献给一个问题，真 句子的定义问题，它的任务是要针对一给定的语 　　传统逻辑向现代逻辑的转变是以对传统逻辑 言，构造一个实质上适当的、形式上正确的‘真句 的符号改写为发端的。受到数学的启发，逻辑学 ［２］那么，他是如何为形式语 子’这个语词的定义。” 家们试图以类似数学符号的人工语言对传统逻辑 言构造“真句子”的定义的呢？首先，他清醒地认 进行改写。在这一过程中，莱布尼茨提出了思维 识到：“这个哲学上的古典问题产生了相当大的困 可计算化构想；布尔建立了布尔代数系统；弗雷格 难，尽管‘真句子’这个词在日常语言中似乎是十 的真值函项理论则使日常思维跨越了由非数量向 分清楚的，可以捉摸的，但是对这个词的意义加以 数量化转化的障碍，获得符号化和可计算性质。 精确定义的各种努力，迄今收效甚微，使用这个语 也许，在他们完成改写的时候还