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.