The Logic of Port-Royal ( fransk: Logique de Port-Royal ), fulde titel på "Logic, or the Art of Thinking" ( fransk: La logique, ou l'art de penser ) er en bog om logik og logisk tænkning, udgivet i 1662 anonymt. Bogen er skrevet af Antoine Arnaud og Pierre Nicol , jansenistmunke fra Port - Royal Abbey . Blaise Pascal betragtes som en mulig medforfatter til bogen . "Logic" kan sammenlignes i status med " Port-Royal Grammar ", udgivet to år tidligere af Antoine Arnault og Claude Lanslot . Skrevet på fransk blev "Logik" indtil begyndelsen af det 20. århundrede brugt som et af læremidlerne i logik.
Forfatterne af bogen satte som et mål at adskille de "korrekte" logiske regler fra de "forkerte" (overdrevne). Bogen afviste eller forenklede de "skolastiske" finesser i middelalderens logiske tanke, udelukkede emnerne propositionel logik (konsistens), semantiske paradokser (uafgørlighed), begyndelsen af tidslig logik (forpligtelse) og doktrinen om upassende symboler ( syncategorematik). Forfatterne var på samme tid engageret i rehabiliteringen af syllogisk deduktion (et svar på renæssancens induktivisme), idet de erstattede Aristoteles' semi-formelle apparat med forklaringer, der brugte eksempler, der blev brugt til at fremme kartesisk filosofi og teologiske sandheder. Fra forfatternes synspunkt blev logik tolket som kunsten at ræsonnere fornuftigt om andre ting end formler: I tilfælde af at et åbenlyst bevis var i modstrid med reglerne, blev beviset placeret højere. Årsagen til fejlvurderinger var ikke forkerte konklusioner, men falske præmisser. Hovedopmærksomheden blev rettet mod de anvendte og metodiske aspekter af logik som hovedbetingelserne for "afklaring af betydningen" af domme og udviklingen af "evnen til at dømme".
Bogen indeholder de vigtigste bestemmelser i René Descartes ' metafysiske og epistemologiske systemer (inklusive den generelle doktrin om metoden) ved brug af Blaise Pascals definitionsteori. Samtidig blev ideen om, at Descartes kun brugte nøjagtige ræsonnementer i matematik, og ideen om mathesis universalis ikke afspejlet i bogen. Arno blev en af de filosoffer, hvis indvendinger blev offentliggjort med svar i Descartes' Meditations on First Philosophy . I bogen blev der for første gang fremhævet en klar forskel mellem intensional og ekstensionel sammenhæng [1] , hvilket gjorde det muligt at videreudvikle Aristoteles' idé og skolastikken om slægter og arter [2] , som blev grundlæggende for Leibniz' filosofi [3] .
Bogen blev betragtet som en af de bedste logiske lærebøger: i 1970'erne havde den gennemgået mere end 50 franske udgaver, flere engelske og latinske oversættelser, og i 1991 udkom dens russiske oversættelse. Det menes, at billedet af logik skabt ved hjælp af bogen tillod det at blive inkluderet i uddannelsesprogrammet for gymnasier, videregående uddannelseskurser og universiteter.
"Logik" kaldes undertiden et paradigmatisk eksempel på traditionel logik. Louis Marin studerede denne bog i det 20. århundrede ("Critique of Discourse", 1975), og Michel Foucault i bogen " Words and Things: Archaeology of the Humanities " kaldte den en af baserne i det klassiske episteme . Det blev også meget værdsat af Leibniz , på trods af den udtalte tilpasning af logikken til Descartes' metodologi. I 1990'erne var bogens bestemmelser forbundet med teorien om gitter og analysen af formelle begreber af Julius Schreider [4] [[Schreider, Julius Anatolyevich |, John Barwise og Jerry Selgiman]] [5] .
"Logic" er nævnt i Benjamin Franklins selvbiografi som en af de bøger, der påvirkede hans dannelse i en alder af 16.