出处：哲学卷 • 科学技术哲学 • 术语 学说 • 科学哲学
| 字词 | 形式化方法 |
| 释义 | 形式化方法 形式化方法 用一套特制的表意符号(其意义可以解释的),去表示概念、命题、推理,获得它们的形式结构,从而把对概念、命题与推理的研究转化为对形式符号表达式系统的研究的方法。用于公理系统后产生的形式系统,是形式化方法高度发展的标志。运用形式化方法,能克服自然语言的歧义性,简洁而精确地表述科学理论。 出处：哲学卷 • 科学技术哲学 • 术语 学说 • 科学哲学 形式化方法 用一套特制的表意符号(其意义可以解释的),去表示概念、命题、推理,获得它们的形式结构,从而把对概念、命题与推理的研究转化为对形式符号表达式系统的研究的方法。用于公理系统后产生的形式系统,是形式化方法高度发展的标志。运用形式化方法,能克服自然语言的歧义性,简洁而精确地表述科学理论。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 |
| 随便看 |
|
修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。