Jon Barwise

Kenneth Jon Barwise (June 29, 1942 – March 5, 2000) was an American mathematician, philosopher, and logician. He proposed significant revisions to the understanding and application of logic, particularly by emphasizing the importance of context or 'situation' in which a proposition is made. Barwise believed that this approach could resolve many problems in logic, including the liar paradox. He utilized non-well-founded set theory, developed by Peter Aczel, to understand complex reasoning structures. Barwise was a student of Solomon Feferman at Stanford University, initially focusing on infinitary logic. His academic career included positions at Yale University and the University of Wisconsin before returning to Stanford in 1983 to direct the Center for the Study of Language and Information (CSLI). In 1990, he moved to Indiana University. He was elected a Fellow of the American Academy of Arts and Sciences in 1999. Along with John Etchemendy, he co-authored the influential logic textbook 'Language, Proof and Logic', known for its interactive computer-aided homework problems. He also served as the first Director of Stanford's Symbolic Systems Program. The K. Jon Barwise Award for Distinguished Contributions to the Symbolic Systems Program is named in his honor. He was invited to give the 2000 Gödel Lecture but passed away before delivering it.