美国逻辑学家、哲学家蒯因(Willard van Orman Quine，1908～ )的着作。1940年出版。1951年出修订版。1937年2月作者在《美国数学月刊》上发表了《数理逻辑的新基础》一文，该文提出了一个称为NF的谓词逻辑系统。本书则把NF系统发展为ML系统。在NF系统中，作者用较简单的分层理论代替逻辑类型论，认为若能把一命题公式中的变元以一种使∈仅出现于“n∈(n+1)”形式中的方式代元以数字，则该命题公式是分层的;与分出的公式图式对应的是抽象规则要求，实施，抽象的那个公式应是分层的。在ML系统中，NF的规则不被代之以两个规则，一个是关于类存在的，一个是关于元素身分的。类存在规则预定了满足任一条件中(分层的或不分层的)的所有元素的类的存在;关于元素身分的规则预定了，刚好是对于NF存在的那些类具有元素身分。作者认为，ML系统比NF系统更强且更方便，它们的关系类似于冯诺意曼系统与策墨罗系统的关系。

本文地址： https://www.yishiweijian.com/zhishibk/20230133807.html

文章来源：主编

版权声明：除非特别标注，否则均为本站原创文章，转载时请以链接形式注明文章出处。