The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

The paper is an investigation into the concept of actuality from the standpoint of the philosophy of language. It is argued that expressions such as 'actually' and 'in fact' are not indexicals like 'here' and 'now'; when e.g. 'Snow is actually white' is uttered in a world, what proposition is conveyed does not depend on the world. Nor are such expressions ambiguous. The paper makes a suggestion about the role that 'actually' and its cognates do play. It is also argued (...) that the sentence ⌜Actually S ⌝ expresses a necessary truth only if S itself expresses one. In order to capture the necessitation of the proposition expressed in ⌜Actually S ⌝, it is not sufficient to prefix the word 'necessarily'. (shrink)

The word 'actually' often refers to what is in fact the case, but it also often points to what would have been the case in a possible situation that is being envisaged. To capture such nuances, the formal languages discussed in the paper add subscripts to modal operators; in the model theory the subscripts allow an actuality operator to turn the evaluation of a formula to a world introduced by a preceding possibility or necessity operator having the same subscript. The (...) paper covers both propositional and predicate logic and proves the completeness of axiomatizations that extend standard modal systems beginning with K. (shrink)

[Robert Stalnaker] Saul Kripke made a convincing case that there are necessary truths that are knowable only a posteriori as well as contingent truths that are knowable a priori. A number of philosophers have used a two-dimensional model semantic apparatus to represent and clarify the phenomena that Kripke pointed to. According to this analysis, statements have truth-conditions in two different ways depending on whether one considers a possible world 'as actual' or 'as counterfactual' in determining the truth-value of the statement (...) relative to that possible world. There are no necessary a posteriori or contingent a priori propositions: rather, contingent a priori and necessary a posteriori statements are statements that are necessary when evaluated one way, and contingent when evaluated the other way. This paper distinguishes two ways that the two-dimensional framework can be interpreted, and argues that one of them gives the better account of what it means to 'consider a world as actual', but that it provides no support for any notion of purely conceptual a priori truth. /// [Thomas Baldwin] Two-dimensional possible world semantic theory suggests that Kripke's examples of the necessary a posteriori and contingent a priori should be handled by interpreting names as implicitly indexical. Like Stalnaker, I reject this account of names and accept that Kripke's examples have to be accommodated within a metasemantic theory. But whereas Stalnaker maintains that a metasemantic approach undermines the conception of a priori truth, I argue that it offers the opportunity to develop a conception of the a priori aspect of stipulations, conceived as linguistic performances. The resulting position accommodates Kripke's examples in a way which is both intrinsically plausible and fits with Kripke's actual discussion of them. (shrink)

[Robert Stalnaker] Saul Kripke made a convincing case that there are necessary truths that are knowable only a posteriori as well as contingent truths that are knowable a priori. A number of philosophers have used a two-dimensional model semantic apparatus to represent and clarify the phenomena that Kripke pointed to. According to this analysis, statements have truth-conditions in two different ways depending on whether one considers a possible world 'as actual' or 'as counterfactual' in determining the truth-value of the statement (...) relative to that possible world. There are no necessary a posteriori or contingent a priori propositions: rather, contingent a priori and necessary a posteriori statements are statements that are necessary when evaluated one way, and contingent when evaluated the other way. This paper distinguishes two ways that the two-dimensional framework can be interpreted, and argues that one of them gives the better account of what it means to 'consider a world as actual', but that it provides no support for any notion of purely conceptual a priori truth. /// [Thomas Baldwin] Two-dimensional possible world semantic theory suggests that Kripke's examples of the necessary a posteriori and contingent a priori should be handled by interpreting names as implicitly indexical. Like Stalnaker, I reject this account of names and accept that Kripke's examples have to be accommodated within a metasemantic theory. But whereas Stalnaker maintains that a metasemantic approach undermines the conception of a priori truth, I argue that it offers the opportunity to develop a conception of the a priori aspect of stipulations, conceived as linguistic performances. The resulting position accommodates Kripke's examples in a way which is both intrinsically plausible and fits with Kripke's actual discussion of them. (shrink)

you use it. These two assumptions, which I believe to be false, are based on a more fundamental assumption, that the rule governing the reference of an indexical remains constant from use to use. Contemporary theories hold that the reference of an indexical varies from use to (relevantly different) use, but that the reference-fixing rule of use is You can search..

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

Perry argues that certain sorts of indexicals are 'essential', in the sense that they cannot be eliminated in favor of descriptions. This paper also introduces the influential idea that certain sorts of indexicals play a special role in thought, and have a special connection to action.

Quentin Smith has argued that the new tenseless theory of time is faced with insurmountable problems and should be abandoned in favour of the tensed theory of time. Smith;s main argument attacks the fundamental premise of the tenseless theory: that tenseless truth conditions for tokens of tensed sentences adequately capture the meaning of tensed sentences. His position is that tenseless truth conditions cannot explain the logical relations between tensed sentences, thus the tensed theory must be accepted. Against Smith, this paper (...) adopts an alternative approach to the explanation of the entailment relations between sentences which contain indexicals. The approach drops the reliance upon tokens and instead relies on the evaluation of sentence types with respect to a context rather than upon actual or possible utterances of tokens of the types. This (new) version of the tenseless theory of time can adequately explain the relevant entailment relations between tensed sentences. (shrink)

Words like you, here, and tomorrow are different from other expressions in two ways. First, and by definition, they have different kinds of meanings, which are context-dependent in ways that the meanings of names and descriptions are not. Second, their meanings play a different kind of role in the interpretations of the utterances that contain them. For example, the meaning of you can be paraphrased by a description like "the addressee of the utterance." But an utterance of (1) doesn't say (...) the same thing as an utterance of (2). (shrink)

A formula is a contingent logical truth when it is true in every model M but, for some model M , false at some world of M . We argue that there are such truths, given the logic of actuality. Our argument turns on defending Tarski’s definition of truth and logical truth, extended so as to apply to modal languages with an actuality operator. We argue that this extension is the philosophically proper account of validity. We counter recent arguments to (...) the contrary presented in Hanson’s ‘Actuality, Necessity, and Logical Truth’ (Philos Stud 130:437–459, 2006 ). (shrink)

Some logical properties of modal languages in which actuality is expressible are investigated. It is argued that, if a sentence like 'Actually, Quine is a distinguished philosopher' is understood as a special case of world-indexed sentences (the index being the actual world), then actuality can be expressed only under strong modal assumptions. Some rival rigid and indexical approaches to actuality are discussed.

Philosophers on all sides of the contextualism debates have had an overly narrow conception of what semantic context sensitivity could be. They have conflated context sensitivity (dependence of truth or extension on features of context) with indexicality (dependence of content on features of context). As a result of this conflation, proponents of contextualism have taken arguments that establish only context sensitivity to establish indexicality, while opponents of contextualism have taken arguments against indexicality to be arguments against context sensitivity. Once these (...) concepts are carefully pulled apart, it becomes clear that there is conceptual space in semantic theory for nonindexical forms of contextualism that have many advantages over the usual indexical forms. (shrink)

The views of David Lewis and the Meinongians are both often met with an incredulous stare. This is not by accident. The stunned disbelief that usually accompanies the stare is a natural first reaction to a large ontology. Indeed, Lewis has been explicitly linked with Meinong, a charge that he has taken great pains to deny. However, the issue is not a simple one. "Meinongianism" is a complex set of distinctions and doctrines about existence and predication, in addition to the (...) famously large ontology. While there are clearly non-Meinongian features of Lewis' views, it is our thesis that many of the characteristic elements of Meinongian metaphysics appear in Lewis' theory. Moreover, though Lewis rejects incomplete and inconsistent Meinongian objects, his ontology may exceed that of a Meinongian who doesn't accept his possibilia. Thus, Lewis explains the truth of "there might have been talking donkeys" by appealing to possibilia which are talking donkeys. But the Meinongian need not accept that there exist things which are talking donkeys. Indeed, we show that a Meinongian even need not accept that there are nonexistent things which are talking donkeys! (shrink)

_ Convention_ was immediately recognized as a major contribution to the subject and its significance has remained undiminished since its first publication in 1969. Lewis analyzes social conventions as regularities in the resolution of recurring coordination problems-situations characterized by interdependent decision processes in which common interests are at stake. Conventions are contrasted with other kinds of regularity, and conventions governing systems of communication are given special attention.

Counterfactuals is David Lewis' forceful presentation of and sustained argument for a particular view about propositions which express contrary to fact conditionals, including his famous defense of realism about possible worlds and his theory of laws of nature.

In this paper, I advance a new view of the semantics of indexicals, using a paper by Quentin Smith as my starting point. I make use of Smith’s examples, refined and expanded upon by myself to argue, as Smith does, that the standard view, that indexicals refer to some prominent features of the context according to an invariant rule called the character, does not agree with a wide range of phenomena. I depart from Smith, however, in denying that we need (...) more complex rules, which he does not give, called metacharacters to account for all the deviations, and instead argue for a view of indexicals as just being special cases of demonstratives. I show how demonstratives can be substituted for indexicals to support this view, and I adduce recent work in the semantics of demonstratives to explain how it can work. (shrink)

The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of K, (...) using a novel generalisation of the standard semantics. (shrink)

David Lewis has shocked the philosophical community with his original version of extreme modal realism according to which “every way that a world could possibly be is a way that some world is”. Logical Space is a plenitude of isolated physical worlds, each being the actualization of some way in which a world could be, that bear neither spatiotemporal nor causal relations to each other. Lewis has given independent, converging arguments for this. One is the argument from the indexicality of (...) actuality, the other an elaborate cost-benefit argument of the inference-to-the-best explanation sort to the effect that a systematic analysis of a number of concepts, including modality, causality, propositions and properties, fares better under his theory than under any rival one that takes a possible world to be either a linguistic entity or an ersatz abstract entity such as a maximal compossible set of properties, propositions or states of affairs. Lewis' legion of critics have confined themselves mostly to attempts at a reductio ad absurdum of his theory or to objections to his various analyses. The indexical argument, on the other hand, has not been subject to careful critical scrutiny. It is the purpose of this paper to show that this argument cannot withstand such scrutiny. Its demise, however, leaves untouched his argument from the explanatory superiority for his extreme modal realism. (shrink)

Definite descriptions, I shall argue, have two possible functions. 1] They are used to refer to what a speaker wishes to talk about, but they are also used quite differently. Moreover, a definite description occurring in one and the same sentence may, on different occasions of its use, function in either way. The failure to deal with this duality of function obscures the genuine referring use of definite descriptions. The best known theories of definite descriptions, those of Russell and Strawson, (...) I shall suggest, are both guilty of this. Before discussing this distinction in use, I will mention some features of these theories to which it is especially relevant. (shrink)

I critically examine Cappelen and Lepore’s definition of and tests for indexicality, and refine them to improve their adequacy. Indexicals cannot be defined as expressions with different referents in different contexts unless linguistic meaning and circumstances of evaluation are held constant. I show that despite Cappelen and Lepore’s claim that there are only a handful of indexical expressions, their “basic set” includes a number of large and open classes, and generates an infinity of indexical phrases. And while the tests can (...) be used effectively to combat contextualism concerning ‘knows’ and ‘actual,’ many expressions not in their basic set test positive for indexicality, including quantifier nouns, weather reports, and comparative adjectives. I rebut their claim that context-shifting arguments inevitably lead to radical contextualism, and that if there were any indexicals beyond their basic set, communication would be impossible. (shrink)

It is argued that, in order to account for examples where the indexicals `now' and `here' do not refer to the time and location of the utterance, we do not have to assume (pace Quentin Smith) that they have different characters (reference-fixing rules), governed by a single metarule or metacharacter. The traditional, the fixed character view is defended: `now' and `here' always refer to the time and location of the utterance. It is shown that when their referent does not correspond (...) to the time and/or location of the utterance, `now' and `here' work in an anaphoric way, inheriting their reference from another noun phrase. The latter may be explicit or implicit in the discourse. It is also shown that `now' and `here' can inherit their reference from a presupposed or tacit reference. In that case, they are coreferential with what will be labeled a `tacit initiator'. This anaphoric interpretation has the merit of fitting within the Kaplanian distinction between pure indexicals (`now', `here', `today', etc.) and demonstratives (`this', `that', `she', etc.). (shrink)