Jon Barwise


Jon Barwise

Kenneth Jon Barwise (* 29. Juni 1942 in Independence (Missouri); † 5. März 2000 in Bloomington, Indiana) war ein US-amerikanischer Mathematiker und Philosoph, der sich mit mathematischer Logik beschäftigte.

Leben und Wirken

Barwise studierte Mathematik an der Yale University, wo er 1963 seinen Bachelor Abschluss machte, und promovierte 1967 bei Solomon Feferman an der Stanford University mit der Arbeit Infinitary Logic and Admissible Sets (außerdem studierte er dort bei Dana Scott). Danach war er Assistant Professor an der Yale University und der University of Wisconsin-Madison. Ab 1983 war er Professor für Philosophie an der Stanford University, wo er Mitgründer und erster Direktor des „Center for the study of language and information“ war und Direktor des Symbolic Systems Program, ein interdisziplinäres Studienprogramm, das Informatik, Linguistik, Logik und Kognitionswissenschaft umfasste. Für Beiträge auf diesem Gebiet wurde 2001 der K. Jon Barwise Award gestiftet. Ab 1990 war er Professor für Philosophie, Informatik und Mathematik an der Indiana University in Bloomington. Außerdem war er Gastprofessor an der Universität Oxford, der UCLA und am Center for Advanced Study in the Behavioral Sciences in Stanford. 1999 wurde bei ihm Darmkrebs diagnostiziert.

1992 wurde er Ehrendoktor der University of Pennsylvania. 1997 erhielt er mit John Etchemendy die EDUCOM Medaille für ihre Neuerungen im Unterricht der Logik. 2000 war er Gödel-Lecturer, konnte den Vortrag aber nicht mehr halten. 1974 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Vancouver (Admissible Sets and Interaction of Model Theory, Recursion Theory and Set Theory).

Barwise ist bekannt als Autor neuartiger Logik-Lehrbücher, zusammen mit John Etchemendy. Er befasste sich mit Logik formaler Sprachen (Infinitary Logic, das heißt unter Zulassung unendlich langer Sätze), Anwendungen der Logik in der Sprache (wie Situations-Semantik) und allgemein mit dem Prozess des Informationsflusses in komplexen Systemen (wie Sprache oder Computern). Bei seiner Behandlung des Lügner-Paradoxons (dem Phänomen der Vicious Circles, der zirkulären Schlüsse) bediente er sich der Non well founded set theory des britischen Logikers Peter Aczel.

Schriften

  • Admissible Sets and Structures, 1975
  • The Situation in Logic, 1988, ISBN 0-937073-32-6
  • mit John Etchemendy: The Liar: An Essay in Truth and Circularity 1987, ISBN 0195059441
  • mit Larry Moss Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena 1996, ISBN 1-57586-008-2
  • mit John Perry: Situationen und Einstellungen. Grundlagen der Situationssemantik, de Gruyter 1987, ISBN 3-11-010425-3 (englisches Original: Situations and Attitudes. Cambridge: MIT Press. 1983, ISBN 1-57586-193-3)
  • mit Jerry Seligman Information Flow: the Logic of Distributed Systems, 1997, ISBN 0-521-58386-1
  • mit John Etchemendy: Sprache, Beweis und Logik I. Aussagen- und Prädikatenlogik, Mentis Verlag, 2005, ISBN 978-3-89785-440-6, Band II: Anwendungen und Metatheorie, Mentis Verlag 2006, ISBN 978-3-89785-441-3 (englisches Original: Language, Proof and Logic, 2002, ISBN 1-57586-374-X )
  • mit Etchemendy: The language of first order logic 1990
  • mit Etchemendy: Tarski´s World 1991
  • mit Etchemendy: Turing´s World 1993
  • mit Etchemendy: Hyperproof 1994

als Herausgeber:

  • The Syntax and Semantics of Infinitary Languages, 1968
  • The Handbook of Mathematical Logic, North Holland 1975, 1977
  • mit Solomon Feferman: Model-theoretic Logics, 1985
  • mit Gerard Allwein: Logical Reasoning with Diagrams, 1996

Weblinks


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Jon Barwise — Kenneth Jon Barwise (June 29, 1942 March 5, 2000) was a U.S. mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.Born in Independence, Missouri to Kenneth T. and Evelyn, he… …   Wikipedia

  • Jon Barwise — Kenneth Jon Barwise (né le 29 juin 1942 et décédé le 5 mars 2000) est un mathématicien, philosophe et logicien américain. Sommaire 1 Biographie 2 Hommage 3 Bibliographie …   Wikipédia en Français

  • Barwise prize — The Barwise prize was established in 2002 by the American Philosophical Association, in conjunction with the APA Committee on Philosophy and Computers, on the basis of a proposal from the International Association for Computing and Philosophy for …   Wikipedia

  • Barwise compactness theorem — In mathematical logic, the Barwise compactness theorem, named after Jon Barwise, is a generalization of the usual compactness theorem for first order logic to a certain class of infinitary languages. It was stated and proved by Barwise in… …   Wikipedia

  • John Perry (philosopher) — John R. Perry (born 1943) is Henry Waldgrave Stuart Professor of Philosophy at Stanford University. He has made significant contributions to areas of philosophy, including logic, philosophy of language, metaphysics, and philosophy of mind. He is… …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Interpretative Semantik — Die Interpretative Semantik ist Kern der semantischen Theorie, die 1963 von dem Linguisten Jerrold Katz und dem Kognitionswissenschaftler Jerry Fodor publiziert wurde, um zu erklären, mit welchem Regelapparat ein Sprecher korrekte Sätze bildet… …   Deutsch Wikipedia

  • Liar paradox — In philosophy and logic, the liar paradox, known to the ancients as the pseudomenon, encompasses paradoxical statements such as This sentence is false. or The next sentence is false. The previous sentence is true. These statements are paradoxical …   Wikipedia

  • Philosophy of information — The philosophy of information (PI) is the area of research that studies conceptual issues arising at the intersection of computer science, information technology, and philosophy. It includes: [Luciano Floridi,… …   Wikipedia

  • Logique mathématique — La logique mathématique, ou logique formelle, est une discipline des mathématiques introduite à la fin du XIXe siècle et qui s est donnée comme objet l étude des mathématiques en tant que langage. Les objets fondamentaux de la logique… …   Wikipédia en Français


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.