|Existence statement, existence assertion, philosophy, logic: the simple assertion of the existence of an object is problematic because it cannot be empirically refuted. In contrast, quantification is the attribution of properties, not of "naked" existence. E.g. "Socrates exists" is considered by some authors as senseless. See also bare particulars, predication, existence, quantification, existence predicate, iota operator.|
Books on Amazon
|Hintikka I 72
Wittgenstein goes further than Frege: individual existence is inexpressible, only by existential quantifier (higher-order predicate) - but possible situations are considered possible (Tractatus).
Disjunction/disjunctive/existence/existence theorem/expressions/inexpressibility/Wittgenstein/Hintikka: since existence of a single thing (particular, object) is not expressible: disjunction plus existential quantifier for types.
Tetens VII 137
Present King of France/Russell/Tractatus/Wittgenstein/Tetens: solution: as an existence sentence it is not meaningless: - "there is exactly one object x, x is the current King ...." - then the sentence is just wrong - error: to interpret it as a predication: - logical form: Fa - in this case the object would have to exist, so that the sentence can make sense.
Vorlesungen 1930-35 Frankfurt 1989
Das Blaue Buch - Eine Philosophische Betrachtung Frankfurt 1984
Tractatus Logico Philosophicus Frankfurt/M 1960
Jaakko and Merrill B. Hintikka
The Logic of Epistemology and the Epistemology of Logic Dordrecht 1989
J. Hintikka/M. B. Hintikka
Untersuchungen zu Wittgenstein Frankfurt 1996
Geist, Gehirn, Maschine Stuttgart 1994
Tractatus - Ein Kommentar Stuttgart 2009