[FOM] Fwd: William Craig has died at 97

[Dana Scott]

Begin forwarded message:

> From: Deirdre Haskell <haskell at math.mcmaster.ca <mailto:haskell at math.mcmaster.ca>>
> Subject: William Craig
> Date: January 13, 2016 1:49:15 PM PST
>  
> Dear Logicians,  
> 
> I am very sorry to have to tell you that William Craig died in

> the early hours of this morning. The younger ones among you may

> not know the name, since the Craig Interpolation Lemma is not as

> central a component of logic as it used to be (although still

> important in proof theory and applications in computer science).
> 
> Bill was one of the seminal characters in the development of logic

> in the United States after World War II. He wrote his PhD under

> Quine at Harvard in the late forties, was a professor of mathematics

> at Penn State for ten years, and then moved to Berkeley in the philosophy

> department.
> 
> Bill was a great supporter of logic and the Association for Symbolic

> Logic throughout his life.  He was very reserved, and not one to put

> himself forward to take an active role in running things (as far as I

> know, he was never president of the ASL, for example), but he was an

> editor of the Journal of Symbolic Logic from 1968 to 1981.
> 
> He provided financial support to his cherished causes, of which the

> ASL was one, but always anonymously. He was a very kind and charming man,

> although he could also be very critical of an inadequate argument (but

> always very gently). He was very supportive of students, who might be

> surprised years afterwards by his memory of their PhD defence. He was

> also my father-in-law. We will miss him very much.
> 
> Yours,
> Deirdre
> 
> Deirdre Haskell
> Professor and Associate Chair (Undergrad)
> Department of Mathematics and Statistics
> McMaster University
> Hamilton ON L8S 4K1 Canada
> haskell at math.mcmaster.ca <mailto:haskell at math.mcmaster.ca>


-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160114/d8795f40/attachment.html>