La lógica de Port Royal basada fundamentalmente en la filosofía de Descartes asume la formalización silogística de Aristóteles pero, mientras Aristóteles pretende manifestar o decir lo que es la realidad, ahora la función del juicio categórico se plantea como identificación del predicado con el sujeto percibidos como ideas.