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)

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 necessity of identity does not, and should not, compel one to reject constitution as identity. (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 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)

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)

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.

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)

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)

This paper offers a modification of Fabrice Correia's and Alexander Skiles' ("Grounding, Essence, and Identity") definition of grounding in terms of generalized identity that extends it to zero-grounding. This definition promises to improve our understanding of zero-grounding by capturing it within the framework of generalized identity and allows an essentialist theory of modality based on Correia's and Skiles' account to resist a recent challenge by Jessica Leech. The latter is achieved by combining the following two ideas: (1) (...) Some necessities are grounded in truths about zero-grounding, and (2) at least some identity truths are zero-grounded. Finally, some advantages of the zero-grounding approach over Correia's and Skiles' recent definition of necessity in terms of generalized identity and logical consequence are argued for. (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)

Following insights from the New Theory of Reference, it has become widely accepted that theoretical identities like ‘water = H2O' are necessary. However, some have challenged this claim. I propose yet another challenge in the form of a sceptical argument. The argument is based on the contention that the necessity of theoretical identities is dependent upon criteria of identity. Thus, a theoretical identity is necessary given one criterion of identity but contingent given another. Since we do (...) not know which criteria of identity in fact obtain, it follows that, for all we know, theoretical identities may not be necessary. (shrink)

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.

When the necessity of identity (NI) is combined with composition as identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a (...) new variety of CAI, which aims to preserve both NI and CC. This new variety of CAI (CCAI, contingent composition as identity) is the quite natural product of the attempt to make sense of CAI on the background of a broadly Kripkean view of modality, such that one and the same entity is allowed to exist at more than one possible world. CCAI introduces a world-relative kind of identity, which is different from standard identity, and claims that composition is this kind of world-relative identity. CCAI manages to preserve NI and CC. We compare CCAI with Gibbard’s and Gallois’ doctrines of contingent identity and we show that CCAI can be sensibly interpreted as a form of Weak CAI, that is of the thesis that composition is not standard identity, yet is significantly similar to it. (shrink)

Resumo O meu objetivo neste artigo é examinar criticamente o argumento de Kripke contra a teoria da identidade tipo-tipo. Assumindo a tese da necessidade da identidade, bem como a tese da designação rígida, Kripke sustenta que se a dor é idêntica à estimulação das fibras C, então a dor é necessariamente idêntica à estimulação das fibras C. No entanto, precisamente porque a proposição expressa pela frase “a dor não é idêntica à estimulação das fibras C” é uma possibilidade metafísica, Kripke (...) conclui, por modus tollens, que não há identidade entre dor e estimulação das fibras C. Por isso, a teoria da identidade tipo-tipo não é uma solução bemsucedida para o problema da mente-corpo. Este artigo tem duas partes. Na primeira parte, que é expositiva, apresento o argumento de Kripke contra a teoria da identidade tipo-tipo. Subsequentemente, ponho em causa o argumento de Kripke, argumentando que não é procedente, pois a nossa situação epistémica atual não nos permite determinar se é metafisicamente possível a dor não ser idêntica à estimulação das fibras C. Assim, Kripke não refuta a teoria da identidade tipo-tipo. Palavras-chave : designação rígida, filosofia da mente, identidade tipo-tipo, Kripke, necessidade da identidadeMy aim in this paper is to critically assess Kripke’s argument against the type-type identity theory. Assuming the thesis of the necessity of identity, as well as the thesis of rigid designation, Kripke holds that if pain is identical with C-fibre firing, then pain is necessarily identical with C-fibre firing. However, precisely because the proposition expressed by the sentence “pain is not identical with C-fibre firing” is a metaphysical possibility, Kripke concludes, by modus tollens, that pain and C-fibre firing are not identical. Therefore, the type-type identity theory is not a successful solution to the mind-body problem. So this paper has two parts. In the first part, which is expositive, I present Kripke’s argument against the type-type identity theory. After that, I will dispute Kripke’s argument, arguing that it is not sound, for our current epistemic situation does not allow us to determine whether it is a metaphysical possibility that pain is not identical with C-fibre firing. Thus, Kripke does not refute the type-type identity theory. Keywords : Kripke, necessity of identity, philosophy of mind, rigid designation, type-type identity. (shrink)

What is the relation between metaphysical necessity and essence? This paper defends the view that the relation is one of identity: metaphysical necessity is a special case of essence. My argument consists in showing that the best joint theory of essence and metaphysical necessity is one in which metaphysical necessity is just a special case of essence. The argument is made against the backdrop of a novel, higher-order logic of essence, whose core features are introduced (...) in the first part of the paper. The second part investigates the relation between metaphysical necessity and essence in the context of HLE. Reductive hypotheses are among the most natural hypotheses to be explored in the context of HLE. But they also have to be weighed against their non-reductive rivals. I investigate three different reductive hypotheses and argue that two of them fare better than their non-reductive rivals: they are simpler, more natural, and more systematic. Specifically, I argue that one candidate reduction, according to which metaphysical necessity is truth in virtue of the nature of all propositions, is superior to the others, including one proposed by Kit Fine, according to which metaphysical necessity is truth in virtue of the nature of all objects. The paper concludes by offering some reasons to think that the best joint theory of essence and metaphysical necessity is one in which the logic of metaphysical necessity includes S4, but not S5. (shrink)

The identity "relation" is misconceived since the syntax of "=" is misconceived as a relative term. Actually, "=" is syncategorematic; it forms (true) sentences with a nonpredicative syntax from pairs of (coreferring) flanking names, much as "&" forms (true) conjunctive sentences from pairs of (true) flanking sentences. In the conaming structure, nothing is predicated of the subject, other than, implicitly, its being so conamed. An identity sentence has both an objectual reading as a necessity about what is (...) named, and also a metalinguistic reading as a contingency about the names. Either way the claim about the subject referent has no extralinguistic content. The necessity of alteridentity (non-self-identity) statements is "lexical", due to contingencies of the names' reference, much like the necessity of analytic statements, due to contingencies of the predicates' sense, and unlike the necessity of logical truths (e.g., self-identities) whose truth is secured by syntax alone. Both alter-identity and analytic sentences are readable as objectual necessities and metalinguistic contingencies. Epistemically, alter-identity statements are not essentially unlike analyticities. "Greece is Hellas"/"g=h" and "Greeks are Hellenes"/"(x)(Gx<=>Hx)" are equally (un)informative; so too for "Azure is cobalt"/"a=c" and "Everything azure is cobalt"/"(x)(Ax<=>Cx)". The real epistemic contrast is between proper names (terms without predicative sense) and terms with a predicative sense (names and predicates of properties). Proper names refer to concrete objects, property names refer to abstract objects. That contrast is metaphysical and thus epistemic. (shrink)

Johnston maintains that the notion of a proposition -- ”a language independent (abstract) particular” -- can be dispensed with in philosophical semantics and replaced with that of a propositional act. A propositional act is a component of a speech act that is responsible for the propositional content of the speech act. Traditionally, it is thought that a propositional act yields the propositional content of a speech act by being an act of expressing a proposition. And it is the expressed proposition (...) that serves as the propositional content of the speech act. Johnston points out, however, that a propositional act is a structured event consisting minimally of a referential act, a predicative act, and a time-designative act. And on Johnston's view, the propositional content is the structured propositional act itself. (Strictly speaking, Johnston analyzes sameness of propositional content in terms of sameness of propositional act type, from which I, perhaps rashly, inferred that the propositional content of a speech act should be taken to be the propositional act itself). Johnston argues that a semantic analysis in terms of propositional acts enables us to reconcile the necessity of both, (1) Hesperus is Phosphorus (2) Phosphorus is Phosphorus with their intuitive difference in meaning, while maintaining the direct reference theory of proper names. Moreover, he argues that invoking propositional acts rather than propositions has the advantage of being able to capture the various senses in which distinct statements might be said to "say the same thing", as well as that of ontological parsimony. I will address each of these claims in turn, but first, I want to point out that the propositionalist can easily reconcile the necessity of (1) and (2) with their intuitive difference in meaning, without forsaking direct reference. All one needs to do is invoke the Fregean idea that there is a meaning shift in “thatâ€-clauses of (opaque) indirect discourse (and other) ascriptions.. (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)

Abstract The present paper examines the role of epistemic virtues in the formation of intellectual identity and its impact on improving our truth-seeking behaviors. A epistemic virtue is a special faculty or trait of a person whose operation makes that person a thinker, believer, learner, scholar, knower, cognizer, perceiver, etc., or causes his intellectual development and perfection, and improves his truth-seeking and knowledge-acquiring behaviours and places him on the path to attain understanding, perception and wisdom. Virtue epistemology is a (...) set of approaches in contemporary epistemology that regards knowledge as "a true belief arising from humans epistemic virtues." Virtue responsibilism and Virtue reliabilism are two important approaches to virtue epistemology that differ together in their attitude to the nature of epistemic virtue. Responsibilisms regards epistemic virtues as an acquired character traits that must be attained through practice and training with plenty of effort from the agent who possesses the will. In contrast, virtue reliabilisms considers epistemic virtues as reliable and innate cognitive faculties, and believes that this natural faculties has been placed in the human being from the very beginning and, if used in the appropriate condition and in a proper environment, is reliably truth-conducive. So virtue epistemology, which is distinguished from belief-based analytical epistemology by focusing on the cognitive character of the agent rather than the belief, regards epistemic virtues as the constructive factor of the epistemic agent and the condition of reaching the truth. From the two approaches of virtue reliabilism and virtue responsibilism, this paper focuses on the second approach and with using of the nine-fold virtues, that Jason Baehr posed, shows how to make epistemically good and thinker human by utilizing these virtues and avoiding the corresponding vices and through this, gained the truth in various epistemic areas. After explaining these virtues and their role in the two mentioned domains based on the virtue epistemology, the significance of this relationship in the view of Mulla Sadra as an example of Islamic philosophy is examined, For the reason that he sees knowledge as the produce of some factors that epistemic virtues is considered part of them. In the view of Sadra, epistemic virtues is the specific attributes and traits of reason faculty that their function causes man to be a very good and strong perciever, and their actual possesion or their gradual acquisition leads to the perfection of the soul and the dignity of human existence. In a new theory of soul-  Ph.D. Student of Islamic Philosophy and Theology, Qom University, Qom, Iran (Responsible author) [email protected]  Associate Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected]  Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected] 2/ Comparative Theology, Vol: 9, No: 19, Spring & Summer 2018 knowledge, he considers the journey of the soul from the outset as evolutionary journey, and, on the other hand, he considers all human activities directly as an activity of the soul (epistemic agent), which he performs through his own faculties. As a result, the soul is a increasing and evolving being, while at the same time acquiring knowledge is also from its own activities, and therefore the factors that make up the soul are also influential in its products. Now, as knowledge comes from soul exposure to the outside world, the more this soul is refined from pollutions and adorned to virtues, the better reflection from reality will be. Undoubtedly, the desire to engage in the process of truth-seeking and the responsible use of cognitive virtues and skills lead man to a desirable goal (recognition of truth) and forms his true intellectual identity. In the end, the paper suggests that because of the importance of epistemic virtues in the improvement of truth-seeking behaviors, educating and cultivating of these types of virtues should be part of the spoken and written course content of universities and schools, and must be proper critical thinking is institutionalized and strengthened in the spirit of community members. Educational resources contain a wide range of information that can deeply influence our epistemic behaviors and actions. Hence, it is necessary to include praised cognitive skills and epistemic virtues training in them. Teachers play an important role in educating and developing epistemic virtues as part of the formal curriculum content of educational centers, perhaps as part of critical thinking and logic courses. The formal education of epistemic virtues and the creation of opportunities for practicing and exercising them will be a good starting point for institutionalizing and developing admired cognitive skills among members of the community. In a society where individuals in their epistemic processes use their own cognitive virtues and organize their beliefs on their basis, the community itself and the social relations will also be virtuous, because the necessity of such an virtues is that individuals interact with their peers and In these interactions, rule virtue. Observing fairness towards others, intellectual humility, intellectual generosity, courage against miscreant and one who has weak arguments, observance of neutrality and other epistemic virtues, if it is to be found in societies as a habit and praised skill, then that society will be virtuous and its relations will be healthier and with the cultivating of those virtues, Intellectual and moral development will also become easier and more common. Intellectual virtues (or praised cognitive skills) should be taught to the community members, so that they display such characteristics when engaging in social activities, whean expressing opinions, when doing research, and so on. It is important to change our education policies, because the decay of praised cognitive skills leads to devastating consequences for intellectual identity and the truth-seeking and knowledgeacquiring behavior of the community members. (shrink)

Like '&', '=' is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. 'Twain is Clemens' is about Twain, but nothing is predicated of him. Its informational value is in its 'metailed' semantic content: the fact of codesignation (that (...) 'Twain' names Clemens) that explains what fact it asserts and why it is necessary. Critiques of concepts of rigidity and elimination of singular terms result. (shrink)

Any property has two sorts of causal features: “forward‐looking” ones, having to do with what its instantiation can contribute to causing, and ldquo;backward‐looking” ones, having to do with how its instantiation can be caused. Such features of a property are essential to it, and properties sharing all of their causal features are identical. Causal necessity is thus a special case of metaphysical necessity. Appeals to imaginability have no more force against this view than they do against the Kripkean (...) view that statements like “Gold is an element” are metaphysically necessary. (shrink)

Like '&', '=' is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. 'Twain is Clemens' is about Twain, but nothing is predicated of him. Its informational value is in its 'metailed' semantic content: the fact of codesignation (that (...) 'Twain' names Clemens) that explains what fact it asserts and why it is necessary. Critiques of concepts of rigidity and elimination of singular terms result. (shrink)

Like ‘&’, ‘=’ is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. ‘Twain is Clemens’ is about Twain, but nothing is predicated of him. Its informational value is in its ‘metailed’ semantic content: the fact of codesignation (that (...) ‘Twain’ names Clemens) that explains what fact it asserts and why it is necessary. Critques of concepts of rigidity and elimination of singular terms result. (shrink)

In this paper, I present a two-pronged argument devoted to defending the type-identity theory of mind against the argument presented by Kripke in _Naming and Necessity_. In the first part, the interpersonal case, I show that since it is not possible to establish the metaphysical conditions for phenomenal identity, it is not possible to argue that there can be physical differences between two subjects despite their phenomenal identity. In the second part, the intrapersonal case, I consider the (...) possibility of imagining one and the same individual having the same phenomenal state while counterfactually being in very different physical states. I argue that this case should respect Kripke’s implicit theory of personal identity—but this proves to be a very difficult task to accomplish, thus preventing the argument from getting off the ground. Therefore, I maintain, that the type-identity theory is still the better option to solve the mind–body problem. (shrink)

In a recent article forthcoming in *Mind*, Leech (2020) presents a challenge for essentialist accounts of metaphysical modality: why should it be that essences imply corresponding necessities? Leech’s main focus is to argue that one cannot overcome the challenge by utilizing an account of essence in terms of generalized identity due to Correia and Skiles (2019), on pain of circularity. In this reply, we will show how to use identity-based essentialism to bridge ‘epistemic’ and ‘explanatory’ understandings of this (...) alleged essence-to-necessity gap without circularity, Leech’s arguments notwithstanding. We do so by first presenting a novel proof that generalized identities imply corresponding necessities. We then propose several substantive identity-based explanations of how it is, exactly, that essences imply necessities. -/- . (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals (...) in favor of a hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (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)

The burgeoning use of experimental methods to consider questions of human nature and personal identity has been a fruitful and exciting development, yielding significant and provocative results. This essay argues for the value of including reflection on the treatment of these topics in fictional narratives to complement and deepen results in experimental philosophy. Experimental vignettes are by necessity brief and schematic. This is part of what makes them so effective in the experimental context. The space afforded for detail, (...) complexity, and ambiguity by the format of fiction allows it to highlight and explore issues that cannot easily be incorporated into experimental method. By juxtaposing a fictional narrative in which we are led to view a character as fundamentally bad with a structurally similar experimental vignette in which participants judge the protagonist to be fundamentally good, I demonstrate how reflection on fiction can contribute to debates in experimental philosophy and reveal distinctions between different dimensions of questions about identity and morality. (shrink)

In this paper we examine the role the Dutch gymnasium continues to play in the institutional maintenance of educational inequality. To that end we examine the relational and spatial features of state-sponsored elite education in the Dutch system: the unique identity the gymnasium seeks to cultivate; its value to its consumers; its geographic significance; and its market position amidst a growing array of other selective forms of schooling. We argue that there is a strong correlation between a higher social (...) class background and the concern to transmit one’s cultural habitus. We further speculate on the moral implications of state-sponsored elite education, both as it concerns the specific role of the gymnasium in the reproduction of social inequality as well as the curious tendency among its supporters to rationalise the necessity of its existence. (shrink)

Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that (...) c-monsters naturally arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom. (shrink)

The paper aims to show that by abstracting from a specific mythical historical- stylistic context and “ideation” of the notion of the Proto-Slavic deities Perun and Veles, especially in Croatian tradition, symbolic archetypes and abstract notions of form and primordial matter (materia prima) can be extracted from mythical content. We refer to mythical texts and contents according to the reconstructions and materials brought by Radoslav Katičić, and comparative analysis by Mislav Ježić. We distinguish form (1) as that in which (...) class='Hi'>identity and possibility of a thing consists, (2) as the reasonableness of judgment and the form of existence, and (3) as the specific structure of a thing, which unites its parts and aspects as a whole and constitutes its internal necessity. These formative notions are relativized and nullified in Veles’ appearances, in which the archetypal notion of primordial matter is encoded. Examples of Platō’s dialogues historically confirm certain aspects of decoding myth as constitutive of philosophy. The above approach also opens a view of the roots of Croatian philosophical thought, which in its genesis can be traced back to Proto-Slavic mythical archetypes. With the implementation of Christianity, the questions of identity, reason and the structure of the whole are raised radically and sharply, as shown by the text of Trpimir’s grant (852). (shrink)

This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that (...) it is equivalent to the collapse of the counterfactual into the material conditional---which is itself equivalent to the modal logic TRIV. TRIV is consistent, from which it follows that maximalism is, surprisingly, consistent. I close by arguing that stating the limit assumption requires a higher-order logic. (shrink)

I critically assess Stephen Yablo’s claim that cassinis are ovals is an a posteriori conceptual necessity. One does not know it simply by mastering the relevant concepts but by substantial empirical scrutiny. Yablo represents narrow content by would have turned out -conditionals. An epistemic reading of such conditionals does not bear Yablo’s claim. Two metaphysically laden readings are considered. In one reading, Yablo’s conditionals test under what circumstances concepts remain the same while their extensions diverge. As an alternative, I (...) develop a more literal metaphysical interpretation: Yablo’s conditionals draw on scenarios which are qualitatively identical to some original situation. None of these interpretations sustains Yablo’s core thesis. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the (...) substitutivity of identicals into modal contexts. (shrink)

This paper will focus on the notion of toxic masculinity that has a lot to do with deforming the male identity figure. I am here really concerned with probing within the need of conforming with the traditional masculinity ideology in the East and the West, and how it hinders males from discovering what it means to be a male. Actually, the scope of research in this paper exceeds one culture to include both the Western and the Eastern cultures, which (...) have proved with evidence to share many attributes. I am also revealing how this masculinity has been misinterpreted over the years to encompass weird attitudes and behaviors as suppressing emotions or masking distress or showing violence as an indicator of power. How the idea of the necessity of being “tough all the time” may affect their mental and psychological wellbeing and what is less than that could stigmatize them for being “feminine” or “weak”. In this paper, I will also try to reveal how great sector of women unintentionally feeds this ego of toxic masculinity to their sons since childhood days. By connecting all these factors to the development of the characters in Victor Surge’s novel “Men in Prison”, we are simply highlighting the psychological dimension and consequences of suppressed men. It is regarded as an unfiltered view of humanity in the early 20th century. The depraving brutality that Serge experienced behind bars is mirroring a society subduing men in various levels. I hopefully seek to break down factors that trap men in a certain framework out of which there is no escape. (shrink)

In “The Argument for Subject Body Dualism from Transtemporal Identity Defended” (PPR 2013), Martine Nida-Rümelin (NR) responded to my (PPR 2013) criticism of her (2010) argument for subject-body dualism. The crucial premise of her (2010) argument was that there is a factual difference between the claims that in a fission case the original person is identical with one, or the other, of the successors. I argued that, on the three most plausible interpretations of ‘factual difference’, the argument fails. NR (...) responds that I missed the intended, fourth interpretation, and that, in any case, with an additional assumption, the argument on the third interpretation goes through. I argue that the fourth interpretation, while insufficient as stated, reveals an assumption that provides an independent argument, namely, that in first person thought about future properties we have a positive conception of the self that rules out having empirical criteria of transtemporal identity. I argue that the considerations offered for this thesis fail to establish it, and that we do not bring ourselves under any positive conception in first person thought. I argue also that on the third interpretation, the first premise of the argument is inconsistent with the necessity of identity. (shrink)

In the debate about Composition as Identity (CI), a recurring pattern is to ask whether a certain feature of identity is also instantiated by composition. This recurring pattern is followed when, for example, the question is asked whether a whole and its parts are indiscernible. In following this pattern, it is methodologically desirable to assume the most standard account of the philosophical problems at stake. However, when the necessity of identity and the problem whether composition is (...) as necessary as identity are at stake, the literature about CI often violates this methodological principle, and resorts to non-standard views about modality, such as counterpart theory. In this paper, we purport to remedy this anomaly and to assess CI on the background of a standard, broadly Kripkean view of modality, and in particular of the contention that a single entity exists in more than one possible world. Given this contention, the backer of CI is forced to relativize composition and, as a consequence, identity to possible worlds, thereby introducing a non-standard kind of identity. We will discuss the charge of adhocness which might be raised against the resulting variety of CI. (shrink)

Um argumento recorrente contra a liberalização do aborto parte do pressuposto de que, desde o momento da fertilização, seres humanos são indivíduos (no sentido de serem algo que necessariamente ocorre em uma entidade apenas). Nesse artigo, argumento que esse não é um caso a partir da possibilidade de geminação monozigótica e do fato de identidades serem necessárias. Defendo as premissas do argumento e discuto as possíveis interpretações de sua conclusão. Argumento que a interpretação completa da conclusão desse argumento está em (...) concordância com a conclusão de um argumento semelhante, que parte de noção de organismo. -/- ENGLISH: A common pro-life argument assumes that humans are individuals (in the sense that they necessarily occur in one entity only) from the moment of fertilization. In this paper, argue that this is not the case because of the possibility of monozygotic twinning and the necessity of identities. I will defend the premises of the argument and discuss the possible interpretations of its conclusion. I argue that the correct interpretation of the conclusion of this argument is in agreement with the conclusion of a similar arguments from the notion of organism. (shrink)

Descartes' methodical doubt is being criticized by naïve realists and others who don't find doubt as a good starting point for metaphysical thought, however, the philosophical achievements of his method have been absorbed in all later philosophies. The objective of this paper is to demonstrate how an inevitable question concerning the foundation of Descartes' mathesis universalis, which led him to investigate this foundation by applying this very method in Metaphysics, has finally enabled him to discover his most important philosophical principle, (...) i.e., the necessary relation between being and reason in the identity of the "I". To demonstrate this, after summarizing the fundamental ideas of mathesis uneversalis, and showing the inner necessity of introducing the methodical doubt to fortify these ideas, the decisive role of metaphysical doubt as the third step of the methodical doubt, and malicious demon as its second phase would be highighted. It would also become clear that the metaphysical doubt has a great importance as a turning point from different aspects: as a knot that ties mathesis universalis with its underlying Metaphysics; as a bridge from within the psychological "I" to the metaphysical "I". (shrink)

There are different ways to study feminism. One of the ways is to study it by analyzing the waves of feminism. Though there are differences of opinion on how many waves of feminism have been so far, we would like to hold on to the generally accepted view that there are four waves of feminism so far and we try to research into one of the hallmarks of the fourth wave feminism, feminist hashtag. Though some people consider hashtags momentary and (...) frenzy, it’s a platform for feminist epistemology and feminist policy making. Moreover, it assists the development of social epistemology and reconsiders the notion of objectivity. The representative slogans of the first three waves of feminism were like the precursors of hashtags and the spokeswomen of the first three waves of feminism present the necessity of space for writing. The fourth-wave feminists make use of cyberspace as a space for addressing feminist concerns through hashtags. However, we recognize certain similarities of concerns in all the waves of feminism. The analysis of two epistemological theses, i.e., situated knowledge thesis and epistemic advantage thesis on developing the theme of how hashtags assist in knowledge production. The idea of situated knowledge explains how experiences specific to oppressed members of groups can serve as the basis of the development of important insights. Hashtags could be considered as a new way of understanding the links between gender and knowledge. Feminist slogans and hashtags are also media of testimonial exchange. When the issues of differential credulity and credibility arise the tenet of situated knowing comes to the aid of the feminist thinker. Building up the climate of trust generates knowledge of the forces and dynamics of the oppressed. Trust helps to overcome identity prejudice and testimonial injustice. Feminist policies make women visible in feminist public policies. Responsible interventions into epistemic practices by public policy-making can help move society in the direction of social justice. Hashtag testimony leads to consciousness-raising and protest movements which in turn leads to the public reasoning and policy that empowers women. The reflections of Miranda Fricker are of great advantage in disclosing feminist epistemology that revolves around feminist hashtags. Her doctrines enrich the feminist hashtags with new insights and new directions. A study on the epistemological relevance of hashtag feminism enhances the development of social epistemology. It invites our attention to re-reflect on the concept of objectivity and empowers feminist movements and women. (shrink)

The study of reference often leads to addressing fundamental issues in semantics, metaphysics and epistemology; this suggests that reference is closely linked to the three realms. The overall purpose of this study is to elucidate the structure of some of these links, through a close examination of the “mechanism” of reference. As in many other enquiries, considering the possible (i.e., the modal,) in addition to the actual proves very helpful in clarifying and explicating insights. The reference of a term with (...) respect to possible worlds is commonly called “intension”; so this is a study of intensions. The main contribution of the study is an outline for a “calculator” of intensions. It is argued that the intension of a term is a function of three variables: (a) the way in which the term “picks out” its referent in different possible worlds (semantics); (b) criteria of identity (metaphysics); and (c) the actual state of affairs (actuality). While considering different possible values for these variables, it is demonstrated how the variables combine to generate the term’s intension. In other words, the result is a calculator that when provided with the required values, yields the reference of the term in different possible worlds. By taking into account the possible gap between what we take the values of these variables to be and what they may in fact be, we also gain important insights into the epistemic aspect of reference. In addition, since a rigid designator is a term with constant intension, the proposed thesis provides an elaborate account of rigidity. The first chapter is devoted to the development of the calculator of intensions. Each of the following three chapters elaborates on one aspect of intensions, namely, the semantic, metaphysical and epistemic aspects. In the course of these chapters, various familiar puzzles pertaining to the respective philosophical realms are addressed (many of these puzzles are discussed in Kripke’s Naming and Necessity – a work that considerably inspired this study). In the fifth and last chapter the analysis of intensions is applied to two case-studies from relatively recent philosophical literature: the Kripke-Lewis debate over the identity theory of mind, and the debate over the significance of Donnellan’s referential/attributive distinction. The novel accounts that these applications generate purport to illustrate the importance and originality of the proposed thesis. (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)

This paper shows how a niche account of the metaphysics of laws of nature and physical properties—the Powers-BSA—can underpin both a sense in which the laws are metaphysically necessary and a sense in which it is true that the laws could have been different. The ability to reconcile entrenched disagreement should count in favour of a philosophical theory, so this paper constitutes a novel argument for the Powers-BSA by showing how it can reconcile disagreement about the laws’ modal status. This (...) paper also constitutes a defence of modal necessitarianism, the interesting and controversial view according to which all worlds are nomologically identical, because it shows how the modal necessitarian can appease the orthodox contingentist about laws. (shrink)

This paper is divided into three sections. In the first section I briefly outline the background of the problem, i.e. Kripke’s modal argument (Kripke 1980). In the second section I present Chalmers’ account of two- dimensional semantics and two-dimensional argument against physicalism. In the third section I criticize Chalmers’ approach based on two crucial points, one is about necessity of identities and the other is about microphysi- cal descriptions and a priori derivation.

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)

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)

Advocates of the Person-Centered Healthcare (PCH) approach say that PCH is a response to a failure of caring for patients as persons. Nevertheless, there are many human subjects falling to fulfill the requirements of a traditional philosophical definition of personhood. Hence, if we take, PCH seriously, a greater clarification of the key terminology of PCH is urgently needed. It seems necessary, for instance, that the concept of the person should be extended in order to include those individuals with insipient or (...) immature levels of consciousness, as well as those who are severely and permanently mentally handicapped. In this article, we will depart from some well-known philosophical concepts of what it means to be a person and try to offer a broader and more inclusive meaning. We suggest that persons are human beings with a socially recognized biography, which implies to recognize as persons individuals with necessities, but also with narratives about their interests and claims, expressed sometimes by other people related to them. This is particularly the case of individuals that suffer from severe disorders of consciousness. For those, is not only care that matters; respect matters too. Caregivers should therefore not only sympathetically care for the well-being of these people; they should also be concerned to respect their interests and claims by interpreting them empathetically, in the light of their biographical story. Our conclusion is that, in order to be coherent, PCH must consider individuals with severe disorders of consciousness as persons and we think that our revised concept of personhood fits with this requirement. (shrink)

Metaphysics should follow science in postulating laws alongside properties. I defend this claim against the claim that natural properties conceived as powers make laws of nature redundant. Natural properties can be construed in a “thin” or a “thick” way. If one attributes a property in the thin sense to an object, this attribution does not conceptually determine which other properties the object possesses. The thin construal is underlying the scientific strategy for understanding nature piecemeal. Science explains phenomena by cutting reality (...) conceptually in properties attributed to space-time points, where these properties are conceived of independently of each other, to explore then, in a separate step, how the properties are related to each other; those determination relations between properties are laws. This is compatible with the thesis that laws are metaphysically necessary. According to the thick conception, a property contains all its dependency relations to other properties. The dependency relationships between properties (which appear as laws in the thin conception) are parts of the properties they relate. There are several reasons to resist the thick conception of properties. It makes simple properties “holistic”, in the sense that each property contains many other properties as parts. It cannot account for the fact that properties constrain each other’s identity; it can neither explain why natural properties are linked to a unique set of dispositions, nor why and how this set is structured nor why the truth-maker of many disposition attributions is relational although the disposition is grounded on a monadic property. (shrink)