论文信息 - The Burali-Forti Paradox

The Burali-Forti Paradox

The year 1897 saw the publication2 of the first of the modern logical paradoxes. It was published by Cesare Burali-Forti, the Italian mathematician whose name it has come to bear. BuraliForti's own formulation of the paradox was not altogether satisfactory, as he had confused wellordered sets as defined by Cantor with what he himself called "perfectly ordered sets" ("Classe parfettamente ordinata").3 However, he soon realized his mistake, and published a note admitting the error and making the correction.4 He concluded the note with the observation that his result could be established on the basis of the correct definition of well-ordered set as easily as for the "perfectly ordered sets" for which it had first been obtained.5 We shall reproduce his results in their corrected form.

Irving M. Copi

[1] B. Russell. Mathematical Logic as Based on the Theory of Types , 1908 .

[2] E B B A Philip Jourdain,et al. VII. On the transfinite cardinal numbers of well-ordered aggregates , 1904 .

[3] Gyula Kőnig. Neue Grundlagen der Logik, Arithmetik und Mengenlehre , 1914 .

[4] J. Barkley Rosser,et al. The Burali-Forti paradox , 1942, Journal of Symbolic Logic.

[5] Dmitri Mirimanoff,et al. Les antinomies de Russell et de Burali-Forti et le problème fondamental de la théorie des ensembles , 1917 .

[6] G. H. H.,et al. The Theory of Functions of a Real Variable and the Theory of Fourier's Series , 1907, Nature.

[7] K Grelling,et al. Bemerkungen zu den Paradoxieen von Russell und Burali-Forti , 1907 .

[8] B. Russell. On Some Difficulties in the Theory of Transfinite Numbers and Order Types , 1907 .

[9] B. Russell,et al. On Some Difficulties in the Theory of Transfinite Numbers and Order Types. , 1906 .

[10] Gerhard Hessenberg. Grundbegriffe der Mengenlehre , 1906 .

[11] Philip E. B. Jourdain,et al. A proof that every aggregate can be well-ordered , 1918 .