Jon Barwise

Kenneth Jon Barwise ( born June 29, 1942 in Independence ( Missouri), † March 5, 2000 in Bloomington, Indiana ) was an American mathematician and philosopher who worked on mathematical logic.

Life and work

Barwise studied mathematics at Yale University, where in 1963 he earned a bachelor's degree, and received his doctorate in 1967 at Solomon Feferman Stanford University with the work Infinitary Logic and Admissible Sets ( he also studied with Dana Scott). After that, he was an Assistant Professor at Yale University and the University of Wisconsin- Madison. From 1983 he was professor of philosophy at Stanford University, where he included co-founder and first director of the " Center for the study of language and information" was and Director of the Symbolic Systems Program, an interdisciplinary program of study computer science, linguistics, logic, and cognitive science. For contributions to the field K. Jon Barwise 2001, the Award was donated. From 1990 he was professor of philosophy, computer science and mathematics at Indiana University in Bloomington. He was also a visiting professor at Oxford University, UCLA and the Center for Advanced Study in the Behavioral Sciences at Stanford. In 1999 he was diagnosed with colon cancer.

He became an honorary doctorate from the University of Pennsylvania in 1992. In 1997 he was awarded with John Etchemendy the EDUCOM Medal for their innovations in the teaching of logic. In 2000 he was Lecturer Godel, but the presentation could no longer hold. In 1974 he was invited speaker at the International Congress of Mathematicians in Vancouver ( Admissible Sets and Interaction of Model Theory, Recursion Theory and Set Theory ).

Barwise is known as the author of novel logic textbooks, along with John Etchemendy. He dealt with the logic of formal languages ​​( Infinitary Logic, that is under approval infinitely long sentences ), applications of logic in the language (such as situation semantics ), and generally to the process of information flow in complex systems ( such as language or computers). In his treatment of the Liar paradox ( the phenomenon of Vicious Circles, circular circuits) he used the non well founded set theory of the British logician Peter Aczel.

Writings

  • Admissible Sets and Structures, 1975
  • The Situation in Logic, 1988, ISBN 0-937073-32-6
  • With John Etchemendy: The Liar: An Essay in Truth and Circularity, 1987, ISBN 0195059441
  • With Larry Moss Vicious Circles. On the Mathematics of Non- Wellfounded Phenomena 1996, ISBN 1-57586-008-2
  • John Perry: Situations and attitudes. Basics of situation semantics, de Gruyter, 1987, ISBN 3-11-010425-3 (English original: Situations and Attitudes Cambridge:. MIT Press 1983, ISBN 1-57586-193-3. )
  • Jerry Seligman Information Flow: the Logic of Distributed Systems, 1997, ISBN 0-521-58386-1
  • With John Etchemendy: Language, proof and logic I. propositional and predicate logic, Mentis Verlag, 2005, ISBN 978-3-89785-440-6, Volume II: Applications and metatheory, Mentis Verlag 2006, ISBN 978-3-89785 - 441-3 (English original: Language, Proof and Logic, 2002, ISBN 1-57586-374- X)
  • With Etchemendy: The language of first order logic in 1990
  • With Etchemendy: Tarski 's World 1991
  • With Etchemendy: Turing 's World 1993
  • With Etchemendy: Hyper Proof 1994

As editor:

  • The Syntax and Semantics of Infinitary Languages, 1968
  • The Handbook of Mathematical Logic, North Holland, 1975, 1977
  • With Solomon Feferman: Model - theoretic Logics, 1985
  • With Gerard Allwein: Logical Reasoning with Diagrams, 1996
Independence (Missouri) Bloomington (Indiana) John Perry (philosopher) Integrated Authority File
107220
de