什么是符号化？形式化？

符号化指将实际问题转化为数学问题，用专题要素的表示方法等。

“符号化”在学术文献中的解释：

1、符号化是指将实际问题转化为数学问题，建立数学模型的过程.符号化超越了实际问题的具体情境，深刻地揭示和指明了存在于某一类问题中的共性和普遍性，把认识和推理提高到一个更高的水平，这是数学活动和数学思考最本质的东西。

2、符号化是指用专题要素的表示方法，如定点符号法、线状符号法、质别底色法、等值线法、定位图表法等（如图1，采用线状符号法制作西安旅游路线图），来完成对专题要素质或量及单个或多个专题变量的描述。

3、符号化是指使用艺术手段所提炼出来的、能够反映人类情感的.符号可分推理符号与表象符号，语言属推理符号，其它属表象符号。

4、“符号化”是指对于指令、指令地址、常数、变量、寄存器等，在屏幕上均用表义性和可读性很强的符号来显示.Zt源程序编辑器（M尸LA日Editor）源程序编辑器是一个全屏幕文本编辑器，用于创建和修改汇编语言源程序文件。

5、所谓符号化是指把难写的曲线变成易写的符号把不规则、不整齐的符号变成规则的整齐划一的符号.这个符号化的过程共分两个阶段：一是线条化二是笔画化。

6、而这种符号化是指运用语言媒介的艺术造型，以造型表现情感.媒介物本身并不能表现情感，只有造型才能表现情感.造型也称之为构型，构型就是艺术符号形式，“它表现的是语言无法表达的东西”

7、所谓“符号化”，一方面，是指思维赋予外界对象以形式与概念，使对象比在纯粹的自然中更容易认识.另一方面，是指人的活动不是被动地接受外来的刺激，而是主动地摄取，二者的结合就是符号化过程。

形式化方法在数学、、等领域得到广泛运用。它能精确地揭示各种逻辑规律，制定相应的逻辑规则，使各种理论体系更加严密。同时也能正确地训练思维、提高思维的抽象能力。

在计算机领域，形式化方法是基于数学的特种技术，适合于证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。

在逻辑学领域，形式化是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属的物理性质和化学性质与纯铝不相同;所以,它不是纯铝。”这个推理的形式结构是:“如果p,则q;如果p,则r;非q且非r;所以非p。”可进而形式化为下列公式:((p→q)∧(p→r)∧┐q∧┐r→┐p。

形式化是一个有毒的概念

2011-05-31 08:21:08

“形式化”（formal, formalization），其实是个有毒的概念，虽然在相当多的场合，它用起来很方便。用起来方便，是相当多的概念（其中许多看来很“基本”）存在的理由，但是，每当我们的认识要达到某种不寻常的范围或深度时，这些概念就不知不觉地成了某种障碍，误导或遮掩一些东西。

形式化的背景，是精确性，可推理性，逻辑（或有时喜欢说，数学）的严格性、一致性。但从操作性的角度来解析，“形式化”涉及的主要内容实际就是可操作性，加上确定性。循“操作性”的途径，作为一个形容词乃至名词的形式化一词，基本上都可以消解掉。

例如：在很需要形容词的时候，可以用“严格”或“精确性”来替代，它们的好处是更直接地与“度量”（又是操作！）关联得更密切。而“形式化系统”这样的概念，可以直接地称之为“逻辑系统”（我觉得，各种数学的系统，也应归纳于此）。与“形式化”相比，我更喜欢“逻辑”的概念，因为它更具体、明确——有操作性。

本文不是实证的研究，也不是严格的论证，也许可以称之为“直觉”，但证明的过程，每时每刻都在进行着。计算机的每一个应用，对更复杂的问题的解决，都是把形式化变成具体操作的一个具体进步。对于程序员来说，“形式化”，甚至“精确”这样的形容词都是不需要的。另一方面，形容程序或代码是一种形式化的东西，对于他们也没有意义；说编程（包括建模）是将需要处理的问题形式化，也是多余的，我们需要的是具体的规则，告诉/约束我们怎样编程与建模。

所谓“毒性”在哪里呢？在它变得多余的地方，它可能会造成我们对“形式”的迷惑或错误的寄托，甚至有时变成一种迷信，从而忽略了实际的操作性方面。在这种地方，我们很需要奥卡姆的剃刀。当然，方便永远比严谨得到更多的青睐，所以总是会有许多的概念是因为方便而普遍存在的，关键是我们要弄清楚，在什么时候它们可以剔除。

补充一点：

原本写的时候，第一句还加了“尤其是中文这个词”，当时一转念，怕又激发某些类型的口水，就删掉了。事实上，对于我们这里要讨论的这个概念，英文 formal, formalization，“形式化”实在不是个好的对应，例如，“正规化”、“规范化”也比它好一些。（6月2日下午）返回搜狐，查看更多

责任编辑：