Category:Aristotelian Logic

Aristotelian logic is a system of logic which is based upon the philosophy of Aristotle. It forms the cornerstone of the entirety of "classical" logic.

This school of philosophy forms the basis of mainstream mathematics, although, for example, mathematicians of the intuitionist school do not accept the Law of the Excluded middle value.

It was Aristotle who, in particular, introduced the following two axioms of logic:

Principle of Non-Contradiction (PNC)
Thus, a logical system which includes both of these principles is known as Aristotelian logic.