«Ло́гика Пор-Роя́ля» (франц. Logique de Port-Royal), учебное руководство «Логика, или Искусство мыслить, где помимо общих правил содержатся некоторые новые соображения, полезные для развития способности суждения» («La logique, ou L’art de penser, contenant, outre les regles communes, plusieurs observations nouvelles, propres а̀ former le jugement»). Написано в монастыре Пор-Рояль (отсюда название) французскими философами-картезианцами и янсенистскими богословами А. Арно (1612-1694) и П. Николем (1625–1695). Книга издана анонимно в Париже в 1662 г., но свой окончательный вид обрела в 5-м издании 1683 г. В отличие от средневековых схоластических руководств по логике, основанных на философии Аристотеля, в ней логическая проблематика излагалась исходя из философских установок Р. Декарта и учения янсенизма.

Книга включает в себя 4 части: размышления об идеях, о суждениях, об умозаключениях и о методе. Содержащийся в ней материал аристотелевского «Органона» был подвергнут переосмыслению и переоценке. Некоторые разделы взяты из схоластической логики (преим. во 2-й и 3-й частях книги, посвящённых суждениям и силлогизмам), напр. учение об экспонибилиях. Гл. нововведения находятся в 1-й и 4-й частях, где наиболее чётко обнаруживается картезианская позиция авторов. 4-я часть (о методе) включает 4 правила мыслительной деятельности из «Рассуждения о методе» Декарта и отрывок из работы Б. Паскаля «О геометрическом умозрении и об искусстве убеждения», содержащий требования, которым должно удовлетворять совершенное доказательство. В образованной из различных исторических компонентов системе Арно и Николя отчётливо проступают контуры интуиционистской логики.

Собственно логическая тематика излагается на фоне философских, научных и религиозных представлений того времени, в сопоставлении и столкновении различных взглядов и идейных позиций. Для логического анализа привлекаются как научные, так и нравственно-поучительные, богословские и поэтические тексты. В этом сказалась янсенистская установка на приоритет моральной проблематики перед научной. Книга А. Арно и П. Николя сыграла большую роль в практике преподавания логики как общеобразовательной гуманитарной дисциплины, в последующие два столетия она стала образцом для написания учебников по логике в Европе.