Abstract
We consider certain predicative classes with respect to their bearing on set theory, namely on its semantics, and on its “ontological power”. On the one hand, our predicative classes will turn out to be perfectly suited for establishing a nice hierarchy of metalanguages starting from the usual set theoretical language. On the other hand, these classes will be seen to be fairly inappropriate for the formulation of strong principles of infinity. The motivation for considering this very type of classes is a reasonable philosophy of set theory. Familiarity is assumed only with basic concepts of both set theory and its philosophy.
Similar content being viewed by others
Literatur
Bernays, P.: 1964, ‘On Platonism in Mathematics’, in Putnam (ed.),Philosophy of Mathematics, Benacerraf, Englewood Cliffs, New Jersey.
Bernays, P.: 1961, ‘Zur Frage der Unendlichkeitsschemata in der Axiomatischen Mengenlehre’, in Fraenkel (ed.),Essays on the Foundations of Mathematics, Jerusalem, pp. 3–49.
Blau, U.: 1985, ‘Die Logik der Unbestimmtheiten und Paradoxien (Kurzfassung)’,Erkenntnis 22, 369–459.
Blau, U.: 1985a,Die Logik der Unbestimmtheiten und Paradoxien, unveröffentl. Manuskript München 1985ff.
Boolos, G.: 1971, ‘The Iterative Conception of Set’,J. of Philosophy 68, 215–232.
Gödel, K.: 1965, ‘Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics’, in Davis (ed.),The Undecidable, New York, pp. 84–88.
Gödel, K.: 1964, ‘What is Cantor's Continuum Problem?’, in Putnam (ed.),Philosophy of Mathematics, Benacerraf, Enlewood Cliffs, New Jersey, pp. 470–485.
Kanamori, K. and Magidor, M.: 1978, ‘The Evolution of Large Cardinal Axioms in Set Theory’, in Müller, Scott (eds.),Higher Set Theory, Berlin, pp. 99–275.
Lévy, A. and Vaught, R.: 1961, ‘Principles of Partial Reflection in the Set Theories of Zermelo and Ackermann’,Pacific J. of Math. 11, 1045–1062.
Maddy, P.: 1983, ‘Proper Classes’,J. Symbolic Logic 48, 113–139.
Marshall, M. V.: 1989, ‘Higher Order Reflection Principles’,J. Symbolic Logic 54, 474–489.
Montague, R. and Vaught, R.: 1959, ‘Natural Models of Set Theory’,Fund. Math. 47, 219–242.
Mostowski, A.: 1950, ‘Some Impredicative Definitions in the Axiomatic Set-Theory’,Fund. Math. 37, 111–124.
Parsons, Ch.: 1974, ‘Sets and Classes’,Nous 8, 1–12.
Quine, W. V.: 1940,Mathematical Logic, Cambridge, Mass.
Reinhardt, W. N.: 1974, ‘Remarks on Reflection Principles, Large Cardinals, and Elementary Embeddings’, in Jech (ed.),Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, Vol. 13, Part II, pp. 189–205.
Scott, D.: 1974, ‘Axiomatizing Set Theory’, in Jech (ed.),Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, Vol. 13, Part II, pp. 207–214.
Tarski, A.: 1956, ‘The Concept of Truth in Formalized Languages’, inLogic, Semantics, Metamathematics, Oxford, pp. 152–278.
Takeuti, G.: 1969, ‘The Universe of Set Theory’, in Buloff et al. (eds.),Foundations of Mathematics, Berlin, pp. 74–128.
Tiles, M.: 1989,The Philosophy of Set Theory, Oxford.
Wang, H.: 1974,From Mathematics to Philosophy, London.
Wang, H.: 1977, ‘Large Sets’, in Butts, Hintikka (eds.),Logic, Foundations of Mathematics and Computability Theory, Dordrecht, pp. 309–333.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schindler, RD. Prädikative klassen. Erkenntnis 39, 209–241 (1993). https://doi.org/10.1007/BF01128229
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01128229