Properties (62)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosopher
mathematician logician |
| gptkbp:academicAdvisor |
gptkb:W._V._O._Quine
|
| gptkbp:affiliation |
gptkb:Massachusetts_Institute_of_Technology
|
| gptkbp:awards |
American_Philosophical_Association's_2006_Award_for_Distinguished_Service
|
| gptkbp:born |
March 15, 1940
|
| gptkbp:children |
2
|
| gptkbp:contribution |
mathematical logic
modal logic philosophical logic the exploration of mathematical truth the study of paradoxes the study of set theory the investigation of philosophical implications of logic. the analysis of algorithmic logic the analysis of intuitionistic logic the analysis of logical consequence the analysis of mathematical reasoning the analysis of truth the development of formal systems the examination of algebraic logic the examination of decidability the examination of mathematical proof the examination of reference the exploration of logical systems the exploration of meaning the exploration of non-classical logics the exploration of proof theory the investigation of formal languages the investigation of logical paradoxes the investigation of model theory the investigation of quantification the study of category theory the study of computability the study of the foundations of mathematics |
| gptkbp:died |
September 27, 2007
|
| gptkbp:education |
gptkb:Harvard_University
gptkb:University_of_Chicago |
| gptkbp:field |
logic
mathematics philosophy |
| https://www.w3.org/2000/01/rdf-schema#label |
George Boolos
|
| gptkbp:influenced |
philosophy of mathematics
philosophy of language philosophy of logic |
| gptkbp:influencedBy |
gptkb:Gottlob_Frege
gptkb:Bertrand_Russell gptkb:W._V._O._Quine |
| gptkbp:knownFor |
Boolos's theorem
contributions to modal logic work in philosophy of mathematics |
| gptkbp:nationality |
American
|
| gptkbp:notableAlumni |
the role of logic in mathematics
the concept of plural quantification the distinction between necessity and possibility |
| gptkbp:publishes |
Mathematical Logic
The Blackwell Companion to Philosophy The Logic of Provability The_Philosophy_of_Mathematics:_An_Introduction |
| gptkbp:residence |
gptkb:Cambridge,_Massachusetts
|
| gptkbp:spouse |
Mary Boolos
|