:::

網路資源

:::

數學哲學

專家網站

AiML: Advances in Modal Logic |專家|
模態邏輯的機關網站,專家使用。
Experimental Mathematics |專家|有目錄可下載|
由於廿世紀數學的風貌以完備嚴格優雅為宗,數學學子總是忘記(甚至鄙夷)實驗在數學發現中的重要地位,而在電腦日益普遍的今日,不管是數學猜測的形成、驗證或否證,以電腦做數學實驗更顯得重要。《Experimental Mathematics》就是在這樣的觀點下出版的數學期刊。
Kurt Godel Society |專家|
研究哥德爾的機構網站。
Mathematical Logic around the world |專家|
一個研究型的數理邏輯網路資源頁,內容包括文章、期刊、遍佈世界的研究群、活動、組織、工作以及一些不那麼專業的連結區。由波昂大學數理邏輯群與維也納大學邏輯學院共同維護。
Philosophia Mathematica |專家|有目錄不可下載|
The Austrian Ludwig Wittgenstein Society (ALWS)
對於英文使用者,奧地利的維根斯坦學會網站較方便。另可參看德文之德國維根斯坦學會網站。
The Bertrand Russell Society |專家|
研究羅素的機構網站,其中的網上羅素著作連結區,值得使用。

一般網站

MIA Philosophy Resource from Andy Blunden
這個小哲學圖書館收藏許多哲學家的著作全文或節文,與數學基礎有關的有羅素的《數理邏輯的重要性》,凱因斯《純歸納》,希爾伯特《數學基礎》,布勞爾《直覺主義講稿》,哥德爾《由哲學看數學基礎》,圖林《計算機器與智慧》,另外有愛因斯坦,波爾,海森堡,論物理基礎的文章。還有許多其他知名哲學家。有趣的是這個號稱馬克斯主義者的旗艦網站中,還收藏有非常非常豐富的資料。這些可都是熱情的義工,在這個不收費,不營利的網站中,努力工作的結果。
Philosophers on Mathmatics
R. B. Jones是一個有工程,哲學與數學背景的英國人,他建構了一個大型的網站〈Fantasia〉來包含他各式各樣的興趣與寫作,其中較常被網友使用的就是這個如迷宮般的邏輯百科,您可以從各個方向切入,閱讀條目的精簡說明(也許太精簡了),如果您認為邏輯是理性、數學與科學的基礎,您可能會喜歡他呈現這些題材的方式(包括他在Fantasia中對二十一世紀政治,宗教的一些既冷酷又熱情的想像)。不過從數學或哲學專業的眼光來看,它的某些名詞解釋可能沒有搔著癢處。

觀念文章

20th WCP: Philosophy of Mathematics
這裡有九篇數學哲學的網上文章。發表於1998年第20屆的國際哲學家大會上,並收在大會的專屬文章檔案網站--Paideia Project,那裡還有各領域共900多篇文章。
A history of set theory
聖安德魯數學史網站中歷史主題區的一頁。
Bertrand Russell |史丹福哲學百科|
史丹福大學哲學百科網站的條目。介紹羅素在邏輯、分析哲學與社會政治哲學的工作,並附有羅素的年表與各種參考資料。
Frege’s Logic, Theorem, and Foundations for Arithmetic |史丹福哲學百科|
史丹福大學哲學百科網站的條目。討論Frege對算術基礎之觀點。
Gottlob Frege |史丹福哲學百科|
史丹福大學哲學百科網站的條目。介紹現代邏輯奠基者,德國邏輯學家Frege的生平,他在邏輯與語言哲學上的貢獻,並附有其著作年表與各種參考資料。
Indispensability Arguments in the Philosophy of Mathematics |史丹福哲學百科|
科學廣泛使用數學,而且應用趨勢越來越強越深入。由於數學如此不可或缺,一些哲學家(蒯恩Quine,普特南Putnam)因此可論證(如蒯恩的整體論)數學物體的存在。收錄在史丹福哲學百科的本文,即在討論關於蒯恩-普特南不可欠缺論證的正反意見。
Nineteenth Century Geometry |史丹福哲學百科|
這是史丹福大學哲學百科網站的條目,文章含括了幾個重要的課題:非歐幾何、投影幾何、Klein的Erlangen綱領、公設化與黎曼幾何。
On Gödel's Philosophy of Mathematics(H. Ravitch)
本文在闡述分析哥德爾衛護古典伯拉圖主義式的數學觀。
Principia Mathematica |史丹福哲學百科|
史丹福大學哲學百科網站的條目。介紹數學哲學的名著,懷德海與羅素合著的《數學原理》,涵蓋其背景、內容與意義,另外還有初版的檔案照片。
Prisoner's Dilemma |史丹福哲學百科|
史丹福大學哲學百科網站的條目。介紹今日對局論的核心議題─囚犯悖論之內涵、推廣與各種論題。
Russell's Paradox |史丹福哲學百科|
史丹福大學哲學百科網站的條目。介紹十九世紀末數學基礎嚴格化運動中最知名的羅素詭論,包括它的歷史與意義。
The Church-Turing Thesis |史丹福哲學百科|
史丹福大學哲學百科網站的條目。「任一有效計算皆能被圖靈機實現」通稱為丘奇─圖靈論題。本文介紹該論題之內容與歷史,並且討論常見的誤解。
Turing machine |史丹福哲學百科|
史丹福大學哲學百科網站的條目。圖靈機是計算機器的一種抽象呈現,丘奇─圖靈論題告訴我們「任一有效計算皆能被圖靈機實現」。因此在這個資訊世紀中,它成為認知科學、心靈哲學與科學哲學最感興趣的議題之一。本頁介紹它的觀念與演進。
MIA Philosophy Resource from Andy Blunden
這個小哲學圖書館收藏許多哲學家的著作全文或節文,與數學基礎有關的有羅素的《數理邏輯的重要性》,凱因斯《純歸納》,希爾伯特《數學基礎》,布勞爾《直覺主義講稿》,哥德爾《由哲學看數學基礎》,圖林《計算機器與智慧》,另外有愛因斯坦,波爾,海森堡,論物理基礎的文章。還有許多其他知名哲學家。有趣的是這個號稱馬克斯主義者的旗艦網站中,還收藏有非常非常豐富的資料。這些可都是熱情的義工,在這個不收費,不營利的網站中,努力工作的結果。

哲學家

Bertrand Russell |史丹福哲學百科|
史丹福大學哲學百科網站的條目。介紹羅素在邏輯、分析哲學與社會政治哲學的工作,並附有羅素的年表與各種參考資料。
Bertrand Russell's Archives at McMaster University
羅素的官方研究檔案中心座落於加拿大McMaster大學圖書館,於1968年啟用,這裡是檔案的網站,內容非常豐富,只是使用不是那麼便利。
Gottlob Frege |史丹福哲學百科|
史丹福大學哲學百科網站的條目。介紹現代邏輯奠基者,德國邏輯學家Frege的生平,他在邏輯與語言哲學上的貢獻,並附有其著作年表與各種參考資料。
George Berkeley (1685-1753)
D Wilkins數學史網站中的柏克萊網頁,收有他的生平、著作、連結、討論柏克萊的線上文章、與網上資源。這裡也全收錄他重要的文章《The Analyst》(批評微積分基礎的歷史名作)。另有《衛護數學中的自由思考》,也可連到《人類知識原理》。另柏克萊出身於都柏林三一學院,也就是本網站所在。
Hao Wang Bibliography (Philosophia Mathematica) |專家|
《Philosophia Mathematica》期刊編纂之王浩著作年表。
The Alan Turing Home Home Page
A Hodges是《 Alan Turing: The Enigma》一書的作者,這是他製作的Turing網站。內容十分豐富,也看得出網主對傳主的熱情,一份簡潔的Turing年表,關於這本傳記的所有出版、回應資料,網上簡明傳記,Turing的網路剪貼簿(一份有機的連結區,也有許多珍貴的照片),一些短文、長文,Turing的作品全表,以及劍橋國王學院檔案中心Turing檔案的介紹。由於網主全心的經營,這個網站雖然有點亂,卻有一種魅力。A. Hodges是R. Penrose(與Hawking齊名的相對論專家,Penrose鑲嵌的發明者,《皇帝新腦》的作者)的學生。
Kurt Godel Society |專家|
研究哥德爾的機構網站。
The Austrian Ludwig Wittgenstein Society (ALWS)
對於英文使用者,奧地利的維根斯坦學會網站較方便。另可參看德文之德國維根斯坦學會網站。
The Bertrand Russell Society |專家|
研究羅素的機構網站,其中的網上羅素著作連結區,值得使用。

連結區

Mathematical Logic around the world |專家|
一個研究型的數理邏輯網路資源頁,內容包括文章、期刊、遍佈世界的研究群、活動、組織、工作以及一些不那麼專業的連結區。由波昂大學數理邏輯群與維也納大學邏輯學院共同維護。
cron web_use_log