Lexikon der Argumente

 

I 360f
Klasse/Wessel: "Was ist eine Klasse?": Das ist die falsche Frage, sie kann zirkelfrei nur als logischer Operator eingeführt werden.
>Operatoren.
Auch als Abstraktion zirkulär: das setzt Individuenbereiche voraus.
>Zirkularität.
Klassenbegriff und Klassenlogik sind überflüssig, dies sind bloß andere Darstellungen des Begriffs der Aussagenfunktion und der klassischen Quantorenlogik.
>Aussagenfunktionen, >Quantorenlogik, >Mengen, >Mengenlehre.
Die Klasse der Amazonen existiert als leere Klasse.
Def Klasse: wenn tA eine Klassenterm, dann ist A eine Klasse.
Problem: Die linke Seite ist existenzbelastet, die rechte nicht.
Lösung: statt Identität nur Bedeutungsgleichheit von Termini.
(t €s P(s) <=> t €s Q(s)) =def As(P(s) ↔ Q(s)) -so wird eine Definition durch Abstraktion eine bloße facon de parler.
>Abstraktion, >Klassenabstraktion.