Conceptual Necessity

According to Amie Thomasson's Modal Normativism (MN), knowledge of metaphysical modality is to be explained in terms of a speaker’s mastery of semantic rules, as opposed to one’s epistemic grasp of independent modal facts. In this chapter, I outline (MN)'s account of modal knowledge (§1) and argue that more than semantic mastery is needed for knowledge of metaphysical modality. Specifically (§2), in reasoning aimed at gaining such knowledge, a competent speaker needs to further deploy essentialist principles and information. In response, (...) normativists might contend that a competent speaker will only need to appeal to specific independence counterfactuals, on analogy with quasi-realism about morality. These conditionals fix the meaning of our terms at the actual world, independently of the particular context in which a statement is evaluated. However, I show that this strategy causes several problems for the account (§3). While those problems might perhaps be avoided by endorsing a certain picture of modal metaphysics (Modal Monism), such a picture involves notorious issues that normativists will have to address (§4). It is thus doubtful that (MN) can explain knowledge of metaphysical modality. Still, it may explain some modal knowledge without committing to Modal Monism. As I show (§5), semantic mastery may suffice for gaining knowledge of logical-conceptual modality or analyticity. (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)

This is the first book on the provocative and innovative contributions to philosophy of language, metaphysics, the philosophy of mathematics, and logic made by Kit Fine, one of the world's foremost philosophers. Topics covered include meaning and representation, arbitrary objects, essence, ontological realism, and the metaphysics of modality.

Some people might be tempted by modal ontological arguments from the possibility that God exists to the conclusion that God in fact exists. They might also be tempted to support the claim that possibly God exists by appealing to the conceivability of God’s existence. In this chapter, I introduce three constraints on an adequate theory of philosophical conceivability. I then consider and develop both imagination-based accounts of conceivability and conceptual coherence-based accounts of conceivability. Finally, I return to the modal ontological (...) argument and consider whether the premise that possibly God exists can be supported by some conceiving. (shrink)

A glass couldn't contain water unless it contained H2O-molecules. Likewise, a man couldn't be a bachelor unless he was unmarried. Now, the latter is what we would call a conceptual or analytical truth. It's also what we would call a priori. But it's hardly a conceptual or analytical truth that if a glass contains water, then it contains H2O-molecules. Neither is it a priori. The fact that water is composed of H2O-molecules was an empirical discovery made in the eighteenth century. (...) The fact that all bachelors are unmarried was not. But neither is a logical truth, so how do we explain the difference? Two-dimensional semantics is a framework that promises to shed light on these issues. The main purpose of this thesis is to understand and evaluate this framework in relation to various alternatives, to see whether some version of it can be defended. I argue that it fares better than the alternatives. However, much criticism of two-dimensionalism has focused on its alleged inability to provide a proper semantics for certain epistemic operators, in particular the belief operator and the a priori operator. In response to this criticism, a two-dimensional semantics for belief ascriptions is developed using structured propositions. In connection with this, a number of other issues in the semantics of belief ascriptions are addressed, concerning indexicals, beliefs de se, beliefs de re, and the problem of logical omniscience. (shrink)

In this paper, it is argued that there can be necessary and non-natural desires. After a discussion about what seems wrong with such desires, Epicurus’ classification of desires is treated similarly to Kripke’s treatment of the Kantian table of judgments. A sample of three cases is suggested to make this point.

This article shows that there are square circles in the sense that there are mathematical objects that are at the same time both perfectly circular and perfectly square. The philosophical significance of this is discussed, especially in view of philosophy's widespread use of “square circle” as a typical example of an impossibility. In particular, the focus is on what the existence of square circles means for the possibility of conceptual analysis, and more generally what we can learn about the nature (...) of non-formal concepts and their use in philosophy. (shrink)

The role of possible worlds in philosophy is hard to overestimate. Nevertheless, their nature and existence is very controversial. This is particularly serious, since their standard applications depend on there being sufficiently many of them. The paper develops an account of possible worlds on which it is particularly easy to believe in their existence: an account of possible worlds as pleonastic entities. Pleonastic entities are entities whose existence can be validly inferred from statements that neither refer to nor quantify over (...) them as a matter of conceptual necessity. Definitions are proposed that ensure that this is the case for possible worlds. (shrink)

Modality presents notorious philosophical problems, including the epistemic problem of how we could come to know modal facts and metaphysical problems about how to place modal facts in the natural world. These problems arise from thinking of modal claims as attempts to describe modal features of this world that explain what makes them true. Here I propose a different view of modal discourse in which talk about what is “metaphysically necessary” does not aim to describe modal features of the world, (...) but, rather, provides a particularly useful way of expressing constitutive semantic and conceptual rules in the object language. The result is a “modal normativist” view that enables us to avoid the epistemic problems of modality and mitigate the metaphysical worries, while also leaving open the possibility of a unified account of the function of modal language. Finally, I address a serious challenge: we have the norms we do in order to track the modal facts of the world, so that the order of explanation must go in the opposite direction. I close by showing how the normativist may answer that challenge. (shrink)

In his influential paper ‘‘Essence and Modality’’, Kit Fine argues that no account of essence framed in terms of metaphysical necessity is possible, and that it is rather metaphysical necessity which is to be understood in terms of essence. On his account, the concept of essence is primitive, and for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all things. Fine also proposes a reduction of conceptual and logical necessity in (...) the same vein: a conceptual necessity is a proposition true in virtue of the nature of all concepts, and a logical necessity a proposition true in virtue of the nature of all logical concepts. I argue that the plausibility of Fine's view crucially requires that certain apparent explanatory links between essentialist facts be admitted and accounted for, and I make a suggestion about how this can be done. I then argue against the reductions of conceptual and logical necessity proposed by Fine and suggest alternative reductions, which remain nevertheless Finean in spirit. (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)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (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)

Necessitarian accounts of the laws of nature have an apparent difficulty in accounting for counterlegal conditionals because, despite appearing to be substantive, on the necessitarian thesis they are vacuous. I argue that the necessitarian may explain the apparently substantive content of such conditionals by pointing out the presuppositions of counterlegal discourse. The typical presupposition is that a certain conceptual possibility has been realized; namely, that necessitarianism is false. (The idea of conceptual possibility is explicated in terms of recent work in (...) two-dimensional modal semantics.) If this sort of presupposition is made explicit in counterlegal utterances, we obtain a sentence such as: 'If it turns out that the laws of nature are contingent, then if the laws had been otherwise, then such and such would have been the case.' Sentences of this type are non-vacuous, and very often true. I argue that this goes a long way towards resolving the difficulty for necessitarianism. (shrink)

Authors have a lot of leeway with regard to what they can make true in their story. In general, if the author says that p is true in the fiction we’re reading, we believe that p is true in that fiction. And if we’re playing along with the fictional game, we imagine that, along with everything else in the story, p is true. But there are exceptions to these general principles. Many authors, most notably Kendall Walton and Tamar Szabó Gendler, (...) have discussed apparent counterexamples when p is “morally deviant”. Many other statements that are conceptually impossible also seem to be counterexamples. In this paper I do four things. I survey the range of counterexamples, or at least putative counterexamples, to the principles. Then I look to explanations of the counterexamples. I argue, following Gendler, that the explanation cannot simply be that morally deviant claims are impossible. I argue that the distinctive attitudes we have towards moral propositions cannot explain the counterexamples, since some of the examples don’t involve moral concepts. And I put forward a proposed explanation that turns on the role of ‘higher-level concepts’, concepts that if they are satisfied are satisfied in virtue of more fundamental facts about the world, in fiction, and in imagination. (shrink)

I investigate two asymmetrical approaches to knowledge of absolute possibility and of necessity--one which treats knowledge of possibility as more fundamental, the other according epistemological priority to necessity. Two necessary conditions for the success of an asymmetrical approach are proposed. I argue that a possibility-based approach seems unable to meet my second condition, but that on certain assumptions--including, pivotally, the assumption that logical and conceptual necessities, while absolute, do not exhaust the class of absolute necessities--a necessity-based approach may be able (...) to do so. (shrink)

Theories of personal identity try to explain what the identity of a person necessarily consists in, but frequently leave open what kind of necessity is at issue. This paper is concerned with conceptual necessity. It proposes an analysis of the concept of personal identity in terms of a definite description. The analysis coheres with out judgments about clear cases and explains why cases of division seem indeterminate. The apparent indeterminacy results from attempting to apply a definite description to a situation (...) in which more than one object would satisfy the description. The definite description analysis also explains the strengths of the influential no-branching theory, while avoiding the problems with that view. The no-branching theory is in effect a second-order analysis, i.e., a combination of the definite description analysis of personal identity plus a Russellian analysis of the definite description. (shrink)

A complex theory concerning powers, natures, and causal necessity has emerged from the writings of P. H. Hare, E. H. Madden, and R. Harré. In the course of rebutting objections that other critics have raised to the power account of causation, I correct three of its genuine difficulties: its attempt to analyze power attributions in terms of conditional statements; its characterization of the relation between something's powers and its nature; and its doctrines concerning conceptual necessity. The resulting interpretation of causal (...) modalities is then subsumed under a more general power account of modality, related at a number of points to considerations concerning powers, and further illustrating their philosophical importance. (shrink)