读过《From a Logical Point of View》 🌕🌕🌕🌕🌕
论何物存在、两个教条、NF。Quine最初提出NF时曾一度乐观地以为,在证明了存在全集,并且存在无穷多个集合,如每个Zermelo式的自然数都存在的情况下,立刻可以证明无穷集的存在,因此NF相比类型论和ZF,连无穷公理都不需要。全然没有意识到这背后潜藏的巨大困难。
Book
From a Logical Point of View
Douban
Willard V. Quine
publishing house:
Harvard University Press
1980
- 5
These nine essays are largely concerned with the theory of meaning and references—semantics. At the same time adjacent portions of phil osophy and logic are discussed. To the existence of what objects may a given scientific theory be said to be committed? And what considerations may suitably guide us in accepting or revising such ontological commitments? These are among the questions dealt with in this book, particular attention being devoted to the role of abstract entities in mathematics. There is speculation on the mechanism whereby objects of one sort or another come to be posited a process in which the notion of identity plays an important part.