Kenneth Jon Barwise (/ˈbɑːrwaɪz/; June 29, 1942 – March 5, 2000)[1] was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.