Books on Amazon
Individuals/Quine: Problem: if y and z are elementless, we obtain y = z due to the extensionality law as it is formulated here - i.e. there is only one single elementless thing - if it is the empty class, then individuals are not elementless - if individuals are elementless, and if they exist at all, then there is only one individual and not an empty class - solution: we do not have to regard individuals as elementless - They are identical with their class of one - and also with the class of one of this class, etc.
Individuals/QuineVsFraenkel: individuals are not elementless - solution: individuals are identical with their classes of one - therefore "Tnx" is no longer needed to protect y from the flood of individuals. And now that the zero classes of all types are identified with each other, "Tnx" is no longer required to fend off the tide of zero classes - power set axiom/cumulative theoretical terms: we can now accept it without protection: Ey∀x(x e y ↔ x ⊆ z). With this we are even more liberal than Zermelo.
Wort und Gegenstand Stuttgart 1980
Theorien und Dinge Frankfurt 1985
Grundzüge der Logik Frankfurt 1978
Mengenlehre und ihre Logik Wiesbaden 1967
Die Wurzeln der Referenz Frankfurt 1989
Unterwegs zur Wahrheit Paderborn 1995
From a logical point of view Cambridge, Mass. 1953
Bezeichnung und Referenz
Zur Philosophie der idealen Sprache, J. Sinnreich (Hg), München 1982
Philosophie der Logik Bamberg 2005
Ontologische Relativität Frankfurt 2003