Definition:Classical Logic

Definition

Classical logic is a general term for the study of logic as it was initiated by Aristotle.

Also known as

Some sources refer to classical logic as Aristotelian logic, after Aristotle.

Also see

• Definition:Symbolic Logic, which to a certain extent can be considered as having supplanted classical logic.

• Results about classical logic can be found here.

Historical Note

The foundations of the branch of logic know referred to as classical logic were laid down by Aristotle in the $4$th century BCE.

He did such a thorough job of what he did that logic was considered a finished science, and no significant contributions to the subject were made for another two thousand years.

Sources

• 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): Chapter $\text I$ Introductory: $1$. Symbolic Logic and Classical Logic
• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): many-valued logic
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): many-valued logic