George Boolos
contemporaryAnalytic Philosophy, Mathematical Logic1940 – 1996
George Boolos (1940–1996) was an American philosopher and mathematical logician at MIT, widely regarded as one of the most important logicians of the twentieth century. He made foundational contributions to provability logic and offered a groundbreaking reinterpretation of second-order logic via plural quantification. His work bridged formal logic, philosophy of mathematics, and philosophy of language.
Notable Achievements
1
Developed the plural quantification interpretation of second-order logic, avoiding ontological commitment to sets
2
Pioneered provability logic, authoring the landmark monograph 'The Logic of Provability' (1979)
3
Co-authored 'Computability and Logic' with Richard Jeffrey and John Burgess, a standard graduate textbook
4
Advanced neo-logicist philosophy of mathematics through rigorous analysis of Fregean arithmetic
5
Produced influential work on Gödel's incompleteness theorems and their philosophical implications