person1940-1996

G. Boolos

Disciplines:

Summary

American logician and philosopher of mathematics who developed plural quantification, rehabilitated Frege's logicism via neo-logicism, and wrote on provability logic.

Core Contribution

Showed that second-order logic with Hume's Principle is consistent (Frege's Theorem), rescuing neo-logicism from Russell's Paradox; developed the logic of plural quantification ('There are some sets that...') as an alternative to set theory.

Key Spikes & Highlights

Argued that second-order logic is really just set theory in disguise — then reversed his position to defend it as genuine logic via plural interpretation.
Showed Frege's Grundgesetze was almost entirely salvageable: only Basic Law V is inconsistent, but Hume's Principle suffices to derive arithmetic.

Notable Works & Achievements

The Logic of Provability

Logic, Logic, and Logic

To Be is to Be the Value of a Variable

Historical Influences

Gottlob Frege Bertrand Russell W. V. O. Quine

Intellectual Lineage

Analytic Philosophy Mathematical Logic

Contemporaries & Peers

Hilary Putnam W. V. O. Quine Saul Kripke

Minds Influenced

Crispin Wright Bob Hale Kit Fine

Intellectual Posterity

Neo-Logicism Plural Quantification Frege's Theorem

Discussing

G. Boolos

Ask anything about G. Boolos — their ideas, influences, contradictions, legacy.

person1940-1996

G. Boolos

Disciplines:

logic

philosophy of mathematics

Summary

American logician and philosopher of mathematics who developed plural quantification, rehabilitated Frege's logicism via neo-logicism, and wrote on provability logic.

Core Contribution

Key Spikes & Highlights

Argued that second-order logic is really just set theory in disguise — then reversed his position to defend it as genuine logic via plural interpretation.
Showed Frege's Grundgesetze was almost entirely salvageable: only Basic Law V is inconsistent, but Hume's Principle suffices to derive arithmetic.

Notable Works & Achievements

The Logic of Provability

Logic, Logic, and Logic

To Be is to Be the Value of a Variable

Historical Influences

Gottlob Frege Bertrand Russell W. V. O. Quine

Intellectual Lineage

Analytic Philosophy Mathematical Logic

Contemporaries & Peers

Hilary Putnam W. V. O. Quine Saul Kripke

Minds Influenced

Crispin Wright Bob Hale Kit Fine

Intellectual Posterity

Neo-Logicism Plural Quantification Frege's Theorem

Discussing

G. Boolos

Ask anything about G. Boolos — their ideas, influences, contradictions, legacy.