Logik ist nach dem traditionellen Verstndnis eine ars iudicandi, eine Kunst, die Gltigkeit von Schlssen zu prfen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden knnen, mssen erst Formeln an die Stelle von Stzen treten: umgangssprachliche Schlsse mssen adquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adquatheitskriterien fr Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausfhrliche und systematische Diskussion von Formalisierungstests bietet eine wichtige Ergnzung zu den traditionellen Logiklehrbchern.