Project SherlockEst. Knowledge

Book

350 BCE

Prior Analytics

Aristotle

Introduces the syllogism, cataloguing the argument-forms that guarantee a true conclusion from true premises and founding formal deductive logic.

Before you start

FreeIntermediatelink checked 17 Sept 2026

Groundwork for

Works in the library that name this one as a prerequisite.

An Investigation of the Laws of ThoughtGeorge Boole, 1854Represents logical propositions as algebraic equations obeying their own consistent rules, founding symbolic and propositional logic as a branch of mathematics.

Filed under Logic in Philosophy.