Zum Inhalt springen

George Boolos

aus Wikipedia, der freien Enzyklopädie

George Stephen Boolos (* 4. September 1940 in New York; † 27. Mai 1996 in Cambridge, Massachusetts) war ein US-amerikanischer Philosoph und Logiker.

Leben

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.<ref>MIT faculty resolution on Boolos' death</ref>

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.

Werke von Boolos

  • 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.

Einzelnachweise

<references/>

Literatur

  • 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.

Weblinks

  • <templatestyles src="Webarchiv/styles.css" />{{#if:20090311134547
      | {{#ifeq: 20090311134547 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: MIT-Erinnerungsseite für George Boolos | {{#invoke:WLink|getEscapedTitle|MIT-Erinnerungsseite für George Boolos}} | {{#invoke:Webarchiv|getdomain|http://web.mit.edu/philos/www/boolos.html}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20090311134547}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: MIT-Erinnerungsseite für George Boolos | {{#invoke:WLink|getEscapedTitle|MIT-Erinnerungsseite für George Boolos}} | {{#invoke:Webarchiv|getdomain|http://web.mit.edu/philos/www/boolos.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20090311134547}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: MIT-Erinnerungsseite für George Boolos | {{#invoke:WLink|getEscapedTitle|MIT-Erinnerungsseite für George Boolos}} | {{#invoke:Webarchiv|getdomain|http://web.mit.edu/philos/www/boolos.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: MIT-Erinnerungsseite für George Boolos | {{#invoke:WLink|getEscapedTitle|MIT-Erinnerungsseite für George Boolos}} | {{#invoke:Webarchiv|getdomain|http://web.mit.edu/philos/www/boolos.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: MIT-Erinnerungsseite für George Boolos | {{#invoke:WLink|getEscapedTitle|MIT-Erinnerungsseite für George Boolos}} | {{#invoke:Webarchiv|getdomain|http://web.mit.edu/philos/www/boolos.html}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: MIT-Erinnerungsseite für George Boolos | {{#invoke:WLink|getEscapedTitle|MIT-Erinnerungsseite für George Boolos}} | {{#invoke:Webarchiv|getdomain|http://web.mit.edu/philos/www/boolos.html}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20090311134547|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://web.mit.edu/philos/www/boolos.html}}
    || {{#if:  || }}
  }}{{#if: MIT-Erinnerungsseite für George Boolos
    | {{#if: {{#invoke:WLink|isBracketedLink|MIT-Erinnerungsseite für George Boolos}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://web.mit.edu/philos/www/boolos.html%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://web.mit.edu/philos/www/boolos.html%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://web.mit.edu/philos/www/boolos.html }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}
  • {{#invoke:Vorlage:Literatur|f}}{{#if:
       | {{#if: Vorlage:Cite book/ParamBool
               | Vorlage:Toter Link/archivebot
               | Vorlage:Webarchiv/archiv-bot
         }}
  }}{{#invoke:TemplatePar|check
   |all    = title=
   |opt    = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical=  name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx=  accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
   |cat      = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
   |errNS    = 0
   |template = Vorlage:Cite journal
   |format   = 
   |preview  = 1
  }}Vorlage:Cite book/URL{{#if:  | Vorlage:Cite book/Meldung }}{{#if:        | Vorlage:Cite book/Meldung }}{{#if: The Harvard Review of Philosophy
     || Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
        | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
       | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:Boolos|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}

{{#ifeq: p | p | | {{#if: 171984196n/88/13785134530215 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 171984196n/88/13785134530215 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 171984196 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 171984196 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/88/137851 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/88/137851 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 34530215 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 34530215 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Boolos, George | {{#if: Boolos, George Stephen | {{#if: US-amerikanischer Philosoph und Logiker | {{#if: 4. September 1940 | {{#if: New York | {{#if: 27. Mai 1996 | {{#if: Cambridge, Massachusetts |
Personendaten
NAME Boolos, George

}}

ALTERNATIVNAMEN Boolos, George Stephen

}}

KURZBESCHREIBUNG US-amerikanischer Philosoph und Logiker

}}

GEBURTSDATUM 4. September 1940

}}

GEBURTSORT New York

}}

STERBEDATUM 27. Mai 1996

}}

STERBEORT Cambridge, Massachusetts

}}

Vorlage:Wikidata-Registrierung

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=George_Boolos&oldid=1736577“