Die Logik von Port-Royal ist der verbreitete Name des Buches La logique, ou l'art de penser, eines bedeutenden Werks über Logik. Es wurde erstmals 1662 anonym von Antoine Arnauld und Pierre Nicole publiziert. Die beiden waren zwei prominente Jansenisten, von denen es viele in der Gegend von Port-Royal gab. Auch Blaise Pascal soll Teile des Textes beigesteuert haben. Dem Buch voraus ging die Grammatik von Port-Royal (1660).