George Boolos

1961 machte Boolos den B.A. in Mathematik an der Princeton University, 1963 den B.Phil. an der Oxford University, 1966 den Ph.D. in Philosophie am Massachusetts Institute of Technology (MIT). Dies war der erste Ph.D. in Philosophie, der beim MIT vergeben worden ist, Doktorvater war Hilary Putnam. Boolos war drei Jahre Lehrer an der Columbia University. Ab 1969 lehrte er am MIT, bis er an Krebs starb.[1]

Anfangs beschäftigte sich Boolos mit der Erweiterung von Kurt Gödels Beweis-Logik.

Später befasste er sich intensiv mit Gottlob Frege. Zusammen mit Crispin Wright bewies er die Konsistenz eines modifizierten Systems von Freges Grundgesetzen: Ersetzt man das Grundgesetz der Werthverläufe durch Humes Prinzip, so vermeidet man die Russellsche Antinomie. Damit begründeten die beiden den Neo-Logizismus.

1992 wurde Boolos in die American Academy of Arts and Sciences gewählt.

• 2007 (1974) (with Richard Jeffrey). Computability and Logic. Cambridge: Cambridge University Press.
• 1979. The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
• 1990 (editor). Meaning and Method: Essays in Honor of Hilary Putnam. Cambridge University Press.
• 1993. The Logic of Provability. Cambridge University Press.
• 1998 (Richard Jeffrey and John P. Burgess, eds.). Logic, Logic, and Logic. Harvard University Press.

1. MIT faculty resolution on Boolos' death

• Peter Simons (1982). „On understanding Lesniewski,“ History and Philosophy of Logic.
• Solomon Feferman (1960). „Arithmetization of metamathematics in a general setting,“ Fundamentae Mathematica, vol. 49, pp. 35–92.

• MIT-Erinnerungsseite für George Boolos
• George Boolos. The hardest logic puzzle ever. The Harvard Review of Philosophy, 6:62–65, 1996. (PDF-Datei; 177 kB)