George Boolos

George Boolos (1940-1996) was an American mathematician and philosopher who made significant contributions to mathematical logic and proof theory. His work primarily focused on provability logic, second-order logic, and the foundations of set theory. At MIT, where he spent most of his academic career, Boolos developed influential theories about the nature of logic and mathematics. He is particularly known for his interpretation of monadic second-order logic using plural quantification, and for his work on the logic of provability. Boolos published several foundational texts, including "The Logic of Provability" (1993) and "Logic, Logic, and Logic" (1998). His collaboration with Richard Jeffrey led to the widely-used textbook "Computability and Logic," which has gone through multiple editions and remains a standard reference in the field. A notable aspect of Boolos's work was his ability to bridge technical mathematical logic with broader philosophical questions about the nature of mathematical truth and knowledge. His famous paper "Gödel's Second Incompleteness Theorem Explained in Words of One Syllable" demonstrated his skill at making complex logical concepts accessible.

Academic readers and students consistently highlight Boolos's clarity in explaining complex logical concepts. His textbook "Computability and Logic" (co-authored with Jeffrey) receives high marks for its thorough treatment of mathematical logic fundamentals. Readers appreciate: - Clear explanations of difficult proofs - Rigorous yet approachable treatment of logic - The famous "one syllable" explanation of Gödel's theorem - Comprehensive problem sets that build understanding Common criticisms: - Dense technical writing requires significant background knowledge - Some sections move too quickly through advanced concepts - Limited worked examples in later chapters - Typography and formatting issues in older editions Ratings across platforms: Goodreads: 4.2/5 (127 ratings) Amazon: 4.4/5 (89 ratings) for "Computability and Logic" Google Books: 4/5 (43 ratings) One graduate student reviewer noted: "Boolos manages to make modal logic digestible without sacrificing mathematical rigor." A logic professor commented: "The exercises range from straightforward to genuinely challenging, perfect for teaching."

Logic, Logic and Logic (1998) Collection of essays exploring mathematical logic, second-order logic, and topics in Frege's philosophy of mathematics.

The Logic of Provability (1993) Technical examination of provability logic and modal logic systems, including detailed analysis of Gödel's incompleteness theorems.

Computability and Logic (1974, with Richard Jeffrey) Textbook covering computability theory, formal logic, and mathematical proof techniques with graduated exercises.

The Unprovability of Consistency: An Essay in Modal Logic (1979) Analysis of formal proofs and modal logic systems relating to consistency statements in arithmetic.

To Be is to Be the Value of a Variable (or to Be Some Values of Some Variables) (1984) Paper addressing questions in the philosophy of logic regarding quantification and ontological commitment.

On Second-Order Logic (1975) Detailed examination of second-order logic systems and their relationship to set theory.

Kurt Gödel wrote foundational works in mathematical logic and set theory that explored incompleteness and formal systems. His work on first-order logic and formal proofs shares significant overlap with Boolos's focus areas.

W.V.O. Quine developed key theories in mathematical logic and wrote extensively on the philosophy of logic. His work on set theory and his examinations of logical paradoxes connect directly to themes Boolos explored.

David Lewis contributed to modal logic and counterfactuals, with particular focus on possible world semantics. His technical approaches to philosophical logic mirror Boolos's analytical methods.

Alfred Tarski established fundamental concepts in mathematical logic, model theory, and formal semantics. His work on truth definitions and logical consequence influenced the areas Boolos investigated.

Richard Jeffrey wrote on probability, logic and the philosophy of mathematics. His contributions to decision theory and formal logic systems align with the mathematical rigor found in Boolos's work.