Prädikative Klassen

Erkenntnis 39 (2):209 - 241 (1993)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 74,649

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Arithmetical Set Theory.Paul Strauss - 1991 - Studia Logica 50 (2):343 - 350.
Plural Quantification and Classes.Gabriel Uzquiano - 2003 - Philosophia Mathematica 11 (1):67-81.
Sets, Classes, and Categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.
Sets and Classes as Many.John L. Bell - 2000 - Journal of Philosophical Logic 29 (6):585-601.
A Mathematical Analysis of Pānini’s Śivasūtras.Wiebke Petersen - 2004 - Journal of Logic, Language and Information 13 (4):471-489.
Proper Classes Via the Iterative Conception of Set.Mark F. Sharlow - 1987 - Journal of Symbolic Logic 52 (3):636-650.


Added to PP

26 (#443,947)

6 months
1 (#419,921)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Dilemma in the Philosophy of Set Theory.Ralf-Dieter Schindler - 1994 - Notre Dame Journal of Formal Logic 35 (3):458-463.

Add more citations

References found in this work

The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
Mathematical Logic.W. V. Quine - 1940 - Cambridge: Harvard University Press.
The Iterative Conception of Set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.
What is Cantor's Continuum Problem?Kurt Gödel - 1947 - Journal of Symbolic Logic 13 (2):176--187.
From Mathematics to Philosophy.Hao Wang - 1974 - London and Boston: London.

View all 19 references / Add more references