His 1980 critical reconstruction of Boole's original 1847 system revealed previously unnoticed gaps and errors in Boole's work and established the essentially Aristotelian basis of Boole's philosophy of logic.
Seine kritische Rekonstruktion von Booles Logiksystem aus dem Jahr 1847 brachte bis dahin unbeachtete Lücken und Fehler in Booles Werk zu Tage und machte die im Wesentlichen Aristotelische Basis von Booles Logikphilosophie deutlich.