Das Lehrbuch "Logik ohne Qual" ist eine umfassende Abhandlung über die klassische Logik, welche in Form und Inhalt auf auf einen modernen Stand gebracht worden ist. Die Logik wird als deduktives System (Definitionen, Axiome , Lehrsätze und Beweise) dargestellt. Es wird der Begriff des logischen0 Gehalts der Aussage eingeführt. Die Logik ist nicht die Lehre vom richtigen Denken, sondern die Lehre von den logischen0 Strukturen. Darüber hinaus werden die fünf Kardinalfehler der formale Logik nachgewiesen. Also ist die Ablehnung der formalen Logik nicht bloß eine subjektive Position in einem Meinungsstreit.