Jon Barwise

Kenneth Jon Barwise (/ˈbɑːrwz/; 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.