This paper argues that the principle of necessary identity (f)(g)(f=g then necessarily f=g) cannot be maintained, At least in second order form. A paradox based upon scientific definitional practice is introduced to demonstrate this. A non-Fregean reading of standard contingent identity semantics is provided to explain how such 'definition breaking' works.

It is widely held that if an object a is identical (or non-identical) to an object b, then it is necessary that a is identical (non-identical) to b. This view is supported an argument from Leibniz's Law and a popular conception of de re modality. On the other hand, there are good reasons to allow for contingent identity. Various alternative accounts of de re modality have been developed to achieve this kind of generality, and to explain what (...) is wrong with the argument from Leibniz's Law. (shrink)

A new theory of identity statements is put forward which appeals to a basic distinction between two notions of identity, i.e. strict and loose identity. The former is the traditional necessary relation of an object with the object itself, whereas the latter is a contingent relation of reduction of some (at least two) possible unactual objects to a possible actual object. By appealing to strict identity, one can maintain that some tokenings of identity (...) sentences express a semantic content which is both knowable apriori only and a necessary proposition. By appealing to loose identity instead, one can maintain that other tokenings of identity sentences express a semantic content which is both knowable a posteriori only and a contingent proposition. (shrink)

Aim of this paper is to support the view that all human practical identities are contingent by arguing against the view that there is at least one necessary practical identity shared by all human beings, namely Humanity. The view that Humanity is a necessary practical identity is explicitly defended by Christine M. Korsgaard (Korsgaard, C. M. 1996. The Sources of Normativity, edited by O. O’Neill. Cambridge: Cambridge University Press; Korsgaard, C. M. 2009. Self-Constitution: Agency, (...) class='Hi'>Identity, and Integrity. New York: Oxford University Press) and indirectly by Marya Schechtman (Schechtman, M. 2014. Staying Alive: Personal Identity, Practical Concerns, and the Unity of a Life. New York: Oxford University Press). Korsgaard understands Humanity both in terms of pure self-legislation, and as deep sociality. In the first case, Humanity as self-legislation faces what I call ‘Existential dilemma’: either Humanity has specific content, typical of contingent practical identities, but stops being necessary for all human beings; or Humanity is emptied of its content and is conceived of as necessary self-legislation, but stops being a practical identity. In the second case, i.e., Humanity as deep sociality, Korsgaard confuses the necessary natural fact that human beings are social creatures, with contingent contexts of human socialization, which are the true sources of specifically human practical identities. I articulate this confusion in the guise of what I call ‘Nature/nurture dilemma’, which also applies to the morally neutral account of human personhood advocated by Schechtman (Schechtman, M. 2014. Staying Alive: Personal Identity, Practical Concerns, and the Unity of a Life. Oxford University Press). In conclusion, I address the worry that without the necessary practical identity of Humanity we might not be able to extend our practical and moral concerns to distant fellow human beings by sketching an alternative path to extend such concerns. (shrink)

Leibniz’s famous Principle of the Identity of Indiscernibles (PII) states that no two things are exactly alike. The PII is commonly thought to be metaphysically necessary for Leibniz: the coexistence of two indiscernibles is metaphysically impossible. This paper argues, against the standard interpretation, that Leibniz’s PII is metaphysically contingent. In other words, while the coexistence of indiscernibles would not imply a contradiction, the PII is true in the actual world because the Principle of Sufficient Reason rules out (...) violations of the PII. God could have created indiscernibles but he did not because he is wise and does nothing without a sufficient reason. Because it is plausible that all Leibnizian possible worlds are unified by a wise plan, this means that the PII is true in all possible worlds. God could create indiscernibles, but the resulting creation would not be a world. To argue for this conclusion, the paper carefully examines Leibniz’s mature account of metaphysical contingency. It shows that for Leibniz, only states of affairs that imply logical contradictions are metaphysically impossible. Next, it argues that the coexistence of indiscernibles would not imply a logical contradiction; it would merely imply what Leibniz calls a “moral absurdity,” that is, a violation of the Principle of Sufficient Reason. This means that the PII is true contingently and—since God can do whatever is metaphysically possible—that God can create two things that are exactly alike. (shrink)

U radu se nudi opis konteksta unutar kojeg je formuliran poznati dokaz za nužnost identiteta. Iznosi se formalni prikaz ovog dokaza kako ga je formulirao poznati filozof i logičar Saul Kripke. Također se razmatra gledište filozofa Allana Gibbarda koji nasuprot Kripkeu brani tvrdnju da neki iskazi identiteta mogu biti kontingentni. Osnovni cilj rada je upoznati domaćeg čitatelja s formalnim aspektom rasprave o nužnosti identiteta te dati kratki pregled konteksta unutar kojeg su formulirani argumenti za nužnost identiteta. In the paper, we (...) offer an overview of the context within which the well-known proof of the necessity of identity is formulated. A formal account of this proof is presented as formulated by the renowned philosopher and logician Saul Kripke. Furthermore, we discuss the account of the philosopher Allan Gibbard, who defends the claim that some statements of identity can be contingent. The main goal of the paper is to acquaint the readers who understand the Croatian language with the formal aspect of the discussion on the necessity of identity and to give a brief overview of the context within which the arguments for the necessity of identity are formulated. (shrink)

I present a novel argument against the non-contingency of identity. I first argue that the necessity of distinctness is intimately connected with numerous paradoxes of recombination. In particular, I argue that those who reject the necessity of distinctness have natural solutions to various paradoxes of recombination which have plagued the metaphysics of modality. Moreover, I argue that adding the necessity of distinctness to modest, paradox-free assumptions is sufficient to reinstate the paradoxes. Given that identity is non-contingent only (...) if distinctness is necessary, I suggest this constitutes new evidence against the non-contingency of identity. (shrink)

The Principle of the Identity of Indiscernibles —the principle that no two numerically distinct things are perfectly similar—features prominently in Leibniz’s metaphysics. Despite its centrality to his philosophical system, it is surprisingly difficult to determine what modal status Leibniz ascribes to the PII. On many occasions Leibniz appears to endorse the necessity of the PII. There are a number of passages,however, where Leibniz seems to imply that numerically distinct indiscernibles are possible, which suggests that he subscribes to a merely (...) contingent version of the PII. In this paper I attempt to resolve this apparent inconsistency. I argue that Leibniz consistently takes the PII to be necessary and that this view of his shines through even in his correspondence with Clarke. I also show that competing interpretations, on which Leibniz’s PII is contingent, misread a number of crucial passages from this correspondence. (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)

Anti-racist debate today remains polarised between ‘class reductionist’ (any attempt to address racial disparities reinforces capitalist class relations) and ‘liberal identity’ (disparities in racial representation can be resolved without questioning class inequality) politics. Both positions share a common perspective – racial oppression and class exploitation are the products of distinctive social dynamics whose relationship is historically contingent. This essay is an initial step toward characterising a structurally necessary relationship between capitalism and racial oppression. The essay draws upon (...) Anwar Shaikh and Howard Botwinick’s elaboration of Marx’s political economy, and Ellen Wood’s analysis of the specificity of capitalist imperialism. (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)

ABSTRACT An apparent objection against my theory of instantiation as partial identity is that identity is necessary, yet instantiation is often contingent. To rebut the objection, I show how it can make sense that identity is contingent. I begin by showing how it can make sense that identity is temporary. I rely heavily on Andre Gallois’s formal theory of occasional identity, but argue that there is a gap in his explanation of how (...) his formalisms make sense that needs to be filled by appeal to my theory of Aspects. (shrink)

We provide an account of necessary a posteriori identity statements that relies upon Perry’s multipropositionalism. On our account an utterance of, e.g., ‘Hesperus is Phosphorus’, semantically makes available several propositions, one of which is necessary (and a priori) and another of which is a posteriori (and contingent). Since our view resembles two-dimensionalism, one might assume that it is undermined by the sorts of nesting arguments that Soames and others have raised against two-dimensionalism. We demonstrate, however, that (...) our account is immune to such nesting arguments. (shrink)

Faced with strong arguments to the effect that Leibniz''sPrinciple of the Identity of Indiscernibles (PII) is not a necessary truth, many supporters of the Principle have staged a strategic retreat to the claim that it is contingently true in this, the actual, world. The purpose of this paper is to examine the status of the various forms of PII in both classical and quantum physics, and it is concluded that this latter view is at best doubtful, at worst, (...) simply wrong. (shrink)

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition (...) as identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (shrink)

In the paper we introduce a wide range of Anderson-like variants of Gödel's theory and prove for each of them strong completeness theorem wrt. corresponding class of modal structures.These theories — all formulated in the 2nd order modal language with a 2nd order unary predicate of positiveness — differ among themselves with respect of: properties of the necessity operator and of the predicate of positiveness, axioms characterizing identity between 1st sort terms, definitions of identity between 2nd sort terms, (...) the treatment of Godlikeness as a term of the 2nd order, the treatment of necessary existence as a term of the 2nd order if there exists the necessity of its presence, the treatment of Ix (Ix(y) is read: terms x, y are identical), for every 1st sort term x, as a term of the 2nd order if there exists the necessity of its presence.Concerning to semantical commitments, the following are essential: (i) 1st order terms order receive only rigid extensions in the constant objectual 1st order domain; (ii) 2nd order terms receive non-rigid extensions in the constant objectual domain of 2nd order and rigid intensions in the constant conceptual 2nd order domain; (iii) The behavior of the identity between 1st sort terms shifts from possible worlds to possible worlds. (shrink)

I sketch a philosophical program called ‘Empirical Fundamentalism,’ whose signature feature is the extensive use of a distinction between fundamental and derivative reality. Within the framework of Empirical Fundamentalism, derivative reality is treated as an abstraction from fundamental reality. I show how one can understand reduction and supervenience in terms of abstraction, and then I apply the introduced machinery to understand the relation between water and H2O, mental states and brain states, and so on. The conclusion is that such relations (...) can be understood either as metaphysical contingencies or as necessary type-identities. (shrink)

Critical (necessary or sufficient) features in categorisation have a long history, but the empirical evidence makes their existence questionable. Nevertheless, there are some cases that suggest critical feature effects. The purpose of the present work is to offer some insight into why classification decisions might misleadingly appear as if they involve critical features. Utilising Tversky's (1977) contrast model of similarity, we suggest that when an object has a sparser representation, changing any of its features is more likely to lead (...) to a change in identity than it would in objects that have richer representations. Experiment 1 provides a basic test of this suggestion with artificial stimuli, whereby objects with a rich or a sparse representation were transformed by changing one of their features. As expected, we observed more identity judgements in the former case. Experiment 2 further confirms our hypothesis, with realistic stimuli, by assuming that superordinate categories have sparser representations than subordinate ones. These results offer some insight into the way feature changes may or may not lead to identity changes in classification decisions. (shrink)

Through careful analysis of a specific example, Parfit’s ‘fission argument’ for the unimportance of personal identity, I argue that our judgements concerning imaginary scenarios are likely to be unreliable when the scenarios involve disruptions of certain contingent correlations. Parfit’s argument depends on our hypothesizing away a number of facts which play a central role in our understanding and employment of the very concept under investigation; as a result, it fails to establish what Parfit claims, namely, that identity (...) is not what matters. I argue that Parfit’s conclusion can be blocked without denying that he has presented an imaginary case where prudential concern would be rational in the absence of identity. My analysis depends on the recognition that the features that explain or justify a relation may be distinct from the features that underpin it as necessary conditions. (shrink)

This volume draws connections between Wittgenstein's philosophy and the work of Saul Kripke, especially his Naming and Necessity. Saul Kripke is regarded as one of the foremost representatives of contemporary analytic philosophy. His most important contributions include the strict distinction between metaphysical and epistemological questions, the introduction of the notions of contingent a priori truth and necessary a posteriori truth and original accounts of names, descriptions, identity, necessity and realism. The chapters in this book elucidate the relevant (...) connections between Kripke's work and Wittgenstein, specifically concerning the standard meter, contingent apriori and rule-following. The contributions shed light on how Kripke's philosophical outlook was influenced by Wittgenstein, and how mainstream analytic philosophy and Wittgensteinian philosophy can fruitfully engage with one another. Kripke and Wittgenstein will be of interest to philosophers working on Wittgenstein, Kripke, and the history of analytic philosophy. (shrink)

The aim of this paper is to discuss Kripkc?s reasons for declaring the existence of both necessary a posteriori as well as contingent a priori statements, thus breaking the traditional extensional coincidence of the two pairs of concepts:necessary?contingent and a priori?a posteriori. As I shall argue, there is no reason, from Kripke?s work at least, to reject the usual picture of the topic The appeal ot his arguments rests on the ambiguity with which his expressions are (...) used and on the introduction o\ new senses for old notions. This does not mean, however, that all Knpke?s and Putnam?s intuitions on singular terms and natural kind nouns are wrong. Once Kripke?s ideas are properly uudeistood, they are much moreharmless then they are presented to be and they do not pose a threat to traditional relations relations between modal and epistemological categories. (shrink)

In his "Materialism without Reductionism: What Materialism Does not Entail," Richard Boyd answers Kripke's challenge to materialists to come up with a way to explain away the apparent contingency of mind-brain identities. Boyd accuses Kripke of an imaginative myopia manifesting itself as a failure to realize that the more theoretical term in the identity is fixed by contingent descriptions - descriptions that might pick out otherworldly kinds of neural events where C-fibres are absent. If this is something we (...) can confuse in the imagination with actual C-fibre firings, then we have an explanation of the apparent contingency of the necessary identity 'Pain=C-fiber firings.' However, for this to succeed it must be the case that the reference of 'C-fiber firings'€™ is fixed by some contingent description, which is false. Boyd, I submit, has failed to answer Kripke'€™s challenge after all. (shrink)

In this book chapter, Moya argues that recognizing, indeed mobilizing, identities in the classroom is a necessary part of educating for a just and democratic society. Only a truly multi-perspectival, multicultural education can create the conditions needed to alter the negative identity contingencies that minority students commonly face, while creating opportunities for all students. By treating identities as epistemic resources and mobilizing them, we can draw out their knowledge-generating potential and allow them to contribute positively to the production (...) and transmission of knowledge. (shrink)

Kripke's argument for the rigid designation of natural kind terms is fallacious because he does not distinguish natural kinds from second-order functional properties; by clarifying the concepts of natural kind and functional property, we can show that natural kind terms do designate their referents rigidly, but that functional property terms are not rigid designators. My discussions of functional property will also help dispel the worry about the alleged cases of contingent identity with regard to theoretical statements in science. (...) There is no contingent identity even in the form of second-order logic: Property identity is also a necessary identity. The principle of necessary identity rules relentlessly. (shrink)

Saul Kripke, in a series of classic writings of the 1960s and 1970s, changed the face of metaphysics and philosophy of language. Christopher Hughes offers a careful exposition and critical analysis of Kripke's central ideas about names, necessity, and identity. He clears up some common misunderstandings of Kripke's views on rigid designation, causality and reference, and the necessary a posteriori and contingent a priori. Through his engagement with Kripke's ideas Hughes makes a significant contribution to ongoing debates (...) on, inter alia, the semantics of natural kind terms, the nature of natural kinds, the essentiality of origin and constitution, the relative merits of 'identitarian' and counterpart-theoretic accounts of modality, and the identity or otherwise of mental types and tokens with physical types and tokens. No specialist knowledge in either the philosophy of language or metaphysics is presupposed; Hughes's book will be valuable for anyone working on the ideas which Kripke made famous in the philosophy world. (shrink)

Schiller says that “it is only through beauty that man makes his way to freedom.” Here I attempt to defend a claim in the same spirit as Schiller’s but by different means. My thesis is that a person’s autonomous agency depends on their adopting an aesthetic identity. To act, we need to don contingent features of agency, things that structure our practical thought and explain what we do in very general terms but are neither universal nor necessary (...) features of agency as such. Without these things, the question of what to do for any individual would be underdetermined. The problem is that adopting such a contingent form of agency amounts to a restriction on what we can do, and so it is a prima facie threat to our autonomy. I will argue that one way, and indeed the only way, of meeting this challenge lies in aesthetic experience. Granting our capacity for aesthetic pleasure the authority to determine the particularities of our agency is compatible with autonomy because doing so means identifying with one’s capacity for pleasure in free and creative activity. Doing this allows us to be both particular sorts of agents and creatures regulated by the universalizing demands of reason. (shrink)

This paper deals with the identity and individuality of material objects. In particular, the view that identity is derivative on the qualities of things, based on the endorsement of the Principle of the Identity of the Indiscernibles, is studied in detail. This provides what seems to be a much-needed unitary look at, and up-to-date critical analysis of, the vast literature on the Identity of the Indiscernibles. It is concluded that the ‘reductionist’ view, dating back to Quine (...) and, earlier, to Leibniz, possesses no compelling justification, neither from the conceptual, a priori point of view, nor from the methodological perspective, nor as far as empiricalevidence (as the latter is described by our best current science) is concerned. That is to say, the Principle has not been (perhaps, cannot be) shown to be either a necessary or a contingent truth. Therefore, it can be argued that the whole reductionist view of the individuality of material entities can be dispensed with in favour of an interpretation of reality in terms of objects provided with primitive identity. A suggestion in this latter sense that preserves the appeal of a property-based ontology is very briefly made. (shrink)

One of the advantages of my account in the essay “Instantiation as Partial Identity” was capturing the contingency of instantiation—something David Armstrong gave up in his experiment with a similar view. What made the contingency possible for me was my own non-standard account of identity, complete with the apparatus of counts and aspects. The need remains to lift some obscurity from the account in order to display its virtues to greater advantage. To that end, I propose to respond (...) to those who have grappled with it in print. There are various criticisms by commentators: that it is rendered absurd by the transitivity of identity, that it makes instantiation necessary instead of contingent, that it is unclear what counts are, that aspects are simply tropes, that my view does not capture multiple location, that I make an unclear reference to a theory of composition as identity, that the account suffers from problems with polyadicity, and that it is not a realist account of universals after all. I give responses to these objections. (shrink)

Se afirma que los enunciados necesarios a posteriori, propuestos por S. Kripke, exigen una comprensión débil de la necesidad; esto quiere decir: a) existencia contingente del designatum y b) dependencia racionalista en principios lógicos a priori, particularmente los de diferencia y de identidad. La principal consecuencia es que los enunciados necesarios a posteriori corresponden a instancias de dichos principios lógicos. Contrario al racionalismo, esto no exige que dichos enunciados sean a priori, pues su justificación requiere información empírica. Finalmente, se defiende (...) que la distinción entre denotación y designación permite sostener que la necesidad débil se aplica a las instancias de la clase, y no a esta, con lo que se evita el indeterminismo referencial. The article states that a posteriori necessary sentences as proposed by S. Kripke require a weak understanding of necessity. This means: a) contingent existence of designatum, and b) rationalist dependence on a priori logical principles, particularly those of difference and identity. The main consequence is that a posteriori necessary sentences correspond to instances of these logical principles. Contrary to rationalism, this does not require that these be a priori sentences, given that their justification requires empirical information. Finally, the article argues that the distinction between denotation and designation supports the idea that weak necessity applies to instances of the class, and cannot be applied to the class itself, thus avoiding referential indeterminism. (shrink)

Attacks on ?closest continuer? and ?best candidate? theories of identity have something correct in them while still failing to discredit the theories they oppose. What follows from Noonan's and Wiggins's objections to such theories is that they need to be so formulated as not to deny the necessity of identity. The best metaphysics for best?candidate theories to adopt is one in which everyday objects are taken to transcend, in a certain sense, their life histories in given worlds. This (...) metaphysics also has the potential for solving problems about contingent identity, transworld identity, and the issue of haecceitism or individual essence. To develop the metaphysics, it is only necessary to follow through the analogy between worlds and times suggested by writers like Plantinga and Schlesinger. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Hume Studies Volume XIX, Number 2, November 1993, pp. 289-299 Hume on Personal Identity DAVID PEARS The question that I discuss in this paper has often been raised and it has been answered in many different ways. "Why did Hume retract his theory of personal identity?" He puts it forward in the main text of the Treatise with his usual panache, and then takes it back in (...) the Appendix. Why? Many different answers have been given to this question and what most of them have in common is the confidence with which they are given. Each interpreter sticks to his own interpretation in spite of the plausibility of its rivals, few of which are actually excluded by what Hume says. For this is an extreme case of the underdetermination of interpretation by evidence. I confess that in spite of all the recent work on this subject, I remain loyal to my own suggestion, which I first made in 1975.1 I will start with a sketch of my interpretation. Then I will quote Hume's recantation and develop an argument for my interpretation, based on that text and on others. After that, I will show how my suggestion is related to some of its rivals and I will say something about their comparative merits. Naturally, there is a considerable amount of overlap between the more plausible answers to the question, why Hume recanted. 1. My Interpretation In his Appendix, Hume confesses that his theory of personal identity seems to him to understate the strength of the connections between the David Pears is Emeritus Professor of Philosophy, Oxford University. 290 David Pears impressions and ideas that constitute a single person; or, as I would prefer to express his doubts, the impressions and ideas that constitute a single person's mind. He says that he would have been content if he could have attributed all those perceptions to a single substance; or alternatively, if he could have found some real connection between them. But all that he can find are connections based on the three natural relations: resemblance, contiguity, and causation. And those connections are, he implies, not enough. It is certain that he is thinking of a fundamental difficulty. For he evidently sees some reason for doing something which is simply not possible within his system, namely finding stronger connections between perceptions than those allowed by the doctrine of the main text of the Treatise. But what is his fundamental difficulty? The suggestion that I put forward was this: when an impression of sense occurs in my series of perceptions, it does not hold its place in the series by possessing any property, or by standing in any specific relation to any other perception in the series (except, of course, the relation of being co-experienced). Consequently, when I review the series, I do not find that the sensation is anchored by anything other than the fact of its contingent occurrence at the point where it occurred. Nevertheless, there is a strong modal statement that can be made about it: It, the very same sensation, could not conceivably have occurred in any other series. This modal statement is based on the special character of the identity-line of a particular perception: the identity-line of a particular perception starts at the point where it occurs in a particular series, and no sense can be attached to the speculation that it, the very same perception, might have occurred in some other series. However, in Hume's system, perceptions are treated like stars which form constellations, but only form them contingently, and it is obvious that the discovery of additional contingent relations between perceptions would never provide any support for the strong modal statement. Yet in Hume's system the only possible relations between perceptions are contingent relations. The other alternative, that the self is a substance, would, perhaps, do the trick, but for Hume it is unthinkable. It may seem fanciful to suggest that Hume's problem was the difficulty of accounting for the necessary ownership of perceptions within the framework of his system. But it is hard to see what other reason he could have had for requiring stronger relations... (shrink)

Some of Tichý's conclusions rest on an assumption about substitutivity which Kripke would not accept. If we grant the assumption, then Tichý successfully shows that we can discover true identity statements involving names a priori, but not that we can discover a priori what properties things have essentially. Many of Tichý's arguments require an implausible rejection of the possibility of indirect belief as described in Section III. 25Are there necessary a posteriori propositions? I have argued that we certainly (...) can discover necessary propositions a posteriori, but have left it an open question whether there are necessary propositions which we can only discover a posteriori.What effect do the considerations here presented have on the positivist doctrine that the a priori and the necessary coincide? My explanation of how we discover necessary propositions a posteriori involves our believing them indirectly, in virtue of believing contingent propositions. I would argue that Kripke's examples of the contingent a priori involve, similarly, our believing the contingent propositions in directly, in virtue of believing necessary propositions.This suggests that a reformulation of the positivist thesis along something like the following lines may well be correct. Let us say that someone directly believes a proposition just in case he could not fail to believe it without being in a different cognitive state. Then perhaps one can directly believe a proposition on the basis of a priori evidence only if it is necessary, and can directly believe a proposition on the basis of a posteriori evidence only if it is contingent. (shrink)

The relations between our cognitions and what they are about have been much discussed in recent decades. A popular view used to be that the relation between a cognitive state and what it is about is a contingent affair, namely that my cognitive state might have been just as it actually is in the absence of the object it is of, or in the presence of a qualitatively identical object as the one it is of. A second position, one (...) more in vogue now, is that we can distinguish between a wide and a narrow content, where the wide content is dependent on the object it is of while the narrow content is not. Ori Simchen rejects both of these views. Instead, he argues, there is a necessary connection between a cognitive episode and the object it is of. There are no narrow contents. Further, a name is necessarily of the object it names. There are natural kinds and individuals have essences that restrain the way they might be. Necessities abound. (shrink)

Environmentalism is traversed by a dilemma between a movement toward identity politics and the impossibility of a speaking natural subject; this dilemma calls into question both the relevance of identity politics for ecological struggle and dominant classical constructions of the subject itself. Using Lacanianinspired insights on subjectivity, and the works of Ernesto Laclau and Chantal Mouffe on radical democracy, I investigate the alternative versions of the subject implicit in ecological discourses and suggest that it is through these alternatives (...) that environmentalism can forge necessary alliances with other movements oriented toward human liberation. In particular, the very impossibility of a natural speaking subject suggests that the ecological project of redefining humanity’s relationships to nonhuman nature(s) is always contingent on reorienting human subjectivity itself; this fact highlights the centrality of political coalition between ecological and other social movements. (shrink)

The aim of this paper is to render a detailed analysis of the correspondence with Clarke in order to shed some light in the relationship between the Principle of Identity of Indiscernibles and the Principle of Sufficient Reason. Most of the secondary literature takes for granted that Leibniz derives the Principle of Identity of Indiscernible from the Principle of Sufficient Reason in at least some parts of the correspondence. This would render the Principle of Identity of Indiscernibles (...) a merely contingent truth and not a necessary principle. I will argue that this interpretation is misleading, and that Leibniz never abandoned the idea that the Principle of Identity of Indiscernibles is a necessary truth. Although he is continuously using the Principle of Sufficient Reason in his argumentation, he keeps in parallel a strong argumentation that entails the necessity of the Principle of Identity of Indiscernibles. To achieve this goal, it will be necessary to point out first some contextual facts that may determine a correct understanding of the correspondence. It will be also necessary to frame the discussion about the principles into the broader debate on the possibility of Newtonian space. Finally, it will be shown that the mentioned hypothesis is supported by textual evidence throughout the entire correspondence. (shrink)

Kripke argued for the existence of necessary a posteriori truths and offered different accounts of why certain necessary truths seem to be contingent. One of these accounts was used by Kripke in an argument against the psychophysical identity thesis. I defend the claim that the explanatory force of Kripke's standard account of the appearance of contingency relies on the explanatory force of one of the more general accounts he also offers. But the more general account cannot (...) be used to undermine the psychophysical identity thesis. Specifically, a crucial feature in Kripke's standard account, which is needed to argue for dualism, is explanatorily superfluous. Alternative accounts that are similar to Kripke's original one but lack that trait would also explain the phenomenon. Consequently, the Kripkean dualist argument is blocked. /// Kripke ha argumentado que existen verdades necesarias a posteriori, y ha ofrecido diferentes explicaciones de por qué ciertas verdades necesarias parecen contingentes. Una de esas explicaciones se usaba en un argumento con el que Kripke criticaba la tesis de la identidad psicofísica. En este trabajo sostengo que la fuerza explicativa de la explicacion kripkeana estándar de la apariencia de contingencia depende de la fuerza explicativa de una de las otras explicaciones que Kripke también propone. Pero esa otra explicación, más general, no sirve para rechazar la identidad psicofísica. Con-cretamente, un rasgo crucial de la explicación kripkeana estandar resulta explicativamente superfluo. Explicaciones alternativas, similares a la de Kripke pero que carezcan de ese rasgo, explicarían también el fenómeno. Como consecuencia, el argumento dualista kripkeano queda bloqueado. (shrink)

According to Naming and Necessity, proper names usually work referentially as rigid designators. In this paper, I argue that proper names have also attributive uses that systematically emerge in particular contexts. Attributive uses are then exploited to show that simple identity claims (such as “Hesperus is Phosphorus”) are open to a double interpretation. The main aim of the paper is arguing that the impression that certain true identities are a posteriori is mostly due to one of the two readings, (...) a reading according to which, however, the expressed truth is only contingently true. (shrink)

Kripke's argument against the identity theory in the philosophy of mind runs as follows. Suppose some psychophysical identity statement S is true. Then S would seem to be contingent at least in the sense that S seems possibly false. And given that seeming contingency entails genuine contingency when it comes to such statements S is contingent. But S is necessary if true. So S is false. This entry considers responses to each of the three premises. (...) It turns out that each response does not fully withstand scrutiny, and so Kripke's conclusion is hard to resist. Section 1 lays out Kripke's argument, and Sections 2 to 4 then discuss responses to each of the three premises respectively. (shrink)

In this paper I discuss, on behalf of the materialist, a consideration against the modal or conceivability argument against materialism which was first voiced in the third lecture of Naming and Necessity. This consideration is based on intertheoretic identities, statements in which both terms flanking the identity sign are theoretical. I argue that the defender of the conceivability argument has trouble to account for the appearance of contingency in those types of necessary identities. In fact, intertheoretic identities pose (...) a formidable dilemma for the defender of the modal argument and actually force the antimaterialist to say more about the semantics of theoretical terms than is implicit in standard discussions of the argument. I myself consider several options in this regard, the upshot being, however, that none of the alternative semantics for theoretical terms available to the antimaterialist is good enough to achieve the twofold aim which her modal argument requires, namely, to account for the a posteriori necessity of identities of this sort and, at the same time, to preserve her antimaterialist argument. Finally, in the last part of the paper, I argue that my defense of materialism can withstand some worries coming from David Chalmers’ recent views on a priori scrutability. (shrink)

This essay examines an argument of perennial importance against naive Leibnizian absolute identity theory, originating with Ruth Barcan in 1947 (Barcan, R. 1947. ?The identity of individuals in a strict functional 3 calculus of second order?, Journal of Symbolic Logic, 12, 12?15), and developed by Arthur Prior in 1962 (Prior, A.N. 1962. Formal Logic. Oxford: The Clarendon Press), presented here in the form offered by Nicholas Griffin in his 1977 book, Relative Identity (Griffin, N. 1977. Relative (...) class='Hi'>Identity. Oxford: The Clarendon Press). The objection considers the property of being necessarily identical to a specific object a as a counterexample to Leibnizian identity conditions, and more particularly to the indiscernibility of identicals, when it is only contingently true that a=b. The inquiry eliminates necessity and reference to a specifically designated object as responsible for the counterexample, leaving only identity. The requirements for an exact reinterpretation of Leibniz's Law in light of counterexamples involving converse intentional properties and the family of properties suggested by the property of being necessarily identical to a where a=b (or an equivalent definite descriptor variation) is only logically contingently true, are formalized in a more powerful, counterexample-resistant version of Leibniz's Law that does not succumb to relative identity as a necessary alternative motivated by desperation over the failure of the absolute identity principle. (shrink)

The West has created categories of property, including intellectual property, which divides peoples and things according to the same colonizing discourses of possessive individualism that historically disentitled and disenfranchised Native peoples in North America. These categories are often presented as one or both of neutral and natural, and often racialized. The commodification and removal of land from people’s social relations which inform Western valuations of cultural value and human beings living in communities represents only one particular, partial way of categorizing (...) the world. Legal and cultural manifestations of authorship, culture, and property are contingent upon Enlightenment and Romantic notions built upon a colonial foundation. I will argue that the law rips apart what First Nations peoples view as integrally and relationally joined, but traditional Western understandings of culture, identity, and property are provoked, challenged, and undermined by the concept of Aboriginal Title in a fashion that is both necessary and long overdue. (shrink)

How is it possible that a thing singled out not exist? How is it possible that two things singled out be numerically identical? How is one to understand the relationship between, say, a quality of a thing and what this quality is? And how is one to understand the relation between this quality and the thing which happens to be thus qualified? Trying to answer these four questions involves investigation of the four senses of the verb "to be," or of (...) the concepts of existence, identity, essential and accidental predication. Butchvarov’s thesis is that these four questions admit of a common answer, that the cornerstone of this comprehensive theory is an answer to the second question, and that this crucial answer depends on making some such distinction as his between "objects" and "entities." The bare bones of his argument are these: We commonly make statements of the form "a is b" where "a" and "b" are used referringly. A "material identity" statement of this form may be true. If true, it is about one thing; yet what it is about appears to be distinct things. This distinctness is not a real distinction among existents, nor does it arise solely or primarily from features of language. Butchvarov’s account is based on a distinction "of reason" between objects and entities. An entity is an existent, a constituent of the world. An object is whatever can be singled out once, and only once, in perception or imagination or in "thought". Entities as such cannot be singled out, yet they may be recognized through applications of a conceptual apparatus to objects. A material identity statement, then, states that two objects are one entity. If true, it is both about two distinct objects and about the one entity which each is. When two objects are judged to be one entity, then indiscernibility is enforced. Seeming counterexamples to the indiscernibility of identicals are explained in terms of the distinction between objects and entities. Though some applications of the concept of identity are relative to sortal characteristics, others are not. The latter are prior to the former. These primary judgments constitute the backbone of "thought" and discourse. They are governed by impersonal, nonhuman "paradigms." There are entities, of course; and there are objects, though as objects none exists. Some objects are entities, some are not. The notion of existence, like the notion of identity in its material role, is then a principle of classification, a concept. Butchvarov examines nine objections to this claim, and elaborates his distinction between objects and entities. He concludes that identifiability, hence indefinite reidentifiability, is the logically sufficient condition of applicability of the concept of existence. A statement such as "Socrates is white" is a disguised conjunction, viz., "Socrates has this color, and this color is white." The second conjunct is an "essential" statement; it says of an object singled out that it is a certain entity; or, to allow for essences of nonexistent objects, it states what entity the object would be were it an entity. An essential statement is not a material identity statement, for only one of its terms is used referringly. The essence of an object is not a property of it, for it is what the object is or would be. Whereas logically prior consciousness of objects is intentional and non-conceptual, consciousness of entities is conceptual and nonintentional; it consists in recognizing that a thing can be identified by oneself or by others. What is accidentally white, say, cannot be a material substance or bare particular; therefore it is a "cluster" of qualities. The Resemblance Theory, according to which qualities are particulars, is not a coherent alternative to the Identity Theory; therefore the qualities an individual happens to have are themselves universals. The Bradleyan critique of ontological atomism is cogent; therefore an individual is a cluster of qualities each of which depends for its "formal identity" on its being together with the rest. An individual’s having qualities is then to be understood in terms of the necessary togetherness of the qualities constitutive of it. Since in addition each of these qualities is essentially a universal, and specific universals are contingently coinstantiated, the predication in question is properly regarded as accidental. The problem of identifying quality-clusters through space and time is discussed. (shrink)

The difficulties encountered by attempts to treat identity as a relation between an object and itself are well-known: "...the sentence 'The morning star is...the morning star' is analytic and a truism, while...'The morning star is the evening star' is synthetic and represents a 'valuable extension of our knowledge'... But if {the morning star} and {the evening star} are the same object, and identity is taken as a relation holding between this object and itself, then it is impossible to (...) explain how the two sentences can differ in cognitive content... ". Russell's solution to these difficulties rejects the identification of logical with grammatical form, in effect denying that such sentences assert relations between the morning star and itself. The logical representations which the Russellian proposes, contain quantifiers, predicate letters, and individual variables, but no expressions standing for particulars. The Fregean solution, while admitting logical representations whose nominal expressions stand for particulars, insists that the meaning of such expressions is different from their reference. Frege-Russell analyses thus both deny that the morning star is involved qua particular in the meaning of the sentences in question. ;Rather than replace the morning star as ontological subject of these sentences, I suggest that their difference in meaning arises from the kind of particular that the identity-relation relates--a particular which, unlike its Frege-Russell counterpart, is two-sided and multi-faceted. Such a particular requires an ambiguous singular term. In Chapter 1, I utilize such a term to provide a surfacist account of belief-context ambiguity requiring neither differences in relative scope nor distinctions between sense and reference. In Chapter 2, I go on to provide an account of negative existentials, necessity- and identity-statements which resolves philosophical problems that Russell-Frege analyses only avoid. To solve these problems, I show that it is necessary to reject two canons of philosophical logic, the Law of Identity and the Indiscernibility of Identicals. (shrink)

André Gallois’ (1993) modified account of restrictedly rigid designators (RRDs) does indeed block the objection I made to his original account (Gallois 1986; Ramachandran 1992). But, as I shall now show, there is a deeper problem with his approach which his modification does not shake off. The problem stems from the truth of the following compatibility claim: (CC) A term’s restrictedly rigidly designating (RR-designating) an object x is compatible with it designating an object y in a world W where x (...) exists but is distinct from y.1 It follows from (CC) that the necessary (contingent) truth of a sentence of the form “α is identical with β”, where “α” and “β” are RRDs of objects x and y respectively, does not require the necessary (contingent) identity of x and y. This is borne out by Gallois’ original example (see 1986, p. 58-63). Taking W to be the actual world, we have: (1) “Mary is identical with Mary” is necessarily true; yet “Mary” RR- designates Mary and Alice, which are only contingently identical. 1 I leave it to the reader to check that in Gallois’ own example (1986, p. 58), on the view he defends (pp. 62-63), and despite his modified characterisation of restricted rigidity, RDC# (1993, p. xx), “Mary” RR-designates Alice (as well as Mary) in W, but designates Mary and not A/ice in W1. Gallois has accepted this in correspondence. In light of (CC), while I agree with Gallois (1993, p. 153) that: (7) (a=b & ◊(a≠b)) → (∃x)(∃y)(x=y & ◊(x≠y)) is a theorem given RDC#, I dispute his defence of it (on p. 153). For, if (CC) is correct, the antecedent of (7) could be true even though a and b are identical in every world (where either exists)! (shrink)

‘Mental processes are brain processes’ is not a logically necessary truth, but nevertheless certain logical conditions must be fulfilled if it is to be a candidate for the role of contingent truth. Not just anything can, conceivably, be contingently identical with anything else: a play cannot be identical with its copies, nor beauty with a beautiful object. The propagation of light may be electromagnetic radiation, but it cannot conceivably be the tri-section of a right-angle. In this paper I (...) shall be concerned with the general question of whether there are any logical barriers to mind-body identification, and I shall approach this via the more particular question of whether the mental processes of persons can conceivably be identical with the physiological processes of brains. It is my contention that identity theorists, by concentrating their attentions upon what were once called the “lower” parts of the soul rather than upon “higher” parts which are more typical of human persons, have paved a logical way for themselves which is artificially straight. (shrink)

The purpose of this paper is to describe a set of quantified temporal alethic-deontic systems, i.e., systems that combine temporal alethicdeontic logic with predicate logic. We consider three basic kinds of systems: constant, variable and constant and variable domain systems. These systems can be augmented by either necessary or contingent identity, and every system that includes identity can be combined with descriptors. All logics are described both semantically and proof theoretically. We use a kind of possible (...) world semantics, inspired by the so-called T × W semantics, to characterize them semantically and semantic tableaux to characterize them proof theoretically. We also show that all systems are sound and complete with respect to their semantics. (shrink)

Identity theorists make claims like ‘pain = C-fibre stimulation’. These claims must be necessary if true, given that terms like ‘pain’ and ‘C-fibre stimulation’ are rigid. Yet there is no doubt that such claims appear contingent. It certainly seems that there could have been C-fibre stimulation without pains or vice versa. So identity theorists owe us an explanation of why such claims should appear contingent if they are in fact necessary.

A posteriori Moral Naturalism posits a posteriorimoral/naturalistic identities. Versions of this view thatposit necessary identities purport to rely on theKripke/Putnam doctrine of scientific essentialism.Versions that posit only contingent identities requirethat moral terms are non-rigid designators. I argue thatmetaethics does not fall within the scope of scientificessentialism and that moral terms are not non-rigid designators.

This paper will introduce and explore a set of quantified counterfactual temporal alethic-deontic systems, that is, systems that combine counterfactual temporal alethic-deontic logic with predicate logic. I will consider three types of systems: constant, variable and constant and variable domain systems. Every system can be combined with either necessary or contingent identity. All logics are described both semantically and proof theoretically. I use a kind of possible world semantics, inspired by the so-called T x W semantics, to (...) characterise them semantically and semantic tableaux to characterise them proof theoretically. Our models contain several different accessibility relations and a similarity relation between possible worlds, which are used in the definitions of the truth conditions for the various operators. Soundness results are obtained for every tableau system and completeness results for a subclass of these. (shrink)