Logik von Port-Royal
Die Logik von Port-Royal ist der verbreitete Name des Buches “La logique, ou l'art de penser” (dt.: “Die Logik oder Die Kunst des Denkens”), eines sehr bedeutenden Werks über die Logik. Es wurde erstmals 1662 anonym von Antoine Arnauld und Pierre Nicole in französischer Sprache publiziert. Arnauld und Nicole waren zwei prominente Vertreter des Jansenismus aus dem Kreis der Gelehrten, die sich in Opposition zu dem im absolutistischen Königreich Frankreich praktizierten Katholizismus in das Kloster Port Royal des Champs bei Paris zurückgezogen hatten. Blaise Pascal hat den Text des Teils über die Methodologie wesentlich beeinflusst; inhaltlich wurden die darin formulierten Gedanken erstmals in Pascals Abhandlungen De l'Esprit géométrique (Über den mathematischen Geist) und de l'Art de persuader (dt. etwa: Die Kunst des Überzeugens) veröffentlicht. Dem Buch voraus ging die Grammatik von Port-Royal (1660).