Higher-order Logic

In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and a stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.

Read more about Higher-order Logic:  Higher-order Simple Predicate Logic, Examples, Criticism

Famous quotes containing the word logic:

    “It is the logic of our times,
    No subject for immortal verse—
    That we who lived by honest dreams
    Defend the bad against the worse.”
    —Cecil Day Lewis (1904–1972)