monadic predicate
Quick Summary
In logic, a monadic predicate is a term that describes a property or characteristic of a single subject. It is also known as a one-place predicate or a propositional function with a single argument. For example, in the statement "Socrates is wise," "is wise" is the monadic predicate, and "Socrates" is the argument.12
This contrasts with predicates that involve relations between multiple subjects, such as "Tom is a son of John," where "is a son of" is a two-place predicate with two arguments. Predication involves attributing characteristics to a subject to form a meaningful statement.13
Ask Britannica AI about this topic
Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.
formal logicThe predicate calculus…is said to be a monadic, or one-place, predicate (variable). Predicates with two or more arguments stand not for properties of single individuals but for relations between individuals. Thus the proposition “Tom is a son of John” is analyzable into two names of individuals (“Tom” and “John”) and a dyadic…
Read More…is said to be a monadic, or one-place, predicate (variable). Predicates with two or more arguments stand not for properties of single individuals but for relations between individuals. Thus the proposition “Tom is a son of John” is analyzable into two names of individuals (“Tom” and “John”) and a dyadic…
Read More- formal logicSpecial systems of LPC
…that every predicate variable be monadic while still allowing an infinite number of individual and predicate variables. The atomic wffs are then simply those consisting of a predicate variable followed by a single individual variable. Otherwise, the formation rules remain as before, and the definition of validity is also as…
Read More…that every predicate variable be monadic while still allowing an infinite number of individual and predicate variables. The atomic wffs are then simply those consisting of a predicate variable followed by a single individual variable. Otherwise, the formation rules remain as before, and the definition of validity is also as…
Read More