出处：哲学卷 • 科学技术哲学 • 术语 学说 • 科学哲学
| 词条 | 形式化方法 |
| 释义 | 形式化方法 形式化方法 用一套特制的表意符号(其意义可以解释的),去表示概念、命题、推理,获得它们的形式结构,从而把对概念、命题与推理的研究转化为对形式符号表达式系统的研究的方法。用于公理系统后产生的形式系统,是形式化方法高度发展的标志。运用形式化方法,能克服自然语言的歧义性,简洁而精确地表述科学理论。 出处：哲学卷 • 科学技术哲学 • 术语 学说 • 科学哲学 形式化方法 用一套特制的表意符号(其意义可以解释的),去表示概念、命题、推理,获得它们的形式结构,从而把对概念、命题与推理的研究转化为对形式符号表达式系统的研究的方法。用于公理系统后产生的形式系统,是形式化方法高度发展的标志。运用形式化方法,能克服自然语言的歧义性,简洁而精确地表述科学理论。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。