Kategorije 10, 13b27-35

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.