Aristotle was the founder not only of logic but also of modal logic. In the Prior Analytics he developed a complex system of modal syllogistic which, while influential, has been disputed since antiquity--and is today widely regarded as incoherent. Combining analytic rigor with keen sensitivity to historical context, Marko Malink makes clear that the modal syllogistic forms a consistent, integrated system of logic, one that is closely related to other areas of Aristotle's philosophy. Aristotle's modal syllogistic differs significantly from modern (...) modal logic. Malink considers the key to understanding the Aristotelian version to be the notion of predication discussed in the Topics--specifically, its theory of predicables and the ten categories. The predicables introduce a distinction between essential and nonessential predication. In contrast, the categories distinguish between substantial and nonsubstantial predication. Malink builds on these insights in developing a semantics for Aristotle's modal propositions, one that verifies the ancient philosopher's claims of the validity and invalidity of modal inferences. While it acknowledges some limitations of this reconstruction, Aristotle's Modal Syllogistic brims with bold ideas, richly supported by close readings of the Greek texts. (shrink)

Ever since ?ukasiewicz, it has been opinio communis that Aristotle's modal syllogistic is incomprehensible due to its many faults and inconsistencies, and that there is no hope of finding a single consistent formal model for it. The aim of this paper is to disprove these claims by giving such a model. My main points shall be, first, that Aristotle's syllogistic is a pure term logic that does not recognize an extra syntactic category of individual symbols besides syllogistic terms and, second, (...) that Aristotelian modalities are to be understood as certain relations between terms as described in the theory of the predicables developed in the Topics. Semantics for modal syllogistic is to be based on Aristotelian genus-species trees. The reason that attempts at consistently reconstructing modal syllogistic have failed up to now lies not in the modal syllogistic itself, but in the inappropriate application of modern modal logic and extensional set theory to the modal syllogistic. After formalizing the underlying predicable-based semantics (Section 1) and having defined the syllogistic propositions by means of its term logical relations (Section 2), this paper will set out to demonstrate in detail that this reconstruction yields all claims on validity, invalidity and inconclusiveness that Aristotle maintains in the modal syllogistic (Section 3 and 4). (shrink)

It has long been a truism of the history of philosophy that intentionality is an invention of the medieval period, and within this standard narrative, the central place of Arabic philosophy has always been acknowledged. Yet there are many misconceptions surrounding the theories of intentionality advanced by the two main Arabic thinkers whose works were available to the West, Avicenna and Averroes. In the first part of this paper I offer an overview of the general accounts of intentionality and intentional (...) being found in the linguistic, psychological, and metaphysical writings of Avicenna and Averroes, and I trace the terminology of “intentions” to a neglected passage from Avicenna’s logic. In the second part of the paper I examine the way that Avicenna and Averroes apply their general theories of intentionality to the realm of sense perception. I offer an explanation of why Avicenna might have chosen to denominate the objects of the internal sense faculty of estimation as “intentions”, and I explore the implications of Averroes’s decision to attribute intentionality to the external senses and the media of perception. (shrink)

One of the most widespread claims combining epistemology and metaphysics in post-Avicennian Islamic philosophy was that every object of thought is real. In Muʿtazilite reading, it was endorsed due to a theory of knowledge which states that knowledge is a connection or relation between the knower and the object known. Avicennists accepted it due to the rule that in a proposition “s is p” if p is something positive s has to be positive and real too. Hence, insofar as one (...) can conceptually distinguish between two non-existent items, they have to be real. In this article, the author presents significant consequences of this theory: the acceptance and denial of non-existent yet real extramental objects; the concept of mental existence as an alternative solution; the conceivability of paraconsistent ideas and their reality or reducibility to some real objects. (shrink)

A central question in the history of metaphysics concerns the ontological status of such notions as 'redness,' 'humanity,' or 'animality,' which one calls 'universals.' Since one uses these notions to describe objects in the real world, it may seem intuitive that they exist in extramental reality: one says that universals are 'real'. Famously, though, several problems arise from this view. A central problem known both to medieval and contemporary scholars goes as follows: I look at a red rose and recognize (...) that there is 'redness' in it. Then, I look at a red apple and recognize that there is 'redness' in it, too. Does this mean that one and the same 'redness' appears in both the rose and the... (shrink)

The theory of essential definitions is a fundamental anti‐sceptic element of the Aristotelian‐Avicennian epistemology. In this theory, when we distinguish the genus and the specific differentia of a given essence we thereby acquire a scientific understanding of it. The aim of this article is to analyse systematically the sceptical reasons, arguments and conclusions against real definitions of three major authorities of twelfth‐century Arabic philosophy: Faḫr al‐Dīn al‐Rāzī, Šihāb al‐Dīn al‐Suhrawardī and Abū l‐Barakāt al‐Baġdādī. I focus on showing how their refutation (...) of our capacity to provide essential definitions of things is rooted in their semantic theory: we only know things under certain descriptions which are identical to the meanings of the words that we use to refer to them, yet these descriptions do not capture the essences of things in themselves. The best result one can achieve with Aristotelian‐Avicennian scientific definitions is a “nominal definition”. With this, Rāzī, Suhrawardī and Abū l‐Barakāt will put some serious epistemic limitations on our capacity to attain scientific knowledge of things, at least as Aristotle and Avicenna would have it. (shrink)

ABSTRACTScholarship on medieval philosophy has rightfully acknowledged the historical and systematical merit of Avicenna’s thought in all divisions of philosophy. Avicenna however did not...

No argument from the Arabic philosophical tradition has received more scholarly attention than Avicenna's ‘flying man’ thought experiment, in which a human is created out of thin air and is able to grasp his existence without grasping that he has a body. This paper offers a new interpretation of the version of this thought experiment found at the end of the first chapter of Avicenna's treatment of soul in theHealing. We argue that it needs to be understood in light of (...) an epistemological theory set out elsewhere by Avicenna, which allows that all the constitutive properties of an essence will be clear to someone who understands and considers that essence. On our reading, this theory is put to work in the ‘flying man’: because the flying man would grasp that his own essence has existence without grasping that he has a body, connection to body cannot be constitutive of the essence. (shrink)

_Real Essentialism_ presents a comprehensive defence of neo-Aristotelian essentialism. Do objects have essences? Must they be the kinds of things they are in spite of the changes they undergo? Can we know what things are really like – can we define and classify reality? Many, if not most, philosophers doubt this, influenced by centuries of empiricism, and by the anti-essentialism of Wittgenstein, Quine, Popper, and other thinkers. _Real Essentialism_ reinvigorates the tradition of realist, essentialist metaphysics, defending the reality and knowability (...) of essence, the possibility of objective, immutable definition, and its relevance to contemporary scientific and metaphysical issues such as whether essence transcends physics and chemistry, the essence of life, the nature of biological species, and the nature of the person. (shrink)

What is the modal significance of sortal concepts? It is generally accepted that sortal concepts provide persistence conditions with modal implications that are de re, and not merely de dicto. I do not think that this important assumption has received the scrutiny that it deserves. In this paper, I examine the contrast between a ‘pure de dicto’ theory of the persistence conditions associated with sortal concepts and a variety of de re theories, both essentialist and non-essentialist. I conclude that although (...) there is a defensible argument against the pure de dicto theory, it has two interesting implications. First, the argument lends no support to an essentialist version of the de re theory. Secondly, it appears to support the rejection of the pure de dicto theory only by a theorist who is also a pluralist about coincidence. Hence it appears to provide no justification for the rejection of the pure de dicto theory on the part of a contingent identity theorist. (shrink)

I argue that the key motivation for the essentialist is that modal intuitions, such as "Humphrey might have won", are not to be explicated in terms of persons in other possible situations who are similar to the actual Humphrey. However, because of a need to preserve the necessity of identity, the essentialist must claim that certain other intuitions (such as "Hesperus might not have been Phosphorus") have to be understood in terms of similarity (as in Kripke) or have to be (...) rejected (as in Yablo). This move leads to ineliminable doubts about the essentialist's rejection of similarity, and so it leads to an undermining of the motivation for essentialism itself. (shrink)

L'A. presenta un'analisi della Lettera sull'anima, in cui Avicenna affronta il tema delle idee di esseri fittizi, come la fenice, ed in particolare la permanenza di tali idee nell'anima dopo la sua separazione dal corpo. Nella parte centrale dello studio l'A. esamina il rapporto fra la risposta avicenniana al problema ed alcuni elementi dottrinali caratterizzanti il pensiero del filosofo: il tema degli universali, della quidditas, o natura comune, e la distinzione fra essenza ed esistenza.