Conservative Extensions
It is common to include in a Hilbert-style deduction system only axioms for implication and negation. Given these axioms, it is possible to form conservative extensions of the deduction theorem that permit the use of additional connectives. These extensions are called conservative because if a formula φ involving new connectives is rewritten as a logically equivalent formula θ involving only negation, implication, and universal quantification, then φ is derivable in the extended system if and only if θ is derivable in the original system. When fully extended, a Hilbert-style system will resemble more closely a system of natural deduction.
Read more about this topic: Hilbert System
Famous quotes containing the words conservative and/or extensions:
“A radical is a man with both feet firmly planted in the air. A conservative is a man with two perfectly good legs, who, however, has never learned to walk forward. A reactionary is a somnambulist walking backwards. A liberal is a man who uses his legs and his hands at the behest ... of his head.”
—Franklin D. Roosevelt (1882–1945)
“If we focus exclusively on teaching our children to read, write, spell, and count in their first years of life, we turn our homes into extensions of school and turn bringing up a child into an exercise in curriculum development. We should be parents first and teachers of academic skills second.”
—Neil Kurshan (20th century)