# Definition:Classical Logic

Jump to navigation
Jump to search

## 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 this 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