This is a preview of subscription content, log in via an institution to check access.
References
Boolos, G.: 1971, ‘The Iterative Conception of Set’, reprinted in P. Benacerraf and H. Putnam (eds.), Philosophy of Mathematics, 2nd ed. (Cambridge University Press, 1983), pp. 486–502, hereinafter cited as “B&P”.
Cocchiarella, N. B.: 1986, Logical Investigations of Predication Theory and the Problem of Universals, Bibliopolis, Naples.
Cocchiarella, N. B.: 1989, ‘Philosophical Perspectives on Formal Theories of Predication’, in D. Gabbay and F. Guenthner (es.), Handbook of Philosophical Logic, vol. 4, D. Reidel, Dordrecht.
Drake, F. R.: 1974, Set Theory: An Introduction to Large Cardinals, North Holland, Amsterdam.
Dummett, M. A. E.: 1977, Elements of Intuitionism, Oxford University Press, New York.
Fraenkel, A., Y. Bar-Hillel, and A. Lévy: 1973, Foundations of Set Theory, 2nd ed., North Holland, Amsterdam.
Gallen, D.: 1975, Intensional and Higher-Order Modal Logic, North Holland, Amsterdam.
Gödel, K.: 1947, ‘What is Cantor's Continuum Problem?’, in B&P (op. cit. Boolos), pp. 470–85.
Goodman, N.: 1955, Fact, Fiction, and Forecast, Harvard University Press Cambridge.
Hallett, M.: 1984, Cantorian Set Theory and Limitation of Size, Oxford University Press, Oxford.
Hellman, G.: 1989, Mathematics without Numbers, Oxford University Press, Oxford.
Jech, T.: 1978, Set Theory, Academic Press, New York.
Kanamori and Magidor: 1978, ‘The Evolution of Large Cardinal Axioms in Set Theory’, in G. H. Muller and D. S. Scott (eds.), Higher Set Theory, Springer Lecture Notes in Mathematics, vol. 669, Springer, Berlin.
Kreisel, G.: 1967, ‘Informal Rigour and Completeness Proofs’, in I. Lakatos (ed.), Problems in the Philosophy of Mathematics, North Holland, Amsterdam.
Lévy, A.: 1960, ‘Axiom Schemata of Strong Infinity in Axiomatic Set Theory’, Pacific Journal of Mathematics 10, 223–39.
Maddy, P.: 1983, ‘Proper Classes’, Journal of Symbolic Logic 48, 113–39.
Menzel, C.: 1986, ‘On the Iterative Explanation of the Paradoxes’, Philosophical Studies 49, 37–61.
Moore, G. H.: 1980, ‘Beyond First-Order Logic: the Historical Interplay between Mathematical Logic and Axiomatic Set Theory’, History and Philosophy of Logic 1, 95–137.
Putnam, H.: 1967, ‘Mathematics without Foundation’, reprinted in B&P (op. cit. Boolos), pp. 295–311.
Reinhardt, W.: 1974a, ‘Remarks on Reflection Principles, Large Cardinals and Elementary Embeddings, in T. Jech (ed.), Axiomatic Set Theory (Proceedings of Symposia in Pure Mathematics, vol. 13, part 2), American Mathematical Society, Providence, Rhode Island, pp. 189–205.
Reinhardt, W.: 1974b, ‘Set Existence Principles of Shoenfield, Ackermann, and Powell’, Fundamenta Mathematicae 84, 5–34.
Scott, D.: 1974, ‘Axiomatizing Set Theory’, in T. Jech (ed.), op. cit. Reinhardt (1974a), pp. 207–14.
Shapiro, S.: 1985, ‘Second Order Languages and Mathematical Practice’, Journal of Symbolic Logic 50, 714–42.
Sheperdson, J. C.: 1951–1953, ‘Inner Models for Set Theory’, Journal of Symbolic Logic 16, 161–90; 17, 225–37; 18, 145–67.
Shoenfield, J.: 1977, ‘Axioms of Set Theory’, in J. Barwise (ed.), Handbook of Mathematical Logic, North Holland, Amsterdam, pp. 321–44.
Tait, W. W.: ‘The Iterative Concept of Set’, unpublished paper.
Weston, T.: 1976, ‘Kreisel, the Continuum Hypothesis, and Second Order Set Theory’, Journal of Philosophical Logic 5, 281–98.
Zermelo, E.: 1930, ‘Über Grenzzahlen und Mengenbereiche: neue Untersuchungen über die Grundlagen der Mengenlehre’, Fundamenta Mathematica 16, 29–47.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hellman, G. Toward a modal-structural interpretation of set theory. Synthese 84, 409–443 (1990). https://doi.org/10.1007/BF00485188
Issue Date:
DOI: https://doi.org/10.1007/BF00485188