Grundgesetze und Methoden der Logik: in Aussagenlogik, Prädikatenlogik, modaler Logik, Zeitlogik und mehrwertiger Logik

Sowohl ein Philosophiebuch der Logik als auch ein Mathematikbuch der Logik, auf systematische Weise geordnet.
Grundgesetze und Methoden der Logik finden nicht nur Anwendung in der Mathematik und Philosophie, sondern außerdem auch in vielen anderen Wissenschaften.
Das Buch Grundgesetze und Methoden der Logik umfasst  
(1) begrifflich relevante Punkte
(dazu gehören z. B. Aussagen, Begriffe, Definitionen, Urteile, Schlüsse),
(2) axiomatisch relevante Punkte
(dazu gehören z. B. Tautologien, notwendige Wahrheiten, absolut erste Wahrheiten, der Satz von allem und keinem) und
(3) methodisch relevante Punkte
(dazu gehören z. B. die Wahrheitstafelmethode, das Zirkelfehlerprinzip, mehrere Substitutionsprinzipien, der Schluss auf die beste Erklärung).
Bei allen logischen Gesetzen und Methoden, die neben der logischen Bedeutung auch eine ontologische Bedeutung haben werden beide Bedeutungen angegeben.
Im Text sind zahlreiche Zitate von Philosophen integriert, die die Tragweite und die Historie der logischen Grundgesetze beschreiben.
Zu allen Grundgesetzen und Methoden sind Beispiele und Anwendungen angeführt.