Hostname: page-component-848d4c4894-sjtt6 Total loading time: 0 Render date: 2024-06-27T04:13:48.307Z Has data issue: false hasContentIssue false
  • English
  • Français

Finite sets in Quine's new foundations1

Published online by Cambridge University Press:  12 March 2014

C. Ward Henson
C. Ward Henson*
Affiliation:
Duke University
Get access Rights & Permissions [Opens in a new window]

Extract

In this paper we consider some axiomatic systems of set theory related to the system NF (New Foundations) of Quine. In particular we discuss the possible relations of cardinality between a finite set x and its subset class SC(x) = {y | y ∩ x} and also between x and its unit set class USC(x) = {{y} | y ε x}. Specker [5] has shown that in NF the cardinal of a finite set x can never be the same as the cardinal of SC(x).

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 34 , Issue 4 , February 1970 , pp. 589 - 596
Copyright
Copyright © Association for Symbolic Logic 1970

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

1

An earlier version of some of the results in this paper appeared in the author's Ph.D. thesis which was presented to the Massachusetts Institute of Technology. The author is indebted to Hilary Putnam for his helpful advice and encouragement during work on this thesis.

References

[1] Ehrenfeucht, A. and Mostowski, A., Models of axiomatic theories admitting automorphisms, Fundamenta mathematicae, vol. 43 (1956), pp. 50–68.CrossRefGoogle Scholar
[2] Jensen, R. B., On the consistency of a slight (?) modification of Quine's new foundations, Synthese, vol. 19 (1968/1969), pp. 250–263.CrossRefGoogle Scholar
[3] Orey, S., New foundations and the axiom of counting, Duke mathematical journal, vol. 31 (1964), pp. 655–660.CrossRefGoogle Scholar
[4] Rosser, J. B., Logic for mathematicians, McGraw-Hill, New York, 1953.Google Scholar
[5] Specker, E. P., The axiom of choice in Quine's “New Foundations,” Proceedings of the National Academy of Sciences, vol. 39 (1953), pp. 972–975.CrossRefGoogle Scholar
[6] Specker, E. P., Typical ambiguity, Logic, methodology and philosophy of science, Stanford University Press, Stanford, Calif., 1962, pp. 116–124.Google Scholar
[7] Vaught, R. L., Review of [1], this Journal , vol. 31 (1966), pp. 644–645.Google Scholar