First-order predicate

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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.

References

^ Flew, Antony (1984), A Dictionary of Philosophy: Revised Second Edition, Macmillan, p. 147, ISBN 9780312209230.

This logic-related article is a stub. You can help Wikipedia by expanding it.

[1] Flew, Antony (1984), A Dictionary of Philosophy: Revised Second Edition, Macmillan, p. 147, ISBN 9780312209230.

[1]

See also

References