•  57
    Analysis in Prior Analytics I.45
    History and Philosophy of Logic 43 (3): 207-231. 2022.
    I reconstruct Aristotle’s analytical procedure in Prior Analytics I.45 and its metalogical implications. Aristotle’s analysis unfolds three groups of syllogisms: symmetrically analysable, asymmetrically analysable, and non-analysable syllogisms. From the first and the third group could be extracted 27 combinations of the two mutually non-derivable deductive rules. Aristotle’s reduced deductive system in APr. I.7 with the two moods in the first figure (traditionally called Barbara and Celarent) f…Read more
  • According to the well–known argument, the traditional conception of existence and predication leads to the infamous paradox of non-existence. For instance, the sentence ‘Pegasus does not exist’ commits us to accept that there is something that does not exist. The easy way out is to analyze existence as a second–order concept expressing that there is at least one instance of some first–order concept. In this article, I argue that the traditional conception of existence and predication does not le…Read more
  • 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 opt…Read more