Su obra común, "Lógica de Port-Royal", está elaborada de acuerdo con la metodología cartesiana, aunque no faltan en ella elementos aristotélicos, como p.