Zeroth-order Logic

Zeroth-order logic is first-order logic without quantifiers. A finitely axiomatizable zeroth-order logic is isomorphic to a propositional logic. Zeroth-order logic with axiom schema is a more expressive system than propositional logic. An example is given by the system Primitive recursive arithmetic, or PRA.

Read more about Zeroth-order Logic:  Example, Relation To General First-order Logic

Famous quotes containing the word logic:

    The much vaunted male logic isn’t logical, because they display prejudices—against half the human race—that are considered prejudices according to any dictionary definition.
    Eva Figes (b. 1932)