logic_and_proof icon indicating copy to clipboard operation
logic_and_proof copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

Typo: 1.2 Symbolic Logic, missing "Aristotle"

Open jdonland opened this issue 1 year ago • 0 comments

Current text: "In the Prior Analytics, the ancient Greek philosopher set out to analyze patterns of reasoning, and developed the theory of the syllogism."

Corrected text: "In the Prior Analytics, the ancient Greek philosopher Aristotle set out to analyze patterns of reasoning, and developed the theory of the syllogism."

jdonland avatar Apr 04 '23 23:04 jdonland