Craig, William

William Craig
William Craig

William Craig
Datum narození 13. listopadu 1918( 1918-11-13 )
Místo narození Norimberk
Datum úmrtí 13. ledna 2016 (97 let)( 2016-01-13 )
Místo smrti Berkeley , Kalifornie
Země  USA Německo
 
Vědecká sféra logika , matematika . filozofie
Místo výkonu práce Harvard University UC Berkeley Princeton University Pennsylvania State University
Alma mater Cornell University Harvard University
Akademický titul PhD
vědecký poradce Willard Van Orman Quine
Studenti Gonzalo E. Reyes
 Mediální soubory na Wikimedia Commons

Profesor William Craig, PhD ( 13. listopadu 1918  – 13. ledna 2016 ) byl americký filozof, matematik a světově proslulý logik [1] . Student amerického filozofa a logika, profesora Harvardu, Willarda Van Ormana Quinea . V roce 1957 dokázal Craigovu interpolační větu , pojmenovanou po něm. Jeho hlavní příspěvky k logice byly v oblasti teorie důkazů , teorie modelů , kombinatoriky a algebraické logiky. Kromě dvou hlavních prací o Craigově interpolační větě, publikovaných v roce 1957 v Journal of Symbolic Logic [2] , byl profesor Craig autorem mnoha prací o matematické logice a dvou knih:

Životopis

Narozen v Norimberku (Německo) . Tam studoval na gymnáziu až do roku 1937, poté emigroval do Spojených států. V roce 1940 promoval na Cornellově univerzitě s bakalářským titulem z filozofie a fyziky. V letech 1940-1941 působil na Kalifornské univerzitě v Berkeley . Během druhé světové války v americké armádě, od roku 1941 do roku 1945.

V dalších letech se věnuje vědecké práci na univerzitách v USA a Evropě.

V roce 1951 získal titul Ph.D. ve filozofii za diplomovou práci pod vedením Willarda Van Ormana Quinea. Ve stejném roce se W. Craig stal asistentem učitele matematiky na University of Pennsylvania . Poté získal funkce odborného asistenta matematiky (1952-1957) a odborného asistenta (1957-1961).

V letech 1960-1961 se vrátil na University of California v Berkeley jako profesor filozofie.

V roce 1961 se stal prezidentem Asociace symbolické logiky.

V letech 1959-1961 byl prezidentem Pacifické divize Americké filozofické asociace .

V roce 1989 odešel do důchodu, aniž by opustil vědeckou práci v oboru logiky.

Články

  1. Craig W. O axiomatizovatelnosti v systému //Žurnál symbolické logiky. - 1953. - T. 18. - Č. 01. - S. 30-32.
  2. Craig W. Lineární uvažování. Nová forma Herbrand-Gentzenovy věty //The Journal of Symbolic Logic. - 1957. - T. 22. - Č. 03. - S. 250-268.
  3. Curry, HB, Feys, R., Craig, W., & Craig, W. (1958). Kombinační logika, sv. 1 . North Holland Publ..
  4. Curry HB, Feys R., Craig W. Kombinační logika, svazek I. - 1959.
  5. Curry, HB, Feys, R., Craig, W., Hindley, JR, & Seldin, JP (1972). Kombinační logika
  6. Craig W. Logika v algebraické formě. Tři jazyky a teorie. — 1974.

Odkazy

  1. https://web.archive.org/web/20160120142426/http://sophos.berkeley.edu/interpolations/
  2. http://reyes-reyes.com/gonzalo-e-reyes/

Poznámky

  1. ↑ UC Berkeley - Katedra filozofie . filozofie.berkeley.edu. Datum přístupu: 1. února 2016. Archivováno z originálu 15. ledna 2016.
  2. ↑ Journal of Symbolic Logic (downlink) . www.aslonline.org. Získáno 1. února 2016. Archivováno z originálu 12. ledna 2011. 
  3. ↑ William Craig. Logika v algebraické formě: tři jazyky a teorie . - North-Holland Publishing Company, 1974-01-01. — 220 s. — ISBN 9780444104779 .
  4. ↑ William Craig. Poloskupiny, které jsou základem logiky prvního řádu . — American Mathematical Soc. , 2006-01-01. — 298 s. — ISBN 9780821841495 .
  Přejděte na položku Wikidata  Tematické stránky