# Definition:Axiom/Logic

Jump to navigation
Jump to search

## Definition

An **axiom** in logic is a statement which is taken as **self-evident**.

Note, however, that there has been disagreement for as long as there have been logicians and philosophers as to whether particular statements are true or not.

For example, the Law of Excluded Middle is accepted as axiomatic by philosophers and logicians of the Aristotelian school but is denied by the intuitionist school.

## Also known as

The name **primitive proposition** can sometimes be found for **axiom**.

## Sources

- 1910: Alfred North Whitehead and Bertrand Russell:
*Principia Mathematica: Volume $\text { 1 }$*... (previous) ... (next): Chapter $\text{I}$: Preliminary Explanations of Ideas and Notations - 1972: A.G. Howson:
*A Handbook of Terms used in Algebra and Analysis*... (previous) ... (next): $\S 1$: Some mathematical language: Axioms