María Gracia Manzano Arjona (born 1950) is a Spanish philosopher specializing in mathematical logic and model theory.