Izvorni znanstveni članak

https://doi.org/10.31192/np.19.2.10

Kategorije 10, 13b27-35: logička forma singularnih subjektno-predikatnih rečenica

Igor Martinjak orcid.org/0000-0002-2726-4036 ; Sveučilište u Zagrebu, Fakultet filozofije i religijskih znanosti, Zagreb, Hrvatska

Sažetak

U radu se ispituje mogućnost reprezentiranja Aristotelove rasprave o singularnoj predikaciji iz Kategorija 10, 13b27-35 u trima simboličkim idiomima – u jeziku logike prvog reda s identitetom, s i bez određenih opisa, te jezicima slobodnih logika – te se pokazuje zašto nijedna reprezentacija nije u potpunosti odgovarajuća. Prema prvoj opciji, obvezujemo Aristotela na (meta)logičke implikacije koje on ne prihvaća. Prema drugoj opciji, pripisujemo Aristotelu Russellovu teoriju imena. U konačnici, treća nas opcija ostavlja s pretpostavkom da se ‘postoji’ može reprezentirati predikatom. Takvu pretpostavku, međutim, Aristotel izričito odbija.

Ključne riječi

afirmacija; egzistencijalna implikacija; logička forma; logika prvog reda; negacija; određeni opisi; prazni termini; singularna predikacija; singularno egzistencijalne rečenice; slobodna logika

Hrčak ID:

260523

URI

https://hrcak.srce.hr/260523

Datum izdavanja:

16.7.2021.

Podaci na drugim jezicima: engleski

Posjeta: 934 *