Jon Barwise

Timeline

1. 1942–1963

   A Yale degree in mathematics

   He is born in Independence, Missouri, and takes a B.A. in mathematics and philosophy at Yale in 1963.

2. 1967

   A Stanford doctorate in mathematics

   In 1967 he completes a Ph.D. in mathematics at Stanford as a pupil of Solomon Feferman. There he starts research in infinitary logic.

3. 1983

   Situations and Attitudes

   In 1983 he and John Perry formulate situation semantics, an approach to language and information, in Situations and Attitudes. He returns to Stanford in 1983 to direct the Center for the Study of Language and Information, and he becomes the first director of the Symbolic Systems Program.

4. 1990–1997

   Indiana University Logic Program

   In 1990 he joins Indiana University as College Professor of computer science, mathematics and philosophy. From 1990 until 1997 he directs the Indiana University Logic Program.

5. 1997

   Software for teaching logic

   The American Philosophical Association selects him and John Etchemendy in 1997 for three computer programs that teach formal logic.

6. 1999

   American Academy fellowship

   He is elected a Fellow of the American Academy of Arts and Sciences in 1999.

7. 2000

   Death announced by colleagues

   He dies in 2000, and his Indiana University colleagues announce the death.

8. 2002

   The Barwise Prize

   A prize in his name is established in 2002 by the American Philosophical Association, in conjunction with its Committee on Philosophy and Computers.