A Port-Royal logikája ( franciául Logique de Port-Royal ), a "Logika, avagy a gondolkodás művészete" teljes címe ( franciául La logique, ou l'art de penser ) egy könyv a logikáról és a logikus gondolkodásról, 1662-ben jelent meg névtelenül. A könyvet Antoine Arnaud és Pierre Nicol , a Port-Royal Abbey janzenista szerzetesei írták . Blaise Pascalt a könyv lehetséges társszerzőjének tartják . A „Logic” státuszát tekintve a „ Port-Royal Grammar ”-hoz hasonlítható, amelyet két évvel korábban adott ki Antoine Arnault és Claude Lanslot . A franciául írt "Logikát" egészen a 20. század elejéig használták a logika egyik oktatási segédanyagaként.
A könyv szerzői célul tűzték ki, hogy a „helyes” logikai szabályokat elkülönítsék a „rossztól” (túlzótól). A könyv elutasította vagy leegyszerűsítette a középkori logikai gondolkodás „skolasztikus” finomságait, kizárta a propozicionális logika (konzisztencia), a szemantikai paradoxonok (meghatározhatatlanság), az időbeli logika kezdetei (kötelezettség) és a helytelen szimbólumok tanának témáit. syncategorematika). A szerzők ugyanakkor a szillogikus dedukció (a reneszánsz induktivizmusára adott válasz) rehabilitációjával foglalkoztak, Arisztotelész félig formális apparátusát a karteziánus filozófia és teológiai igazságok népszerűsítésére használt példákon alapuló magyarázatokkal helyettesítve. A szerzők szemszögéből a logikát úgy értelmezték, mint a képleteken kívüli dolgokról való ésszerű érvelés művészetét: abban az esetben, ha egy nyilvánvaló bizonyíték ellentmondott a szabályoknak, a bizonyítást feljebb helyezték. A téves ítéletek oka nem helytelen következtetések, hanem hamis premisszák voltak. A fő figyelem a logika alkalmazott és módszertani vonatkozásaira irányult, mint az ítéletek „értelmének tisztázásának” és az „ítéleti képesség” fejlesztésének fő feltételeire.
A könyv René Descartes metafizikai és ismeretelméleti rendszerének főbb rendelkezéseit tartalmazza (beleértve a módszer általános tanát is) Blaise Pascal definícióelméletének felhasználásával. Ugyanakkor az a gondolat, hogy Descartes csak a matematikában használja az egzakt érvelést, és a mathesis universalis gondolata nem tükröződött a könyvben. Arno azon filozófusok egyike lett, akiknek kifogásait válaszokkal együtt publikálták Descartes Elmélkedései az első filozófiáról című művében . A könyvben először különítették el az intenzionális és extenzív összefüggések közötti egyértelmű különbséget [1] , ami lehetővé tette Arisztotelész és a skolasztikus nemzetségekről és fajokról alkotott elképzelésének továbbfejlesztését [2] , amely alapvető Leibniz filozófiája [3] .
A könyvet az egyik legjobb logikai tankönyvnek tartották: az 1970-es évekre több mint 50 francia kiadáson, több angol és latin fordításon ment keresztül, 1991-ben pedig megjelent orosz fordítása. Úgy gondolják, hogy a könyv segítségével kialakított logika képe lehetővé tette, hogy bekerüljön a gimnáziumok, felsőoktatási kurzusok és egyetemek oktatási programjába.
A "logikát" néha a hagyományos logika paradigmatikus példájának nevezik. Louis Marin tanulmányozta ezt a könyvet a 20. században („Critique of Discourse”, 1975), Michel Foucault pedig a „ Szavak és dolgok: Archaeology of the Humanities ” című könyvében a klasszikus episztéma egyik alapjának nevezte . Leibniz is nagyra értékelte , annak ellenére, hogy a logikát határozottan alkalmazkodott Descartes módszertanához. Az 1990-es években a könyv rendelkezéseit Julius Schreider [4] [[Schreider, Julius Anatolyevich |, John Barwise és Jerry Selgiman]] [5] rácselméletével és a formális fogalmak elemzésével kapcsolták össze .
Benjamin Franklin önéletrajzában a "logikát" az egyik olyan könyvként említik, amelyek befolyásolták 16 éves korában.