Formale Logik

Joseph Maria Bochenskis Hauptwerk wurde zuerst 1956 veröffentlicht. Es enthält, nach einer systematischen Einleitung, in seinen vier Hauptabschnitten die Problemgeschichte der griechischen, scholastischen, mathematischen und indischen Logik, die anhand von Originaldokumenten dargestellt wird. Das Ergebnis ist ein Zweifaches: Einerseits ergibt sich die Einsicht, dass die Geschichte der Logik nicht nur durch frühere Stadien unserer heutigen Wissenschaft ausgemacht wird, sondern dass in ihr sich mehrere hochstehende, sich autonom entwickelnde und in Wesentlichem verschiedene Gestalten der formalen Logik unterscheiden lassen. Andererseits wird deutlich, dass die Problematik im Grunde durch diese ganze Geschichte weitgehend dieselbe ist. Somit ist das Werk mit seinen mehreren hundert Texten und ihrer Erläuterung auch ein gut lesbares Lehrbuch der Logik, das jedem Lernenden ermöglicht, die Grundlehren, Probleme und Theorien dieser Wissenschaft aus ihrem Werdegang und ihren verschiedenen Ausbildungen zu begreifen.