蒯因，W．V．0．

【生卒】：1908～

【介绍】：

美国哲学家、逻辑学家。1926年入奥柏林学院攻数学。毕业后于1930年入哈佛大学哲学系当研究生。1931年获硕士学位。1932年获博士学位。1933年起在哈佛大学任职，历任初级研究员、讲师、副教授、教授、高级研究员等职。1957年曾任美国哲学学会东部分会主席。1978年退休。主要逻辑著作有：《数理逻辑》(1940)、《逻辑方法》(1950)、《集合论及其逻辑》(1963)等。主要逻辑哲学著作有：《从逻辑的观点看》(1953)、《逻辑哲学》(1970)等。蒯因是“逻辑实用主义”或“实用主义分析哲学”的重要代表。他在数理逻辑方面的贡献是：发展了罗素的逻辑理论，改进了《数学原理》的系统，构造了简化的NF系统(“NF”是“新基础”的缩写，蒯因在论文《数理逻辑的新基础》中构造了这一系统)。NF系统从3个初始概念出发，只包含15个定义，一条公设和5条规则。这一系统提出了一个既避免了集合论的悖论又不必接受类型论的方法。蒯因认为，NF系统的推演能力也超过《数学原理》的系统。后来，蒯因在《数理逻辑》一书中修改了NF系统，构造了一个更强的而且更方便的系统，该系统缩写为ML。