Jon Barwise

Kenneth Jon Barwise (born the June 29th 1942 and deceased the March 5th 2000) was a mathematician, philosopher and American logician .

Biography

Wire of Kenneth T. and Evelyn, it was born with Independence in the Missouri.

He is the pupil of Solomon Feferman with the Université of Stanford and begins his research in infinitary logic . He is thereafter assistant professor with the Université of Yale and the Wisconsin, period during which it is interested in the natural languages. He turns over to Stanford in 1983 to direct the Center of study of the language and information ( Center for the Study off Language and Information ). In 1990, it starts to teach with the Université of Indiana.

One of the theses of Barwise is that if one clarifies the context in which a proposal is stated, of many problems of logic applied can be solved. He considered in particular that such an approach brought the solution of the Paradoxe of the liar, in the book The Liar , written with John Etchemendy. He had for that recourse to the set theory of Peter Aczel to include/understand the “vicious circles” of the reasoning.

With his/her former colleague of Stanford, John Etchemendy, it writes Language, Proof and Logic , which is a certain popular success. This work is dissociated by the fact that it contains several exercises and example of problems treated using computer program, of which some give a visual representation.

In 1999, one diagnoses a to him Cancer of the colon; it passes the remainder of its life to treat its disease. He dies on March 5th, 2000.

Homage

In its honor, the data processing school of the University of Indiana gave its name to its Master

Random links: