In der »Ersten Analytik« entwickelt Aristoteles das erste formallogische System, die Syllogistik; sie stellt eine Theorie des deduktiv gültigen Schlusses (Syllogismus) dar. Allgemein definiert Aristoteles den Syllogismus als »ein Argument, in dem durch Annahme gewisser Prämissen etwas vom Angenommenen Verschiedenes mit Notwendigkeit folgt aufgrund davon, dass jenes ist« (Anal.