Dos enunciados están en una relación de inferencia lógica, cuando podemos afirmar la verdad del segundo, en el caso de que estemos seguros de la del primero, y ellos basándonos únicamente en la significación de los enunciados, sin recurrir a ningún conocimiento de la realidad.

El hecho de que la inferencia lógica no tenga en cuenta la realidad empírica, ¿significa acaso que se basa únicamente en el valor lingüístico, en el siginficado en el sentido de Saussure? p. 279

Las condiciones de autonomía como un isomorfismo entre la posibilidad de inferir las condiciones de verdad de un enunciado en base a su relación con otros enunciados y la posibildiad de asignar significado a un signo en virtud de las relaciones negativas de valor que se sostienen en la lengua como sistema