Wie man erst durch die Gründung der modernen formalen Logik durch Frege gelernt hat, gab es in der Antike schon formale Logik; neuere Forschung legt sogar nah, dass Frege von der Stoischen formalen Logik einiges abschrieb (Bobzien 2021). Wichtiger und für das Verständnis der antiken Philosophie gewinnbringender ist es freilich zu verstehen, mit welchem Zweck logische Theorien in der Antike entwickelt wurden und wie sie sich vom Standpunkt der heutigen Logik unterscheiden. In dieser Vorlesung gehen wir der Geschichte antiken der Logik von Aristoteles bis zu Galen nach unter besonderer Berücksichtigung des Umstands, dass semantische Theorien eine zentrale Rolle in der antiken Konzeptualisierung logischer Folge gespielt haben.