Jon Barwise
Kenneth Jon Barwise (; June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used. == Education and career == He was born in Independence, Missouri, to Kenneth T. and Evelyn Barwise.