Original scientific paper
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
; University of Zagreb, Faculty of Philosophy and Religious Studies, Zagreb, Croatia
Abstract
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.
Keywords
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
Publication date:
16.7.2021.
Visits: 969 *