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 was a precocious child. A pupil of Solomon Feferman at Stanford University, Barwise started his research in infinitary logic. After positions as assistant professor at the Universities of Yale and Wisconsin, … Wikipedia
The definitive Wikipedia entry for Jon Barwise. Wikipedia is the biggest multilingual free-content encyclopedia on the Internet. en.wikipedia.org/wiki/Jon_Barwise
Barwise was internationally known for his research in logic and its interactions with other fields. He was the sixth of IU's "super- professors," having been recruited from a position at Stanford University with funds from the College Professorship Progr www.bloomington.in.us/~edmonds/barwise.html
