Text this: Hacia una concepción estructural de la formalidad en lógica