This is a study in the meaning of natural language probability operators, sentential operators such as probably and likely. We ask what sort of formal structure is required to model the logic and semantics of these operators. Along the way we investigate their deep connections to indicative conditionals and epistemic modals, probe their scalar structure, observe their sensitivity to contex- tually salient contrasts, and explore some of their scopal idiosyncrasies.

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are explored.

A dynamic semantics for epistemically modalized sentences is an attractive alternative to the orthodox view that our best theory of meaning ascribes to such sentences truth-conditions relative to what is known. This essay demonstrates that a dynamic theory about might and must offers elegant explanations of a range of puzzling observations about epistemic modals. The first part of the story offers a unifying treatment of disputes about epistemic modality and disputes about matters of fact while at the same time avoiding (...) the complexities of alternative theories. The second part of the story extends the basic framework to cover some complicated data about retraction and the interaction between epistemic modality and tense. A comparison between the suggestion made in this essay and current versions of the orthodoxy is provided. (shrink)

It is a recurring mantra that epistemic must creates a statement that is weaker than the corresponding flat-footed assertion: It must be raining vs. It’s raining. Contrary to classic discussions of the phenomenon such as by Karttunen, Kratzer, and Veltman, we argue that instead of having a weak semantics, must presupposes the presence of an indirect inference or deduction rather than of a direct observation. This is independent of the strength of the claim being made. Epistemic must is therefore quite (...) similar to evidential markers of indirect evidence known from languages with rich evidential systems. We work towards a formalization of the evidential component, relying on a structured model of information states (analogous to some models used in the belief dynamics literature). We explain why in many contexts, one can perceive a lack of confidence on the part of the speaker who uses must. (shrink)

This paper develops a compositional, type-driven constraint semantic theory for a fragment of the language of subjective uncertainty. In the particular application explored here, the interpretation function of constraint semantics yields not propositions but constraints on credal states as the semantic values of declarative sentences. Constraints are richer than propositions in that constraints can straightforwardly represent assessments of the probability that the world is one way rather than another. The richness of constraints helps us model communicative acts in essentially the (...) same way that we model agents’ credences. Moreover, supplementing familiar truth-conditional theories of epistemic modals with constraint semantics helps capture contrasts between strong necessity and possibility modals, on the one hand, and weak necessity modals, on the other. (shrink)

Complex cognitive skills such as reading and calculation and complex cognitive achievements such as formal science and mathematics may depend on a set of building block systems that emerge early in human ontogeny and phylogeny. These core knowledge systems show characteristic limits of domain and task specificity: Each serves to represent a particular class of entities for a particular set of purposes. By combining representations from these systems, however human cognition may achieve extraordinary flexibility. Studies of cognition in human infants (...) and in nonhuman primates therefore may contribute to understanding unique features of human knowledge. 2020 APA, all rights reserved). (shrink)

According to the alternative semantics for focus, the semantic reflec of intonational focus is a second semantic value, which in the case of a sentence is a set of propositions. We examine a range of semantic and pragmatic applications of the theory, and extract a unitary principle specifying how the focus semantic value interacts with semantic and pragmatic processes. A strong version of the theory has the effect of making lexical or construction-specific stipulation of a focus-related effect in association-with-focus constructions (...) impossible. Furthermore, while focus has a uniform import, the sources of meaning differences in association with focus are various. (shrink)

The standard account of modal expressions in natural language analyzes them as quantifiers over a set of possible worlds determined by the evaluation world and an accessibility relation. A number of authors have recently argued for an alternative account according to which modals are analyzed as quantifying over a domain of possible worlds that is specified directly in the points of evaluation. But the new approach only handles the data motivating it if it is supplemented with a non-standard account of (...) attitude verbs and conditionals. It can be shown the the relational account handles the same data equally well if it too is supplemented with a non-standard account of such expressions. (shrink)

It is a truism that people speak ‘loosely’——that is, that they often say things that we can recognize not to be true, but which come close enough to the truth for practical purposes. Certain expressions. such as those including ‘exactly’, ‘all’ and ‘perfectly’, appear to serve as signals of the intended degree of approximation to the truth. This article presents a novel formalism for representing the notion of approximation to the truth, and analyzes the meanings of these expressions in terms (...) of this formalism. Pragmatic loosencss of this kind should be distinguished from authentic truth-conditional vagueness. (shrink)

This paper presents corpus and experimental data that problematize the traditional analysis of must as a strong necessity modal, as recently revived and defended by von Fintel and Gillies :351–383, 2010). I provide naturalistic examples showing that must p can be used alongside an explicit denial of knowledge of p or certainty in p, and that it can be conjoined with an expression indicating that p is not certain or that not-p is possible. I also report the results of an (...) experiment involving lotteries, where most participants endorsed a sentence of the form must not-p despite being instructed that p is a possibility. Crucially, endorsement was much higher for must in this context than for matched sentences with knowledge or certainty expressions. These results indicate that the requirements for felicitous use of must are weaker than for know and certain rather than being at least as strong, as the epistemic necessity theory would predict. However, it is possible to account for these data while retaining the key insights of von Fintel and Gillies’ analysis of the evidential component of must. I discuss several existing accounts that could be construed in this way and explain why none is completely satisfactory. I then propose a new model that embeds an existing scalar theory into a probabilistic model of informational dynamics structured around questions and answers. (shrink)

This paper provides a formal pragmatic analysis of precision which accounts for its essential properties, but also for Lewis’s :339–359, 1979) observation of asymmetry in how standards of precision may shift due to normal discourse moves: Only up, not down. I propose that shifts of the kind observed and discussed by Lewis are in fact cases of underlying disagreement about the standard of precision, which is only revealed when one interlocutor uses an expression which signals their adherence to a higher (...) standard than the one adhered to by the other interlocutor. This paper shows that a modest formal pragmatic analysis along the lines of many prior optimality-theoretic and game-theoretic accounts can easily capture the natural asymmetry in standard-signaling that gives rise to Lewis’s observation, so long as such an account is dynamic and enriched with a notion of relevance. (shrink)

It is often assumed that when one party felicitously rejects an assertion made by an- other party, the first party thinks that the proposition asserted by the second is false. This assumption underlies various disagreement arguments used to challenge contex- tualism about some class of expressions. As such, many contextualists have resisted these arguments on the grounds that the disagreements in question may not be over the proposition literally asserted. The result appears to be a dialectical stalemate, with no independent (...) method of determining whether any particular instance of disagreement is over the proposition literally asserted. In this paper, I propose an independent method for assessing whether a disagreement is about what’s literally asserted. Focusing on epistemic modals throughout, I argue that this method provides evidence that some epistemic modal disagreements are in fact not over the proposition literally asserted by the utterance of the epistemic modal sentence. This method provides a way to break the stalemate, and reveals a new data point for theories of epistemic modals to predict—that is, how there can be such modal disagreements. In the rest of the paper, I motivate a general theory of how to predict these kinds of disagreements, and then offer some brief remarks about how contextualist, relativist, and expressivist theories of epistemic modals might accommodate this new data point. (shrink)

This chapter contains section titled: The Theory Theory The Theory Theory vs. Other Empiricist Alternatives Innate Theories and Starting‐state Nativism Phenomenological and Social Objections Universality, Uniformity, and Learning Theory Formation and Language.

Naive speakers find some logical contradictions acceptable, specifically borderline contradictions involving vague predicates such as Joe is and isn’t tall. In a recent paper, Cobreros et al. (J Philos Logic, 2012) suggest a pragmatic account of the acceptability of borderline contradictions. We show, however, that the pragmatic account predicts the wrong truth conditions for some examples with disjunction. As a remedy, we propose a semantic analysis instead. The analysis is close to a variant of fuzzy logic, but conjunction and disjunction (...) are interpreted as intensional operators. (shrink)

In _Modal Logic for Open Minds,_ Johan van Benthem provides an up-to-date introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, and also covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information flow, intelligent agency, (...) and games. Taken together, the chapters show modal logic at the crossroads of philosophy, mathematics, linguistics, computer science, and economics. Most of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics. (shrink)

In _Modal Logic for Open Minds,_ Johan van Benthem provides an up-to-date introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, and also covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information flow, intelligent agency, (...) and games. Taken together, the chapters show modal logic at the crossroads of philosophy, mathematics, linguistics, computer science, and economics. Most of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics. (shrink)

Only human beings have a rich conceptual repertoire with concepts like tort, entropy, Abelian group, mannerism, icon and deconstruction. How have humans constructed these concepts? And once they have been constructed by adults, how do children acquire them? While primarily focusing on the second question, in The Origin of Concepts , Susan Carey shows that the answers to both overlap substantially. Carey begins by characterizing the innate starting point for conceptual development, namely systems of core cognition. Representations of core cognition (...) are the output of dedicated input analyzers, as with perceptual representations, but these core representations differ from perceptual representations in having more abstract contents and richer functional roles. Carey argues that the key to understanding cognitive development lies in recognizing conceptual discontinuities in which new representational systems emerge that have more expressive power than core cognition and are also incommensurate with core cognition and other earlier representational systems. Finally, Carey fleshes out Quinian bootstrapping, a learning mechanism that has been repeatedly sketched in the literature on the history and philosophy of science. She demonstrates that Quinian bootstrapping is a major mechanism in the construction of new representational resources over the course of childrens cognitive development. Carey shows how developmental cognitive science resolves aspects of long-standing philosophical debates about the existence, nature, content, and format of innate knowledge. She also shows that understanding the processes of conceptual development in children illuminates the historical process by which concepts are constructed, and transforms the way we think about philosophical problems about the nature of concepts and the relations between language and thought. (shrink)

Entry for the Stanford Encylcopedia of Philosophy.

Recently, a number of theorists (MacFarlane (2003, 2011), Egan et al. (2005), Egan (2007), Stephenson (2007a,b)) have argued that an adequate semantics and pragmatics for epistemic modals calls for some technical notion of relativist truth and/or relativist content. Much of this work has relied on an empirical thesis about speaker judgments, namely that competent speakers tend to judge a present-tense bare epistemic possibility claim true only if the prejacent is compatible with their information. Relativists have in particular appealed to judgments (...) elicited in so-called eavesdropping and retraction cases to support this empirical thesis. But opposing theorists have denied the judgments, and at present there is no consensus in the literature about how the speaker judgments in fact pattern. Consequently there is little agreement on what exactly a semantics and pragmatics for epistemic modals should predict about the pattern of judgments in these cases. Further theorizing requires greater clarity on the data to be explained. To clarify the data, we subjected eavesdropping and retraction cases to experimental evaluation. Our data provide evidence against the claim that competent speakers tend to judge a present-tense bare epistemic possibility claim true only if the prejacent is compatible with their information. Theories designed to predict this result are accordingly undermined. (shrink)

This paper motivates and develops a novel semantics for several epistemic expressions, including possibility modals and indicative conditionals. The semantics I defend constitutes an alternative to standard truth conditional theories, as it assigns sets of probability spaces as sentential semantic values. I argue that what my theory lacks in conservatism is made up for by its strength. In particular, my semantics accounts for the distinctive behavior of nested epistemic modals, indicative conditionals embedded under probability operators, and instances of constructive dilemma (...) containing epistemic vocabulary. (shrink)

There is a difference between the conditions in which one can felicitously assert a ‘must’-claim versus those in which one can use the corresponding non-modal claim. But it is difficult to pin down just what this difference amounts to. And it is even harder to account for this difference, since assertions of 'Must ϕ' and assertions of ϕ alone seem to have the same basic goal: namely, coming to agreement that [[ϕ]] is true. In this paper I take on this (...) puzzle, known as Karttunen’s Problem. I begin by arguing that a ‘must’-claim is felicitous only if there is a shared argument for its prejacent. I then argue that this generalization, which I call Support, can explain the more familiar generalization that ‘must’-claims are felicitous only if the speaker’s evidence for them is in some sense indirect. Finally, I sketch a pragmatic derivation of Support. (shrink)

A successful theory of the language of subjective uncertainty would meet several important constraints. First, it would explain how use of the language of subjective uncertainty affects addressees’ states of subjective uncertainty. Second, it would explain how such use affects what possibilities are treated as live for purposes of conversation. Third, it would accommodate 'quantifying in' to the scope of epistemic modals. Fourth, it would explain the norms governing the language of subjective uncertainty, and the differences between them and the (...) norms governing the language of subjective certainty. Neither truth conditional nor traditional force modfier theories of the language of subjective uncertainty look adequate to the task of satisfying all four of these constraints. (shrink)

My dissertation asks how we affect conversational context and how it affects us when we participate in any conversation—including philosophical conversations. Chapter 1 argues that speakers make pragmatic presuppositions when they use proper names. I appeal to these presuppositions in giving a treatment of Frege’s puzzle that is consistent with the claim that coreferential proper names have the same semantic value. I outline an explanation of the way presupposition carrying expressions in general behave in belief ascriptions, and suggest that substitutivity (...) failure is a special case of this behavior. Chapter 2 develops a compositional probabilistic semantics for the language of subjective uncertainty, including epistemic adjectives scoped under quantifiers. I argue that we should distinguish sharply between the effects that epistemically hedged statements have on conversational context, and the effects that they have on belief states. I also suggest that epistemically hedged statements are a kind of doxastic advice, and explain how this hypothesis illuminates some otherwise puzzling phenomena. Chapter 3 argues that ordinary causal talk is deeply sensitive to conversational context. The principle that I formulate to characterize that context sensitivity explains at least some of the oddness of ‘systematic causal overdetermination,’ and explains why some putative overgenerated causes are never felicitously counted, in conversation, as causes. But the principle also makes metaphysical theorizing about causation rather indirectly constrained by ordinary language judgments. (shrink)

Kamp and Fine presented an influential argument against the use of fuzzy logic for linguistic semantics in 1975. However, the argument assumes that contradictions of the form "A and not A" have semantic value zero. The argument has been recently criticized because sentences of this form are actually not perceived as contradictory by naive speakers. I present new experimental evidence arguing that fuzzy logic still isn't useful for linguistic semantics even if we take such naive speaker judgements at face value. (...) Specifically I show that naive speakers judge "A and not A" in the relevant cases as more true than "B and not A" even when A and B are judged to be equally true. A truth functional semantics such as fuzzy logic cannot account for these intuitions directly. (shrink)

When I tell you that it’s raining, I describe a way the world is—viz., rainy. I say something whose truth turns on how things are with the weather in the world. Likewise when I tell you that the weatherman thinks that it’s raining. Here the truth of what I say turns on how things are with the weatherman’s state of mind in the world. Likewise when I tell you that I think that it’s raining. Here the truth of what I (...) say turns on how things are with my state of mind in the world. (shrink)