數學哲學簡介

這是一個關於數學哲學的專欄，主要放一些這學期數學哲學課程的筆記，以及一些關於特定問題的評論（私貨）。

數學哲學雖然只是分析哲學或廣義的科學哲學下的一個分支，但仍然積累了豐富的內容，既涉及傳統哲學中那些古老的爭論，比如實在論vs反實在論，又有諸如選擇公理、連續統假設等具體問題的討論。這個專欄會討論其中一些重要並且有趣的主題，包括：1）有窮主義與希爾伯特綱領；2）構造主義一致性證明；3）結構主義；4）直謂性；5）邏輯主義。這些題材的選擇完全出於我個人的興趣，而並不試圖完整的介紹這一領域的各個方面，因此我們將忽略很多在數學哲學中被認為是重要的話題。讀者如果試圖較全面的了解數學哲學，可以去讀一本數學哲學的教科書或者論文集。

同時，這個專欄里的內容不會涉及特別純粹的哲學討論，一方面這超過了作者的能力範圍，另一方面也會疏遠那些缺乏專業哲學訓練的讀者。