作为理论分析工具的现代逻辑分析.docVIP

作为理论分析工具的现代逻辑分析 科学理论运用特定语言实现对客观对象及其规律的阐释。科学开展史证明，合理的语言构建将推动理论开展，而理论语言的内在构造缺陷那么会制约理论进步，因此寻求适宜的语言构建是对研究对象及其规律做出正确解释的必要前提。对此维特根斯坦有一段经典的描绘：但凡可以说的东西都可以说得清楚;对于不能议论的东西必须保持沉默。①  要把想说的东西说清楚，有时候理论模型刻画比自然语言描绘更精致、更准确。由此我们会产生这样的疑问：建构理论模型的语言大都是符号化的人工形式语言，形式语言终究怎样与现实世界相关联，以致能有如此强的解释力?另一个与此相关的问题是：我们怎样保证用于建模的语言工具一定是可靠的?这些问题可以被称作是科学理论的语言根底问题。在科学技术高度开展的今天，如何对待科学技术的理论功能，如何对一个理论或技术的科学性进展评价，语言根底都是不能回避的重要问题。  既然科学理论的语言根底问题同人工形式语言相关，对其所做的研究就需要基于形式语言进展，对此现代逻辑是再恰当不过的理论工具。可以说，现代逻辑的创立以致理论开展都与理论语言根底问题相关，弗雷格创立一阶逻辑就是为了对数学理论语言进展形式刻画以分析数学理论的可靠性问题。现代逻辑所具有的语言形式刻画和推理认知表达功能，还使之不仅成为理论模型构建的语言工具，也成为研究理论模型构造是否可靠的分析工具。我们可以从分析现代逻辑的语言刻画与推理认知表达功能入手，分析说明形式语言与现实世界的关联，剖析如何保证理论建模的可靠性。由此得到的哲学启示可以凸显现代逻辑作为理论分析工具的多元运用价值，还有助于化解国内部分学者对现代逻辑形式化方法的责难，以及部分逻辑理论工作者对逻辑主流研究方向的困惑。  一阶逻辑的刻画与认知表达功能  1879年，弗雷格在其名著?概念文字：一种模拟算术语言构造的纯思维的形式语言?①中创立了一阶逻辑，这标志着现代逻辑的产生。作为数学家，弗雷格创立一阶逻辑是为理解决数学的根底问题，实现算术逻辑化的目的，②因此现代逻辑具有使用形式语言和演算方法构建系统的典型特征。现代逻辑与传统逻辑在研究对象上并无区别，都关注推理问题。其与传统逻辑根本不同之处在于，现代逻辑不是从详细语句和推理中抽象出形式构造进展相关研究，而是创立一套能刻画命题分析推理的人工形式语言，用构造系统的方式展开相关研究的。因此，现代逻辑是全新的理论创造而不是对传统逻辑的批判继承。正是使用形式语言和演算方法构建系统的理论特征，使现代逻辑具有传统逻辑无法比较的强有力的语言刻画与推理认知表达功能。  1. 一阶逻辑为充分提醒语言内含的认知信息奠定了根底  首先，用一阶形式语言刻画自然语言，克制了传统逻辑在命题刻画上的严重缺陷，为提醒语言内含的认知信息奠定了根底。一阶语言由初始符号根据形成规那么构造而成。初始符号分为非逻辑符号和逻辑符号两类，非逻辑符号包含个体常元、谓词等等，逻辑符号那么有变元和常元之分：逻辑变元是个体变元，逻辑常元有命题联结词、量词和等词。形成规那么规定了如何用初始符号构造有意义的一阶语言表达式。最简单的一阶公式由谓词和个体词(个体常元或个体变元)或等词与个体词组成，称为原子公式：假设F是元谓词，a是个体常元，x是个体变元，那么Fa、Fx是一阶原子公式，并且可以推广到n元谓词的情形;等词=是特殊的二元谓词，假设、是个体词，那么=也是一阶原子公式。假设A是一阶公式，用全称量词或存在量词对A中的个体变元x进展约束得到的xA或xA也是公式，称作量化公式。最后由公式与命题联结词构造而成的公式称作复合公式：假设A是公式，加上否认联结词后的A也是公式;假设A、B是公式，用二元联结词如将其组合的(AB)也是公式。  基于一阶语言分析如下三个语句：(1)鲁迅是文学家(2)文学家是人(3)鲁迅是周树人。在传统逻辑看来，这三个语句都是主谓构造且具有一样形式所有S是P(SAP),因此传达的推理信息无区别。但是三个语句中是的涵义各不一样：(1)中它表达元素鲁迅与集合文学家的关系，(2)中表达类文学家与类人之间的包含于关系，(3)中表达个体鲁迅与周树人之间的等同关系。涵义不同传达的推理信息一定不同，如何刻画这些不同信息，传统逻辑无能为力，而用一阶语言刻画那么会非常明晰。类概念文学家、人可分别用一元谓词W、P表示，名称词鲁迅、周树人可分别用个体常元a、b表示，那么(1)的形式是Wa，(2)是(x)WxPx，(3)是a=b。三个语句的逻辑形式完全不同，因此传达的是不同的信息。  其次，一阶语言的刻画可以提醒自然语言所内涵的重要认知信息，传统逻辑是无法做到这一点的。我们关于世界的认知总是用语言表达，有两个难题一直困扰着人们，一个是语言与世界的关系，一个是如何理解知识的客观性。关于语言与世界的关系，