Category:Aristotelian Logic

From ProofWiki
Jump to: navigation, search

This category contains results about Aristotelian Logic.
Definitions specific to this category can be found in Definitions/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 intuitionistic school do not accept the Law of the Excluded middle value.


This category has the following 2 subcategories, out of 2 total.