Higher Order Logic

From CIMI
Revision as of 21:41, 13 February 2012 by Jay Lyle (Talk | contribs) (Created page with "{{definition}} {{Reference_Definition| A logic is called higher order if it allows sets to be quantified or if it allows sets to be elements of other sets. Higher Order Logic...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


Definition:
Reference Definition: A logic is called higher order if it allows sets to be quantified or if it allows sets to be elements of other sets. Higher Order Logics becomes relevant when dealing with modalities, such as certainty or necessity. (McMaseter University web site)


See also: First Order Predicate Logic
Category: Information Model