Quelltext der Seite George Boolos

'''George Stephen Boolos''' (* [[4. September]] [[1940]] in [[New York City|New York]]; † [[27. Mai]] [[1996]] in [[Cambridge (Massachusetts)|Cambridge, Massachusetts]]) war ein US-amerikanischer [[Philosoph]] und [[Logik]]er.

== Leben ==

1961 machte Boolos den [[B.A.]] in [[Mathematik]] an der [[Princeton University]], 1963 den [[Bachelor|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 (Medizin)|Krebs]] starb.<ref>[http://web.mit.edu/philos/www/jjt-rlc-jc.html MIT faculty resolution on Boolos' death]</ref>

Anfangs beschäftigte sich Boolos mit der Erweiterung von [[Kurt Gödel]]s 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.

== Werke von Boolos ==
*2007 (1974) (with [[Richard Jeffrey]]). ''Computability and Logic''. Cambridge: Cambridge University Press.
*1979. ''The Unprovability of Consistency: An Essay in [[Modallogik|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.

== Einzelnachweise ==
<references/>

== Literatur ==
* [[Peter Simons (Philosoph)|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.&nbsp;35–92.

== Weblinks ==
*{{Webarchiv |url=http://web.mit.edu/philos/www/boolos.html |text=MIT-Erinnerungsseite für George Boolos |wayback=20090311134547}}
*{{cite journal|last=Boolos|first=George|year= 1996|language=en|url=http://www.hcs.harvard.edu/~hrp/issues/1996/Boolos.pdf|title=The Hardest Logic Puzzle Ever|journal=The Harvard Review of Philosophy|volume=6|issue=1|pages=62–65|doi=10.5840/harvardreview1996615|archive-url=https://web.archive.org/web/20120622100021/http://www.hcs.harvard.edu/~hrp/issues/1996/Boolos.pdf |archive-date=2012-06-22|url-status=dead}}

{{Normdaten|TYP=p|GND=171984196|LCCN=n/88/137851|VIAF=34530215}}

{{SORTIERUNG:Boolos, George}}
[[Kategorie:Analytischer Philosoph]]
[[Kategorie:Logiker]]
[[Kategorie:Mitglied der American Academy of Arts and Sciences]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:Geboren 1940]]
[[Kategorie:Gestorben 1996]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Boolos, George
|ALTERNATIVNAMEN=Boolos, George Stephen
|KURZBESCHREIBUNG=US-amerikanischer Philosoph und Logiker
|GEBURTSDATUM=4. September 1940
|GEBURTSORT=[[New York City|New York]]
|STERBEDATUM=27. Mai 1996
|STERBEORT=[[Cambridge (Massachusetts)|Cambridge]], Massachusetts
}}