De Griekse filosoof Aristoteles (384- 322 v. Chr.) wordt wel de grondlegger van de logica genoemd. Hij vroeg zich af wanneer een uitspraak (zin) waar was. Hij stelde dat een zin waar is, als hij is af te leiden uit ware zinnen. Zo'n afleiding noemen we een syllogisme. Hij bedacht geldige en ongeldige syllogismen.