Al descuidar el estudio del lenguaje para ir directamente a las cosas, no se hace más que proyectar en el ser la sombra llevada del discurso, de sus elementos, de sus articulaciones. Sostenido por esta convicción, Guillermo de Ockham lleva a cabo, al comienzo del siglo XIV, un análisis crítico y minucioso de las categorías lógicas y metafísicas legadas por Aristóteles, Porfirio y Boecio: empresa de desrealización que no conduce a un encierro en el lenguaje, sino, muy al contrario, a un estudio riguroso de los modos según los cuales los signos verbales y conceptuales se refieren a las cosas existentes en su realidad singular. La segunda parte de la Summa de lógica se dedica al estudio de las proposiciones: los diferentes tipos, las condiciones de verdad y las reglas de conversión. Aquí se examinan las proposiciones directas y oblicuas, de inherencia y modales, categóricas e hipotéticas (es decir, simples y compuestas). Este tratado precisa en qué condiciones una proposición es verdadera, cuál es el efecto de las determinaciones temporales, lo que son las modalidades lógicas? Estamos en el corazón de la lógica, considerada como ciencia de lo verdadero y de lo falso.