Books in the Logos, 2 series

Logik ist nach dem traditionellen Verstandnis eine ars iudicandi, eine Kunst, die Gultigkeit von Schlussen zu prufen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden konnen, mussen erst Formeln an die Stelle von Satzen treten: umgangssprachliche Schlusse mussen adaquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adaquatheitskriterien fur Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausfuhrliche und systematische Diskussion von Formalisierungstests bietet eine wichtige Erganzung zu den traditionellen Logiklehrbuchern.