Search results
Results from the WOW.Com Content Network
He seems to have assumed that existence is a predicate of a perfection. Thus, if the notion of God did not include existence, it would not be supremely perfect, as it would be lacking a perfection. Consequently, the notion of a supremely perfect God who does not exist, Descartes argues, is unintelligible.
He maintained that predicates do not name, stand for, or rely on the existence of abstract entities (e.g. properties, relations, sets). [16] The way he linked predicates to the things of which they can be predicated is not seen as a full account of the role of the predicates but this allowed his notion to avoid a regress. [16]
If he did not exist, he would be less than perfect. Existence is assumed to be a predicate or attribute of the subject, God, but Kant asserted that existence is not a predicate. Existence or Being is merely the infinitive of the copula or linking, connecting verb "is" in a declarative sentence. It connects the subject to a predicate.
The question of whether or not existence is a predicate has been discussed since the Early Modern period, not least in relation to the ontological argument for the existence of God. Existence, that something is, has been contrasted with essence , the question of what something is.
Disquotationalists are able to explain the existence and usefulness of the truth predicate in such contexts of generalization as "John believes everything that Mary says" by asserting, with Quine, that we cannot dispense with the truth predicate in these contexts because the convenient expression of such generalization is precisely the role of ...
The existential quantifier ∃ is often used in logic to express existence.. Existence is the state of having being or reality in contrast to nonexistence and nonbeing.Existence is often contrasted with essence: the essence of an entity is its essential features or qualities, which can be understood even if one does not know whether the entity exists.
In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier (" ∃x" or "∃(x)" or ...
If existence is not a predicate, then it is not necessarily true that the greatest possible being exists. [46] A common rebuttal to Kant's critique is that, although "existence" does add something to both the concept and the reality of God, the concept would be vastly different if its referent is an unreal Being.