El topónimo «Portopetro» se encuentra datado en documentos de 1281 y 1298 al definir los límites de ciertas fincas que lindaban con el camino que iba a Porto Petro desde Santañí.