Lexicon of Arguments

 

I 80
Necessary existence/KantVs/Field: nothing can be negated with all its predicates, and nevertheless leave a contradiction. - (VsOntological proof of God).
>Proofs of God's existence.
Existence/Field: should not be part of the logic. - Therefore, mathematics cannot be reduced to logic. - Otherwise, too many properties would have to be assumed.
>Infinity, >Properties.
I 155
Semantic/syntactic/singular Term/Denotation/Ontology/FieldVsWright: it is not built into the syntax that, e.g. The singular term "4" denotes. - (i.e. that the number is an object).
Just as little as "God". - So syntax cannot be the criterion for existence.
>Syntax, >Semantics, >Proofs, >Criteria, >Singular terms.
I 167
Existence/Ontology/FieldVsWright: existence does not follow from "explanation of the term", otherwise God's existence would follow from the explanation of the term "God".
>Explanations.
Term explanation is only conditionally: "if there is a God, he is omnipotent".
Cf. >Omnipotence.
Solution: the term-introducing theory must not be true - existence generalization.
>Introduction, >Existential generalization.
False: from self-identity no existence can be concluded, only in the reverse direction.
>Identity, >Self-identity.