发帖
雷达卡
142 形式语义物象结构
形式语言语义物象原理遵循自然语言语义物象原理，它们是同一性的、一致的。它们所不同的是前者语义物象是抽象的物象，或是非视觉的、超宏观的、超微观的实体物象，需要理智直觉的认知能力才能抵达。个体学习掌握形式语言需要很强势的语言意象力，因为形式符号含义往往需要自然语言做出解释或规定。这样，形式语言语义物象的形成需要一个心理转换。所以，形式语义物象须要很强大的意象力才能学习、掌握。这个语言意象逻辑已经在92节讨论了。本节是讨论形式语言语义物象理论命题。
形式语言与自然语言最大区别在于追求语义真值性。否则，就不会有形式语言诞生、发展。形式语言语义真值的实现方式是语符象征即意指的歧义很少，不像自然语言语符含义的歧义那么多。因此，“形式语义学通常又被称为‘真值语义学’”（13）。形式语义学中的“形式”有二种，一是句法层级结构，形式语义学的重要原则“语义组合原则”为基本内容。二是“形式”是指精确的数学方法。形式语义学的发展得益于逻辑学和计算机科学的发展。所以，运用数学逻辑学符号编写的计算机程序，或软件等形式语言的知识，就成为语言形式的知识重要组成部分。但是，中外语言学界对于语义是什么？始终未能给予明确规定或定义，似乎语义就是实体对象的存在者。然而，物象语义学原理认为，语义是心理记忆中的实体物象，是由于人的意象力作用将记忆中的心理实体物象直接体验成了世界事物。由此，我们建立物象心理学是必要的，而不是语言思维的累赘。
用程序设计语言编写的程序，规定了计算机对数据的加工过程。形式语义学的基本方法是用一种元语言将程序加工数据的过程及其结果形式化，从而定义程序的语义。根据所用数学工具和研究重点，形式语言语义学可分为四大类：代数语义学，公理语义学，操作语义学，指称语义学。但是，根据语义物象理论原理，它们将分别属于如下四种语义物象结构理论。
I、代数语义物象结构理论（14）
代数语义学。用代数公理刻划语言成分的语义，只要研究抽象数据类型抽象的代数规范。抽象数据类型的代数规范通过构造算子和一组有关运算的代数公理刻划类型操作的行为。在论证这种规范满足协调性和完全性的基础上，通过寻找适当的模型代数，可以定义一个抽象类型的不同层次的语义，如初始语义、终止语义等，然后就可以用普通的代数方法论证规范的正确性和实现的正确性，从而形成的一门专业的自然学科。代数语义物象是一种直觉认知能力才能达到的实体存在。在许多的场所，感官认知能力不能抵达代数语义物象的实体结构。
数学是理智的认知心理，而非感性的认知，数学对象是往往是想象物象。但数可运用于事物的状态的计算，人们通过直觉的数学逻辑可以把握事物。因此，数的逻辑计算可以运用于所有学科的事物研究。数学是形式语言的知识，它是语言形式的知识一个分支；数学形式的知识内容是直觉把握的一种物象知识，而物象知识就是实体存在的心理样态。所以，数学语义学仍是属于物象学理论的语义物象原理的逻辑结构。在这里，物象是实体的心理存在样态，数学的确定性和严格性被确立。由于数学逻辑享有很高的验证性和功效性，这就使得数学计算成为人们改造物料世界的有效工具。显然，这得益于物象心理与实体存在的同一性原理。
数学符号是语言符号一种类型，数学公式、定理、方程组、函数式等等，它们实际上都是语言形式知识的一种类别。所以，数学也是有语义问题的语言哲学研究一个分支。数学语义物象学原理是物象知识论的一部分。
首先，数学是形式语言，而不是自然语言。形式语言语义物象不是感官知觉物象，而是理智直觉物象。虽然，它们似乎离不开感官知觉，但是它们决不依赖于或决定于感官知觉。并且，数学理智直觉还是一种专业性很强的理智直觉能力。社会个体在学生时代就渐渐表现出数学专业理智直觉能力的差异，尤为是数学家超级数学理智直觉能力，是令人望而生畏的。
其次，数学符号含义或是语义，数学语义遵守语义物象原理。微积分奠定在算术的基础上。
几何学固定了若干少数种类的基本结构，如体、平面、点、角等概念，它们都在“公理”中起着决定作用。借助于公理，即最初的本质法则，它于是能够在代表着我们一般直观所不熟悉的那类进行精确规定的概念形式中，纯粹演绎地推导出一切在空间中“存在”的、即在想象物象上可能的空间形状，以及一切与它们有关的本质事态。以确定的公理系统为基础的任何演绎学科就是一门确定的学科，或者说是在严格意义上的一门数学学科。
分析自然语言的逻辑结构，企图找到更多的适当的形式化处理的片段，这是语言意义论一个任务，也是很多逻辑家的任务。但这里，语义物象论更能有效理解、解释从自然语言向形式语言转化的逻辑基础或是原因。
由于自然语言受到语言使用者意图场和意象力作用的影响，它们的真假值几乎是难以确定的，诚信则成为语言使用真值的必备条件。同时，由于语言使用成为人类社会生产生活刻不能离的工具，语言使用的真值性又是普通的、普遍的作用，否则，语言就失去了存在于社会交流工具的地位意义。语言意象力作用是人的精神生活的一部分，人的精神生活需要语言意象力提供虚拟物象演绎的剌激信息填补、充满心灵时空的愉悦思维意象的满足感。
从知识论的视角看，自然语言并不能完全胜任，由此形式语言应运而生。但是，形式语言仍是语言属性，自然语言却在人的精神生活需要的领域大显身手，如文学作品等等。
自然科学理论活动的基本手段是诸纯数学学科，如几何学或运动学一类的实质学科和算术、数学分析一类的形式的（纯逻辑的）学科。极其明显，这些学科并非以观察和对被经验的图形、运动等等东西的实验为基础的。它们都是由理性（智）和直觉的认知为条件做出的推演或判断。比如确定发射月球卫星的运行轨道，完全超出了感性认识的范围。但是，月球卫星的运行轨道本身，就是对于“地月”之间距离、方位、速度变动和卫星发射地点、时间及速度，三者共同构成的一种物象的描述。
II公理语义物象结构理论
通过使用数学中的公理化方法，用公理系统定义程序设计语言的语义。另外，公理语义学还研究和寻求适用于描述程序语义、便于语义推导的逻辑语言。例如，用时态逻辑定义的语言的公理语义又称为时态语义。典型的公理语义方法是Hoare公理系统。代表人物有R.W.Floyd和C.A.R Hoare；如果掌握了形式语义学里面的数学理论、方法和概念，就可以用它们去创造规则、刻画规则和证明规则，从而可以描述和推导各类程序设计语言的各种成分和性质。
III、操作语义物象结构理论
通过语言的实现方式定义语言的语义，也就是将语言成分所对应的计算机的操作作为语言成分的语义。因为语言的语义应该是标准的，不应依赖于特定的计算机系统，或一种具体的实现方式，因此，操作语义学使用抽象机和抽象解释程序来定义语言的语义。
IV、指称语义物象结构理论
通过执行语言成分所要得到的最终效果来定义该语言成分的语义。指称语义学方法认为语言成分的含义是语言成分本身固有的，不依赖于具体实现该语言成分的计算机。对同一种语言成分，不同的计算机的执行实现过程可以不同，但所产生的最终效果应该是相同的。这种最终效果被看作是语言成分所指称的外在物体，称作语言成分的指称物。指称物多为数学对象，如整数、集合、函数等。指称语义学方法在定义语言的语义时，先确定指称物，然后给出语言成分到指称物的语义映射，这种映射必须满足两个条件：每个语言成分都对应有指称；复合成分的指称只依赖于它的子成分的指称。论域理论是指称语义学方法的数学基础。
形式语言是直觉物象思维广泛应用的方式，它们是人类社会科技知识的创造、创新、记录、传播、应用的主要方式。在科学研究中，也不例外地常用到直觉的想象物象，并将其用语词表达出来。显著的例子是在微观世界中的物质体的名称，它们大都是直觉的想象物象的呈现。如原子、分子、基因、夸克等等。因为它们不是人的感官知觉认知的对象。对于超微观世界的知识陈述方式最有效的形式语言，而不是自然语言。
京公网安备 11010802022788号
