邏輯自修計畫。

第一階段：


May. 2 ～ May. 23

Kahane (2007): Logic and Philosophy.

只是熟悉英文詞彙和熟練運算。可視狀況是否買書/ 參加。

邏輯初心者可能在這個階段花費較多時間∼

排三週某部份也因為下階段的數理邏輯課本於五月初才到期。


May. 23 ～ Jun. 6

Mendelson (1997): Mathematical Logic. Ch.1 -2

書可能提早一週獲得，根據推薦只需研讀頭兩章。

不過個人滿想加入第三章，因為在証歌德不完備定理。

第四章在談集合論、第五章計算則介紹 Turing machine...

嗯，看狀況和大家興趣調整吧。反正書是整本處理。


Jun. 6 ～ Jun. 27

Hunter (1971): Metalogic.

據說主要在解釋邏輯系統是怎麼架設的。

許多原本看似理所當然的規則也在這邊證明，例如 soundness 和 completeness。

這部份結束大概能夠說是具備大學程度了吧。囧

這本書我也還沒取得，明明到期日早就超過了∼

再視頁數調整周次之類的吧...畢竟那時候期末大魔王現身。




第二階段：


Jun. 27 ∼ Jul. 25

Fitting (1998): First-order Modal Logic.


Jul. 25 ∼ Aug. 21

Priest (2001): Non-classical Logic.

假使順利我其實很好奇二階的部份。不過好高騖遠是我的壞毛病就是了。



我是打算先弄完第一階段。

參加計畫的同學請告訴我是否需要基礎邏輯的課本。

假使板友希望參加也請推文吧。

先聲明這個自修計畫 並無 聚會討論的設計。

只是彼此確認進度、然後發現問題能夠相互討論。

作為發起人的我也只是處理書籍、大概寫個摘要、並且確定習題我能解答而已。


日後的公告或摘要我可能就推放在這個板。

--

暑假可能也必須弄個哲學史的自修計畫。