Izvorni znanstveni članak
https://doi.org/10.31192/np.19.2.10
Categories 10, 13b27-35: Logical form for Singular Predications
Igor Martinjak
orcid.org/0000-0002-2726-4036
; Sveučilište u Zagrebu, Fakultet filozofije i religijskih znanosti, Zagreb, Hrvatska
Sažetak
The possibility of formal representation of Aristotle’s discussion about singular predication in Categories 10, 13b27-35 is investigated through three symbolic idioms: the first-order language with identity, with and without definitive description, and through the languages of free logics. I show that such representations are not fully adequate. According to the first option, we are committing Aristotle with some (meta)logical implications he is not willing to accept. According to the second option, we are burdening Aristotle with Russell’s theory of names. Finally, the third option leaves us with the assumption that ‘exist(s)’ could be represented with a predicate. This assumption, however, Aristotle emphatically rejects.
Ključne riječi
affirmation; definitive descriptions; empty terms; existential import; first-order logic; free logic; logical form; negation; singularly existential sentences; singular predication
Hrčak ID:
260523
URI
Datum izdavanja:
16.7.2021.
Posjeta: 969 *