http://www.spock.com/Jon-Barwise/newsJon 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...en-us