形式化方法【英】

formal methods

译文来源

Formal methods. via: https://en.wikipedia.org/wiki/Formal_methods

定义

形式化方法，是现代科学中经常运用的一种分析研究思维形式结构、揭示研究对象的内在联系和规律的研究方法。特点在于是一种高度抽象的研究方法，其用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究，转化为对形式符号表达式系统的研究。很多哲学家、逻辑学家曾对这一方法进行过论述和研究，古代逻辑学家就曾偶尔使用过一些符号去表达词项、命题。希尔伯特认为，数学思维的本质就是符号，而逻辑是将整个数学贯穿起来的记号语，把数学语言表示成公式，用形式的程序表示推理，这就是用一种形式化的方法，数学就是形式化方法的体现。卡尔纳普阐释了形式化的定义，他认为，形式的含义是指完全不提及意义或涵义的、关于语言表达式的述说，关于某个句子的形式化的研究，是指仅涉及词的种类和它们相连接的次序，并不涉及句子的意义或单词的涵义。塔尔斯基也表达了与卡尔纳普同样的看法，并且进一步指出，构成理论的词项的意义不依赖于人们对它的认识，一个有意义的形式系统总能给予事物以某种解释。形式化方法注重以符号表示事物，具有一定的缺陷，因为形式化和直觉是相辅相成、对立统一的，极其容易把认识引至歧途。但总的来说，形式化方法作为一种重要的研究方法，在科学理论研究方面具有许多重要的优点，主要包括：（1）能克服自然语言的歧义性，简洁地表达理论，为科学研究提供了严格的、精确的表达工具。（2）“统一地使用形式语言，可以消除自然语言的不通用性，便于交流，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系、导致新发现”（金炳华，2003：407）。所以，形式化方法普遍出现在很多学科和理论当中，如古代逻辑学、布尔的逻辑代数、德·摩根的关系逻辑的处理、弗雷格的量词符号的引进等等，都在某些关键之处使用了符号。形式化方法不仅作为现代逻辑研究中的基本方法被使用，而且也在数学、物理学、化学等学科中被广泛使用，更在用于公理系统后产生出形式系统，这标志着形式化方法的发展达到了一个新的高度。

定义来源

金炳华.马克思主义哲学大辞典[Z].上海辞书出版社，2003.

例句

1. 与列宁不同，对于如何解决俄国特殊的政治形势，卢森堡得出了完全不同的结论。她提倡扩展政党的无产阶级基础，由此推翻列宁式的中央集权总是不可避免产生的精英主义，同时拒斥任何把马克思主义理论形式化的动机，因为这样会使它变为中央委员会执行的不可反对的一组教条。——《后马克思主义思想史》，2011：114

1. Luxemburg reaches very different conclusions on how to resolve Russia’s peculiar political situation than Lenin does. She calls for a widening of the party’s proletarian base in order to reverse the elitism that Leninist centralisation almost inevitably will bring, rejecting any move to formalise Marxist theory such that it turns into a body of unopposable doctrine administered by the Central Committee. -Quoted from Post-Marxism: An Intellectual History, 2001: 73.

2. 第三类文本是马克思为了公开出版而撰写的已发表或未发表的各种论著。这是马克思各种已经完成的思想的形式化表述的文本。对于这一类文本的研究，以往研究的不足之处是总是关注各种学术性较强的大部头专业论著，然而忽略了马克思投身于现实社会政治斗争的各种政论性文章。——《回到马克思——经济学语境中的哲学话语》，2009：17

2. The third type of text includes the works that Marx wrote with the intention of publishing, though some of them were ultimately never published. These texts comprise the formalized expression of Marx’s completed philosophical thoughts. Past scholarship has fallen short in its research on these texts because of its overemphasis on Marx’s more scholarly major works. -Quoted from Back to Marx: Changes of Philosophical Discourse in the Context of Economics, 2014: xxxiv.

3. 黑格尔这里讨论的分工，显然指向着斯密意义上工厂内部的劳动分工。他看到，在这种分工里，劳动的抽象性就会直接以知识为转换中轴：掌握知识意味着能够把某些形式的劳动转交给机器来承担；掌握对象的行为变得越加形式化了。——《回到马克思——经济学语境中的哲学话语》，2009：74

3. The division of labor to which Hegel refers is evidently the Smithian division of labor that takes place in factories. Hegel saw that in this form of division of labor, knowledge was the mediating element of the abstract nature of labor: having a certain degree of knowledge meant being able to transfer certain forms of labor to machines; manipulating the object became more and more formalized. -Quoted from Back to Marx: Changes of Philosophical Discourse in the Context of Economics, 2014: 44.

网络参考例句

例句 1：
在传统的系统功能语言学理论研究中，学者们一般偏重于功能语言学；但是在面向自然语言处理用途的研究中，则必须注重系统语法，因为系统语法本质上就是该语言学理论的一种形式化方法。——《系统功能语法的形式化研究》，江南大学硕士学位论文，2014
In traditional Systemic Functional research, researchers are inclined to functional parts. However, when confronted to natural language processing, we must focus more on systemic grammar, because systemic grammar is essentially a formalizing method of that theory.

例句 2：
一方面，米塞斯的思想往往被人们视为极端自由主义的代表，他以“社会主义(计划经济)的经济计算不可能”的命题闻名于世，认为在社会主义公有制的计划经济体制下，不存在以货币为基础的理性经济计算。这一论断被世界范围内半个多世纪的社会主义实践所证实，但是他所倡导的以私有财产和劳动分工为基础的经济秩序的自由理念并没有完全获得人们的支持。另一方面，米塞斯以不同于主流学派(数理模型)的另一种形式化方法(人类行为学的先验论)，将经济学理论追溯为人的行为的因果性解释。米塞斯意义上的人的行为是指个人能够自由地选择或安排自己的手段以追求自己的目标的行为。他主张基于时间的过程分析，强调未来的不确定性，重视企业家精神，这种市场过程的理论分析不仅深化了我们对于市场运行机制的认识，而且有可能为我们提供理解转型经济和发展经济学的重要线索。——《米塞斯经济思想研究》，复旦大学博士学位论文，2009
On the one hand, Mises's idea is usually regarded as a representative of radical libertarianism. He was well known for putting forward the proposition about the impossibility of Economic Calculation in the Socialism Commonwealth(1920). This argument was proved by the failure of the socialism practice for more than half a century, but his idea of free economic order with private property and division of labor is not completely accepted by the public. On the other hand, Mises advocated another methodology diff