Categories
  • Predicate logic
  • Concepts in logic
    •   Encyclosphere.org ENCYCLOREADER
      supported by EncyclosphereKSF

    First-order predicate

    Topic: Philosophy

     From Handwiki - Reading time: 1 min

    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

    References

    1. ↑ Flew, Antony (1984), A Dictionary of Philosophy: Revised Second Edition, Macmillan, p. 147, ISBN 9780312209230, https://books.google.com/books?id=MmJHVU9Rv3YC&pg=PA147 .




    Retrieved from "https://handwiki.org/wiki/index.php?title=Philosophy:First-order_predicate&oldid=1026079"
    This article is licensed under CC BY-SA 3.0.
    Original source: https://handwiki.org/wiki/First-order predicate
    Status: article is cached
    Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF