La logique ou l'art de penser
Antoine Arnauld et Pierre Nicole1662

«La logique de Port-Royal» a été publiée pour la première fois en 1662, à Paris et sans nom d'auteur. À la fois grammaire intellectuelle et compendium de l'épistémologie du classicisme cartésien et pascalien, cet art de penser est structuré selon les quatre aspects de la pensée rationnelle : comprendre, juger, déduire, ordonner. Toutes nos connaissances ont lieu à travers des idées qui reflètent les choses, et le jugement porté sur ces choses s'exprime dans des propositions constituées par un sujet et un prédicat. La justesse des propositions est examinée, lors de la déduction, sur la base du syllogisme. Enfin, l'ordonnancement des jugements et conclusions conduit à la science par le biais de la méthode (analyse et synthèse).
Cette logique a voulu s'appuyer exclusivement sur les mathématiques dont elle pensait pouvoir transposer le modèle dans tous les autres domaines du savoir et de l'exercice de la raison, par conséquent aussi sur le terrain de la formation syntaxique et grammaticale de tous les énoncés de langage, proposant ainsi un idéal de langage rationnel qui voudrait concilier l'esprit de finesse et l'esprit de géométrie : le discours classique par excellence.