Modal Expressions, Misc

Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain respects. Specifically, (...) I propose that English tenses form a temporal centering system, which monitors and updates topic times, whereas Kalaallisut moods form a modal centering system, which monitors and updates modal discourse referents. To formalize these centering parallels I define a dynamic logic that represents not only changing information but also changing focus of attention in discourse (Update with Centering, formalizing Grosz et al 1995). Different languages can be translated into this typed logic by directly compositional universal rules of Combinatory Categorial Grammar (CCG) The resulting centering theory of tense and illocutionary mood draws semantic parallels across different grammatical systems. The centering generalizations span the extremes of the typological spectrum, so they are likely to be universal. In addition, the theory accounts for the translation equivalence of tense and illocutionary mood in a given utterance context. Following Stalnaker (1978) I assume that the very act of speaking up has a ‘commonplace effect’ on the context. It focuses attention on the speech act and thereby introduces default modal and temporal topics. These universal defaults complement language-specific grammars, e.g. English tenses and Kalaallisut moods. In a given utterance context the universal discourse-initial defaults plus language-specific grammatical marking may add up to the same truth conditions.. (shrink)

This note identifies and corrects some problems in developments of the thesis that predictive expressions, such as English "will", are modals. I contribute a new argument supporting Cariani and Santorio's recent claim that predictive expressions are non-quantificational modals. At the same time, I improve on their selectional semantics by fixing an important bug. Finally, I show that there are benefits to be reaped by integrating the selection semantics framework with standard ideas about the future orientation of modals.

We advocate and develop a states-based semantics for both nominal and adjectival confidence reports, as in "Ann is confident/has confidence that it's raining", and their comparatives "Ann is more confident/has more confidence that it's raining than that it's snowing". Other examples of adjectives that can report confidence include "sure" and "certain". Our account adapts Wellwood's account of adjectival comparatives in which the adjectives denote properties of states, and measure functions are introduced compositionally. We further explore the prospects of applying these (...) tools to the semantics of probability operators. We emphasize three desirable and novel features of our semantics: (i) probability claims only exploit qualitative resources unless there is explicit compositional pressure for quantitative resources; (ii) the semantics applies to both probabilistic adjectives (e.g., "likely") and probabilistic nouns (e.g., "probability"); (iii) the semantics can be combined with an account of belief reports that allows thinkers to have incoherent probabilistic beliefs (e.g. thinking that A & B is more likely than A) even while validating the relevant purely probabilistic claims (e.g. validating the claim that A & B is never more likely than A). Finally, we explore the interaction between confidence-reporting discourse (e.g., "I am confident that...") and belief-reports about probabilistic discourse (e.g.,"I think it's likely that.."). (shrink)

donkey anaphora, quantificational and modal subordination, static and dynamic approaches to mood, tense and aspect, entailment in natural language, parallels between the individual, temporal and modal domain.

This essay is an opinionated exploration of the constraints that modal discourse imposes on the theory of assertion. Primary focus is on the question whether modal discourse challenges the traditional view that all assertions have propositional content. This question is tackled largely with reference to discourse involving epistemic modals, although connections with other flavors of modality are noted along the way.

Counterfactual skepticism holds that most ordinary counterfactuals are false. The main argument for this view appeals to a ‘chance undermines would’ principle: if ψ would have some chance of not obtaining had φ obtained, then φ []–> ψ is false. This principle seems to follow from two fairly weak principles, viz., that ‘chance ensures could’ and that φ []–> ψ and φ <>–> ψ clash. Despite their initial plausibility, I show that these principles are independently problematic: given some modest closure (...) principles, they entail absurdities. Moreover, on the most promising strategy for saving these principles, they do not, in the relevant sense, entail the chance-undermines-would principle. Instead, they entail a principle that only supports counterfactual indeterminism, the view that most ordinary counterfactuals are chancy, i.e., not settled true. I demonstrate this by developing an indeterminist semantics that vindicates the clash and chance-ensures-could principles but not the chance-undermines-would principle. This view, I argue, offers a better account of our credal and linguistic judgments than counterfactual skepticism. (shrink)

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...) `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

Natural languages are riddled with context-sensitivity. One and the same string of words can express many different meanings on occasion of use, and yet we understand one another effortlessly, on the fly. How do we do so? What fixes the meaning of context-sensitive expressions, and how are we able to recover the meaning so effortlessly? -/- This book offers a novel response: we can do so because we draw on a broad array of subtle linguistic conventions that determine the interpretation (...) of context-sensitive items. Contrary to the dominant tradition, which maintains that the meaning of context-sensitive language is underspecified by grammar and that interpretation relies on non-linguistic cues and speakers' intentions, this book argues that meaning is determined entirely by discourse conventions, rules of language that have largely been missed and the effects of which have been mistaken for extra-linguistic effects of an utterance situation on meaning. The linguistic account of context developed here sheds new light on the nature of linguistic content and the interaction between content and context. At the same time, it provides a novel model of context that should constrain and help evaluate debates across many subfields of philosophy where appeal to context has been common, often leading to surprising conclusions such as epistemology, ethics, value theory, metaphysics, metaethics, and logic. (shrink)

Modal Meinongianism provides the semantics of sentences involving intentional verbs Priest. To that end, Modal Meinongianism employs a pointed non-normal quantified modal logic model. Like earlier Meinongian views Modal Meinongianism has a characterisation principle, that claims that any condition whatsoever is satisfied by some object in some world. Recently, Everett has proposed an argument against QCP that, if successful, gives rise to problems identical to those Russell raised for Naïve Meinongianism, namely that it allows for true contradictions, and allows us (...) to define anything into existence. Everett claims that the ordinary meanings of “actual” license an inference pattern, such that if an object satisfies Actual A at some world, then that object satisfies A in the actual world. Given that actual world is the designated point of evaluation for truth simpliciter, QCP would fall prey to Russell’s criticisms. As opposed to Everett, I argue that, even if we grant Everett the assumption that “actual” is a modal indexical that rigidly refers to the actual world, it does not conform to the inference pattern above. This is because when an object satisfies Actual A at some world, this alters the assertoric force of “actual”, because “actual” is interpreted in the scope of some modal or intentional operator. I also explain that Everett’s proposed example carries existential commitment because the problematic noun-phrase occurs outside the scope of a modal or intentional operator. (shrink)

Free Choice is the principle that possibly p or q implies and is implied by possibly p and possibly q. A variety of recent attempts to validate Free Choice rely on a nonclassical semantics for disjunction, where the meaning of p or q is not a set of possible worlds. This paper begins with a battery of impossibility results, showing that some kind of nonclassical semantics for disjunction is required in order to validate Free Choice. The paper then provides a (...) positive account of Free Choice, by identifying a family of dynamic semantics for disjunction that can validate the inference. On all such theories, the meaning of p or q has two parts. First, p or q requires that our information is consistent with each of p and q. Second, p or q narrows down our information by eliminating some worlds. It turns out that this second component of or is well behaved: there is a strongest such meaning that p or q can express, consistent with validating Free Choice. The strongest such meaning is the classical one, on which p or q eliminates any world where both p and q are false. In this way, the classical meaning of disjunction turns out to be intimately related to the validity of Free Choice. (shrink)

This paper will focus on a philosophically significant construction whose semantics brings together two important notions in Kit Fine’s philosophy, the notion of truthmaking and the notion of a variable embodiment, or its extension, namely what I call a ‘variable object’. This is the construction of definite NPs like 'the number of people that can fit into the bus', 'the book John needs to write', and 'the gifted mathematician John claims to be'. Such NPs are analysed as standing for variable (...) objects, which are part of the 'shallow', construction-driven ontology of natural language, yet are real. (shrink)

According to the classical quantificational analysis of modals, an agent has the ability to perform an act iff relevant facts about the agent and her environment are compatible with her performing the act. The analysis faces a number of problems, many of which can be traced to the fact that it takes even accidental performance of an act as proof of the relevant ability. I argue that ability statements are systematically ambiguous: on one reading, accidental performance really is enough; on (...) another, more is required. The stronger notion of ability plays a central role in normative contexts. Both readings, I argue, can be captured within the classical quantificational framework, provided we allow conversational context to impose restrictions not just on the “accessible worlds”, but also on what counts as a performance of the relevant act among these worlds. (shrink)

The following paradigm, most closely associated with the work of Angelika Kratzer, dominates the literature on the semantics of modals: MUST is a universal quantifier over a contextually determined set of worlds, where ⌜MUST.

The standing tradition in theorizing about meaning, since at least Frege, identifies meaning with propositions, which are, or determine, the truth-conditions of a sentence in a context. But a recent trend has advocated a departure from this tradition: in particular, it has been argued that modal claims do not express standard propositional contents. This non-propositionalism has received different implementations in expressivist semantics and certain kinds of dynamic semantics. They maintain that the key aspect of interpretation of modal claims is the (...) characteristic dynamic effect they have on the context. I argue that pessimism about truth-conditions arises from an overly simplistic picture of content, context and their interaction. While I agree with the critics that an important aspect of modal meaning is the dynamic effect modals have on the context, I argue that they have mischaracterized the nature and the complexity of this effect. A more nuanced account of the interaction between modals and context shows that far from being incompatible with propositional meaning, the dynamic aspect of meaning is precisely what allows us to predict the correct propositional content of an utterance. (shrink)

У статті з’ясовано проблему контекстної логіко-інтелектуальної експресивності та входження її до сфери категорії регулятивності. Із цією метою експресивність проаналізовано у двох її виявах – інгерентному та адгерентному. Доведено, що адгерентні експресивні засоби – стилістичні прийоми – беруть активну участь у регулюванні читацької діяльності. Продемонстровано інклюзивні відношення між експресемами та регулятемами, окреслено ядерно-периферійний ресурс регулятивних засобів.

While much of semantic theorizing is based on intuitions about logical phenomena associated with linguistic constructions—phenomena such as consistency and entailment—it is rare to see axiomatic treatments of linguistic fragments. Given a fragment interpreted in some class of formally specified models, it is often possible to ask for a characterization of the reasoning patterns validated by the class of models. Axiomatizations provide such a characterization, often in a perspicuous and efficient manner. In this paper, we highlight some of the benefits (...) of providing axiomatizations for the purpose of semantic theorizing. We illustrate some of these benefits using three examples from the study of modality. (shrink)

This paper investigates the prospects for a semantic theory that treats disjunction as a modal operator. Potential motivation for such a theory comes from the way in which modals embed within disjunctions. After reviewing some of the relevant data, I go on to distinguish a variety of modal theories of disjunction. I analyze these theories by considering pairs of conflicting desiderata, highlighting some of the tradeoffs they must face.

We argue against accounting for dispositions (and of the progressive aspect) in terms of a fundamentally teleological metaphysics, and we defend our previous conditional account from some novel objections. -/- In “Teleological Dispositions,” Nick Kroll offers a novel theory of dispositions in terms of primitive directed states. Kroll is clear that his notion of directedness “outstrips talk of goals, purposes, design, and function”, and that it commits him to “primitive teleological facts”. This notion may strike some as outdated and unscientific, (...) but Kroll argues that it has an important theoretical role to play. In particular, he holds that a primitive notion of directedness can provide a theory of dispositions, an explanation of the link between dispositions and conditionals, and an account of the progressive aspect in English. In this paper, we raise some worries for each of these claims. (shrink)

Recently, there has been a shift away from traditional truth-conditional accounts of meaning towards non-truth-conditional ones, e.g., expressivism, relativism and certain forms of dynamic semantics. Fueling this trend is some puzzling behavior of modal discourse. One particularly surprising manifestation of such behavior is the alleged failure of some of the most entrenched classical rules of inference; viz., modus ponens and modus tollens. These revisionary, non-truth-conditional accounts tout these failures, and the alleged tension between the behavior of modal vocabulary and classical (...) logic, as data in support of their departure from tradition, since the revisionary semantics invalidate some of these patterns. I, instead, offer a semantics for modality with the resources to accommodate the puzzling data while preserving classical logic, thus affirming the tradition that modals express ordinary truth-conditional content. My account shows that the real lesson of the apparent counterexamples is not the one the critics draw, but rather one they missed: namely, that there are linguistic mechanisms, reflected in the logical form, that affect the interpretation of modal language in a context in a systematic and precise way, which have to be captured by any adequate semantic account of the interaction between discourse context and modal vocabulary. The semantic theory I develop specifies these mechanisms and captures precisely how they affect the interpretation of modals in a context, and do so in a way that both explains the appearance of the putative counterexamples and preserves classical logic. (shrink)

Our goal here is to help identify the contextualist’s most worthy competitor to relativism. Recently, some philosophers of language and linguists have argued that, while there are contextualist-friendly semantic theories of deontic modals that fit with the relativist’s challenge data, the best such theories are not Lewis-Kratzer-style semantic theories. If correct, this would be important: It would show that the theory that has for many years enjoyed the status of the default view of modals in English and other languages is (...) in need of revision. Here we defend the default view by showing how a Kratzer-style semantics is able to make available readings of the relevant utterances that fit with the pretheoretical judgments opponents purport it cannot fully capture. Having established this, we turn to considering the more theoretical grounds proponents have offered for preferring their rival contextualist views. Here the question is to what extent such grounds favor semantic over what Korta and Perry call “near-side pragmatic” explanations of our judgments. In particular, we argue that our favored readings figure in near-side pragmatic explanations of those judgments that possess the methodological and theoretical advantages of systematicity and unity at least as well as, if not to a greater extent than, those of opponents who argue for their revised semantic theories on the basis of these advantages. (shrink)

Philosophers have long analyzed the truth-condition of counterfactual conditionals in terms of the possible-worlds semantics advanced by Lewis [13] and Stalnaker [23]. In this paper, I argue that, from the perspective of philosophical semantics, the causal modeling semantics proposed by Pearl [17] and others (e.g., Briggs [3]) is more plausible than the Lewis-Stalnaker possible-worlds semantics. I offer two reasons. First, the possible-worlds semantics has suffered from a specific type of counterexamples. While the causal modeling semantics can handle such examples with (...) ease, the only way for the possible-worlds semantics to do so seems to cost it its distinctive status as a philosophical semantics. Second, the causal modeling semantics, but not the possible-worlds semantics, has the resources enough for accounting for both forward-tracking and backtracking counterfactual conditionals. (shrink)

The actually-operator, understood as a rigidifier, has been employed for a range of purposes in natural language semantics. In this article I argue that the properties of the operator do not correspond to any feature of natural language or feature natural language users have access to. Nor is it needed to provide a formal representation of natural language sentences—the examples usually provided to illustrate the indispensability of the operator are much more plausibly interpreted using plural quantifiers. This lack of connection (...) to natural language is a serious worry for accounts that appeal to rigidifying operations to explain natural language phenomena, as well as a challenge to theories that appeal to the operator to capture the difference between different kinds of necessity expressed in natural language. (shrink)

This book surveys the ways in which languages of different types refer to past, present, and future events and how these referents are related to the knowledge and attitudes of discourse participants. The book is the culmination of fifteen years of research by the author. Four major language types are examined in-depth: tense-based English, tense-aspect-based Polish, aspect-based Chinese, and mood-based Kalaallisut. Each contributes to a series of logical representation languages, which together define a common logical language that is argued to (...) underlie all language types. The four types differ in whether they choose to grammaticalize discourse reference to times (tense), events (aspect), and/or attitudes (mood), and how non-grammaticalized elements are inferred. The common logical language is a dynamic update logic, building on DRT and Centering Theory, but with a novel architecture—e.g. the distinction between focal vs. peripheral attention plays a key role, parallel to focal vs. peripheral vision. (shrink)

Dispositions are modal properties. The standard conception of dispositions holds that each disposition is individuated by its stimulus condition(s) and its manifestation(s), and that their modality is best captured by some conditional construction that relates stimulus to manifestation as antecedent to consequent. I propose an alternative conception of dispositions: each disposition is individuated by its manifestation alone, and its modality is closest to that of possibility — a fragile vase, for instance, is one that can break easily. The view is (...) expounded in some detail and defended against the major objections. (shrink)

In Wehmeier (J Philos Log 33:607–630, 2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking atomic predicates as being either in the subjunctive or indicative mood. Wehmeier claims that this language is expressively equivalent to the standard actuality language, and that despite this the marked-unmarked dichotomies are not the same in the two languages. In this paper we will attend to Wehmeier’s argument that this is the case, (...) and show that this conclusion rests on what might be considered an uncharitable stipulation concerning what it is for a formula in the actuality language to be true in a model. (shrink)

In this paper, we explore semantics for comparative epistemic modals that avoid the entailment problems shown to result from Kratzer’s (1991) semantics by Yalcin (2006, 2009, 2010). In contrast to the alternative semantics presented by Yalcin and Lassiter (2010, 2011), based on finitely additive probability measures, we introduce semantics based on qualitatively additive measures, as well as semantics based on purely qualitative orderings, including orderings on propositions derived from orderings on worlds in the tradition of Kratzer (1991). All of these (...) semantics avoid the entailment problems that result from Kratzer’s semantics. Our discussion focuses on methodological issues concerning the choice between different semantics. (shrink)

The aim of this paper is to present an explanation for the impact of normative considerations on people’s assessment of certain seemingly purely descriptive matters. The explanation is based on two main claims. First, a large category of expressions are tacitly modal: they are contextually equivalent to modal proxies. Second, the interpretation of predominantly circumstantial or teleological modals is subject to certain constraints which make certain possibilities salient at the expense of others.

Metaphysicians of modality are increasingly critical of possible-worlds talk, and increasingly happy to accept irreducibly modal properties – and in particular, irreducible dispositions – in nature. The aim of this paper is to provide the beginnings of a modal semantics which uses, instead of possible-worlds talk, the resources of such an 'anti-Humean' metaphysics. One central challenge to an anti-Humean view is the context-sensitivity of modal language. I show how that challenge can be met and a systematic modal semantics provided, given (...) an independently plausible metaphysics of dispositional properties or potentialities. (shrink)

Jeffrey King has recently argued: (i) that the semantic value of a sentence at a context is (or determines) a function from possible worlds to truth values, and (ii) that this undermines Jason Stanley's argument against the rigidity thesis, the claim that no rigid term has the same content as a non-rigid term. I show that King's main argument for (i) fails, and that Stanley's argument is consistent with the claim that the semantic value of a sentence at a context (...) is (or determines) a function from worlds to truth values. (shrink)

Scott Soames has argued that Rigidified Descriptivism wrongly predicts that one cannot believe, say, that Joe Strummer was born in 1952 without having a belief about the actual world. Soames suggests that agents in other possible worlds may have this belief, but may lack any beliefs about the actual world, a world that they do not occupy and have no contact with. I respond that this argument extends to other popular actuality-involving analyses. In order for Soames to hold on to (...) his argument against Rigidified Descriptivism, he must provide alternatives to these analyses. I argue that there is reason to think that these alternatives are not forthcoming, so Soames should surrender his argument against Rigidified Descriptivism. (shrink)

Some natural languages do not lexically distinguish between modals of possibility and modals of necessity. From the perspective of languages like English, modals in such languages appear to do double duty: they are used both where possibility modals are expected and where necessity modals are expected. The Nez Perce modal suffix o’qa offers an example of this behavior. I offer a simple account of the flexibility of the o’qa modal centered on the absence of scalar implicatures. O’qa is a possibility (...) modal that does not belong to a Horn scale; its use is never associated with a scalar implicature. Accordingly, in an upward entailing environment, φ-o’qa is appropriate whenever there are accessible φ-worlds, even if indeed all accessible worlds are φ-worlds. In a downward entailing environment, the flexibility of the o’qa modal is seen no more. Here, neither o’qa nor English possibility modals are associated with scalar implicatures, and the use of o’qa exactly parallels the use of English modals of possibility. -/- Given that o’qa is a possibility modal that does not contrast with a modal of necessity, just how do you talk about necessities in Nez Perce? Speakers translating into Nez Perce rely on a variety of techniques to paraphrase expressions of simple necessity away. Their strategies highlight an area where Nez Perce and English plausibly differ in the range of propositions they convey. The data cast doubt on any strong form of effability as a language universal. (shrink)

I sketch a new constraint on chance, which connects chance ascriptions closely with ascriptions of ability, and more specifically with 'CAN'-claims. This connection between chance and ability has some claim to be a platitude; moreover, it exposes the debate over deterministic chance to the extensive literature on (in)compatibilism about free will. The upshot is that a prima facie case for the tenability of deterministic chance can be made. But the main thrust of the paper is to draw attention to the (...) connection between the truth conditions of sentences involving 'CAN' and 'CHANCE', and argue for the context sensitivity of each term. Awareness of this context sensitivity has consequences for the evaluation of particular philosophical arguments for (in) compatibilism when they are presented in particular contexts. (shrink)

This paper discusses the interaction of aspect and modality, and focuses on the puzzling implicative effect that arises when perfective aspect appears on certain modals: perfective somehow seems to force the proposition expressed by the complement of the modal to hold in the actual world, and not merely in some possible world. I show that this puzzling behavior, originally discussed in Bhatt (1999, Covert modality in non-finite contexts) for the ability modal, extends to all modal auxiliaries with a circumstantial modal (...) base (i.e., root modals ), while epistemic interpretations of the same modals are immune to the effect. I propose that implicative readings are contingent on the relative position of the modal w.r.t. aspect: when aspect scopes over the modal (as I argue is the case for root modals), it forces an actual event, thereby yielding an implicative reading. When a modal element scopes over aspect, no actual event is forced. This happens (i) with epistemics, which structurally appear above tense and aspect; (ii) with imperfective on a root modal: imperfective brings in an additional layer of modality, itself responsible for removing the necessity for an actual event. This proposal enables us to solve the puzzle while maintaining a standardized semantics for aspects and modals. (shrink)

Analyses of dispositional ascriptions in terms of conditional statements famously confront the problems of finks and masks. We argue that conditional analyses of dispositions, even those tailored to avoid finks and masks, face five further problems. These are the problems of: (i) Achilles' heels, (ii) accidental closeness, (iii) comparatives, (iv) explaining context sensitivity, and (v) absent stimulus conditions. We conclude by offering a proposal that avoids all seven of these problems.

The common ground in an inquiry consists of what the participants agree on, at least for the sake of the inquiry. The relations between the factual and linguistic components of common ground are notoriously difficult to trace. I clarify them by exploring how modal disagreements – disagreements about how things might be – interact with the linguistic and the factual common ground. I argue that modal agreement is essential to common ground of any kind.

"Jim would still be alive if he hadn't jumped" means that Jim's death was a consequence of his jumping. "x wouldn't be a triangle if it didn't have three sides" means that x's having a three sides is a consequence its being a triangle. Lewis takes the first sentence to mean that Jim is still alive in some alternative universe where he didn't jump, and he takes the second to mean that x is a non-triangle in every alternative universe where (...) it doesn't have three sides. Why did Lewis have such obviously wrong views? Because, like so many of his contemporaries, he failed to grasp the truth that it is the purpose of the present paper to demonstrate, to wit: No coherent doctrine assumes that statements about possible worlds are anything other than statements about the dependence-relations governing our world. The negation of this proposition has a number of obviously false consequences, for example: all true propositions are necessarily true (there is no modal difference between "2+2=4" and "Socrates was bald"); all modal terms (e.g. "possible," "necessary") are infinitely ambiguous; there is no difference between laws of nature (e.g. "metal expands when heated") and accidental generalizations (e.g. "all of the coins in my pocket are quarters"); and there is no difference between the belief that 1+1=2 and the belief that arithmetic is incomplete. Given that possible worlds are identical with mathematical models, it follows that the concept of model-theoretic entailment is useless in the way of understanding how inferences are drawn or how they should be drawn. Given that the concept of formal-entailment is equally useless in these respects, it follows that philosophers and mathematicians have simply failed to shed any light on the nature of the consequence-relation. Q's being either a formal or a model-theoretic consequence of P is parasitic on its bearing some third, still unidentified relation to P; and until this relation has been identified, the discipline of philosophical logic has yet to begin. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to 'possible worlds'. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact a pervasive symmetry between the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical (...) features situate the reference of terms as near, far or 'further' from the actual or from a reported speech act. We outline various directions in which a program of ontological symmetry could be developed, and we offer in the Appendix a symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

In this paper, a pragmatic approach to the phenomenon of free choice permission is proposed. Free choice permission is explained as due to taking the speaker (i) to obey certain Gricean maxims of conversation and (ii) to be competent on the deontic options, i.e. to know the valid obligations and permissions. The approach differs from other pragmatic approaches to free choice permission in giving a formally precise description of the class of inferences that can be derived based on these two (...) assumptions. This formalization builds on work of Halpern and Moses (1984) on the concept of ‘only knowing’, generalized by Hoek et al., (1999, 2000), and Zimmermann’s (2000) approach to competence. (shrink)

In this paper, the meanings of sentences containing the word or and a modal verb are used to arrive at a novel account of the meaning of or coordinations. It is proposed that or coordinations denote sets whose members are the denotations of the disjuncts; and that the truth conditions of sentences containing or coordinations require the existence of some set made available by the semantic environment which can be ‘divided up’ in accordance with the disjuncts. The relevant notion of (...) ‘dividing things up’ is made explicit in the paper. Detailed attention is given to the question of how the proposed truth conditions are derived from the syntactic input. The account offered allows for the derivation of both the disjunctive and the nondisjunctive readings of modal/or sentences, including the much-discussed free choice readings of may/or sentences. (shrink)

§1. Introduction. By means of what semantic features is a proper name tied to its bearer? This is a puzzling question indeed: proper names — like “Aristotle” or “Paris” — are syntactically simple, and it therefore does not seem possible to reduce their meanings, by means of a principle of compositionality, to the meanings of more basic, and hence perhaps more tractable, linguistic elements.

The English perfect involves two fundamental components of meaning: a truth-conditional one involving temporal notions and a current relevance presupposition best expressed in terms drawn from the analysis of modality. The proposal made here draws much for the Extended Now theory, but improves on it by showing that many aspects of the perfect's meaning may be factored out into independent semantic or pragmatic principles.

It is not quite as easy to see that there is in fact no formula of this modal language having the same truth conditions (in terms of S5 Kripke semantics) as (1). This was rst conjectured by Allen Hazen2 and later proved by Harold Hodes3. We present a simple direct proof of this result and discuss some consequences for the logical analysis of ordinary modal discourse.

In modal subordination, a modal sentence is interpreted relative to a hypothetical scenario introduced in an earlier sentence. In this paper, I argue that this phenomenon reflects the fact that the interpretation of modals is an ANAPHORIC process. Modal morphemes introduce sets of possible worlds, representing alternative hypothetical scenarios, as entities into the discourse model. Their interpretation depends on evoking sets of worlds recording described and reference scenarios, and relating such sets to one another using familiar notions of restricted, preferential (...) quantification. This proposal relies on an extended model of environments in dynamic semantics to keep track of associations between possible worlds and ordinary individuals; it assumes that modal meanings and other lexical meanings encapsulate quantification over possible worlds. These two innovations are required in order for modals to refer to sets of possible worlds directly as static objects in place of the inherently dynamic objects—quite different from the referents of pronouns and tenses—used in previous accounts. The simpler proposal that results offers better empirical coverage and suggests a new parallel between modal and temporal interpretation. (shrink)

Appears to give the first model-theoretic account of both "must" and "ought" (without conflating them with one another). Some key pre-theoretic semantic and pragmatic phenomena that support a negative answer to the main title question are identified and a conclusion of some significance is drawn: a pervasive bipartisan presupposition of twentieth century ethical theory and deontic logic is false. Next, an intuitive model-theoretic framework for "must" and "ought" is hypothesized. It is then shown how this hypothesis helps to explain and (...) predict all the pre-theoretic phenomena previously observed. Next, I show that the framework hypothesized possesses additional expressive and explanatory power (e.g. derivatively predicting the existence of supererogatory and permissibly suboptimal alternatives), thus adding further confirmation that it is on the right track. (shrink)

A selection function based semantics is offered for the 'can' of ability based on the idea that 'John can run a four minute mile' is true iff John would do so under the right conditions, meaning that he would do so under at least one appropriately chosen test condition. Completeness is proved for an axiom system and semantics based on this idea, and the logic turns out to be interestingly different from any standard system of modal logic.