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

1、作为理论分析工具的现代逻辑分析科学理论运用特定语言实现对客观对象及其规律的阐释。科学开展史证明，合理的语言构建将推动理论开展，而理论语言的内在构造缺陷那么会制约理论进步，因此寻求适宜的语言构建是对研究对象及其规律做出正确解释的必要前提。对此维特根斯坦有一段经典的描绘：但凡可以说的东西都可以说得清楚;对于不能议论的东西必须保持沉默。要把想说的东西说清楚，有时候理论模型刻画比自然语言描绘更精致、更准确。由此我们会产生这样的疑问：建构理论模型的语言大都是符号化的人工形式语言，形式语言终究怎样与现实世界相关联，以致能有如此强的解释力?另一个与此相关的问题是：我们怎样保证用于建模的语言工具一定是可靠的?

2、这些问题可以被称作是科学理论的语言根底问题。在科学技术高度开展的今天，如何对待科学技术的理论功能，如何对一个理论或技术的科学性进展评价，语言根底都是不能回避的重要问题。既然科学理论的语言根底问题同人工形式语言相关，对其所做的研究就需要基于形式语言进展，对此现代逻辑是再恰当不过的理论工具。可以说，现代逻辑的创立以致理论开展都与理论语言根底问题相关，弗雷格创立一阶逻辑就是为了对数学理论语言进展形式刻画以分析数学理论的可靠性问题。现代逻辑所具有的语言形式刻画和推理认知表达功能，还使之不仅成为理论模型构建的语言工具，也成为研究理论模型构造是否可靠的分析工具。我们可以从分析现代逻辑的语言刻画与推理认知表

3、达功能入手，分析说明形式语言与现实世界的关联，剖析如何保证理论建模的可靠性。由此得到的哲学启示可以凸显现代逻辑作为理论分析工具的多元运用价值，还有助于化解国内局部学者对现代逻辑形式化方法的责难，以及局部逻辑理论工作者对逻辑主流研究方向的困惑。一阶逻辑的刻画与认知表达功能1879年，弗雷格在其名著?概念文字：一种模拟算术语言构造的纯思维的形式语言?中创立了一阶逻辑，这标志着现代逻辑的产生。作为数学家，弗雷格创立一阶逻辑是为理解决数学的根底问题，实现算术逻辑化的目的，因此现代逻辑具有使用形式语言和演算方法构建系统的典型特征。现代逻辑与传统逻辑在研究对象上并无区别，都关注推理问题。其与传统逻辑根本不

4、同之处在于，现代逻辑不是从详细语句和推理中抽象出形式构造进展相关研究，而是创立一套能刻画命题分析推理的人工形式语言，用构造系统的方式展开相关研究的。因此，现代逻辑是全新的理论创造而不是对传统逻辑的批判继承。正是使用形式语言和演算方法构建系统的理论特征，使现代逻辑具有传统逻辑无法比拟的强有力的语言刻画与推理认知表达功能。1. 一阶逻辑为充分提醒语言内含的认知信息奠定了根底首先，用一阶形式语言刻画自然语言，抑制了传统逻辑在命题刻画上的严重缺陷，为提醒语言内含的认知信息奠定了根底。一阶语言由初始符号根据形成规那么构造而成。初始符号分为非逻辑符号和逻辑符号两类，非逻辑符号包含个体常元、谓词等等，逻辑符

5、号那么有变元和常元之分：逻辑变元是个体变元，逻辑常元有命题联结词、量词和等词。形成规那么规定了如何用初始符号构造有意义的一阶语言表达式。最简单的一阶公式由谓词和个体词(个体常元或个体变元)或等词与个体词组成，称为原子公式：假设F是元谓词，a是个体常元，x是个体变元，那么Fa、Fx是一阶原子公式，并且可以推广到n元谓词的情形;等词=是特殊的二元谓词，假设、是个体词，那么=也是一阶原子公式。假设A是一阶公式，用全称量词或存在量词对A中的个体变元x进展约束得到的xA或xA也是公式，称作量化公式。最后由公式与命题联结词构造而成的公式称作复合公式：假设A是公式，加上否认联结词后的A也是公式;假设A、B是

6、公式，用二元联结词如将其组合的(AB)也是公式。基于一阶语言分析如下三个语句：(1)鲁迅是文学家(2)文学家是人(3)鲁迅是周树人。在传统逻辑看来，这三个语句都是主谓构造且具有一样形式所有S是P(SAP),因此传达的推理信息无区别。但是三个语句中是的涵义各不一样：(1)中它表达元素鲁迅与集合文学家的关系，(2)中表达类文学家与类人之间的包含于关系，(3)中表达个体鲁迅与周树人之间的等同关系。涵义不同传达的推理信息一定不同，如何刻画这些不同信息，传统逻辑无能为力，而用一阶语言刻画那么会非常明晰。类概念文学家、人可分别用一元谓词W、P表示，名称词鲁迅、周树人可分别用个体常元a、b表示，那么(1)的

7、形式是Wa，(2)是(x)WxPx，(3)是a=b。三个语句的逻辑形式完全不同，因此传达的是不同的信息。其次，一阶语言的刻画可以提醒自然语言所内涵的重要认知信息，传统逻辑是无法做到这一点的。我们关于世界的认知总是用语言表达，有两个难题一直困扰着人们，一个是语言与世界的关系，一个是如何理解知识的客观性。关于语言与世界的关系，首先需要厘清事物与事实的关系。现实外在世界由形形色色的详细个体物构成，我们需要用语言对这些详细物的各种特征进展指代。事物是与这种指代关系相关的范畴，涉及个体、类、性质与关系等概念，这些概念是用语词表达的;而事实是将指称个体词同表达类、性质或关系概念的词按语法组合而形成的关于个

8、体物的描绘，用语句表达。但是，仅仅用语词与语句的区分无法提醒事物与事实不同认知功能以及它们各自传达的不同认知信息。一阶语言对自然语言的刻画化解了这一难题。一阶语言用个体常元代表特定的个体，个体变元代表任一个体。根据式中个体词出现的情况，一阶公式有开公式与闭公式的区分。闭公式要么没有个体变元，如a=b(鲁迅是周树人要么有变元但全部被量词约束无自由出现，如(x)(WxPx)(文学家是人)。所有表达命题的语句用一阶公式刻画出来都是闭公式，闭公式的逻辑特征在于它不是真的就是假的，并且是假的就不可能真或是真的就不可能假，涵义确定。开公式是包含有自由变元的公式，对概念词进展刻画得到的都是开公式。如类概念文

9、学家的一阶公式是Wx(x是文学家)，由于包含变元x，公式的值要随x的值变化，用鲁迅例示Wx中的x得到真信息，用张飞例示那么得到假信息，因此开公式是函项，传达的信息不确定。在认知表达中，概念词与事物中的类、性质与关系等范畴相对应，命题那么与事实相对应。一阶语言的刻画说明，虽然概念词是命题的构成要素，但单独一个概念词的涵义是不确定的，而有确定意义的最根本认知表达式是命题，概念词的意义也需要基于命题来分析确定。因此，我们总说认知世界是由事实而非事物构成的。基于事实世界的思想，维特根斯坦构建了语言图像论，对语言与世界的关系作了深化分析。语言图像论有很多缺陷，这些缺陷说明语言对世界的描绘总是局部的，总会

10、面临许多不可言说的难题。理论在逐步化解难题中开展，但是任何难题的化解都是有条件的，我们不能梦想可以基于某个理论一劳永逸地解答语言与世界关系方面的所有难题。语言图像论也有许多重要理论奉献，其中之一就是它对语言与物理世界关系的刻画。它成功说明，我们对物理世界的认知并不像传统反映论所描绘的那样是主体与客体之间的二元关系，而是一种三元关系：主体只有认识到客体是什么才真正得到关于客体的认知。人们对世界的认知总是同某种理论相关联的。如张三是李四的岳父描绘了张三与李四之间的亲缘关系。就反映对象而言只有张三与李四两个客体，假设没有亲缘关系的理论，我们不可能仅从两个客体就感知到二者之间的翁婿关系。因此，要提醒语

11、言表达式所内含的认知信息，我们需要一种可以刻画出认知所依赖的理论背景的理论工具，一阶语言适应了这一理论需求。从某种意义上讲，基于一阶语言的形式刻画我们才能正确描绘和理解语言与物理世界的关系，进而对知识的客观性问题做出合理的解释，而这种解释是以一阶逻辑的语义理论为根底的。从对现代逻辑多元运用价值的分析中可以得出如下几点哲学启示。1.我们对世界的认知是基于特定理论实现的。认知到某对象总是知道了对象具有什么性质或处在怎样的关系之中。由一阶语言的语义模型我们看到，性质或关系这样概念词的解释是基于理论构架将现实存在的个体分成的由假设干个体构成的类，或者是由n个个体构成有序组的类。因此，对语言表达式的认知

12、信息进展解释不仅要以现实世界为参照，还需要特定的理论构架。构建理论需要人的主观创造，但不能由此否认理论的客观性以及认知的客观性。理论是可选择的，我们总是基于认识外在世界的目的对理论进展选择，而选择的标准那么在于能否根据理论对外在现象做清楚的讲解。清楚讲解的最根本特征之一是协调性，即不能自相矛盾。所谓自相矛盾是指，某一现象既能被讲解为B，又能被讲解为非B。显然，这只证明我们说不清楚该现象是不是B。因此，假设基于某理论对研究对象的讲解总是不协调的，那么意味该理论对研究对象没有讲解效力，应该被放弃，牛顿力学对微观粒子运动规律的讲解即是如此。清楚讲解的另一个根本特征是经历的可观察和可检验性，即理论必须

13、提供经历可观察和可检验的标准，以致可以清楚断定一个关于外在世界的描绘是真的还是假的。这样的标准必须具有主体间性，即无论谁，只要理解了理论就能把握检验标准，对同一描绘做出一样的断定。假设有一种学说没有人能搞懂，或者任意两个认为搞懂的人无法就学说的同一描绘做出一样断定，这样的学说就应该被排除出我们理论选择的范围。经历观察和检验的主体间性决定了我们不可能任意断定某描绘为真，因为该描绘之为真是因为它陈述了事实，而事实那么由外在事物的实际情况决定。为获得真知我们不可能随心所欲地构建理论，因为任何理论都必须可以经受公共经历的观察检验，而外在世界的实际状况是公共经历的来源。因此，理论与基于理论的知识必定具有

14、客观性，正是客观性左右我们对理论的取舍。任何理论都在选择中确立其适用域，除非有充分的客观理由，我们不可能人为确定某理论具有普遍适用的绝对地位。2.今天，现代逻辑已随着人们发现问题、解决问题的理论需要，在理论技术和分析方法上有了极大的开展。假设只懂一阶逻辑甚至只懂传统逻辑，就无法理解现代逻辑多元运用价值，也不可能融入当前逻辑理论研究的主流趋势，只能使自己的研究边沿化。很多情况下，我们需要构建理论模型对研究对象进展讲解，借助理论模型厘清研究对象的复杂属性及其关系，而构建理论模型需要形式语言，需要凭借人工定义的算子弥补自然语言刻画表达才能的缺乏。对一阶语言语义理论的讨论说明，同为表达工具，形式语言与

15、自然语言在与世界的关联上没有本质的区别，只不过自然语言具有自然涵义，而形式语言必须相对解释模型获得涵义。由于形式语言没有自然涵义，因此谁都不会用它进展日常交际，除非想保密。其实在理论描绘中人们对自然语言也有天然的偏好，能用自然语言描绘的谁都不会用形式语言。但是有自然涵义却未必使得自然语言一直具有理论优势，我们对一阶语言的讨论说明，许多自然语言所内涵的认知信息必须经过形式刻画才能得到充分和准确的提醒。不仅如此，形式语言通过模型定义其算子功能，可以准确细致地表达自然语言无法表达的复杂关系。因此在特定条件下，理论模型具有比自然描绘更强的解释力，并且由于其解释具有理论上的不可替代性，以致不用理论模型就

16、不可能对研究对象进展清楚的讲解。在这样的情况下，对形式语言的排斥或对理论模型形式化方法的责难，只会使我们的理论视野狭窄，使理论研究受到局限。3. 理论构建凝聚了人的主观创造，有些情况下基于不同的出发点构建的理论会对同一现象做出互相否认的断定。在这样的情况下，选择哪种理论对研究现象进展讲解取决于我们的认知目的。并且，选择具有排他性，即我们不能将两种不相容理论运用于同一目的，这样做的结果必将导致理论讲解的混乱，导致理论完全不能进展清楚的讲解。因此从某种意义上讲，理论选择的正确与否影响到我们认知的成败。我们的认知目的并非总是合理的和可行的，甚至会有认知结果与目的完全相悖的情形出现。客观性原那么促使我们在选择中不断反省自己认知目的的合理性和可行性，并进展相应的调整和完善。认知目的和理论选择的协调是我们认知活动的重要组成局部，它表现为一种在各种矛盾与冲突中寻求平衡和最优解答方案的复杂过程。因此，我们对世界的认知是能动的创造性活动，从来都不是对认知对象的消极反映。认知的能动性决定了总有新现象需要讲解，总有新难题需要化解。假设现有理论不能对新现象或新问题作清楚的讲解，那就需要理论创新，即需要对现有理论进展批判、修正或拓展。在现代逻辑理论开展中，一阶逻辑相对传统逻辑、动态认知逻辑相对模态认知逻辑所表达的就是如此：通过提出新的概念，定义新的算子，创立新的分析技术，构建新的理论模型，理论具有更强的