The Burali-Forti paradox
- 12 March 1942
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 7 (1) , 1-17
- https://doi.org/10.2307/2267550
Abstract
In the system presented by Quine in his book Mathematical logic, one can derive the Burali-Forti Paradox. It is the purpose of this paper to present the details of this derivation. For the derivation, only familiarity with Quine's book is assumed.The present derivation is based on the derivations given by Hobson and by Whitehead and Russell.In both these sources, the primary interest is the theory of ordinals, and the Burali-Forti Paradox is of interest only as something to be avoided. In the present paper the primary interest is the Burali-Forti Paradox, so that much of the theory of ordinals is absent from this paper and only those details remain which are relevant to the derivation of the paradox.Keywords
This publication has 3 references indexed in Scilit:
- On the theory of typesThe Journal of Symbolic Logic, 1938
- New Foundations for Mathematical LogicThe American Mathematical Monthly, 1937
- New Foundations for Mathematical LogicThe American Mathematical Monthly, 1937