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 dealt with mathematical logic.

Live and act

Barwise studied mathematics at Yale University , where he made his bachelor's degree in 1963, and received his doctorate in 1967 with Solomon Feferman at Stanford University with the work Infinitary Logic and Admissible Sets (he also studied there with Dana Scott ). He then was an Assistant Professor at Yale University and the University of Wisconsin – Madison . In 1974 he received a research grant from the Alfred P. Sloan Foundation ( Sloan Research Fellowship ). From 1983 he was professor of philosophy at Stanford University, where he was co-founder and first director of the "Center for the study of language and information" and director of the Symbolic Systems Program, an interdisciplinary study program that encompassed computer science, linguistics, logic and cognitive science . The K. Jon Barwise Award was founded in 2001 for contributions in this area. From 1990 he was Professor of Philosophy, Computer Science and Mathematics at Indiana University in Bloomington. He has also been 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.

In 1992 he received an honorary doctorate from the University of Pennsylvania . In 1997 he and John Etchemendy received the EDUCOM medal for their innovations in the teaching of logic. In 1999 he was elected to the American Academy of Arts and Sciences . In 2000 he was a Gödel lecturer , but could no longer give the lecture. 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, if infinitely long sentences are permitted), applications of logic in language (such as situation semantics ) and, in general, the process of information flow in complex systems (such as language or computers). In his treatment of the liar's paradox (the phenomenon of the vicious circles , the circular inferences) he made use of the Non well founded set theory of the British logician Peter Aczel .

The Barwise Prize is named in his honor .

Fonts

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
with 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 )
with Jerry Seligman Information Flow: the Logic of Distributed Systems , 1997, ISBN 0-521-58386-1
with John Etchemendy: Language, Proof and Logic I. Proposal and Predicate Logic , Mentis Verlag, 2005, ISBN 978-3-89785-440-6 , Volume II: Applications and Metatheorie, 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 1990

with Etchemendy: Tarski´s World 1991

with Etchemendy: Turing's World 1993

with Etchemendy: Hyperproof 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

Web links

Individual evidence

↑ Jon Barwise in the Mathematics Genealogy Project (English)
^ Past Fellows. Alfred P. Sloan Foundation, accessed June 28, 2019 .

personal data
SURNAME	Barwise, Jon
ALTERNATIVE NAMES	Barwise, Kenneth Jon
BRIEF DESCRIPTION	American logician
DATE OF BIRTH	June 29, 1942
PLACE OF BIRTH	Independence , Missouri
DATE OF DEATH	March 5, 2000
Place of death	Bloomington , Indiana

[1] Jon Barwise in the Mathematics Genealogy Project (English)

[2] Past Fellows. Alfred P. Sloan Foundation, accessed June 28, 2019 .