existential import
The implications of a proposition as to what exists. If a proposition entails the existence of something, then it has existential import. It should be noticed that in the predicate calculus the universal quantification (∀x )(F x → G x ) has no existential import, since it is true when nothing is F.

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • import, existential — See existential import …   Philosophy dictionary

  • Syllogism — A syllogism (Greek: συλλογισμός – syllogismos – conclusion, inference ) is a kind of logical argument in which one proposition (the conclusion) is inferred from two or more others (the premises) of a certain form. In antiquity, there were… …   Wikipedia

  • Square of opposition — In the system of Aristotelian logic , the square of opposition is a diagram representing the different ways in which each of the four propositions of the system are logically related ( opposed ) to each of the others. The system is also useful in …   Wikipedia

  • Empty domain — In first order logic the empty domain is the empty set having no members. In traditional and classical logic domains are restrictedly non empty in order that certain theorems be valid. Interpretations with an empty domain are shown to be a… …   Wikipedia

  • List of philosophy topics (D-H) — DDaDai Zhen Pierre d Ailly Jean Le Rond d Alembert John Damascene Damascius John of Damascus Peter Damian Danish philosophy Dante Alighieri Arthur Danto Arthur C. Danto Arthur Coleman Danto dao Daodejing Daoism Daoist philosophy Charles Darwin… …   Wikipedia

  • Miss Lonelyhearts —   1949 first UK edition cover …   Wikipedia

  • Contraposition (traditional logic) — In traditional logic, contraposition is a form of immediate inference in which from a given proposition another is inferred having for its subject the contradictory of the original predicate, and in some cases involving a change of quality… …   Wikipedia

  • ÊTRE (philosophie) — La «question sur l’être» traverse l’histoire de la philosophie. Pour certains, elle serait le motif même de cette histoire, les différences entre les philosophies découlant, au plus profond, de la diversité des réponses à la question sur l’être.… …   Encyclopédie Universelle

  • epistemology — epistemological /i pis teuh meuh loj i keuhl/, adj. epistemologically, adv. epistemologist, n. /i pis teuh mol euh jee/, n. a branch of philosophy that investigates the origin, nature, methods, and limits of human knowledge. [1855 60; < Gk… …   Universalium

  • Free logic — is a logic with no existential presuppositions. Alternatively, it is a logic whose theorems are valid in all domains, including the empty domain. Explanation In classical logic there are theorems which clearly presuppose that there is something… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”