Editing Jon Barwise (section)

==Education and career==
He was born in [[Independence, Missouri]], to Kenneth T. and Evelyn Barwise.

A pupil of [[Solomon Feferman]] at [[Stanford University]], Barwise started his research in [[infinitary logic]]. After positions as assistant professor at [[Yale University]] and the [[University of Wisconsin–Madison|University of Wisconsin]], during which time his interests turned to [[natural language]], he returned to Stanford in 1983 to direct the [[Center for the Study of Language and Information]] (CSLI).  He began teaching at [[Indiana University Bloomington|Indiana University]] in 1990. He was elected a Fellow of the [[American Academy of Arts and Sciences]] in 1999.<ref name=AAAS>{{cite web|title=Book of Members, 1780-2010: Chapter B|url=http://www.amacad.org/publications/BookofMembers/ChapterB.pdf|publisher=American Academy of Arts and Sciences|access-date=May 20, 2011}}</ref>

In his last year, Barwise was invited to give the 2000 [[Gödel Lecture]]; he died prior to the lecture.<ref>{{Cite journal|date=2000|title=2000 Annual Meeting of the Association for Symbolic Logic|url=https://www.jstor.org/stable/421070|journal=The Bulletin of Symbolic Logic|volume=6|issue=3|pages=361–396|doi=10.2307/421070|jstor=421070|issn=1079-8986|url-access=subscription}}</ref>