Definition:Classical Logic

From ProofWiki
Jump to navigation Jump to search


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

  • 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.