Definition:Aristotelian Logic

From ProofWiki
Jump to: navigation, search

Definition

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.


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


Law of Excluded Middle (LEM)

The law of (the) excluded middle can be expressed in natural language as:

Every statement is either true or false.


This is one of the Aristotelian principles upon which rests the whole of classical logic, and the majority of mainstream mathematics.


The LEM is rejected by the intuitionistic school, which rejects the existence of an object unless it can be constructed within an axiomatic framework which does not include the LEM.


Principle of Non-Contradiction (PNC)

The Principle of Non-Contradiction can be expressed in natural language as follows:

A statement can not be both true and not true at the same time.


This means: if we have managed to deduce that a statement is both true and false, then the sequence of deductions show that the pool of assumptions upon which the sequent rests contains assumptions which are mutually contradictory.


Thus it provides a means of eliminating a logical not from a sequent.


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


Also see

  • Results about Aristotelian logic can be found here.


Source of Name

This entry was named for Aristotle.


Sources