|Existence, philosophy, logic: the fact that there is something to which properties can be attributed. That does not mean that something has to be given immediately or can be perceived by the senses. See also ontology, properties, predicates, existence statements, realism, quantification, ascription._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
Necessary existence/KantVs/Field: nothing can be negated with all its predicates, and nevertheless leave a contradiction. - (VsOntological proof of God).
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.
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.
Existence/Ontology/FieldVsWright: does not follow from "explanation of the term", otherwise God's existence would follow from the explanation of the term "God".
Term explanation only conditionally: "if there is a God, he is omnipotent".
Solution: the term-introducing theory must not be true - existence generalization.
False: from self-identity no existence can be concluded, only reversed._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
Realism, Mathematics and Modality Oxford New York 1989
Truth and the Absence of Fact Oxford New York 2001
Science without numbers Princeton New Jersey 1980