Bormujos

Los autores no se ponen todavía de acuerdo sobre el origen del nombre del pueblo. Según García de Diego, dicho nombre puede provenir del latín "Mormolium" (manania). Pero también es igualmente probable que provenga del nombre dado a una alquería musulmana, "Boromuj". De esta época quedan aún vestigios como los hallados en la hacienda de Valencinilla del Hoyo. La primera referencia a la alquería de Bormujos la proporciona la documentación medieval cristiana, en 1253, mediante las voces Mormuios y Mormoios, defendiendo Antequera Luengo su raíz arábiga: Borg-muzn o Borg-muhur. En este sentido, el topónimo no ha tenido asiento sino hasta tiempos modernos, con variantes, de manera que aún a fines del siglo XVIII la localidad era conocida, también, como Mormujos, pervivencia bajomedieval. Solo en el espacio de dos años (1787-1788) aparecen tres variantes: Mormujos, Borbujos y una mezcla de ambas, Bormujos, que prosperó como producto de la disimilación de nasales. El valle del Guadalquivir fue conquistado por Fernando III en el siglo XIII. En el repartimento firmado por su hijo, Alfonso X, aparece esta villa con el nombre de Mormojos o Mormujos.