蒯因著作集（第3卷）认领

本卷包括兩部論著：《集合論及其邏輯》（1963）和《邏輯哲學》（1970）。前者是一部關於抽象集合論及其各種公理方法系統化的導引性著作。作者從一種對無窮類的存在無所示意的形式系統開始，在需要假定無窮類時，他容許這些假定只作為特別定理的明說的假設。在帶有總結性的最後幾章中，他描述了羅素的類型論、策梅洛系統、馮·諾尹曼系統和他本人的兩個系統，以及當時的某些發展，還探索了這些系統之間的邏輯聯繫。在後者中... 更多