蒯因著作集：第三卷

集合論及其邏輯（修訂版）宋文淦 譯
邏輯哲學（第2版）宋文淦 譯

修訂是廣泛的。多虧日本翻譯者和出版者的耐心，它們大多數都收進日文版。我很欣慰，這些改進現在都公之於英文讀者。

最新的大改變是在§23中采用了一個公理模式，它一般地設定，一個類如果其成員能映射於小於某序數的諸序數，那它就存在。一般地我在本書中的方針是盡量減少存在假定和推遲它們；而這麽些折中辦法被證明是有價值的。在繼續延遲無窮類的假定的同時，它致力於掃除大多數先前攪擾§§23—27中的定理的存在假設，還簡化了若干證明。該公理模式的一項顯著的結果是不存在最後的序數（新的24.9）的一個證明。

論超窮遞歸的§§25—27則已經是屬於由查爾斯·帕森斯喚起的另一個大改變；參看參考文獻。他看到，我的某些關於這個主題的定理模式，所帶有的存在前提會排除那些模式字母的某些顯然可取的解釋。他表明了可以如何來挽救這種情況，我已采用了他的中心思想。

帕森斯還指出了我對超窮遞歸的處理中的第二個也是較小的局限性，並表明如何克服它。不過它是僅當存在一個最後的序數時才起作用的局限性；而如上所述，這種偶發事情現已排除。因此我在這一點上沒有追隨帕森斯。

另一個值得注意的修訂是伯爾頓·德里本所敦促的：重新組織論無窮基數的§30。關系到基礎公理和替換公理模式的擴充和改正，也是德里本與肯尼斯·布朗促使的。布朗與王浩的一些發現還導致我在§13中和別處插進關於公理的其他某些點。論類型論的諸變種的§37已經主要按照戴維·卡普南的發現加以改進；其中的一種情形是消去在一個階段作為公理的『（Ex）Tox』。

整本書都已做了許多小的改進。這里那里，縮短了一個證明，加強了一條定理，改正了一個理論錯誤或書寫錯誤，插進一條節省篇幅的引理，澄清一處晦澀，改正一個歷史錯誤或補充一項遺漏，注明一個新事件。在這些方面，我各別地受惠於伯爾頓·德里本，約翰·登頓，讓·范．埃讓諾爾，亨利·希斯，索爾·克里普克，戴維·K·劉易斯，唐納德．馬丁，尾道明，查爾斯·帕森斯，戴爾·R·桑姆森，托馬斯『斯堪隆，萊斯利·塔普，約瑟夫·S·厄爾利安，吉田夏彥。

我心懷感激地領受了國家科學基金會的一項資助（GP-228），它既支持了1963年第一版的校對和索引編制工作，又支持了我的這次修訂工作。

W．V．O．蒯因
1967年4月