形式化是一個包含多重含義的概念，具體如下：
在學術和理論研究領域。形式化指的是將某個研究領域（如數學）按照形式系統的要求進行抽象處理，建立相應的形式系統。這包括使用形式語言、數學公理、邏輯公理和推演規則等，通過這種處理，可以對研究領域進行更精確和系統化的探討。形式化不僅限於數學領域，還可以套用於其他領域，如科學理論的發展，作為理解和分析複雜系統的一種方法。
在日常語言和工作作風中。形式化（形式主義）通常帶有貶義，指的是過分關注形式而非實質內容，或者只看事物的現象而不分析其本質的思維方法。這種做法被認為是有害的，因為它脫離了實際內容和目的，只關注表面的形式。
在藝術和文學領域。形式主義（formalism）指的是一種藝術創作和理論傾向，強調形式至上，認為藝術作品的價值在於其形式本身，而不是其所表達的內容或主題。這種觀點在西方現代主義文學中尤為常見。
總的來說，形式化的含義取決於其套用的上下文和領域。在學術和理論研究領域，它是一種重要的研究方法，有助於深入理解和分析複雜系統。然而，在日常語言和工作作風中，它也可能被用來描述一種負面的工作態度或思維方法。在藝術和文學領域，形式化則表現為一種特定的創作和理論傾向。