邏輯主義學派

邏輯主義學派(Logistic school)數學史專門術語.指20世紀初關於數學基礎爭論中建立起來的一個學派，以德國的弗雷格(Frege , (F. L. ) G. )、英國的羅素(Russell, B. A. W.)和懷特海(W hite-head,A. N.)等人為代表.

邏輯主義學派主張數學實際上是邏輯學，認為全部數學都能從邏輯學中推導出來，而不用任何特有的數學概念(如數、集合等).弗雷格是符號邏輯的創始人之一，在數學中引人邏輯函式概念，並寫過《概念演算》等專著.羅素於1903年曾提出有關數學基礎的“羅素悖論”，產生了重大影響.他與懷特海都是哲學家兼數學家，共同發展了弗雷格的思想，提出“類型論”，引進等價類等概念，以完全形式的符號實現了邏輯的徹底公理化，揭示了數學與邏輯之間的關係.其代表作《數學原理》<3卷，1906-1910)已成為邏輯主義學派的經典文獻.邏輯主義思想因條理繁瑣空洞而遭受批評，但它對數理邏輯的建立有重要貢獻，對當今計算機的研製和人工智慧的研究也有重大的現實意義.