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

  • N-Triples — Filename extension .nt Internet media type text/plain Developed by W3C Type of format semantic web Container for RDF data …   Wikipedia

  • 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

  • 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

  • open sentence — A sentence containing free variables, i.e. an expression that is not itself interpretable as true or false, but that requires the addition of one or more quantifiers to become a closed sentence. ‘ x loves y ’ is an open sentence; ‘(∃x )(∀y ) x… …   Philosophy dictionary

  • 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

  • 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

Share the article and excerpts

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