形式主義導論:
形式主義是指只看事物表象而不分析其本質的壹種思維方式和工作作風。違背了內容決定形式,形式為內容服務,內容與形式相統壹的科學原理。
形式主義的本質是主觀主義和功利主義;其根源是政績觀錯位、責任意識缺失,以轟轟烈烈的形式代替紮實的落實,以光鮮的外表掩蓋矛盾和問題;具體表現為欺上瞞下,做表面文章,虛多於實,喊口號違陰,不折不扣地執行。
形式主義的典型特征是脫離現實生活,強調審美活動的獨立性和藝術形式的絕對性。認為是形式決定內容,而不是內容決定形式。
學術學校:
學術方法:專註於使用符號、標記或某些規則使結果與實驗或其他計算方法得出的結果相同,也可稱為“形式主義”。這些記號和規則在數學上不壹定有對應的語義。在這些情況下,計算的方式通常被稱為“完全形式化”。
數學方法:在數學基礎中,形式主義與幾種最精確的數學方法有關。壹般來說,形式主義是努力將正式制度納入壹個特定和有限的範圍;所有包含在正式系統中,或者在某種“可形式化”範圍內的問題,都可以進行正式討論。完全形式化,大部分都是在“計算機科學”的範疇裏找到的。
形式主義也是《數學哲學》中的壹個特定流派,它側重於通過大衛·希爾伯特的理論來證明數理邏輯。所以在“數學哲學”這個範疇裏,形式主義者指的是形式主義學派的壹員,是從大衛·希爾伯特那裏流傳下來的數學和哲學的教條。