Über die Definationen durch Abstraktionen. (Q1834540)

Verf. erhebt auf Grund der Forderung nach möglichst weitgehender Metaphysikfreiheit beim Aufbau exakter Disziplinen Einwände gegen das Verfahren der ``Definition durch Abstraktion''. Dies liegt dann vor, wenn man die Klassen bei der Einteilung der Gegenstände eines Bereiches gemäß einer transitiven, symmetrischen und (bei nicht-leerem Feld) damit reflexiven Relation nach dem Typus ``\textit{das}'' Gemeinsame an . . . (Beispiele: Parallelität--``Richtung'' einer Geraden; Äquivalenz-- ``Kardinalzahl'' einer Menge; Ähnlichkeit--``Gestalt'' einer Figur) zu charakterisieren versucht. Es wird gezeigt, daß Definitionen durch Abstraktionen entbehrlich sind und auch kalkülmäßig ausgemerzt werden können. Die Überlegungen stützen sich auf das \textit{Russell}sche ``Prinzip der Abstraktion'' (Principa Mathematica I, 2. Aufl., 72. 66), das nach Ansicht des Verfassers, nicht der des Ref., mit weniger ``Metaphysik'' bewiesen werden kann, als sie zur Legitimierung der Definitionen durch Abstraktionen erforderlich ist.