Tradicionalmente en filosofía, se ha considerado que la verdad lógica es independiente del lenguaje empleado para definirla y, por tanto, ha considerado, que la proposición representa la estructura lingüística como algo independiente de los enunciados: