George Stephen Boolos (; September 4, 1940 โ May 27, 1996) was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.