Books by Georg Brun

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.

Focuses on the claim that we cannot but account for emotions if we are to understand the processes and evaluations related to empirical knowledge.