n-place predicate

A predicate thought of as an open sentence that requires n variables to be either bound or substituted by a referring expression to make a closed sentence. Thus ‘ x is the daughter of y ’ is a two-place predicate, that can be turned into a sentence either by substitution of names: Mary is the daughter of Emma; or by a name and a quantification binding one variable: (∃x ) Mary is the daughter of x ; or by binding both variables: (∃x )(∃y ) x is the daughter of y .

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • one-place predicate — See n place predicate …   Philosophy dictionary

  • two-place predicate — See n place predicate …   Philosophy dictionary

  • Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… …   Wikipedia

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Finitary relation — This article sets out the set theoretic notion of relation. For a more elementary point of view, see Binary relation. For a combinatorial viewpoint, see Theory of relations. For other uses, see Relation (disambiguation). In set theory and logic,… …   Wikipedia

  • Semiotic elements and classes of signs — C. S. Peirce articles  General:    Charles Sanders Peirce Charles Sanders Peirce bibliography Philosophical:    Categories (Peirce) Semiotic elements and   classes of signs (Peirce) Pragmatic maxim • Pragmaticism… …   Wikipedia

  • Relation (mathematics) — This article sets out the set theoretic notion of relation. For a more elementary point of view, see binary relations and triadic relations. : For a more combinatorial viewpoint, see theory of relations. In mathematics, especially set theory, and …   Wikipedia

  • Atomic sentence — In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example The dog… …   Wikipedia

  • Nominative–accusative language — Nominative accusative alignment Linguistic typology Morphological Isolating Synthetic …   Wikipedia

Share the article and excerpts

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.