Jon Barwise

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

Biographie

Fils de Kenneth T. et Evelyn, il est né à Independence dans le Missouri.

Il est l'élève de Solomon Feferman à l'université Stanford et commence ses recherches en infinitary logic. Il est par la suite assistant professeur à l'Université Yale et à celle 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

Lien externe


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Jon Barwise de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • 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 (* 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… …   Deutsch Wikipedia

  • 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

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”