- 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. Academic. 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