Proper Names and the Necessity of Identity Statements

An identity statement flanked on both sides with proper names is necessarily true, Saul Kripke thinks, if it's true at all. Thus, contrary to the received view – or at least what was, prior to Kripke, the received view – a statement like(A) Hesperus is Phosphorusis necessarily true if, as certainly seems to the the case, it's true at all. The received view is that (A) is true but only contingently true, while(B) Hesperus is Hesperuswhich is also true, of course, is necesarily true. Epistemologically, however, both the tradition and Kripke have it that (A) is a posteriori and (B) a priori.There are tensions in Kripke's views concerning (A), though, and ultimately in the views of anyone who holds that (A) is necessary. In this paper I draw attention to some of them and advance an argument for thinking that (A) is contingent.     

If I Were Kripke … Attributive Names and the Necessary A Posteriori

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.     

The necessary a posteriori: A response to Tichý

Conclusion 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.     

Rigidity and actuality-dependence

It is generally assumed that rigidity plays a key role in explaining the necessary a posteriori status of identity statements, both between proper names and between natural kind terms. However, while the notion of rigid designation is well defined for singular terms, there is no generally accepted definition of what it is for a general term to be rigid. In this paper I argue that the most common view, according to which rigid general terms are the ones which designate the same kind in all possible worlds, fails to deliver a posteriori necessities. I also present an alternative view, on which the work of explaining a posteriori necessities is not done by rigidity, but by a related metasemantic notion, which I call actuality-dependence.     

The Trouble with Tarski

As a result of thinking ( pace Tarski, wrongly) that it is propositions, not sentences, that are true or false, it has been supposed (also wrongly) that propositions such as that 'Snow is white' is true if and only if snow is white are necessarily true. But changing the rules for the use of the words in a sentence has no effect on the truth of the proposition, only on what proposition it formulates. Many similar statements, e.g., that 'plus' does not mean plus, are only pragmatically contradictory: if this were true, it would be impossible to say so in these words. One should distinguish between sentences that express necessary truths, and sentences that necessarily express truths. It follows that many well known accounts of necessity are wrong, that the truth of an analytic proposition does not follow from the definitions of the words in the sentence that expresses it, that it is not helpful to define meaning in terms of truth, that truth is not relative to language, and that conventionalism is false. This paper is a move in the direction of establishing the eternity of truth.     

On the structural similarities between worlds and times

In the debate about the nature and identity of possible worlds, philosophers have neglected the parallel questions about the nature and identity of moments of time. These are not questions about the structure of time in general, but rather about the internal structure of each individual time. Times and worlds share the following structural similarities: both are maximal with respect to propositions (at every world and time, either p or ～p is true, for every p); both are consistent; both are closed (every modal consequence of a proposition true at a world is also true at that world, and every tense-theoretic consequence of a proposition true at a time is also true at that time); just as there is a unique actual world, there is a unique present moment; and just as a proposition is necessarily true iff true at all worlds, a proposition is eternally true iff true at all times. In this paper, I show that a simple extension of my theory of worlds yields a theory of times in which the above structural similarities between the two are consequences.     

Unicorn Atheism

Kripshe treats `god’ as an empty natural kind term such as `unicorn’. She applies Saul Kripke's fresh views about empty natural kinds to `god’. Metaphysically, says Kripshe, there are no possible worlds in which there are gods. Gods could not have existed, given that they do not actually exist and never did. Epistemologically, godlessness is an a posteriori discovery. Kripshe dismisses the gods in the same breath that she dismisses mermaids. Semantically, the perspective Kripshe finds most perspicacious, no counterfactual situation is properly describable as one in which there are gods. Perhaps it is not quite a necessary truth that there are no gods. According to Saul Kripke, failed natural kind terms are ill‐defined. Incorporating ill‐defined terms into declarative sentences yields only mock propositions. Just as the meteorologist has no professional interest in mock thunder, the logician has no professional interest in mock propositions. Kripshe disagrees with agnostics who assign a low probability to `There is at least one god’. The bearers of probabilities must be propositions. Despite this deference to science, Kripshe agrees with the a priori atheist that, necessarily, no future experience could constitute an encounter with a god. Divine revelation is impossible. Kripshe's a posteriori necessary atheism compares favorably to familiar forms of atheism and to non‐cognitivists. It reveals interesting challenges to a coherent formulation of atheism.     

Naming and Nonexistence

I defend a cluster of views about names from fiction and myth. The views are based on two claims: first, proper names refer directly to their bearers; and second, names from fiction and myth are genuinely empty, they simply do not refer. I argue that when such names are used in direct discourse, utterances containing them have truth values but do not express propositions. I also argue that it is a mistake to think that if an utterance of, for example, “Vulcan is a planet” fails to express a proposition, then an utterance of “Le Verrier believed that Vulcan is a planet” cannot express a proposition. The argument applies to claims about fiction, such as “Sherlock Holmes is strong,” and claims about the attitudes of authors and auditors. The upshot is a semantics for fictional statements that provides a satisfying way for direct reference theorists to avoid taking fictional entities to be abstract objects and to accept the commonsense view that what is true in a fiction is ultimately a matter of what is pretended to be the case.     

What in the world are the ways things might have been?

Robert Stalnaker is an actualist who holds that merely possible worlds are uninstantiated properties that might have been instantiated. Stalnaker also holds that there are no metaphysically impossible worlds: uninstantiated properties that couldn't have been instantiated. These views motivate Stalnaker's "two dimensional" account of the necessary a posteriori on which there is no single proposition that is both necessary and a posteriori. For a (metaphysically) necessary proposition is true in all (metaphysically) possible worlds. If there were necessary a posteriori propositions, that would mean that there were propositions true in all possible worlds but which could only be known to be true by acquiring empirical evidence. Consider such a purported proposition P. The role of empirical evidence for establishing P's truth would have to be to rule out worlds in which P is false. If there were no such worlds to be ruled out, we would not require evidence for P. But by hypothesis, P is necessary and so true in all metaphysically possible worlds. And on Stalnaker's view, the metaphysically possible worlds are all the worlds there are. So there can be no proposition that is true in all possible worlds, but that we require evidence to know. In this way, the motivation for Stalnaker's two dimensional account of the necessary a posteriori rests on his denying that there are metaphysically impossible Worlds. I argue that given his view of what possible worlds are, Stalnaker has no principled reason for denying that there are metaphysically impossible worlds. If I am right, this undercuts Stalnaker's motivation for his two dimensional account of the necessary a posteriori.

The missing link between faces and names: Evidence from Alzheimer's disease patients

Retrieval of proper names is a cause of concern and complaint among elderly adults and it is an early symptom of patients suffering from neurodegenerative diseases such as Alzheimer's disease (AD). While it is well established that AD patients have deficits of proper name retrieval, the nature of such impairment is not yet fully understood. Specifically, it is unknown whether this deficit is due to a degradation of the links between faces and proper names, or due to deficits in intentionally accessing and retrieving proper names from faces. Here, we aim to investigate the integrity of the links between famous faces and proper names in AD while minimizing the impact of the explicit retrieval. We compare the performances of AD patients and elderly controls in a face-name priming task. We assess the integrity of the link between faces and names at two different levels: identity level - the name and face belong to the same person; and semantic level - the name and face belong to the same category (e.g., politicians). Our results reveal that AD patients compared with controls show intact semantic priming but reduced priming for person identity. This suggests that the deficits in intentionally retrieving proper names in AD are the result of a partial disruption of the network at the identity level, i.e., the links between known faces and proper names.     

Propositions: Individuation and Invirtuation

The pressure to individuate propositions more finely than intensionally—that is, hyper-intensionally—has two distinct sources. One source is the philosophy of mind: one can believe a proposition without believing an intensionally equivalent proposition. The second source is metaphysics: there are intensionally equivalent propositions, such that one proposition is true in virtue of the other but not vice versa. I focus on what our theory of propositions should look like when it's guided by metaphysical concerns about what is true in virtue of what. In this paper I articulate and defend a metaphysical theory of the individuation of propositions, according to which two propositions are identical just in case they occupy the same nodes in a network of invirtuation relations. Invirtuation is here taken to be a primitive relation of metaphysical explanation exemplified by propositions that, in conjunction with truth, defines the notion of true in virtue of. After formulating the theory, I compare it with a view that individuates propositions by cognitive equivalence, and then defend the theory from objections.     

A defense of middle knowledge

Conclusion Adams has not demonstrated that conditionals of freedom are necessarily false, just as I have not demonstrated that they are possibly true. According to Adams, we have good reason to think that they are not possibly true because we do not know what it is for them to be true. This is basically the claim that we cannot explain conditionals of freedom without reference to what would happen in certain situations. I argued that similar considerations apply to propositions about future free choices. We cannot explain propositions about future free choices without reference to what will happen. Neither conditionals of freedom nor propositions about future free choices are true in virtue of corresponding to actual states of affairs or any states of affairs that are necessitated by certain other states of affairs. In both instances we must appeal to states of affairs that are not determined to be actual by either the present states of affairs or the antecedent of the counterfactual. I do not consider this difficulty with propositions about future free choices to be a sufficient reason to reject the possibility of them being true. They are true because they correspond to what will happen. But then I also do not believe that Adams' reasons are sufficient to reject the possibility of true conditionals of freedom. They are true because they correspond with what would happen in certain counterfactual situations. Hence it is no more difficult to understand what it is for conditionals of freedom to be true than it is to understand what it is for propositions about future free choices to be true. I conclude that, contrary to Adams, it is possible for God to have middle knowledge.     

Contingent A Priori Knowledge

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.     

Physical Constituents of Qualia

In this paper I propose a defense of a posteriori materialism.Problems with a posteriori identity materialism are identified,and a materialism based on composition, not identity, is proposed.The main task for such a proposal is to account for the relationbetween physical and phenomenal properties. Composition does notseem to be fit as a relation between properties, but I offer apeculiar way to understand property-composition, based on somerecent ideas in the literature on ontology. Finally, I propose amaterialist model for the mind-body relation that is able to resistthe attack from conceivability arguments.