赫拉克利特提出邏各斯,巴門尼德的存在從邏各斯而來,亞裏斯多德奠定哲學邏輯,歐幾裏得奠定數學邏輯,哥德爾發現邏輯的基礎問題

所以需要新的科學邏輯,解決哲學邏輯和數學不能解決的問題。

您對邏輯主義、直覺主義、形式主義三大數學學派的不同和問題缺乏理解,最好不要對邏輯作判斷。形式主義的形式英文是form,跟您提到的巴門尼德和蘇格拉底討論的理型form英文是同一個詞,但含義有所不同。

巴門尼德的傳人埃利亞的芝諾為巴門尼德辯護的時候混淆了辯證和詭辯,所以對埃利亞的芝諾的觀點要小心。當然埃利亞的芝諾的觀點不等於巴門尼德的觀點。

蘇格拉底對辯證感興趣,但他更深受阿那克薩哥拉的影響,所以蘇格拉底的思想跟巴門尼德有很大不同。柏拉圖跟蘇格拉底也有很大的不同。

阿那克薩哥拉研究自然和自然哲學,並將哲學引入雅典,但在雅典受誣陷、迫害,就離開雅典了。雅典深受詭辯派影響,很快失敗。後來歐幾裏得在亞曆山大裏亞研究學術,那裏取代雅典成為新的文明中心。

羅馬帝國時代學術衰退。公元410年羅馬陷落,公元415年希帕提婭遇害。希帕提婭結交權勢,但學術上遠遠不如歐幾裏得和阿基米德。

請您先登陸,再發跟帖!