William Craig (Logiker)

amerikanischer Philosoph und Logiker

William Craig (* 13. November 1918 in Nürnberg;[1]13. Januar 2016[2]) war ein Philosophie-Professor der University of California, Berkeley, in Berkeley, Kalifornien. 1951 promovierte er an der Harvard University mit dem Thema A Theorem about First Order Functional Calculus with Identity, and Two Applications.

William Craig bei einem Picnic der Berkeley Logic Group 1977

Sein Hauptarbeitsgebiet umfasste die mathematische Logik und Wissenschaftsphilosophie. Bekannt wurde er für sein Craig-Interpolation-Theorem, nicht zu verwechseln mit dem ebenfalls von ihm in den 50er Jahren publizierten Craig Theorem über Axiomatisierung rekursiv aufzählbarer Theorien.[3]

Siehe auch

Bearbeiten
Bearbeiten

Einzelnachweise

Bearbeiten
  1. Dictionary of Modern American Philosophers, Volume 1
  2. William Craig (Memento vom 15. Januar 2016 im Internet Archive)
  3. Craig's Theorem in The Journal of PHILOSOPHY, VOLUME LXII, No. 10 13. Mai 1965