近日又想到擱置許久的一個(gè)哲學(xué)普及計(jì)劃，一開(kāi)始是2021年我整理了一些邏輯學(xué)方面的草稿，后面覺(jué)得這件事沒(méi)什么價(jià)值就停了下來(lái)。 在期間我偶爾會(huì)回憶起這件事，并且真正拋開(kāi)功利心態(tài)去反思之前思路的不足之處。實(shí)際上大多數(shù)不足僅僅是不誠(chéng)實(shí)，我打個(gè)比方： 我有一些想法并且有動(dòng)力去付諸實(shí)施相關(guān)的計(jì)劃，但我又有想出風(fēng)頭的心態(tài)，而且希望在有限的時(shí)間內(nèi)把東西做出來(lái)造成一定影響，那么我就做一點(diǎn)妥協(xié)：首先我保證有把握講的內(nèi)容不出紕漏，而對(duì)于我自己也不怎么懂的內(nèi)容就小心避開(kāi)，并且進(jìn)行一定的（動(dòng)歪腦筋）修飾，把自己的無(wú)知很小心地藏起來(lái)回避相關(guān)內(nèi)容，而且有足夠的余地在后面獲取更多知識(shí)之后再填坑時(shí)進(jìn)行彌補(bǔ)。 這個(gè)做法是很齷齪的，比如我知道某個(gè)關(guān)鍵的，但是我沒(méi)搞懂的知識(shí)點(diǎn)要講，但是我按照上述做法會(huì)小心繞開(kāi)這個(gè)知識(shí)點(diǎn)并且盡量做到?jīng)]有很大的斷裂感，讓人不太過(guò)懷疑。如果有人問(wèn)起，那么我還可以說(shuō)：“嗯對(duì)的，這個(gè)知識(shí)點(diǎn)是很重要，但是暫時(shí)還沒(méi)講到這里，后面合適的時(shí)候我會(huì)講這個(gè)更高級(jí)的知識(shí)點(diǎn)。”這就是甩鍋給未來(lái)的做法。 我先說(shuō)一下為何如此。2021年我整理了一部分經(jīng)典理論的形式主義處理，相當(dāng)于把一些元邏輯結(jié)果在“post機(jī)上運(yùn)行的形式理論”這個(gè)環(huán)境下復(fù)現(xiàn)了一遍。但是我實(shí)際上并沒(méi)有對(duì)“post-smullyan-moschovakis-feferman方案”（一個(gè)元數(shù)學(xué)的方案）有足夠的了解，這時(shí)候我會(huì)把形式主義需要的元數(shù)學(xué)的知識(shí)回避掉甩鍋給未來(lái)。 而且還有更要緊的事：如果希望達(dá)到一個(gè)合適的元數(shù)學(xué)視角，那么必定要涉及抽象和理想化，而我傾向于從唯名論這個(gè)起點(diǎn)，采取較弱的抽象和理想化達(dá)到應(yīng)該算是直覺(jué)主義海丁學(xué)派的處理方式。這部分在當(dāng)年當(dāng)然也是要甩鍋給未來(lái)的。 當(dāng)計(jì)劃被擱置甚至接近廢棄，我又慢慢失掉了在這方面裝逼的齷齪念頭之后，我才開(kāi)始認(rèn)識(shí)到這個(gè)計(jì)劃到底怎樣才能走下去。 1，經(jīng)典理論的形式主義處理： 我傾向于還是細(xì)致剖析幾個(gè)元邏輯結(jié)果的純形式處理，比如力迫法、PA版本的第二不完備定理（也可以講一下HF版本）、gentzen的一致性證明等等。 但是這里需要死摳形式化細(xì)節(jié)才行，一般課本對(duì)上述入門(mén)結(jié)果往往匆匆忙忙展開(kāi)，無(wú)論是形式化細(xì)節(jié)還是哲學(xué)方面的動(dòng)機(jī)性解釋都是非常不足的，原因有二： 第一，學(xué)校的目的是填鴨一樣速度過(guò)一下基礎(chǔ)，然后接觸高級(jí)內(nèi)容，最終當(dāng)然是要求業(yè)績(jī)：發(fā)表數(shù)量和質(zhì)量。這種學(xué)術(shù)生產(chǎn)的機(jī)制已經(jīng)不容許對(duì)一些內(nèi)容進(jìn)行細(xì)致的處理。 第二，很多課本只是提煉之前的資料或者干脆抄出來(lái)的，寫(xiě)書(shū)的人本身底線(xiàn)就低的一匹，你也不能指望他們能講得有多清楚。這倒不是針對(duì)國(guó)內(nèi)教材，國(guó)外的一樣有大量蛇皮書(shū)。 但是經(jīng)典理論因?yàn)閿傋犹?，很容易在基礎(chǔ)的層面引申出太多技術(shù)結(jié)果和哲學(xué)論證，這又必須對(duì)內(nèi)容有所取舍，把關(guān)鍵的形式化細(xì)節(jié)一絲不茍地講清楚，但是動(dòng)機(jī)性解釋不能太過(guò)發(fā)散，而是要整合少量關(guān)鍵的、合適的資料，這部分資料有如下特點(diǎn)： 不涉及不必要的高級(jí)的技術(shù)結(jié)果，也不以問(wèn)題為導(dǎo)向，而只是對(duì)觀(guān)念的具有很強(qiáng)說(shuō)服力的分析，即哲學(xué)為主，并非技術(shù)為主。這個(gè)典例有tait2005文集。 必須是國(guó)外名校（國(guó)內(nèi)水到幾乎無(wú)需考慮）擁有相關(guān)方向博士學(xué)位、且不是普及作品，而是相關(guān)主題的：博士論文的擴(kuò)充再版、經(jīng)過(guò)修訂的文集、有靠譜編輯的知名學(xué)術(shù)叢書(shū)中的專(zhuān)著。但即使如此，也有可能踩雷浪費(fèi)時(shí)間，意識(shí)到不對(duì)勁需要及時(shí)棄坑！ 這樣謹(jǐn)慎地引入哲學(xué)方面的輔助說(shuō)明，例如集論講到處理class的形式化方案，那么無(wú)需太多太雜，快刀斬亂麻：levy1976這篇文章即可。每個(gè)需要說(shuō)明的關(guān)鍵點(diǎn)整理少數(shù)資料即可。 2，直覺(jué)主義海丁學(xué)派、構(gòu)造主義類(lèi)型論： 先睡覺(jué)，以后再講，但這部分仍是采用死摳細(xì)節(jié)加上整理關(guān)鍵的哲學(xué)資料這個(gè)路子。但這邊其實(shí)有更無(wú)腦之處，海丁學(xué)派最關(guān)鍵的書(shū)就是troelstra1973和構(gòu)造數(shù)學(xué)導(dǎo)論兩卷，吃透這三本書(shū)等于成功大半，其余可能需要補(bǔ)哲學(xué)專(zhuān)著（比方說(shuō)fletcher關(guān)于直覺(jué)主義的那本書(shū)）和手冊(cè)文