Blum (Philosophical Investigations 46, 2023, 264) argues that Tarski's T‐schema and the thesis of the necessity of identity are mutually inconsistent. It is argued that his argument fails.

Quantifier variance entails that ‘there exists’ has a variety of meanings. Determining what makes all these meanings quantifier meanings is a problem associated with this view. A reasonable candidate suggested by Hirsch is the set of formal rules governing quantification. However, the collapse argument presents a notorious objection to the viability of the candidate: there cannot be more than one quantifier obeying the same rules up to logical equivalence. It is proposed that a quantifier variantist who intends to retain Hirsch’s (...) proposed solution can admit a many-sorted language in order to block the collapse argument. Within the many-sorted language, a Kaplanian thesis about the rules governing sorted quantifiers saves quantifier variance from meaning variance. (shrink)

Sayyid Sadr al-din Mohammad Dashtaki Shirazi is the inventor of the division of composition into unified composition and composition by join. With this division, Dashtaki has expressed a new theory about the composition of the material object from first matter and form, as well as the composition of man from soul and body, and considers these compositions as an alliance and unification, not simply the parts joining to each other. In this paper, we will present Dashtaki’s arguments on the theory (...) of unified composition. We will also examine three objections to this theory and responses to them. Finally, we will examine the background of this theory in Bahmanyar's phrases. Dashtaki believes that when the components in the compound have a real plurality, i.e. each one exists separately from the other, a composition by join is created, such as the composition of a house from numerous clays. But if the components in the compound are united and none of them are separate from the others and exists actually, the resulting composition will be an alliance and union. He believes that in the unified composition, every component is identical to any other component and is identical to the whole. Accordingly, Reza is a unique being, both human and writer. In order to achieve a composition, a plurality is needed and in order to form a single composition, there must be plural components related to each other. An important question is that, principally how is a composition possible, if unified composition comes to existence only when the components are made united with each other and with the whole? In other words, unified composition is not possible, because the first condition of the acquisition of the composition, i.e., the plurality of the constituent components, is not satisfied. Dashtaki strives to express a difference between the components in the union compound. He believes that the conditions of the realization and the survival of the components are different, and that is enough for them to be different. In Dashtaki's point of view, in the unified composition the components are analytical, not being separate and plural, in reality. In other words, the components do not have actual and "in-the-world" plurality, which means that it is our intellect that separates them and looks at them as independent objects. Therefore, unity and identity are in-the-world and plurality and discernibility are analytical and in the mind. Dashtaki's first argument for his theory in general is as follows: the three major material objects (solid, plant and animal) are undoubtedly real compounds. But in these compositions, components exist potentially, and in a unified composition, components do not exist actually. Therefore, these objects are unified compounds. The second argument is that the accuracy of predication implies unity. In the unified composition, the components are identical with the whole, and therefore, the components can be predicated to the composition. In Dashtaki's view, if A is predicated to B, then it could be concluded that they are identical and unified. The first objection to this theory is that the unity is incompatible with causality. From the perspective of the Peripatetics, form is the cause of the matter, and this is incompatible with the union of the two. Dashtaki states that in case of causality, there is no need for cause and effect to be two different and discernible entities, but a single entity may be from one aspect the cause and, from another, the effect. In other words, the foresaid causality is analytical causality. When mind analyses something, and then finds analytical components, it can see between those analytical and intellectual components, causality, and find some of them as the cause of the others. The second objection is the incorrectness of the unity in compounds with components not being similar. only in the compounds having similar parts, one can accept the unity of matter and form. For example, in compounds such as horses, it is not possible to accept the union of matter and form, because in horses, there are components with different natures, such as bones, flesh and nerves. Unity of These parts with each other and with the whole is not plausible. Dashtaki’s respond is that the horse is also a natural unit and has no actual plurality. Components having similar or different natures does not make any difference. According to the theory of unified composition, the horse's components are united with the horse's form and have only analytical plurality. Horse’s components are just analytical components, not actual, independent ones. The third objection is the incompatibility of the actual existence of components with their unity. But Dashtaki maintains that a unique actual personal entity cannot have actual plural components. He states that compounds such as horses exist objectively, but objective and real existing is divided into two kinds: dependent existence, and independent existence as a single real thing. Therefore, the two characteristics of "being a component" and "being independent" are incompatible and do not come together in a real being. Dashtaki has also quoted phrases from Bahmanyar to confirm his point of view. Bahmanyar says that the properties of an animal belong to the whole and compound, not to each component. For example, it is a horse that feels, not its bone or brain, as the eye is also a compound, but seeing is the work of the eye, not the work of any of its components. Therefore, the animal, which is something compound, has characteristics that none of its components have. So the animal is something over and above its components. Bahmanyar thinks the components in the animal are potential. Then he states a general rule: any compound in which unity is real, its components do potentially exist. Therefore, Bahmanyar considers the body parts of the living organism as a potential being and generally believes that the components of any compound that have true unity are potential. The potentiality of the components in a real compound does not that mean that the components are destroyed and a new thing is produced. The components are also available, but they do not have the effects they had separately before the composition comes into existence. In other words, the components have found a unique identity together and therefore have a new effect.. It seems that Bahmanyar has expressed the same idea that Dashtaki is looking for in the theory of unified composition. Therefore, it can be said that before Dashtaki, Bahmanyar has come up with the thought of a unity. Of course, Bahmanyar has not explained much about this, and Dashtaki is the first who has organized and completed this idea as a philosophical theory. (shrink)

Sad al-Din Dashtaki, and following him, Mulla Sadra Shirazi maintains that all real compositions are unified. After a short review of Dashtaki’s thesis, we concentrate on Mulla Sadra’s version. Mulla Sadra believes that Dashtaki’s version is not coherent and he declines the existence of real parts. We will argue that Mulla Sadra’s objections do not work and furthermore, all things said and done there is no difference between these two versions of the thesis of unified composition. If there is any (...) difference, it is about their theory of existence, not about their theory of composition. Sad al-Din Dashtaki, and following him, Mulla Sadra Shirazi maintains that all real compositions are unified. After a short review of Dashtaki’s thesis, we concentrate on Mulla Sadra’s version. Mulla Sadra believes that Dashtaki’s version is not coherent and he declines the existence of real parts. We will argue that Mulla Sadra’s objections do not work and furthermore, all things said and done there is no difference between these two versions of the thesis of unified composition. If there is any difference, it is about their theory of existence, not about their theory of composition. (shrink)

According to a bedrock assumption in the current methodology of armchair philosophy, we may refute a theory aiming at analyzing a concept by providing a counterexample in which it intuitively seems that a hypothetical or real situation does not fit with what the theory implies. In this paper, we shall argue that this assumption is at most either untenable or otherwise useless in bringing about what is commonly expected from it.

Recent years have seen a surge of attention to the problem of logical pluralism; most of which has been a reaction to Beall and Restall’s account of logical pluralism as the existence of more than one equally correct semantic relation of logical consequence. The underlying thesis is that the indeterminacy of the notion of validity goes beyond what the inductive-deductive distinction can precisify. The notion of deductive validity itself is indeterminate as well and this indeterminacy has its roots in the (...) indeterminacy of the more fundamental notion of case. Cases are what make the premisses and the conclusion of an argument true; the most notable example being Tarskian models for classical logic. Deductive validity is the preservation of truth across all cases. This paper argues that unless this account of logical pluralism is supplemented with an argument in favor of the equal legitimacy of the purported cases it becomes merely a semi-controversial exposition of how different logics can be generated. (shrink)

Some analogous higher-order versions of Skolem’s paradox will be introduced. The generalizability of two solutions for Skolem’s paradox will be assessed: the course-book approach and Bays’ one. Bays’ solution to Skolem’s paradox, unlike the course-book solution, can be generalized to solve the higher-order paradoxes without any implication about the possibility or order of a language in which mathematical practice is to be formalized.

Mirdamad, a prominent philosopher of the Late Medieval Period active in the Islamic world, regards existence as nothing in reality. In this paper, I employ methods devised by contemporary analytic...

Ontološki pluralizam je gledište prema kojemu postoje različiti načini postojanja. Povijesno gledano, načini postojanja su usklađeni s ontološkim kategorijama. Ovaj rad istražuje zašto postoji takva veza i kako je treba shvatiti. Ontološki pluralizam pati od prigovora prema kojem se ontološki pluralizam urušava u ontološki monizam, tj. u gledište da postoji samo jedan način postojanja. Priznavanje ontoloških kategorija može spasiti ontološki pluralizam od ovog prigovora ako načini postojanja utemeljuju ontološke kategorije.

We will formulate some analogous higher-order versions of Skolem’s paradox and assess the generalizability of two solutions for Skolem’s paradox to these paradoxes: the textbook approach and that of Bays (2000). We argue that the textbook approach to handle Skolem’s paradox cannot be generalized to solve the parallel higher-order paradoxes, unless it is augmented by the claim that there is no unique language within which the practice of mathematics can be formalized. Then, we argue that Bays’ solution to the original (...) Skolem’s paradox, unlike the textbook solution, can be generalized to solve the higher-order paradoxes without any implication about the possibility or order of a language in which mathematical practice is to be formalized. (shrink)

Mīr Dāmād, in Qabasāt argues that existence cannot be a real property for essences. If existence, he argues, were a real property of an essence, there would remain no distinction between simple-if and compound-if questions. It is well-known that Mullā Sadrā has given three different accounts in order to explain essence’s being existent: first that existence is an analytical property for essence; second that none of existence or essence is a property of the other one; and third that essence is (...) a property of existence. In this paper, I will argue that the first account would be defeated by Mīr Dāmād’s argument. The second account concedes the conclusion of the argument and then it would be in contrary with Mullasadra’s own view on the reality of existence, unless this account is augmented with the third one. The third account, however, can evade the argument. But it should be noted that the third account is based on Mullasadra’s own view on the reality of existence and the primacy of existence to essence. Keywords: existence, to be existent, simple-if question, compound-if question, property. 1. Introductıon In al-’Ufuq al-Mubīn Mīr Dāmād claims that not all predicates of a subject manifest a real property for that subject. A real property of a subject is something which is superadded to the subject. Examples include a body’s being red or a body’s being above another body. In such cases, the predicates correspond with some feature of the subjects which are not the same as those subjects, in reality. This is opposed to the body’s being itself, for example. In this case, the body itself is not something which is superadded to the body. 2. Mīr dāmād agaınst the realıty of exıstence The controversial example is essence’s being existent. Is the existence of an essence something superadded to the essence? In Mīr Dāmād’s words, is existence a real property for essence? Mīr Dāmād, in Qabasāt argues that existence cannot be a real property for essences. For this end, he notifies that there is a distinction between propositions that is parallel to the distinction between real and non-real properties. If P is a real property for a, then the proposition that a is P is a compound-if proposition. On the other hand, it is a commonplace that the only example of simple-if propositions is one that contains existence as its predicate. Now, he continues, suppose that existence is a real property. Then, the proposition that a exists would become a compound-if proposition. But this contradicts the well-established premise that the proposition that a exists is a simple-if proposition. Consequently, he argues, if existence were a real property of an essence, there would remain no distinction between simple-if and compound-if questions. The major problem that Mīr Dāmād is dealing with is how to explain essence’s being existent. His view is that, in reality, essence’s being existent is nothing but the essence itself. He, then, goes a step forward and claims that existence is nothing in reality. We only have the concept of existence in our minds. With these moves Mīr Dāmād, in some sense, resolves the problem of the relationship between essence and existence, in reality. 3. Mullā sadrā on the relatıonshıp between exıstence and essence It is well-known that Mullā Sadrā, Mīr Dāmād’s pupil, was in disagreement with the teacher with respect to the reality of existence. He believes that existence is a real entity in the world as opposed to essence. So, he should explain how essence is existent. Actually, he has given three different accounts in order to explain essence’s being existent. Mullā Sadrā’s first account is that existence is an analytical property for essence. He defines analytical property as the following: P is an analytic property for a iff a cannot be but not has P. Mullā Sadrā’s second explanation is that none of existence or essence is a property of the other one. His third thesis is that essence is a property of existence. 4. Mullā sadrā v.s. mīr dāmād My major concern in this paper is this problem: which of these three accounts for essence’s being existent offered by Mullā Sadrā can overcome Mīr Dāmād’s seminal argument? The first account would be defeated by Mīr Dāmād’s argument, since, any kind of real property, whether it is analytical or not, are associated with a compound-if proposition. This causes essence’s being existent to be manifested by a compound-if proposition. The second account concedes the conclusion of the argument. As we saw, Mīr Dāmād claims that the conclusion of his argument guarantees that existence is nothing in the world. This cannot be swallowed by Mullā Sadrā whose own view is that existence is real. The third account, however, can evade the argument, insofar as existence is not a property of essence. But it should be noted that the third account is based on Mullasadra’s own view on the reality of existence and the primacy of existence to essence. 5. Concluding remarks If the arguments rendered above are sound, we reach to a criterion in order to interpret Mullā Sadrā’s view on the relationship between existence and essence: his thesis that existence is real is more fundamental than his explanation for the problem of essence’s being existence. (shrink)

According to the dominant methodology of contemporary analytic philosophy, philosophical intuitions play evidential roles for or against philosophical theories. However, intuitions can play the supposed role successfully only if they are justified. Phenomenalism, as one of the proposed theories that aims to explain and argue for justifiedness of intuitions, claims that intuitions are justified because they have a certain phenomenal character: Intuitive contents seem to be true. Furthermore, it argues that sensory perception has similar phenomenal character, in virtue of which (...) it is justified. This analogy confirms the justifiedness of intuitions. In this paper, however, we shall argue that there is at least one another epistemological feature of sensory perception which is relevant to its justifiedness, that is self-correction. Although sensory perception is highly self – correcting, intuitions normally resist self – correction, even in the case of further recalcitrant evidences. The disanalogy threatens phenomenalist analogy for justifiedness of intuitions. (shrink)

According to a common definition, the argument of truthful ones is an argument in which the existence of Necessary Being is proved with no presumption of the existence of the possible being. Avicenna proposed different versions of this style of argument and the version in the book of Nejat is one of them. This paper is intended to examine the possibility of proving the logical validity of this version in first-order predicate logic and explain the principles which the argument is (...) based on. In this way, it becomes clear to what extent Avicenna's version is in accordance with the criteria he himself introduces for the argument of truthful ones. In this respect, while providing a clear exposition of the version in the book of Nejat, bugs on some of the statements and proposals to obviate them in terms of replacement arises. Then explaining the concepts and premises which the argument in the book of Nejat is besed on, it is formulated in first-order predicate logic with its full proof. Finally, the proposed model's accordance with the presented criteria for the argument of truthful ones will be shown. (shrink)