Lógica de Port-Royal () é o nome popular da La logique, ou l'art de penser, um importante manual sobre lógica inicialmente publicado anonimamente em 1662 por Antoine Arnauld e Pierre Nicole, dois proeminentes membros do movimento Jansenista, centralizado em Port-Royal. Blaise Pascal aparentemente contribuiu em partes do texto. Sua contraparte linguística é a Gramática de Port-Royal (1660).
Escrita na língua vernácula, ela tornou-se muito popular por introduzir o leitor à lógica e exibir fortes elementos cartesianos em sua metafísica e epistemologia (Arnauld foi um dos principais filósofos cujas objeções foram publicadas, com réplicas, na Meditações sobre Filosofia Primeira de Descartes). Ela esteve em uso até o século XX. A Lógica de Port-Royal é algumas vezes citada como um exemplo paradigmático da lógica tradicional.
O filósofo Louis Marin a estudou no século XX (La Critique du discours, Éditions de Minuit, 1975), enquanto que Michel Foucault a considerou, em Les Mots et les choses, uma das bases da episteme moderna.
Ver também Gramática de Port-Royal Petites écoles de Port-Royal
Bibliografia The art of thinking; Port-Royal logic by Antoine Arnauld, Pierre Nicole, Bobbs-Merrill, 1964
Ligações externas La Logique ou l'Art de penser, fac-símile em francês no site da Biblioteca Nacional da França
Categoria:Lógica