First-Order Predicate
From Handwiki Short description: Logical statement with variables, predicates, and quantifiers over objects
In mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s).[1] Compare second-order predicate and higher-order predicate.
This is not to be confused with a one-place predicate or monad, which is a predicate that takes only one argument. For example, the expression "is a planet" is a one-place predicate, while the expression "is father of" is a two-place predicate.
See also
- First-order predicate calculus
- Monadic predicate calculus
References
- ↑ Flew, Antony (1984), A Dictionary of Philosophy: Revised Second Edition, Macmillan, p. 147, ISBN 9780312209230, https://books.google.com/books?id=MmJHVU9Rv3YC&pg=PA147.
 |  |
Categories: [Predicate logic] [Concepts in logic]
↧ Download as ZWI file | Last modified: 08/13/2026 04:18:50 | 3 views
☰ Source: https://handwiki.org/wiki/Philosophy:First-order_predicate | License: CC BY-SA 3.0
✘
ZWI is not signed. [what is this?]
ZWI viewer
by the 
KSF
KSF