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.

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)

Ontological pluralism is the view that there are different ways of being. Historically, ways of being are aligned with the ontological categories. This paper is about to investigate why there is such a connection, and how it should be understood. Ontological pluralism suffers from an objection, according to which ontological pluralism collapses into ontological monism, i.e., there is only one way to be. Admitting to ontological categories can save ontological pluralism from this objection if ways of being ground ontological categories. (...) -/- . (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)

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)