形式化反義詞

沒有反義詞，這是名詞。

形式化”是指分析、研究思維形式結構的方法。它把各種具有不同內容的思維形式(主要是命題和推理)加以比較，找出其中各個部分相互聯結的方式，如命題中包含概念彼此間的聯結，推理中則是各個命題之間的聯結，抽取出它們共同的形式結構再引入表達形式結構的符號語言，用符號與符號之間的聯絡表達命題或推理的形式結構。

形式化方法在古代就運用了，而在現代邏輯中又有了進一步的發展和完善。這種方法特別在數學、電腦科學、人工智慧等領域得到廣泛運用。它能精確地揭示各種邏輯規律，制定相應的邏輯規則，使各種理論體系更加嚴密。同時也能正確地訓練思維、提高思維的抽象能力。