Definition:Axiom/Logic

From ProofWiki
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.


Linguistic Note

The usual plural form of axiom is axioms.

However, the form axiomata can also sometimes be found, although it is sometimes considered archaic.


Sources