基本介紹
- 中文名:邏輯主義邏輯學派
- 主要代表:英國的哲學家、數學家羅素
邏輯主義派(logicism school)數學基礎中的學派之一邏輯主義派的主要宗旨是把數學化歸為邏輯.即邏輯主義者從邏輯的概念出發,經由明顯的定義得出數學概念,而任何數學定理,均可從邏輯的命題出發,由純邏輯的演繹推理得到.總之,全部數學都可...
邏輯主義學派數學哲學(logicism in philoso-phy of mathematics)現代西方的一種數學哲學觀.它是一種力圖把數學歸結為邏輯演算,從而排除數學中的悖論的一種數學哲學思想.邏輯主義學派數學哲學(logicism in philoso-phy of mathematics)現代...
學派簡介 播報 編輯 邏輯主義論題分成兩個部分:1.數學概念可以通過顯定義從邏輯概念推導出來;2.數學定理可以通過純邏輯推演從邏輯公理推導出來。羅素在推導數學概念時所使用的邏輯概念有:命題聯結詞(否定,析取,合取,蘊涵);函項和量詞(全稱...
艾耶爾(A.J.Ayer),英國著名哲學家,牛津大學邏輯教授,維也納小組成員,邏輯實證主義代表之一。對於邏輯實證主義的主要觀點作了系統的論述,也是研究這一學派的基本著作之一。它通俗地系統地介紹了邏輯實證主義的哲學思想,被看作是英國...
中世紀的模態命題邏輯系統S及其與路易斯S3系統的比較研究 歸納法和古典歸納邏輯發展史 數理邏輯史論 公理學的歷程 邏輯演算簡史 從素樸集合論到公理集合論 羅素的邏輯主義及其在數理邏輯史上的地位 評數學基礎中的直覺主義學派 論希爾伯特的...