Als Wissenschaft vom rationalen Denken hat es sich die Logik zur Aufgabe gemacht, die großen theoretischen Prinzipien herauszuarbeiten, die es ermöglichen, korrekte von irreführenden Argumenten zu unterscheiden. Im Laufe ihrer Geschichte hat sie immer genauere und rigorosere Analysewerkzeuge geschmiedet. Diese Entwicklungen haben zu den verschiedenen formalen Systemen der heutigen symbolischen Logik geführt. Es ist nun möglich, zahlreiche Argumentationen als Berechnungen zu behandeln, deren Gültigkeit allein durch die Einhaltung von zuvor festgelegten Inferenzregeln gewährleistet wird. Die Frage, ob unsere Argumentationen korrekt sind oder nicht, setzt jedoch voraus, dass wir auch andere Kriterien für Relevanz und Legitimität in Betracht ziehen, die sich durch die Untersuchung von Sophismen und Paradoxien e contrario herausarbeiten lassen. Darüber hinaus ist es wichtig, die dialektischen und rhetorischen Dimensionen der Argumentation zu berücksichtigen, d. h. die Art und Weise, wie Argumentationen in alltägliche Debatten einfließen. Dies wird in unserer nächsten Veröffentlichung behandelt.