Lexicon of Arguments

 

I 360f
Class/Wessel: "What is a class?": Wrong question, without circularity it can only be introduced as a logical operator.
>Operators.
It is also circular as abstraction: requires individual domains.
>Circular reasoning.
Th concept of class and class logic superfluous, merely different representations of the concept of the propositional function and the classical quantifier logic.
>Propositional functions, >Quantifier logic, >Sets, >Set theory.
The class of Amazons exists as an empty class.
Def Class: if tA is a class term, then A is a class.
Problem: the left side is burdened by existence,the right side is not.
Solution: instead of identity only meaning equality of terms
(t €s P(s) <=> t €s Q(s)) =def As(P(s) ↔ Q(s)).
Thus a definition by abstraction becomes a mere facon de parler.
>Abstraction, >Class abstraction.