George Stephen Boolos (4. syyskuuta 1940 New York – 27. toukokuuta 1996 Cambridge, Massachusetts) oli yhdysvaltalainen analyyttinen filosofi ja matemaattinen loogikko, joka opetti Massachusetts Institute of Technologyssä.
Boolos tunnetaan ennen kaikkea toisen kertaluvun predikaattilogiikan kehittäjänä muun muassa Stewart Shapiron ohella. Boolos oli myös Gottlob Frege -asiantuntija.