Erkenntnis 39 (2):209 - 241 (1993)
AbstractWe 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 books and articles
Sets, Classes, and Categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.
A Mathematical Analysis of Pānini’s Śivasūtras.Wiebke Petersen - 2004 - Journal of Logic, Language and Information 13 (4):471-489.
The Axiom of Choice and the Law of Excluded Middle in Weak Set Theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
Proper Classes Via the Iterative Conception of Set.Mark F. Sharlow - 1987 - Journal of Symbolic Logic 52 (3):636-650.
Added to PP
Historical graph of downloads
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.