What role, if any, does formal logic play in characterizing epistemically rational belief? Traditionally, belief is seen in a binary way - either one believes a proposition, or one doesn't. Given this picture, it is attractive to impose certain deductive constraints on rational belief: that one's beliefs be logically consistent, and that one believe the logical consequences of one's beliefs. A less popular picture sees belief as a graded phenomenon.

According to the Ramsey Test hypothesis the conditional claim that if A then B is credible just in case it is credible that B, on the supposition that A. If true the hypothesis helps explain the way in which we evaluate and use ordinary language conditionals. But impossibility results for the Ramsey Test hypothesis in its various forms suggest that it is untenable. In this paper, I argue that these results do not in fact have this implication, on the grounds (...) that similar results can be proved without recourse to the Ramsey test hypothesis. Instead they show that a number of well entrenched principles of rational belief and belief revision do not apply to conditionals. (shrink)

Is modus ponens valid for the indicative conditional? McGee [1985] famously presents several alleged counterexamples to this inference rule. More recently, Kolodny and MacFarlane [2010] and Willer [2010] argue that modus ponens is unreliable in certain hypothetical contexts. However, none of these attacks undermines an informational conception of logic on which modus ponens is valid.

According to a popular closure principle for epistemic justification, if one is justified in believing each of the premises in set Φ and one comes to believe that ψ on the basis of competently deducing ψ from Φ—while retaining justified beliefs in the premises—then one is justified in believing that ψ. This principle is prima facie compelling; it seems to capture the sense in which competent deduction is an epistemically secure means to extend belief. However, even the single-premise version of (...) this closure principle is in conflict with certain seemingly good inferences involving the epistemic possibility modal ♢. According to other compelling principles concerning competent deduction and epistemic justification, one can competently infer ¬♢φ from ¬φ in deliberation even though there are cases in which one can justifiably believe ¬φ but would be unjustified in believing ¬♢φ. Thus, as we argue, philosophers must choose between unrestricted closure for justification and the validity of these other principles. (shrink)

My subject is what I will call the “Myth of Formal Coherence.” In its normative telling, the Myth is that there are “requirements of formal coherence as such,” which demand just that our beliefs and intentions be formally coherent.1 Some examples are.

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

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.

I develop a conception of expressivism according to which it is chiefly a pragmatic thesis about some fragment of discourse, one imposing certain constraints on semantics. The first half of the paper uses credal expressivism about the language of probability as a stalking-horse for this purpose. The second half turns to the question of how one might frame an analogous form of expressivism about the language of deontic modality. Here I offer a preliminary comparison of two expressivist lines. The first, (...) expectation expressivism, looks again to Bayesian modelling for inspiration: it glosses deontically modal language as characteristically serving to express decision-theoretic expectation (expected utility). The second, plan expressivism, develops the idea (due to Gibbard 2003) that this language serves to express 'plan-laden' states of belief. In the process of comparing the views, I show how to incorporate Gibbard's modelling ideas into a compositional semantics for attitudes and modals, filling a lacuna in the account. I close with the question whether and how plan expressivism might be developed with expectation-like structure. (shrink)

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.

The aim of this paper is twofold: (i) to introduce the framework of update semantics and to explain what kind of semantic phenomena may successfully be analysed in it: (ii) to give a detailed analysis of one such phenomenon: default reasoning.

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)

The aim of the paper is to draw a connection between a semantical theory of conditional statements and the theory of conditional probability. First, the probability calculus is interpreted as a semantics for truth functional logic. Absolute probabilities are treated as degrees of rational belief. Conditional probabilities are explicitly defined in terms of absolute probabilities in the familiar way. Second, the probability calculus is extended in order to provide an interpretation for counterfactual probabilities--conditional probabilities where the condition has zero probability. (...) Third, conditional propositions are introduced as propositions whose absolute probability is equal to the conditional probability of the consequent on the antecedent. An axiom system for this conditional connective is recovered from the probabilistic definition. Finally, the primary semantics for this axiom system, presented elsewhere, is related to the probabilistic interpretation. (shrink)

Recently, Yalcin (Epistemic modals. Mind, 116 , 983–1026, 2007) put forward a novel account of epistemic modals. It is based on the observation that sentences of the form ‘ & Might ’ do not embed under ‘suppose’ and ‘if’. Yalcin concludes that such sentences must be contradictory and develops a notion of informational consequence which validates this idea. I will show that informational consequence is inadequate as an account of the logic of epistemic modals: it cannot deal with reasoning from (...) uncertain premises. Finally, I offer an alternative way of explaining the relevant linguistic data. (shrink)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

We consider a paradox involving indicative conditionals (‘ifs’) and deontic modals (‘oughts’). After considering and rejecting several standard options for resolv- ing the paradox—including rejecting various premises, positing an ambiguity or hidden contextual sensitivity, and positing a non-obvious logical form—we offer a semantics for deontic modals and indicative conditionals that resolves the paradox by making modus ponens invalid. We argue that this is a result to be welcomed on independent grounds, and we show that rejecting the general validity of modus (...) ponens is compatible with vindicating most ordinary uses of modus ponens in reasoning. (shrink)

Recently, much attention has been paid to ‘rational requirements’ and, especially, to what I call ‘rational requirements of formal coherence as such’. These requirements are satisfied just when our attitudes are formally coherent: for example, when our beliefs do not contradict each other. Nevertheless, these requirements are puzzling. In particular, it is unclear why we should satisfy them. In light of this, I explore the conjecture that there are no requirements of formal coherence. I do so by trying to construct (...) a theory of error for the idea that there are such requirements. (shrink)

A proof by Allan Gibbard (Ifs: Conditionals, beliefs, decision, chance, time. Reidel, Dordrecht, 1981) seems to demonstrate that if indicative conditionals have truth conditions, they cannot be stronger than material implication. Angelika Kratzer's theory that conditionals do not denote two-place operators purports to escape this result [see Kratzer (Chic Linguist Soc 22(2):1–15, 1986, 2012)]. In this note, I raise some trouble for Kratzer’s proposed method of escape and then show that her semantics avoids this consequence of Gibbard’s proof by denying (...) modus ponens. I also show that the same holds for Anthony Gillies’ semantics (Philos Rev 118(3):325–349, 2009) and argue that this consequence of these theories is not obviously prohibitive—hence, both remain viable theories of indicative conditionals. (shrink)

In recent years, a number of theorists have claimed that beliefs about probability are transparent. To believe probably p is simply to have a high credence that p. In this paper, I prove a variety of triviality results for theses like the above. I show that such claims are inconsistent with the thesis that probabilistic modal sentences have propositions or sets of worlds as their meaning. Then I consider the extent to which a dynamic semantics for probabilistic modals can capture (...) theses connecting belief, certainty, credence, and probability. I show that although a dynamic semantics for probabilistic modals does allow one to validate such theses, it can only do so at a cost. I prove that such theses can only be valid if probabilistic modals do not satisfy the axioms of the probability calculus. (shrink)

What we want to be true about ordinary indicative conditionals seems to be more than we can possibly get: there just seems to be no good way to assign truth-conditions to ordinary indicative conditionals. Some take this argument as reason to make our wantings more modest. Others take it to show that indicative conditionals don't have truth-conditions in the first place. But we have overlooked two possibilities for assigning truth-conditions to indicatives. What's more, those possibilities deliver what we want and (...) turn out to be equivalent. CiteULike Connotea Del.icio.us Digg Reddit Technorati What's this? (shrink)

This book is meant to be a primer, that is, an introduction, to probability logic, a subject that appears to be in its infancy. Probability logic is a subject envisioned by Hans Reichenbach and largely created by Adams. It treats conditionals as bearers of conditional probabilities and discusses an appropriate sense of validity for arguments such conditionals, as well as ordinary statements as premisses. This is a clear well-written text on the subject of probability logic, suitable for advanced undergraduates or (...) graduates, but also of interest to professional philosophers. There are well-thought-out exercises, and a number of advanced topics treated in appendices, while some are brought up in exercises and some are alluded to only in footnotes. By this means, it is hoped that the reader will at least be made aware of most of the important ramifications of the subject and its tie-ins with current research, and will have some indications concerning recent and relevant literature. (shrink)

This book is a major contribution to decision theory, focusing on the question of when it is rational to accept scientific theories. The author examines both Bayesian decision theory and confirmation theory, refining and elaborating the views of Ramsey and Savage. He argues that the most solid foundation for confirmation theory is to be found in decision theory, and he provides a decision-theoretic derivation of principles for how many probabilities should be revised over time. Professor Maher defines a notion of (...) accepting a hypothesis, and then shows that it is not reducible to probability and that it is needed to deal with some important questions in the philosophy of science. A Bayesian decision-theoretic account of rational acceptance is provided together with a proof of the foundations for this theory. A final chapter shows how this account can be used to cast light on such vexed issues as verisimilitude and scientific realism. (shrink)

This book is meant to be a primer, that is, an introduction, to probability logic, a subject that appears to be in its infancy. Probability logic is a subject envisioned by Hans Reichenbach and largely created by Adams. It treats conditionals as bearers of conditional probabilities and discusses an appropriate sense of validity for arguments such conditionals, as well as ordinary statements as premisses. This is a clear well-written text on the subject of probability logic, suitable for advanced undergraduates or (...) graduates, but also of interest to professional philosophers. There are well-thought-out exercises, and a number of advanced topics treated in appendices, while some are brought up in exercises and some are alluded to only in footnotes. By this means, it is hoped that the reader will at least be made aware of most of the important ramifications of the subject and its tie-ins with current research, and will have some indications concerning recent and relevant literature. (shrink)

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)

By “epistemic modals,” I mean epistemic uses of modal words: adverbs like “necessarily,” “possibly,” and “probably,” adjectives like “necessary,” “possible,” and “probable,” and auxiliaries like “might,” “may,” “must,” and “could.” It is hard to say exactly what makes a word modal, or what makes a use of a modal epistemic, without begging the questions that will be our concern below, but some examples should get the idea across. If I say “Goldbach’s conjecture might be true, and it might be false,” (...) I am not endorsing the Cartesian view that God could have made the truths of arithmetic come out differently. I make the claim not because I believe in the metaphysical contingency of mathematics, but because I know that Goldbach’s conjecture has not yet been proved or refuted. Similarly, if I say “Joe can’t be running,” I am not saying that Joe’s constitution prohibits him from running, or that Joe is essentially a non-runner, or that Joe isn’t allowed to run. My basis for making the claim may be nothing more than that I see Joe’s running shoes hanging on a hook. (shrink)

This dissertation investigates the ways in which natural language restricts the domains of quantifiers. Adverbs of quantification are analyzed as quantifying over situations. The domain of quantifiers is pragmatically constrained: apparent processes of "semantic partition" are treated as pragmatic epiphenomena. The introductory Chapter 1 sketches some of the background of work on natural language quantification and begins the analysis of adverbial quantification over situations. Chapter 2 develops the central picture of "semantic partition" as a side-effect of pragmatic processes of anaphora (...) resolution. I argue that the apparent effects of topic/focus articulation and presuppositional information on the interpretation of quantifiers are not the result of a direct and local mechanism of sentence grammar. Instead, I develop an analysis where the link is established via the anaphoric dependence of quantifier domains on the discourse context. Chapter 3 discusses the analysis of conditional clauses as quantifier restrictors, concentrating on the question whether conditional clauses restrict quantifiers directly or indirectly. A treatment is explored which has if-clauses constrain the value of the hidden domain variable of the restricted quantifier. Chapter 4, on unless-clauses, and Chapter 5, on only if- and even if-clauses, present some issues in the compositional analysis of complex conditional clauses. These chapters significantly expand the data coverage of the theory of A-quantification. Building on previous work of mine on exceptives, I analyze unless-clauses as exceptive operators on A-quantifiers. The analysis of only if-clauses, treated as conditional clauses that combine if with the focus adverb only, unearthes some interesting new properties. Chapter 6, finally, examines the phenomenon of donkey-anaphora in the light of the results of the previous chapters. I show that a solution to the proportion problem may become possible once we combine the situation-semantic approach to adverbial quantification with the pragmatic theory developed in Chapter 2 and further elaborated in the analysis of donkey anaphora in complex conditionals. (shrink)

What are people who disagree about logic disagreeing about? The paper argues that (in a wide range of cases) they are primarily disagreeing about how to regulate their degrees of belief. An analogy is drawn between beliefs about validity and beliefs about chance: both sorts of belief serve primarily to regulate degrees of belief about other matters, but in both cases the concepts have a kind of objectivity nonetheless.

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)

A very simple contextualist treatment of a sentence containing an epistemic modal, e.g. a might be F, is that it is true iff for all the contextually salient community knows, a is F. It is widely agreed that the simple theory will not work in some cases, but the counterexamples produced so far seem amenable to a more complicated contextualist theory. We argue, however, that no contextualist theory can capture the evaluations speakers naturally make of sentences containing epistemic modals. If (...) we want to respect these evaluations, our best option is a relativist theory of epistemic modals. On a relativist theory, an utterance of a might be F can be true relative to one context of evaluation and false relative to another. We argue that such a theory does better than any rival approach at capturing all the behaviour of epistemic modals. (shrink)