邏輯主義邏輯學派

把數學歸結為邏輯的構想是不能成立的,因為不使用非邏輯的公理,就連全部算術也不能推導出來。

數理邏輯和數學基礎研究中的一種學派,主要代表是英國的羅素。認為所有數學概念都可以歸結為算術的概念,而算術的概念可以由邏輯概念來定義,並試圖在邏輯概念和公理的基礎上,定義和推演出全部的數學。把數學歸結為邏輯的構想是不能成立的,因為不使用非邏輯的公理,就連全部算術也不能推導出來。

相關詞條

熱門詞條

聯絡我們