Por ello la lógica de Port Royal hará una distinción entre atributos y modos en cuanto a los predicados.