The essay presents Saul Kripke's argument for mind/body-dualism and makes the suppositions explicit on which it rests. My claim, inspired by Richard Boyd, is that even if one of Kripke’s central suppositions - the principle of necessity of identities using rigid designators - is shared by the non-traditional identity theorist, it is still possible for her to rebut Kripke’s dualism.

There are well-known quasi-formal arguments that identity is a "strict" relation in at least the following three senses: (1) There is a single identity relation and a single distinctness relation; (2) There are no contingent cases of identity or distinctness; and (3) There are no vague or indeterminate cases of identity or distinctness. However, the situation is less clear cut than it at first may appear. There is a natural formal theory of identity that is very close to the standard (...) classical theory but which does not validate the formal analogues of (1)-(3). The core idea is simple: We weaken the Principle of the Indiscernibility of Identicals from a conditional to an entailment and we adopt a weakly classical logic. This paper investigates this weakly classical theory of identity (and related theories) and discusses its philosophical ramifications. It argues that we can accept a reasonable theory of identity without committing ourselves to the uniqueness, necessity, or determinacy of identity. (shrink)

The aim of this chapter is to explore to some extent the relationship between identity and necessity in logic and metaphysics. First, I provide a historically-based summary of proofs of the necessity of identity, highlighting the importance of the role that self-identity plays. Second, I introduce two examples of metaphysical topics where the necessity of identity has played a pivotal role: the necessary a posteriori, and the coincidence of material objects. I argue that important aspects of these (...) debates rest on how we represent identity. Third, I consider some recent work on generalized identity. This opens up new prospects for explaining why identity is necessary. (shrink)

This paper draws attention to a proof of the necessity of identity given by Arthur Prior. In its simplicity, it is comparable to a proof of Quine's, popularised by Kripke, but it is slightly different. Prior's Polish notation is transcribed into a more familiar idiom. Prior's proof is followed by a proof of the necessity of difference, possibly the first such proof in the literature, which is also repeated here and transcribed. The paper concludes with a brief discussion (...) of Prior's views on identity and difference over time. (shrink)

It is tempting to think that in the case of complete spatio-temporal coincidence, the statue is identical with the constituent lump of clay. However, some philosophers have thought that accepting constitution as identity in this type of case forces one to reject the necessity of identity. I show that there is no conflict here. By distinguishing between an object's being necessarily an F and an object's being necessity identical with an F, we can see that accepting the (...) class='Hi'>necessity of identity does not, and should not, compel one to reject constitution as identity. (shrink)

Leibniz was a philosopher of principles: the principles of Contradiction, of Sufficient Reason, of Identity of Indiscernibles, of Plenitude, of the Best, and of Continuity are among the most famous Leibnizian principles. In this article I shall focus on the first three principles; I shall discuss various formulations of the principles (sect. 1), what it means for these theses to have the status of principles or axioms in Leibniz’s philosophy (sect. 2), the fundamental character of the Principles of Contradiction and (...) Sufficient Reason (sect. 3), some attempts to demonstrate the Principles of Contradiction and Sufficient Reason (sect. 4), and one attempt to demonstrate the Principle of Identity of Indiscernibles (sect. 5). The main results of the chapter are summarized in a short conclusion (sect. 6). (shrink)

The Principle of Identity of Indiscernibles (PII) is the focus of much controversy in the history of Metaphysics and in contemporary Physics. Many questions rover the debate about its truth or falsehood, for example, to which objects the principle applies? Which properties can be counted as discerning properties? Is the principle necessary? In other words, which version of the principle is the correct and is this version true? This thesis aims to answer this questions in order (...) to show that PII is a necessarily true principle of metaphysics. To accomplish this task, the reader will find, in this thesis, an encyclopaedical introduction to the history of PII and to the reasons it matters so much, followed by a presentation of the most famous arguments against it and the defences used against these arguments. Then, the reader finds in-depth discussion of the minutiae involved in postulating the principle as to make clear what is in fact being attacked and defended. With these preliminaries solved, a deeper analysis of these defences is presented aiming to discover which is the most appropriate example to use against the attacks to the principle. This analysis allowed a classification of these defences in four families with different strategies within them. Finally, with these defensive strategies at hand we are able to confront alleged counterexamples to PII in Mathematics with the intention to test these defences. (shrink)

John Locke is often understood as the inaugurator of the modern discussion of personal human identity—a discussion that inevitably falls back on his own theory with its critical reliance on memory. David Hume and Sigmund Freud would later make arguments for what constituted personal identity, both relying, like Locke, on memory, but parting from Locke's company in respect the role that memory played. The purpose of this paper will be to sketch the groundwork for Locke's own theory of personal identity (...) and consider some common objections tied to his special reliance on memory. Then, we will investigate the extent to which Hume and Freud refined their respective concepts of self-identity in ways that escape some of the most intractable objections to Locke's theory in its dependence on memory. Finally, we will consider which theorist's conception of self-identity best accords with our notion of the cyber-self, or psychological subjectivity in the context of cyberspace. For Locke, the nature of self-identity is that it is continuous across time, and to remain uninterrupted it must be beholden to a psychological process, rather than a material or immaterial substance. (shrink)

It was an empirical discovery that Phosphorus is Hesperus. According to Kripke, this was also the discovery of a necessary fact. Now, given Kripke’s theory of direct reference one could wonder what kind of discovery this is. For we already knew Phosphorus/Hesperus, and we also knew that any entity is, necessarily, identical to itself. So what is it that was discovered? I want to show that there is more to this widely known case than what usual readings, and critics, reveal; (...) and I want to show this under the Kripkean pattern that what was discovered is the plain fact of identity that Phosphorus is, and necessarily is, Hesperus. Moreover, I will show how both Kripkean theses, the necessity of identity and the direct theory of reference, should not be kept apart to understand the kind of discovery this is. In particular, understanding the kind of discovery we made will help us see how intuition is displayed in metaphysics, and how metaphysical impossibilities, and metaphysical modality in general, can be discerned by reason and separated from other modalities. The study of this discovery will help us see, in a line, how identity belongs to the inner and most profound structure of reality and to the most profound structure of cognition and language. (shrink)

Can the persistence of a human being's soul at death and prior to the bodily resurrection be sufficient to guarantee that the resurrected human being is numerically identical to the human being who died? According to Thomas Aquinas, it can. Yet, given that Aquinas holds that the human being is identical to the composite of soul and body and ceases to exist at death, it's difficult to see how he can maintain this view. In this paper, I address Aquinas's response (...) to this objection . After making a crucial clarification concerning the nature of the non-repeatability principle on which the objection relies, I argue that the contemporary notion of immanent causal relations provides us with a way of understanding Aquinas's defence that renders it both highly interesting and philosophically plausible. (shrink)

This article discusses Heidegger’s interpretation of Parmenides given in his last public lecture ‘The Principle of Identity’ in 1957. The aim of the piece is to illustrate just how original and significant Heidegger’s reading of Parmenides and the principle of identity is, within the history of Philosophy. Thus the article will examine the traditional metaphysical interpretation of Parmenides and consider G.W.F. Hegel and William James’ account of the principle of identity in light of this. It will then (...) consider Heidegger’s contribution, his return to and re-interpretation of Parmenides in his last lecture. Heidegger will, through the Parmenidean claim that ‘Thinking and Being are one’ deconstruct the traditional metaphysical understanding of the principle of identity, and in its place offer a radically different conception of how our relationship, our ‘belonging together’ with Being can be understood. (shrink)

Personal identity is one of the important and complex issues in the field of the philosophy of the soul. It is also related to the philosophy of ethics and metaphysics in different respects and has given rise to some problems in these two areas. The justification of ethical responsibility and man's eternity in the posthumous state have attracted psychologist-philosophers' attention to the significance and necessity of explaining personal identity. This paper examines the issue from the view point of Mulla (...) Sadra. Here, the writer initially refers to some of the most important contemporary theories about personal identity which can generally be divided into two reductionist and non-reductionist branches. Reductionists intend to reduce the human identity to elements such as memory, biological specifications, or continuous psychological states, while non-reductionists are against this. Mulla Sadra's theory in this regard is not in conformity with any of the above theories; however, it is more consistent with the non-reductionist approach from certain aspects. Though relying on the fundamental ontological and psychological principles of his own philosophy, Mulla Sadra tries to present a picture of human identity that, while depending on human nature, reveals personal identity, too. This is an identity in whose process of formation the three elements of habits, intentions, and acts play major roles. The extent of the consistency of these three elements with rationality is the reason behind having people with different identities. It should also be added that no human being enjoys a single and fixed identity; rather, identity is a continuous reality that, while being one, is a plural truth. (shrink)

Contact between culturally distinct human groups in the contemporary ‘glocal’ -global and local- world is much greater than at any point in history. The challenge we face is the identification of the most convenient ways to organise the coexistence of different human language groups in order that we might promote their solidarity as members of the same culturally developed biological species. Processes of economic and political integration currently in motion are seeing increasing numbers of people seeking to become polyglots. Thus, (...) English is establishing itself as the usual world supra-language, although it coexists with other lingua francas that are widely used in certain parts of the globe. All this communicative reorganization of the human species may very well pose new problems and aggravate existing tensions as regards language and identity. It would seem that these processes comprise at least four major conceptual dimensions which must be taken into account above all else, as they are both widespread and, left unaddressed, may lead to significant social instability. These dimensions concern linguistic recognition, communicability, sustainability and integration. While accepting the utility of having an inter-national language, the keystone of the system is clearly that it must ensure the linguistic sustainability of each group. The basic principle is likely to be functional subsidiarity, i.e., whatever can be done by the local language should not be done by another one which is more global. As in the quote from Paracelsus --“the dose alone makes the poison”-- contact between languages is not ‘poisonous’ per se, but when the correct dose is exceeded it can prove harmful to the language whose position is weaker. A multilingual and communicated humanity is possible. (shrink)

We obtain that Universe space has to be flat, but also, at the same time, it has to be finite, homogeneous (on global scale) and isotropic. So rays of light can be observed moving along parallel trajectories in an expanding finite hypersphere. We show this implies an accelerated expansion of the Universe. Considering the energy conservation problem, also we argue about the necessity of matter-antimatter asymmetry.

Can an identity be the proper subject of an explanation? A popular stance, albeit not one often argued for, gives a negative answer to this question. Building from a contentious passage from Jaegwon Kim in this direction, we reconstruct an argument to the conclusion that identities, to the extent in which they are necessary, cannot be explained. The notion of contrastive explanation, characterized as difference-seeking, will be crucial for this argument; however, we will eventually find the argument to be (...) unsatisfactory. On the contrary, the discussion provides enough resource to sketch a very simple framework for a non-causal contrastive explanation of identities. Many instances will be provided, with different varieties of explanans, ultimately suggesting that certain entailment or biconditional principles involving identities (first and foremost, so-called two-level identity criteria) may indeed be taken to have an inherent explanatory value. (shrink)

The idea that the epistemology of modality is in some sense a priori is a popular one, but it has turned out to be difficult to precisify in a way that does not expose it to decisive counterexamples. The most common precisifications follow Kripke’s suggestion that cases of necessary a posteriori truth that can be known a priori to be necessary if true ‘may give a clue to a general characterization of a posteriori knowledge of necessary truths’. The idea is (...) that whether it is contingent whether p can be known a priori for at least some broad range of sentences ‘p’. Recently, Al Casullo and Jens Kipper have discussed restrictions of such principles to atomic sentences. We show that decisive counterexamples even to such dramatically restricted Kripke-style principles can be constructed using minimal logical resources. We then consider further restrictions, and show that the counterexamples to the original principles can be turned into counterexamples to the further restricted principles. We conclude that, if there are any true restrictions of Kripke-style principles, then they are so weak as to be of little epistemological interest. (shrink)

The aim of this paper is to show that topology has a bearing on Leibniz’s Principle of the Identity of Indiscernibles (PII). According to (PII), if, for all properties F, an object a has property F iff object b has property F, then a and b are identical. If any property F whatsoever is permitted in PII, then Leibniz’s principle is trivial, as is shown by “identity properties”. The aim of this paper is to show that topology can (...) make a contribution to the problem of giving criteria of how to restrict the domain of properties to render (PII) non-trivial. In topology a wealth of different Leibnizian principles of identity can be defined - PII turns out to be just the weakest topological separation axiom T0 in disguise, stronger principles of can be defined with the aid of higher separation axioms Ti, i > 0. Topologically defined properties have a variety of nice features, in particular they are stable in a natural sense. Topologically defined properties do not have a monopoly on defining “good” properties. In the final section of the paper it is show that the topological approach is closely related to Gärdenfors’s approach of conceptual spaces based on the concept of convexity. (shrink)

Tschumi believes that the quality of architecture depends on the theoretical factor it contains. Such a view led to the creation of architecture that would achieve visibility and comprehensibility only after its interpretation. On his way to creating such an architecture he took on a purely philosophical reflection on the basic building block of architecture, which is space. In 1975, he wrote an essay entitled Questions of Space, in which he included several dozen questions about the nature of space. The (...) questions he formulated could be regarded as analogous to the situation in the philosophy of the time, in which the interest in questioning the most obvious forms of understanding the world and intellectual categories increased. The research on space is an area common to many fields of natural sciences, humanities and artistic creation, but it also deals with other problems, such as issues of experience. The concept of space-time continuum proposed by Hermann Minkowski drew attention to the identity of time and space with the events taking place. Probably regardless of the postulates of physicists commenting on Einstein’s discoveries, also in philosophy it increased the importance of the concept of the event which became dominant in Heidegger’s latest work Contributions of Philosophy. Of the event. Furthermore, Tschumi’s reflections on space entered into relation with the problem of experience, which aroused the interest of a group of French philosophers trying to assimilate Georges Bataille’s concept of “inner experience”. Both Tschumi and Derrida referred to Bataille because his views could be used not only to modify the concept of the subject, but also to change the understanding of what constitutes the area of architecture. The discussion on experience has led to the recognition that the subject is not sovereign, but actually a form of what is on their outside. Such insights make it possible to treat the area of the Parc de La Villette as existing mainly when it is organised by its users. The decisive features of the Park are its assumptions, according to which it is a variety of active void that leads to agreeing new social relations with it. The park does not force to participate in already existing moral or political communities, but tries to move into an unknown future in which the scope of free functioning of individuals will be increased. Doubts about the principles of functioning of the individual self and its discovery as a whole composed of non-coherent parts, as well as its dependence on its own depth full of disordered forces, influenced the understanding of architecture as a set of contradictions whose source is a fundamental void anticipating the empty phenomenal space. The use of this phenomenal void in architecture, as well as the rejection of the whole and unity, had a specific political purpose and drew its inspiration from political analyses. In the Parc de La Villette, metaphysics and politics were brought closer together because the philosophy of void was used to create new conditions for community action. It can be argued that the source of this philosophy was the perception of errors in existing societies dependent on the shortcomings of traditional metaphysics. Spacing (espacement) was one of the key terms in Derrida’s philosophy, which was also combined with the concepts of différance and chôra. The study of the nature of space, especially its transition from the level of pure possibility to the level of sensual phenomenon, also contributes to understanding how well designed space can have an impact on its audience. This explanation is based on Tschumi’s assumption that the space of the Parc de La Villette contradicts the integrating approaches and instead exposes contradictions, but it does so in a way that combines incompatible properties into a single piece of architecture. The specificity of such integration is similar to the invention of a musical phrase, which is an ideological message: moral and political. Such a thesis may raise doubts, however, if both the clearly adopted assumptions and those deduced from the work allow for their ↪Quart Nr 2(52)/2019 logically ordered presentation then to a limited extent it may be assumed that the work has achieved a connection between a specific philosophy of space and its practical application. Derrida combined the problem of spatiality with the problem of transcendental imagination in Kant’s philosophy, who in the first version of Critique of Pure Reason assumed that pure imagination precedes the appearance of time and space, even in their transcendental forms. The imagination in such a situation can be described as a factor activating time and space, which indicates what function is played by movement in this activity. This leads us to recognize that the ultra originary source of pure forms of sensual intuition is movement, which in early Greek philosophy was identified with void and its lack of resistance to phenomena occurring in it. Derrida’s philosophy in search of a certain super-transcendental source of time and space pointed to différance which, like void or the chôra, does not have material features or even any other form of being. Différance is the primary cause of the disruption of motionlessness and the introduction of activity into motionless time and space, thus its activity can be described as spacing (espacement). Derrida’s discoveries in this respect are not entirely original, because Hegel already pointed out when examining the present that it is primarily a differential relation (differente Beziehung), which, being seemingly neutral, influences the present with supernatural force and makes it unidentifiable with itself. Differente Beziehung must similarly influence the originary space, negating its initial character by multiplying its divisions and expanding its boundaries. Différance acts by revealing contradictions wherever there is apparent undifferentiation. Tschumi, composing the Parc de La Villette as a variety of void and a set of incompatible layers, followed the rules of différance or the chôra: he made void visible together with its saturation with contradictions. If space can be considered to be the result of the activity of difference, such activity has a certain regularity, which influences the behaviour of its observers. Differences or contradictions fall into a certain rhythm, which can be considered a manifestation of transcendent order. The problem is that what can be considered the source of such order, namely the logos or God, is partly disorder and error. According to descriptions contained in Timaeus, the world is a combination of forces that drive to order with forces of erroneous necessity that resounds in every order and forces it to return to disorder. Derrida denied the possibility of understanding différance as a theological value, even if it were a negative or apophatic theology, but no categorical denial could be perfect. The assumption that différance or the chôra are not endowed with any substance properties cannot deny their activity, and thus a certain force. Already since Democritus, philosophy has multiplied the names of such a force and the contradictory variety of its manifestations, never forgetting also the necessity for reason to withdraw from the possibility of giving its correct characteristics. Such a withdrawal may be interpreted as an expression of respect and, in certain situations, as a cult of the force that precedes reasonableness. The Parc de La Villette, which is an artistic divagation about the contradictions and forces behind them, can be considered as a place of their sublimation, and therefore as a variation of the temple of what differs from order and disorder. (shrink)

The Principle of Sufficient Reason is very seldom, if ever, referred to in the works of whom we might think of as the eminent Asian metaphysicians. In spite of this, the big picture metaphysical views available in the thought of philosophers such as Nāgārjuna, Fazang and Nishida appear to share certain structural features with views more familiar to us from our own tradition; views that explicitly accept or reject the Principle of Sufficient Reason. Nāgārjuna looks to develop a (...) kind of metaphysical infinitism, Fazang an extreme form of coherentism, and Nishida a species of foundationalism. These three positions - infinitism, coherentism and foundationalism - are typically thought to exhaust the spread of possibilities by those working within the Western tradition. -/- In spite of their similarities to positions advanced within our own tradition, the cosmologies of many of the giants of Asian philosophy are characterised by their rather striking conclusions. Amongst such conclusions for Nāgārjuna is that everything is empty; for Fazang that everything is identical to everything else; and for Nishida that everything depends on absolute nothingness. If the Principle of Sufficient Reason is playing a role in the derivation of such striking conclusions, then it looks that there are more options regarding the metaphysical structure of the world available to us than our own tradition typically courts. If, on the other hand, these striking cosmological conclusions are arrived at without any consideration of sufficient reason, then there may well be ways of reasoning about the overarching structure of reality that are powerful but unfamiliar to Western thinking. In this contribution, I explore what, if any, role the PSR might be playing in the thought of Nāgārjuna , Fazang and Nishida, and what we might be able to learn from it. (shrink)

ABSTRACTThe Necessity of Origins is the thesis that, necessarily, if a material object wholly originates from some particular material, then it could not have wholly originated from any significantly non-overlapping material. Several philosophers have argued for this thesis using as a premise a principle that we call ‘Single Origin Necessity’. However, we argue that Single Origin Necessity is false. So any arguments for The Necessity of Origins that rely on Single Origin Necessity are unsound. (...) We also argue that the Necessity of Origins itself is false. Our arguments rely on a thesis in the ontology of art that we find plausible: Multi-Work Materialism. It is the thesis that works of art that have multiple concrete manifestations are co-located with those manifestations. (shrink)

Despite the importance of the variational principles of physics, there have been relatively few attempts to consider them for a realistic framework. In addition to the old teleological question, this paper continues the recent discussion regarding the modal involvement of the principle of least action and its relations with the Humean view of the laws of nature. The reality of possible paths in the principle of least action is examined from the perspectives of the contemporary metaphysics of modality (...) and Leibniz's concept of essences or possibles striving for existence. I elaborate a modal interpretation of the principle of least action that replaces a classical representation of a system's motion along a single history in the actual modality by simultaneous motions along an infinite set of all possible histories in the possible modality. This model is based on an intuition that deep ontological connections exist between the possible paths in the principle of least action and possible quantum histories in the Feynman path integral. I interpret the action as a physical measure of the essence of every possible history. Therefore only one actual history has the highest degree of the essence and minimal action. To address the issue of necessity, I assume that the principle of least action has a general physical necessity and lies between the laws of motion with a limited physical necessity and certain laws with a metaphysical necessity. (shrink)

The basic principles of Cipra's metaphysics (according to his book "Metamorphoses of Metaphysics") are analyzed with respect to Cipra's request for the revision of classical logical principles (of identity, excluded middle and contradiction). In Cipra's metaphysics, the principle of identity holds for being, necessity and past only, the principle of excluded middle does not hold for coming-to-be, possibility and present, and the principle of contradiction does not hold for the actuality, reality (freedom) and future. A propositional (...) and first-order temporal model and semantics are defined for such a concept of metaphysical time. The propositional ockhamistic branching time model is extended, in a first-order model, with a non-empty set of object shapes and an equivalence relation between object shapes in time, so that, for example, different, previously equivalent object shapes can in future contradict one another. (shrink)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

In `Essence and Modality', Kit Fine proposes that for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all objects whatsoever. Call this view Fine's Thesis. This paper is a study of Fine's Thesis in the context of Fine's logic of essence (LE). Fine himself has offered his most elaborate defense of the thesis in the context of LE. His defense rests on the widely shared assumption that metaphysical necessity obeys (...) the laws of the modal logic S5. In order to get S5 for metaphysical necessity, he assumes a controversial principle about the nature of all objects. I will show that the addition of this principle to his original system E5 leads to inconsistency with an independently plausible principle about essence. In response, I develop a theory that avoids this inconsistency while allowing us to maintain S5 for meta- physical necessity. However, I conclude that our investigation of Fine's Thesis in the context of LE motivates the revisionary conclusion that metaphysical necessity obeys the principles of the modal logic S4, but not those of S5. I argue that this constitutes a distinctively essentialist challenge to the received view that the logic of metaphysical necessity is S5. (shrink)

The necessity of origin suggests that a person’s identity is determined by the particular pair of gametes from which the person originated. An implication is that speculative scenarios concerning how we might otherwise have been had our gametic origins been different are dismissed as being metaphysically impossible. Given, however, that many of these speculations are intelligible and commonplace in the discourses of competent speakers, it is overhasty to dismiss them as mistakes. This paper offers a way of understanding these (...) speculations that does not commit them to incoherence but aims to make the best sense of what they are expressing. Using the philosophical framework of two‐dimensional semantics, it proposes that the speculative scenarios are best analysed as epistemic possibilities, rather than as metaphysical possibilities. It then explores some implications of this analysis for the ethical challenges associated with the non‐identity problem. (shrink)

I show that intuitive and logical considerations do not justify introducing Leibniz’s Law of the Indiscernibility of Identicals in more than a limited form, as applying to atomic formulas. Once this is accepted, it follows that Leibniz’s Law generalises to all formulas of the first-order Predicate Calculus but not to modal formulas. Among other things, identity turns out to be logically contingent.

From classical mechanics, in particular the motion in a straight line, together set theory and ordinal number theory, we prove a not-classical behaviour, a discontinuous motion and emission.

This paper asks whether a necessity can be the source of necessity. According to an influential argument due to Simon Blackburn, it cannot. This paper argues that although Blackburn fails to show that a necessity cannot be the source of necessity, extant accounts fail to establish that it is, with particular focus on Bob Hale’s essentialist theory and Christopher Peacocke’s ‘principle-based’ theory of modality. However, the paper makes some positive suggestions for what a satisfactory answer (...) to the challenge must look like. (shrink)

This article offers a novel, conservative account of material constitution, one that incorporates sortal essentialism and features a theory of dominant sortals. It avoids coinciding objects, temporal parts, relativizations of identity, mereological essentialism, anti-essentialism, denials of the reality of the objects of our ordinary ontology, and other departures from the metaphysic implicit in ordinary ways of thinking. Defenses of the account against important objections are found in Burke 1997, 2003, and 2004, as well as in the often neglected six paragraphs (...) that conclude section V of this article. (shrink)

Religion is basically a consciousness or awareness of God. This means that Religion depends upon a difference between the finite subject or consciousness and the infinite object or God. This difference is maintained because of the way Man relates to God in religion, i.e. through feeling, love, etc. Philosophy is the scientific comprehension of Truth, in which an identity-in-difference is sought between the subject and object or concept and object. This is attained through thinking, and not through feeling. Religion and (...) Philosophy often seem to be at odds in the beginning. This opposition is, however, reconciled by absolute knowledge. The love that is found in Religion is represented by the identity-in-difference principle that is found in Philosophy. The urge that the philosopher feels in the necessity to come to truth or oneness with truth, is the same urge that religion expresses in the feeling of love of God. It is merely a difference in the way they each proceed in fulfilling that need or necessity – one through thinking the other through feeling. The identity and difference of thinking and feeling is another topic that is dealt with by Hegel in his system. (shrink)

There are two traditional ways to read Kant's claim that every event necessarily has a cause: the weaker every-event some-cause and the stronger same-cause same-effect causal principles. The focus of the debate about whether and where he subscribes to the SCP has been in the Analogies in the Critique of Pure Reason and in the Metaphysical Foundations of Natural Science. By analysing the arguments and conclusions of both the Analogies and the Postulates as well as the two Latin principles non (...) datur casus and non datur fatum that summarise their results, I will argue for the novel thesis that the SCP is actually demonstrated in the Postulates of the First Critique. (shrink)

Epistemic injustice is injustice to a person qua knower. In one form of this phenomenon a speaker’s testimony is denied credence in a way that wrongs them. I argue that the received definition of this testimonial injustice relies too heavily on epistemic criteria that cannot explain why the moral concept of injustice should be invoked. I give an account of the nature of the wrong of epistemic injustice that has it depend not on the accuracy of judgments that are used (...) or made in the process of deciding whether to listen to or trust a speaker, but on whether the basis of the decision about a speaker is their reliability or their identity, and the account explains why the latter is a moral wrong. A key difference between the two accounts is how they classify the use of true statistical generalizations connecting identity and reliability. The received view implies that this cannot be an injustice, while the view proposed here implies that it can. As such the new view appears to imply a conflict between moral and epistemic obligations: it is morally wrong to use true statistical generalizations in certain contexts, yet they are part of our evidence, and we are epistemically obligated to take all of our evidence into account. I reconcile these two thoughts without adopting the currently popular view that a belief’s being morally wrong makes it epistemically unjustified, and I argue that following the principle of total evidence encourages epistemic justice rather than thwarting it. (shrink)

One of the still unsolved problems in liberal anarchism is a definition of social constituency in positive terms. Partially, this had been solved by the advancements of liberal discourse ethics. These approaches, built on praxeology as a universal framework for social formation, are detached from the need of any previous or external authority or rule for the discursive partners. However, the relationship between action, personal identity, and liberty within the process of a community becoming solely generated from the praxeological a (...) priori remains largely disputed. In order to develop a testable constitutional model, this study revises how the “ontological turn” was introduced into liberal theories and redefines the concept of liberty. Liberty is usually understood as a moral goal or measurement for just actions, as the generative principle of all social existence - individual and interpersonal. For this purpose, the function of performative contradiction within the mechanism of interpersonal “encounter”, as part of the co-generative process of the individual becoming and social formation was explored through the production of a game-based narrative historiography grounded on 19th century life writings. This narrative historiography was developed in the context of Swiss history, with a “design-based” research approach, and resulted in a prototype for networked storytelling through which the transformative learning process could be visible and the negotiation of competing individual visions of the future could be re-enacted. (shrink)

This thesis develops and defends a Peircean conception of the task of metaphysics and critically compares it with recent anti-metaphysical forms of pragmatism. Peirce characterises metaphysics in terms of its place within his hierarchical classification of the sciences. According to the classification, metaphysics depends on logic for principles and provides principles to the natural and social sciences. This arrangement of the sciences is defended by appeal to Peirce's account of philosophy as 'cenoscopy'. The dependence of the natural and social sciences (...) on cenoscopy is then argued for on the basis of Peirce's rejection of psychologism and in terms of the necessity of abductive inference. Peirce's position is then compared with recent forms of pragmatism. While it is less naturalistic, Peirce's position is defended on pragmatist grounds. An account of Peirce on truth is then developed. Peirce's account of truth in terms of an ideal limit of inquiry is defended as consistent with recent, more deflationary, approaches. The truth of 'abstract propositions' is a matter of local indefeasibility. These abstract propositions are related to the 'absolute truth', understood as a single non-abstract proposition. The truth of this proposition is then understood in terms of an identity theory. Two conceptions of Peircean metaphysics are presented. Both are 'abductive'. Their task is to explain the possibility of success in inquiry. However, only one proposal accepts the notion of an absolute truth. The 'absolutist' proposal is defended as an interpretation of Peirce and as a contemporary option for pragmatist philosophers. The thesis concludes by comparing recent anti-metaphysical arguments due to Huw Price with the Peircean position. Room for the absolutist proposal is defended by means of an account of recent exchanges between Price and Robert Brandom on dispositional modality. (shrink)

Leibniz has long faced a challenge about the coherence of the distinction between necessary and contingent truths in his philosophy. In this paper, I propose and examine a new way to save genuine contingency within a Leibnizian framework. I conclude that it succeeds in formally solving the problem, but at unbearable cost. I present Leibniz’s challenge by considering God’s choice of the best possible world (Sect. 2). God necessarily exists and necessarily chooses to actualise the best possible world. The actual (...) world therefore could not be different, for if it were different it would be a distinct and inferior world and hence would not be created. In Sect. 3 I defend Leibniz from this challenge. I argue that while it is necessary for God to choose to create the best possible world, it is not necessary for any world to be the best possible. This is because the criterion for judging perfection can itself be contingent. Different criteria will judge different worlds as the best. Thus it is necessary for God to create the best, but not necessary which is the best. Distinguishing between possible worlds in Leibniz’s sense and in the modern sense allows a fuller exposition of this position. There are worries that can arise with the claim that the criterion of perfection is contingent. I consider two of the most pressing (Sect. 4). The first argues that the criterion is in God’s understanding and hence is necessary; the second alleges that a contingent criterion of perfection violates Leibniz’s cherished Principle of Sufficient Reason. These worries are well-grounded, and examining them reveals a deep incompatibility between this solution and Leibniz’s metaphysical views. I conclude that there is a real solution available, but that it is unacceptable to Leibniz or a Leibnizian. The search for a genuine solution that is genuinely Leibnizian goes on. (shrink)

The purpose of this paper is to propose and defend an absolute principle of truthmaking, a maximalist one according to which every truth is made true by something in the world beyond itself. I maintain that an absolute principle must be true, that any weakened version is straightforwardly contradictory or incoherent. I criticize one principle of truthmaking (in terms of bald necessity) and articulate one in terms of the relation in virtue of. I then criticize other (...) principles of truthmaking in light of the latter, for I contend that in virtue of has a role in the theory of truthmaking that is essential and ineluctable. That all true representations have a truthmaker as defined by the principle I articulate is the absolute principle of truthmaking I defend. The crux of the paper is the arguments I present in defense of this absolute principle. In defending it against familiar objections to maximalism, an account of the truthmakers that seem to ground all true representations emerges. I maintain that such truthmakers are simple facts. With the absolute principle and its corollary account of truthmakers, this paper contains the core of a comprehensive theory of truthmaking. (shrink)

The subject of this paper is the epistemology of identity: a general theory of knowledge, evidence and justification for the claim that one thing is identical to another. Although identity figures significantly in our epistemic lives, this is a topic that, to the best of my knowledge, has gone entirely unexplored. Initial attempts to integrate such an epistemology into existing theories of evidence---many of which are tailor-made for contingent propositions---are confounded by the necessity of identity. I defend a restricted (...) form of skepticism according to which the only knowable identity claims are trivial. (shrink)

Manzotti (2021) surveys recent variants of identity theories, defending his own preferred version, mind-object identity theory (MOI). According to this view, experiences are identical with the external objects, and the mind is thus literally “spread” in the world. Manzotti supports this view with considerations about indiscernibility of properties and other theoretical considerations. He claims that brain-mind accounts of identity commit the “fallacy of the center,” locating conscious mind inside the skull. Amongst other recent works, he comments on our (Polák and (...) Marvan, 2018) article, in which we defended a standard, neurocentrist version of type identity theory, and supplemented it with a sketch of neuro-phenomenal typing. Manzotti holds that although we appeal to neuro-phenomenal types in our account of mind-brain identity, we nevertheless “lack a convincing explanation as to why the type of neural processes should be identical to the type of one's experience.” This is a fair point. We didn't do much in our 2018 article to support our views on the principles of neuro-phenomenal typing, either by detailed theoretical considerations or by empirical evidence. In this short rejoinder, we offer the missing argument. By doing so, we also respond both to Manzotti's cited objection and to the charge of the “fallacy of the center.” -/- . (shrink)

Our concept of the universe and the material world is foundational for our thinking and our moral lives. In an earlier contribution to the URAM project I presented what I called 'the ultimate organizational principle' of the universe. In that article (Grandpierre 2000, pp. 12-35) I took as an adversary the wide-spread system of thinking which I called 'materialism'. According to those who espouse this way of thinking, the universe consists of inanimate units or sets of material such as (...) atoms or elementary particles. Against this point of view on reality, I argued that it is 'logic', which exists in our inner world as a function of our mind, that is the universal organizing power of the universe. The present contribution builds upon this insight. Then I focussed on rationality; now I am interested in the responsibility that is the driving force behind our effort to find coherence and ultimate perspectives in our cosmos. It is shown that biology fundamentally differs from physics. Biology has its own fundamental principle, which is formulated for the first time in history in a scientific manner by Ervin Bauer. This fundamental principle is the cosmic life principle. I show that if one considers the physical laws as corresponding to reality, as in scientific realism, than physicalism becomes fundamentally spiritual because the physical laws are not material. I point out that the physical laws originate from the fundamental principle of physics which is the least action principle. I show that the fundamental principle of physics can be considered as the "instinct of atoms". Our research has found deep and meaningful connections between the basic principle of physics and the ultimate principles of the universe: matter, life and reason. Therefore, the principle of least action is not necessarily an expression of sterile inanimateness. On the contrary, the principle of physics is related to the life principle of the universe, to the world of instincts behind the atomic world, in which the principles of physics, biology, and psychology arise from the same ultimate principle. Our research sheds new light to the sciences of physics, biology, and psychology in close relation to the basic principles. These ultimate principles have a primary importance in our understanding of the nature of Man and the Universe, together with the relations between Man and Nature, Man and the Universe. The results offer new foundations for our understanding our own role in the Earth, in the Nature and in the Universe. Even the apparently inanimate world of physics shows itself to be animate on long timescales and having a kind of pre- human consciousness in its basic organisation. This hypothesis offers a way to understand when and how the biological laws may direct physical laws, and, moreover, offers a new perspective to study and understand under which conditions can self-consciousness govern the laws of biology and physics. This point of view offers living beings and humans the possibility of strengthening our natural identity, and recognising the wide perspective arising from having access to the deepest ranges of our own human resources and realising the task for which human and individual life has been created. (shrink)

Few views are as widely held as the Standard View of Identity. Here I am concerned with minority views that depart from the standard account. First, I attempt to illuminate such views and the debates concerning them by identifying the principles of identity at issue, articulating some of the assumptions underlying the debates, and presenting some of the evidence used against the Standard View of Identity. Second, I enter two of these debates myself. I first defend two Non-Standard Views of (...) Identity from the charge that they violate a principle of identity, namely the Transitivity of Identity. I then present an overlooked consequence of another Non-Standard View of Identity that challenges the view on one of its own methodological principles. Third, I draw on recent work in ontological and parthood pluralism to show how one might be led to think that there is more than one way of being identical. That is, I show how one might be an identity pluralist. (shrink)

Due to the influence of Nathan Salmon’s views, endorsement of the “flexibility of origins” thesis is often thought to carry a commitment to the denial of S4. This paper rejects the existence of this commitment and examines how Peacocke’s theory of the modal may accommodate flexibility of origins without denying S4. One of the essential features of Peacocke’s account is the identification of the Principles of Possibility, which include the Modal Extension Principle (MEP), and a set of Constitutive Principles. (...) Regarding their modal status, Peacocke argues for the necessity of MEP, but leaves open the possibility that some of the Constitutive Principles be only contingently true. Here, I show that the contingency of the Constitutive Principles is inconsistent with the recursivity of MEP, and this makes the account validate S4. It is also shown that, compatibly with the necessity of the Constitutive Principles, the account can still accommodate intuitions about flexibility of origins. However, the account we end up with once those intuitions are consistently accommodated may not be satisfactory, and this opens up the debate about whether or not artefacts allow for some variation in their origins. (shrink)

In the 1950’s and 1960’s, Feigl, Place and Smart offered an answer to the mind‑body problem called Identity Theory. According to Identity Theory, there are physical descriptions describing the same event as first‑person descriptions of experience. In this article, we address the criticism that mind‑body identity can be refuted on logical grounds, taken in the widest sense. Kripke’s criticism to this effect, as developed in Naming and Necessity, will be our central concern. Another notorious argument we will consider is (...) Chalmers’s, as developed in The Conscious Mind. The Identity Theorists originally held that identity statements could be contingently true. Kripke argues that all true identity statements are true necessarily. If the mind‑body identity is contingent, as Kripke thinks it must be, it cannot be true. Unlike Identity Theorists, I accept that body‑mind identity must be necessary, but unlike Kripke, I argue that it can be. Central to my refutation of Kripke and Chalmers is a more elaborate approach to thinking about reference. (shrink)

The study aimed to identify the creative environment of the technical colleges operating in Gaza Strip. The analytical descriptive method was used through a questionnaire which was randomly distributed to 289 employees of the technical colleges in Gaza Strip with a total number of (1168) employees and a response rate equal to (79.2%) of the sample study. The results confirmed the existence of a high degree of approval for the dimensions of the creative environment with a relative weight of (75.19%) (...) according to the perspective of the employees of the technical colleges in Gaza Strip. The results of the study showed a high level of creative environment (fluency, flexibility, originality, sensitivity to problems) in the technical colleges in Gaza Strip, where the field (fluency) ranked first and relative weight (76.86%), in the second place came the area (sense of problems) and relative weight (74.89%). The field of elasticity came in third place with a relative weight of (74.59%). Finally, the field of originality came in fourth and final rank with a relative weight of (74.41%). The results showed that there are differences between the technical colleges in the principles of the creative environment in all fields and the overall degree except for the field of flexibility. The most available colleges in these principles were the university college of applied sciences, and that was the least of the Faculty of Al-Aqsa Society. The results showed that there were differences according to the age variable in the areas of creative environment only in the sense of problems for age groups (less than 30 years) and (from 40 to 50 years). The researchers suggested a number of recommendations, the need to enhance the dimensions of the creative environment in technical colleges by working to improve the faculties of fluency, flexibility, originality and sensitivity to problems. The need to work on continuity and improve aspects of the creative environment of the colleges and the creation of new and innovative ways to support and develop and support these aspects combined. Necessity of technical colleges to continue to develop the creative environment (fluency, flexibility, originality, sensitivity to problems) for employees by engaging them in specialized training courses for creative thinking and problem solving. Developing work procedures with new innovative methods that will accomplish the various tasks quickly and accurately, and provide the effort, time and costs. The researchers urged more future studies that address the same variables of the current study in the field of creative environment and applied to other sectors. (shrink)

Causal structuralism is the view that, for each natural, non-mathematical, non-Cambridge property, there is a causal profile that exhausts its individual essence. On this view, having a property’s causal profile is both necessary and sufficient for being that property. It is generally contrasted with the Humean or quidditistic view of properties, which states that having a property’s causal profile is neither necessary nor sufficient for being that property, and with the double-aspect view, which states that causal profile is necessary but (...) not sufficient. Shoemaker’s (1998) and Hawthorne’s (2001) arguments in favor of causal structuralism primarily focus on problematic consequences of the other two views. I argue, however, that causation does not provide an appropriate framework within which to characterize all physical properties for two main reasons. First, there are physical properties that do not have causal profiles and properties whose causal profiles do not exhaust their essences. Second, there is no unified notion of causation across the sciences. After distinguishing between the causal and the nomological, I suggest that what is needed is a structuralist view of properties that is not merely causal but that incorporates a physical property’s higher-order mathematical and nomological properties into its identity conditions. Such a view retains the naturalistic motivations for causal structuralism while avoiding the problems it faces. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines (...) of two arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

Aristotle classifies opposition (ἀντικεῖσθαι) into four groups: relatives (τὰ πρός τι), contraries (τὰ ἐναντία), privation and possession (στρέσις καὶ ἓξις) and affirmation and negation (κατάφασις καὶ ἀπόφασις). (Cat. , 10, 11b15-23) His example of relatives are the double and the half. Aristotle’s description of relatives as a kind of opposition is as such: ‘Things opposed as relatives are called just what they are, of their opposites (αὐτὰ ἃπερ ἐστι τῶν ἀντικειμένων λέγεται) or in some other way in relation to them. (...) For example, the double is called just what it is double of the other (οἷον τὸ διπλάσιον, αὐτὸ ὃπερ ἐστίν, ἑτέρου διπλάσιον λέγεται). Again, knowledge and the knowable are opposed as relatives, and knowledge is called just what it is, of the knowable, and the knowable too is called just what it is, in relation to its opposite, knowledge; for the knowable is called knowable by something-by knowledge.’ (Cat., 10, 11b24-30) 2) Senses of relatives In Met., Δ, 1020b26-32 Aristotle distinguishes three senses of relatives: i) That which contains something else many times to that which is contained many times in something else, and that which exceeds to that which is exceeded. E.g. double to half ii) The active to the passive; e.g. that which can heat to that which can be heated iii) The measurable to the measure, e.g. the knowable to knowledge and the perceptible to perception. 3) Relatives and contraries Aristotle’s discussion of relatives is unbelievably ambiguous. While he enumerates relatives besides contraries, privation-possession and affirmation-negation as four types of opposition (Cat., 10, 11b15-23), not only does not he restrict relatives to oppositions but he also does not totally differentiate it from contraries. Aristotle distinguishes between two senses of relatives one of which is contraries: ‘We have distinguished elsewhere the two senses in which relatives are so called-some as contraries (ὡς ἐναντία), others as knowledge to things known, a term being called relative because what is said one to the other is said by the other to itself (τῷ λέγεσθαί τι ἄλλο πρὸς αὐτό). (Met., I, 1056b34-1057a1) It seems that this differentiation is the same as, and maybe the one he himself refers to, the differentiation between the second and the third senses of relatives in Met., Δ, 1021a27-32: ‘Relative terms which imply number or capacity, therefore, are all relative because their very essence includes in its nature a reference to something else, not because something else is related to it (πρός τι πὰντα ἐστὶ πρός τι τῷ ὃπερ ἐστὶν ἄλλου λέγεσθαι αὐτὸ ὃ ἐστιν, ἀλλὰ μὴ τῷ ἄλλο πρὸς ἐκεινο); but that which is measurable or knowable or thinkable is called relative because something else is related to it. For the thinkable implies that there is thought of it, but the thought is not relative to that of which it is the thought; for we should then have said the same thing twice.’ Although Aristotle confirms contrariety in relatives (e.g. virtue to vice and knowledge to ignorance), he denies that there is a contrary ‘to every relative’ as there can be no contrary to what is double or treble. (Cat., 7, 6b15-19) The fact that Aristotle dedicates one sense of relatives to contraries means that the fourfold division of oppositions is not such a strict division without any kind of community between them. In his example of the first sense, however, Aristotle says: ‘One and number are in a sense opposed, not as contrary, but as we have said some relative terms are opposed; for inasmuch as one is measure and the other measurable, they are opposed.’ (Met., I, 1057a4-6) Now, the question is: Is Aristotle’s first sense of relative a contrary or not? Aristotle tells us that the opposition in this sense of relatives is the opposition of measure and measurable. The second sense has two differences with the first one: i) it is not a contrary and ii) what is said by one of the relatives to the other is also said by the latter to the former. To differentiate it from the first sense, when the one is the measure of the other, the latter will be the measure of the former as well: ‘But though knowledge is similarly spoken of as related to the knowable, the relation does not work out similarly for while knowledge might be thought to be the measure, and the knowable the thing measured, the fact is that all knowledge is knowable, but not all that is knowable is knowledge, because in a sense knowledge is measured by the knowable.’ (Met., I, 1057a7-12) Aristotle’s assertion at Met., I, 1057a36-37 that ‘of relative terms, those which are not contrary have no intermediate’ ensures us that we must take the first sense as contraries. Here he mentions a criterion of differentiation between two senses: while the first sense accepts intermediates (as, for example, great and small do), the second one does not. (Met., I, 1057a37-b1) It seems, however, that it is only the second sense that is the essential sense of relatives because the first sense, Aristotle says, is an accidental sense: ‘The one is opposed then to the many in numbers as measure to things measureable; and these are opposed as relatives which are not from their very nature relatives.’ (Met., I, 1056b32-34) 4) Definition of relative Aristotle’s first definition of the category of relative (πρός τι) is as such: ‘We call relative all such things as are said to be just what they are, of or than other things, or in some other way in relation to something else (Πρός τι δὲ τὰ τοιαῦτα λέγεται, ὃσα αὐτὰ ἃπερ ἐστὶν ἓτερων εἶναι λέγεται, ἢ ὁπωσοῦν ἄλλως πρὸς ἓτερον). (Cat., 7, 6a36-37; repeated almost without any change in: Cat., 7, 6b6-8) Aristotle’s examples are larger (because it is what it is than something else (τοῦθ᾿ ὃπερ ἐστὶν ἑτέρου λέγεται) that means it is called larger than something) and double. (Cat., 7, 6a37-b1) Aristotle’s aporia regarding relative is about their relation with substances: whether no substance is spoken of as a relative, or whether this is possible with regard to some secondary substances. (Cat., 7, 8a13-15) In the case of primary substances, it seems that he is confident, at least at first, that neither themselves nor their parts are spoken of in relation to anything: neither an individual man is called someone’s individual man nor an individual hand is called someone’s individual hand (but someone’s hand). (Cat., 7, 8a15-21) Although it is obvious that most of secondary substances are not spoken of as relatives (a man is not called someone’s man) (Cat., 7, 8a21-25), there are some with them there is room for dispute: a head is someone’s head and a hand is called someone’s hand, which seem to be relatives. (Cat., 7, 8a25-28) Aristotle thinks this must be due to the previous definition’s being problematic: with that definition ‘it is either exceedingly difficult or impossible to reach the solution that no substance is spoken of as a relative.’ (Cat., 7, 8a28-32) Thus, Aristotle changes his previous definition to a new one: ‘Those things are relatives for which being is the same as being somehow related to something’ (ἔστι τὰ πρός τι οἷς τὸ εἶναι ταὐτόν ἐστι τῷ πρός τί). (Cat., 7, 8a32-34) Although the first definition does indeed apply to all relations, its problem is that it does not take ‘their own being relative’ (τῷ πρός τι αὐτοῖς εἶναι) the same as ‘their being what they are of other things’ (ἃπερ ἐστὶν ἑτέρων λέγεσθαι). (Cat., 7, 8a34-37) Although this change of definition is to exclude all substances from being relative, what Aristotle says in Topics (To., Z, 8, 146a39- ), seems to ignore this: ‘For of everything relative the substance is relative to something else, seeing that the being of every relative term is identical with being in a certain relation to something.’ 5) Necessary knowledge of the related Knowledge of that in relation to which a relative is spoken of is necessary when one knows the relative: it is impossible to know a relative and at the same time not to know that in relation to which it is spoken of. (Cat., 7, 8a37-b3) To prove this, Aristotle adheres to the definition of relatives: ‘If someone knows of a certain ‘this’ that it is a relative, and being for relatives is the same as being somehow related to something, he knows that also to which this is somehow related.’ (Cat., 7, 8a37-b3; cf. 7, 8b3-15 for Aristotle’s examples) This necessary knowledge of the related, if we call it so, dedicates Aristotle an epistemological reason, besides the ontological one mentioned in his definition, for the exclusion of substances. As we noted in our discussion of Aristotle’s definition of relatives, he changed his first definition to exclude all substances from being relatives. Therefore, it is evident that for him relatives must not include substances, either primary or secondary. Aristotle does have no problem with primary substances simply because it is evident for him that they cannot be relatives. The same can be said about most of the secondary substances as well. The problem for which he changed the definition of substances was about some secondary substances like ‘head’ or ‘hand’: the fact that it is possible to know a hand or head without necessarily knowing definitely that in relation to which it is spoken of proves that they are not relatives. (Cat., 7, 8b15-21) 6) Reciprocation Aristotle regards reciprocation (ἀντιστρέφειν) necessary in all relations: ‘All relatives are spoken of in relation to correlatives that reciprocate.’ (Cat., 7, 6b28-29; cf. Cat., 10, 12b21-24) The sense of reciprocation is clear by his own examples: ‘The slave is called slave of a master and the master is called master of a slave; the double double of a half, and the half half of a double.’ (Cat., 7, 6b29-31) Reciprocation of relatives is so necessary that if there seems that we do not have reciprocation, it must necessarily be due to a mistake and that in relation to which something is spoken of must have not been given properly. (Cat., 7, 6b36-7a1) Aristotle’s example is this: If a wing is given as of a bird, ‘bird of a wing’ does not reciprocate because it has not been given properly: a wing is of a winged and not of a bird; a wing is wing of a winged and a winged is winged with a wing. (Cat., 7, 7a1-5) Even if we do not have a proper name to have a proper reciprocation, Aristotle points, we must invent names. (Cat., 7, 7a5-15 and 7b10-14) Thus, having proper names is the condition of necessary reciprocation: ‘All relatives are spoken of in relation to correlatives that reciprocate, provided they are properly given.’ (Cat., 7, 7a22-23) This condition is also said in another way: there is no reciprocation if a relation is given as related to some chance thing or to something that is accidentally the related thing like when, for example, a slave is given as of a man or a biped instead of being given as of a master. (Cat., 7, 7a25-31) 7) Simultaneity of relatives Aristotle believes that in most cases relatives are simultaneous: double and half or master and slave must exist at the same time: when there is a half, there is a double and when there is a slave, there is a master. (Cat., 7, 7b10-14) However, this receives some exceptions like knowable, which is prior and can, thus, exist before and without knowledge. (Cat., 7, 7b22-27) What approves this non-simultaneousness for Aristotle is that the destruction of knowledge does not carry the knowable to destruction. (Cat., 7, 7b27-31) The same is said about perception and perceptible. (Cat., 7, 7b35-8a9) Aristotle attaches simultaneity to reciprocation. This reciprocation, however, is not a simple reciprocation but ‘reciprocation as to implication of existence’ (ἀντιστρέφει μὲν κατὰ τὴν τοῦ εἶναι) with the condition that neither be in any way the cause of the other’s existence. (Cat., 13, 14b27-29; the same is said also at: Cat., 13, 15a4-11) Aristotle’s examples are the double and the half because when there is a double there is a half and when there is a half there is a double but neither is the cause of the other’s existence. (Cat., 13, 14b29-32) (We have ‘reciprocation as to implication of existence’ also in relation between genus and species but it seems that this has a totally different sense there. 8) Having no independent reality That a relative cannot be a substance, either a primary or a secondary substance, is discussed in our review of both the definition of relatives and their reciprocation. The differentiation of relatives and substances are so deep for Aristotle that after questioning the possibility of any common element or principle for substances and relatives (Met., Λ, 1070a33-36), he asserts that no substance, on the one hand, is the element of relatives and none of the relatives, on the other hand, is the element of substances. (Met., Λ, 1070b3-4) Aristotle does not, however, suffice to this. For him, relatives have the least substantiality, which is, for him, almost the same as reality: ‘The relative is least of all categories a real thing (φύσις τις) or substance, and less than quality and quantity; and the relative is an affection of quantity.’ (Met., M, 1088a22-25) Aristotle believes that an evidence of this least reality (ὄν) and substantiality is that relatives have no proper generation, destruction or movement while each of substance, quality and quantity have them. (Met., M, 1088a29-35) Moreover, neither motion (Phy., E, 1) nor any kind of change is applicable to relatives so that relatives are neither themselves alterations nor the subject of alterations (Phy., Z, 3) and the process of losing and acquiring states cannot be considered as alterations because these are the result of the alterations of non-relative things of which they are states. (Phy., Z, 3) Relative is not even matter but is something different. (Met., M, 1088a24-25) The reason is that the matter is potentially of a nature but relative is neither potentially nor actually of a nature. (Met., M, 1088b1-2) To understand the status of relatives in Aristotle’s world, we have to make a tripartite classification; a classification that though Aristotle himself did not make, his assertions approve it. Based on this division, there are three kinds of being in the world: i) Independent beings: This class includes only substances. ii) Dependent beings: This class includes qualities and quantities. Although they are real, they are ‘in’ substances and cannot exist without them. iii) Super dependent beings: This class includes at least relatives. The fact that relatives must be considered in a third class different from substances, on the one hand, and qualities and quantities, on the other hand, is obvious not only from the previously mentioned texts (Met., M, 1088a22-25, 29-35 and b1-2) in which relatives’ reality is considered less than all substances, qualities and quantities and different from matters but from this text: ‘For there is nothing either great or small, many or few, or, in general, relative which is not something (τι ὄν) different (ἓτερον) [that is also] many or few or great or small’. (Met, N, 1088a27-30) Therefore, super dependent beings are those beings that must necessarily be also something else, i.e. an independent or dependent being. Ackrill (1963, 99) points that some of the words used by Aristotle to exemplify relational entities, e.g. slave, are endowed with a complete sense and do not need to be supplemented by a correlate. (Thus, the linguist criterion of incompleteness would be deficient. Some other instances of relative entities like ‘state,’ ‘knowledge’ and perception are not necessarily followed by the genitive case. 9) Extent of relatives What is the extent of relatives? What are or are not included in relatives either among categories or among other concepts? Which concepts or things Aristotle regard as relative? i) Aristotle includes state (ἓξις) and position (θέσις) among relatives. (Cat., 7, 6b2-6; Cat., 7, 6b11-14; Cat., 8, 11a20-24) ii) Although relative is not matter but is something different (Met., M, 1088a24-25), matter is ‘non-being’ only in virtue of an attribute (Phy., A, 9) and is, thus, a relative term. (Phy., B, 2, 194b9) 10) Property and relativity Aristotle draws a contrast between two types of giving a property, absolute and relative: ‘A property is given either in its own right and for always or relative to something else and for a time.’ (To., E, 1, ^128b15-18) Being a civilized man, for example, is an absolute property for man while to command is a relative property for the soul. The absolute property, however, is considered not only potential to be discussed or observed in relation to many things or periods of time, it in fact ‘belongs to its subject relatively to every single thing that there is, so that if the subject is not distinguished relatively to everything else, the property will not have been given correctly.’ (To., E, 1, 129a18-20) Therefore, an absolute property is a property that ‘is ascribed to a thing in comparison with everything else and distinguishes it from everything else.’ (To., E, 1, 128b33- ) An absolute property is, then, absolutely relative and not conditionally relative, i.e. relative to a specific thing. This is what differentiates it from a relative property, which is relative to a certain thing: ‘A property relative to something else is one which separates its subject off not from everything else but from a particular definite thing.’ (To., E, 1, 128b33- ) One important difference between absolute and relative properties is that while an accident can be a relative property, it can never be an absolute property. (To., I, 5, ^102b20-36) For example, sitting, which is an accident, is also a property relatively to those who are not sitting. (To., I, 5, ^102b20-36) 11) Platonic theories as relatives At least three of Platonic theories Aristotle attaches to relatives: i) Forms ‘It seems that a Form is always spoken of in relation to a Form-this desire itself is for the pleasure itself, and wishing itself is for the good itself.’ (To., Z, 8, 147a^10) Moreover, the theory of Forms takes the relative prior to the absolute as, for example, it takes not the dyad but the number as first. (Met., A, 990b15-17) Aristotle believes that this is against not only the necessities of the case but only the Platonists’ opinion because Forms must be substances only, if they can be shared. (Met., A, 990b27-29) There are, however, things like ‘equal’ which are only relative: they are only in relation to something else. Now the theory that ideas are supposed to be substances only should entail the substantiality of merely relatives. The reason being that Forms are not shared incidentally but each thing shares in that which is not predicated of a subject. (Met., A, 990b29-31) ii) Unequal The Platonic theory of great and small or unequal, which we know more from Aristotle and has, in Platonic philosophy, a role like that of matter in Aristotelian philosophy, is also called relative by Aristole. (Met., M, 1089b4-15) iii) Potentiality Aristotle says that Platonists take what potentially is a ‘this’ and a substance but not actually so a relative because it is ‘neither potentially the one or being, nor the contradictory of the one nor of being, but one among beings.’ (Met., N, 1089b15-20) 12) All things as relative Aristotle attaches the theory that ‘everything is true’ to relativity and thinks the consequence of believing in this theory is that everything is true: ‘He who says all things that appear are true, makes all things relative.’ (Met., Γ, 1011a17-20) 13) Genera and species of relatives There are some genera, Aristotle hints, that are relative but their species are not relative. In such cases, the genera are spoken of in relation to something, but none of the particular cases are so spoken. (Cat., 8, 11a20-36) Aristole’s examples are knowledge and grammar of which the former is a relative but the latter is a quality. The consequence of this is that there is nothing absurd for a thing to be in both genera of relative and quality. (Cat., 8, 11a37- ) However, when the species is a relative, the genera will be a relative too. (To., Δ, 4, 124b15- ) Moreover, Aristotle asserts that ‘the differentiae of relative terms are themselves relative.’ (To., Z, 6, 145a14-16) Things that are called relative are called so, Aristotle says, ‘because the classes that include them are of this sort, e.g. medicine is thought to be relative bcs its genus, knowledge, is thought to be relative,’ (Met., Δ, 1021b4-6) 14) Relatives as indefinite? Fabio Morales takes 1088a29-b1 as a textual evidence supporting the assumption that Aristotle regarded relational terms as indefinite. (shrink)

Philosophers disagree whether composition as identity entails mereological universalism. Bricker :264–294, 2016) has recently considered an argument which concludes that composition as identity supports universalism. The key step in this argument is the thesis that any objects are identical to some object, which Bricker justifies with the principle of the universality of identity. I will spell out this principle in more detail and argue that it has an unexpected consequence. If the universality of identity holds, then composition as (...) identity not only leads us to universalism, but also leads to the view that there are no mereological atoms. (shrink)

Allen Buchanan proposes a methodological framework with which theorists may evaluate different theories of secession, including the National Self-Determination theory. An important claim he makes is, because the right to secede is inherently institutional, any adequate theory of secession must include, as an integral part, an analysis of institutional morality. Because the National Self-Determination theory blatantly lacks such an analysis, Buchanan concludes that this theory is inherently flawed. In this paper, I consider Buchanan’s framework and the responses from supporters of (...) national self-determination theory. I try to clarify the confusion shared by both parties. I conclude that, although Buchanan’s theory of institutional morality is sound, his critiques of the national self-determination theory fails. (shrink)