Su primer nombre oficial fue el de "San José", dado por el gobernador Miguel de Salcedo en 1734.