This paper undertakes an in-depth examination of the intriguing argument for the existential import of negative propositions by the fifteenth-century Ottoman scholar Hatibzâde Mehmed (d. 1496) and the counterarguments by his disciple, Taşköprizâde Kâsım (d. 1513). It argues that this discussion is a significant example of Ottoman scholars engaging in long-standing disputes concerning the nature and ontological ground of negative propositions, which date back to Plato and Aristotle. It is also intended to underline the need for considering not only logic (...) texts but also works primarily associated with other disciplines in order to attain a comprehensive picture of logical discussions in the post-classical period of Islamic thought. (shrink)

This paper explores a neglected category of propositions in Arabic logic, propositions with negative predicates (sālibat al-maḥmūl), by addressing two pivotal questions concerning this propositional form: first, whether it is possible to defend it as distinct from metathetic and simple negative propositions and second, whether affirmative instances of these propositions have existential import. The paper argues for the existence of two distinct and conflicting theories of existential import frequently implicit in the views of Arabic logicians: one centered on the copula (...) and the other on the predicate. (shrink)

Essentialism can be defined as a metaphysical theory according to which things have essential and accidental properties. In this paper, I will address Avicennian essentialism, that is, essentialism...

The standard interpretation of Avicenna's correspondence theory of truth posits that propositions either correspond to what exists extramentally or otherwise their truthmaker is mental existence. An influential post-Avicennian philosopher, Naṣīr al-Dīn Ṭūsī (d. 1274) points to the insufficiency of the above division of propositions and their respective truthmakers. He mentions the possibility of conceiving false propositions, such as ‘One is not half of two’ and postulates the necessity of the existence of another truthmaking domain for their true counterparts which he (...) calls nafs al-amr. It is where objective and timeless entities, such as mathematical propositions, are located. While some claim that Ṭūsī's identification of this domain with the first Separate Intellect is a testimony to his Avicennian convictions, Ṭūsī's solution is a conspicuous departure from Avicenna that not only helps him remedy the insufficiency of Avicenna's theory of truth but is consistent with his critique of Avicenna's theory of God’s knowledge. (shrink)