Mit den Ersten Analytiken macht Aristoteles erstmalig in der europaischen Wissenschaftsgeschichte das logisch zwingende Argumentieren zum Gegenstand einer systematischen Untersuchung. Dabei gewinnt er im ersten Buch der aus zwei Buchern bestehenden Schrift wichtige Einsichten in die Natur logischer Gultigkeit. Weiter fuhrt er die Idee einer axiomatischen Organisation logischer Theoreme ein, analysiert logisch-semantische Beziehungen zwischen verschiedenen Modalbegriffen sowie Typen von Modalaussagen und beschaftigt sich auch mit heuristischen Aspekten deduktiven Argumentierens. Aristoteles...