詞條：形式化方法

xíng shì huà/huā fāng fǎ

把概念、判斷、推理轉(zhuǎn)化成特制的形式符號后，對形式符號表達系統(tǒng)進行研究的方法。它可以消除自然語言的歧義性、不通用性，為不同學(xué)科提供具有普遍適用性的共同邏輯形式，有利于揭示新聯(lián)系，導(dǎo)致新發(fā)現(xiàn)。