威拉德·范·奥曼·蒯因自传

数理逻辑

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

这是20世纪后半期最杰出分析哲学家蒯因之作。他创作了十部专著、无数论文，这些作品在西方哲学界都有着深刻的影响。本著作集第一次把蒯因著作系统地介绍给中文读者。本书为该著作集的第一卷。本卷包括两部论著：《威拉德·范·奥曼·蒯因自传》（1986）和《数理逻辑》（1940）。