John Etchemendy argumenta que, dado el fracaso del análisis tarskianode la noción intuitiva de consecuencia lógica, no hay razones para considerara la formalidad una condición necesaria para dicha relación. En el presentetrabajo critico este argumento. Primeramente, busco mostrar que la crítica deEtchemendy al análisis tarskiano asume dos requisitos de éxito elucidatorio queno es razonable adoptar conjuntamente. En segundo lugar muestro que, rechazadala anterior asunción, dos argumentos a favor de la adecuación extensionalde dicho análisis confieren apoyo al formalismo. Finalmente, menciono algunasconocidas consideraciones de índole pragmática en favor del formalismo.