<p>内容提要</p>    <p>本卷包括两部论著：《威拉德·范·奥曼·蒯因自传》（1986）和《数理逻辑》（1940）。前者是蒯因为“在世哲学家文库”《蒯因哲学》卷所写的简明自传；后者是蒯因的一部重要的逻辑著作，在其中，他仍然坚持逻辑主义纲领，试图从逻辑中推导出数学，把先前在《数理逻辑的新基础》（1937）一文中提出的NF系统，修改为ML系统，这是一个把命题逻辑、量化理论和集合论集为一身的系统

蒯因著作集（第1卷）

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