Biographie
Fils de Kenneth T. et Evelyn, il est né à
Independence dans le
Missouri.
Il est l'élève de Solomon Feferman à l'Université de Stanford et commence ses recherches en infinitary logic. Il est par la suite assistant professeur à l'Université de Yale et du Wisconsin, période durant laquelle il s'intéresse aux langues naturelles. Il retourne à Stanford en 1983 pour diriger le Centre d'étude du langage et de l'information (Center for the Study of Language and Information). En 1990, il commence à enseigner à l'Université d'Indiana.
L'une des thèses de Barwise est que si l'on explicite le contexte dans lequel une proposition est énoncée, de nombreux problèmes de logique appliquée peuvent être résolus.
Il considérait en particulier qu'une telle approche apportait la solution du paradoxe du menteur, dans le livre The Liar, écrit avec John Etchemendy. Il eut pour cela recours à la théorie des ensembles de Peter Aczel pour comprendre les « cercles vicieux » du raisonnement.
Avec son ancien collègue de Stanford, John Etchemendy, il rédige Language, Proof and Logic, qui connaît un certain succès populaire. Cet ouvrage se démarque par le fait qu'il contient plusieurs exercices et exemple de problèmes traité à l'aide de programme informatique, dont certains donnent une représentation visuelle.
En 1999, on lui diagnostique un cancer du côlon ; il passe le reste de sa vie à traiter sa maladie. Il décède le 5 mars 2000.
Hommage
En son honneur, l'école d'informatique de l'Université d'Indiana a donné son nom à son
Master
Bibliographie
- Handbook of Mathematical Logic
(1982), ouvrage collectif dont Jon Barwise est le coordinateur.
- The Situation in Logic (1988), ISBN 0-937073-32-6
- The Liar: An Essay in Truth and Circularity (1987), avec John Etchemendy, ISBN 19505072X
- Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena (1996), avec Lawrence S. Moss, ISBN 1-57586-008-2
- Situations and Attitudes (1983), avec John Perry, Cambridge: MIT Press, ISBN 1-57586-193-3
- Information Flow: the Logic of Distributed Systems (1997), avec Jerry Seligman, ISBN 0-521-58386-1
- Language, Proof and Logic (2002), avec John Etchemendy, ISBN 1-57586-374-X
Lien externe
|
À propos 
