El origen y evolución de su topónimo permite establecer la siguiente enumeración de nombres con los que se ha conocido a la localidad a que nos referimos: durante la Edad Media se llamó Pinillo y en 1543 aún se denominaba así.