George Boolos

E839553

American logician American philosopher human logician philosopher university teacher

George Boolos was an influential American philosopher and logician known for his work in logic, set theory, and the philosophy of mathematics, particularly related to Frege and provability logic.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label	Occurrences
George Boolos canonical	1
George S. Boolos	1

Statements (49)

Predicate	Object
instanceOf	American logician ⓘ American philosopher ⓘ human ⓘ logician ⓘ philosopher ⓘ university teacher ⓘ
awardReceived	Guggenheim Fellowship ⓘ
countryOfCitizenship	United States of America ⓘ
doctoralAdvisor	Hilary Putnam NERFINISHED ⓘ
educatedAt	Princeton University ⓘ Swarthmore College NERFINISHED ⓘ University of Oxford ⓘ
employer	Columbia University ⓘ Harvard University ⓘ Massachusetts Institute of Technology ⓘ
familyName	Boolos NERFINISHED ⓘ
fieldOfWork	history of analytic philosophy ⓘ mathematical logic ⓘ philosophy of mathematics ⓘ provability logic ⓘ set theory ⓘ
givenName	George NERFINISHED ⓘ
influencedBy	Bertrand Russell NERFINISHED ⓘ Gottlob Frege NERFINISHED ⓘ Hilary Putnam NERFINISHED ⓘ Kurt Gödel NERFINISHED ⓘ
languageOfWorkOrName	English ⓘ
mainInterest	Frege scholarship ⓘ philosophy of logic ⓘ provability logic ⓘ set-theoretic foundations ⓘ
memberOf	American Philosophical Association NERFINISHED ⓘ Association for Symbolic Logic NERFINISHED ⓘ
notableIdea	formal study of provability logic GL ⓘ iterative conception of set (defense and clarification) ⓘ
notableWork	A Curious Inference NERFINISHED ⓘ Computability and Logic NERFINISHED ⓘ Frege’s Philosophy of Mathematics NERFINISHED ⓘ Logic, Logic, and Logic NERFINISHED ⓘ On Second-Order Logic NERFINISHED ⓘ Reading the Begriffsschrift NERFINISHED ⓘ The Iterative Conception of Set NERFINISHED ⓘ The Logic of Provability NERFINISHED ⓘ The Unprovability of Consistency NERFINISHED ⓘ To Be Is to Be a Value of a Variable (or to Be Some Values of Some Variables) NERFINISHED ⓘ
occupation	logician ⓘ philosopher ⓘ university professor ⓘ
sexOrGender	male ⓘ

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Leon Henkin → notableStudent → George Boolos ⓘ

J. Donald Monk → coAuthorWith → George Boolos ⓘ

this entity surface form: George S. Boolos