Let the
existential quantifier '[there exists]x' range over the domain of all propositions [alpha] (that is, statements which have a definite truth-value).
It is pertinent to observe that English presents a different linguistic expression which is also ordinarily rendered as an
existential quantifier, but which shows the opposite pattern from some.
Queries that have twisted universal and
existential quantifiers can be stunning for students, practitioners, or even instructors.
Similarly use
existential quantifiers to eliminate z-variables from L(SC)-atomic formulas.
The same argument shows that even if "natural number", "zero" and "successor" are logical terms, they are not definable using negation, identity, and the first-order
existential quantifier alone.
Hintikka adds a proviso that 'moves connected with
existential quantifiers are always independent of earlier moves with
existential quantifiers' (p.
Therefore, the
existential quantifier on z only depends on x and can be moved before [inverted] Ay.
Then, letting "([sigma]-x)" be a substitutional
existential quantifier, we can try formulations like
This second-order property is of course expressed by the
existential quantifier (and its dual by the universal quantifier).
Wittgenstein's contribution is the view of the Tractatus: "The world is the totality of facts, not of things." Puntel finds here an alternative to the materialist ontology that analytic philosophers take for granted when translating everyday speech into first-order predicate logic, using an
existential quantifier that carries illegitimate ontological baggage: there is no "x" apart from the facts themselves.
Predicate-vagueness is characterised by "there being border cases", yet the
existential quantifier is precise(3) so the notion of a border case must be vague.(4)
Questions of ontological import are considered from a perspective that does not accord existential import to the so-called (though only called so since Frege)
Existential Quantifier. As with today's discussion of what is known as Frege's Puzzle, we have explanations of intensional contexts and the inferences they are involved in.
For "predicate-vagueness is characterised by 'there being border cases', yet the
existential quantifier is precise".
The naive view of existence is as a first order predicate and not as derivative from the so-called
existential quantifier. McGinn's naive concept of predication is namelike; predicates construed as the common noun "red" refer to properties such as the property of being red.
Thus, my suggestion that the constructibility quantifier has virtually the same semantics as the ordinary,
existential quantifier. The "myth" of possible worlds is just the myth of model theory.
