Kategorinių sakinių semantika Port Royalio logikoje

Straipsnyje analizuojamos tradicinės logikos pradininkų - Antoine'o Arnauld ir Pierre'o Nicole'io - pažiūros į kategorinio sakinio semantiką trimis aspektais: kaip jie suprato sintaksę, elementariųjų dalių prasmes ir sakinio prasmės priklausomybę nuo konteksto. Pagrindinis tyrimo rezultatas yra išvada, kad šių autorių pažiūrose aptinkami viduramžių logikai būdingų kategorinio sakinio teorijų -inherentinės ir tapatybinės -variantai. Šios sakinio teorijos skirtingai interpretuoja kategorinio sakinio dalis-jungtį ir predikatą, ir skirtingai supranta kategorinio sakinio prasmės priklausomybę nuo konteksto. Tai verčia manyti, kad Arnauld ir Nicole'io pateiktas dviejų kategorinio sakinio semantinių teorijų sujungimas yra eklektiškas. Taip pat įvertinamos logikos istorikų Jeano Claude'o Pariente'o ir Jill Vance Buroker pateiktos Arnauld ir Nicole'io semantinių pažiūrų interpretacijos. Argumentuojama, kad jos suderinamos, bet vienpusiškos.

In this article, the author analyses semantics of categorical sentences presented by Antoine Arnauld and Pierre Nicole in their famous Logic or the Art of Thinking, known also a Port-Royal Logic. Their semantics of categoricals is analysed in three aspects: understanding of syntax, interpretation of elementary parts and dependence on context. The author comes to the conclusion that Arnauld and Nicole adhered to the variants of medieval semantic theories -inherence theory of categorical proposition and identity theory of categorical proposition. Parts of categoricals - copula and predicate - are interpreted differently in these theorics. Also dependence of the meaning of sentence on the context is understood differently here. This leads the author to the conclusion that the combination of inherence and identity theories by Arnauld and Nicole was eclectic one. Also recent interpretations of Arnauld's and Nicole's semantics of categoricals, presented by Jean-Claude Pariente and Jill Vance Buroker, are evaluated. In the light of the results of this investigation interpretations of Pariente and Buroker are both considered as one-sided, but compatible.