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.

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


 * Principium tertii exclusi, the Principle of the Excluded Third (PET), otherwise known as principium tertium non datur, the Principle (or Law) of the Excluded Middle (LEM). This states that for all statements have a truth value of either true or false.

In the language of symbolic logic:
 * $$p \or \neg p$$.


 * Principium contradictionis, the Principle of Non-Contradiction (PNC). This states that a statement can not be both true and false at the same time.

In the language of symbolic logic:
 * $$\neg \left({p \and \neg p}\right)$$.

Thus, a logical system which includes both of these principles is known as Aristotelian logic.