This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency. Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does (...) is to show how the concepts, techniques, and methods of modal logic shed brilliant light on the most important logical discovery of the twentieth century: the incompleteness theorems of Kurt Godel and the 'self-referential' sentences constructed in their proof. The book explores the effects of reinterpreting the notions of necessity and possibility to mean provability and consistency. (shrink)

This paper uses the framework of Popper and Miller's work on axiom systems for conditional probabilities to explore Adams' thesis concerning the probabilities of conditionals. It is shown that even very weak axiom systems have only a very restricted set of models satisfying a natural generalisation of Adams' thesis, thereby casting severe doubt on the possibility of developing a non-Boolean semantics for conditionals consistent with it.

A conditional takes the form ‘If A, then C’. On the truth-conditional view of conditionals, conditional statements state things with truth-conditions. On the suppositional view, conditional statements involve the expression of a supposition. I develop and defend a view on which conditional statements both state things with truth-conditions and express suppositions. On this view, something is fundamentally right about standard truth-conditional and standard suppositional views. Considerations in favor of conditional contents lead us to attribute truth-conditional contents to conditional statements; considerations (...) in favor of the suppositional view then lead us to an unexpected account of these contents. The resulting view has a number of benefits, including a unified treatment of conditional speech acts, a plausible account of our practice of ascribing truth-values to conditional statements, a simple explanation of the apparent equivalence between probabilities of conditionals and conditional probabilities, an intuitive treatment of ‘Gibbardian stand-offs’, a plausible logic of conditionals, and an explanation of why theorizing about conditionals has proved so difficult. (shrink)

THE INDICATIVE CONDITIONAL. A PROBABILISTIC CRITERION OF SOUNDNESS FOR DEDUCTIVE INFERENCES Our objective in this section is to establish a prima facie case ...

The standard use of the propositional calculus ('P.C.?) in analyzing the validity of inferences involving conditionals leads to fallacies, and the problem is to determine where P.C. may be ?safely? used. An alternative analysis of criteria of reasonableness of inferences in terms of conditions of justification rather than truth of statements is proposed. It is argued, under certain restrictions, that P. C. may be safely used, except in inferences whose conclusions are conditionals whose antecedents are incompatible with the premises in (...) the sense that if the antecedent became known, some of the previously asserted premises would have to be withdrawn. (shrink)

Different inferences in probabilistic logics of conditionals 'preserve' the probabilities of their premisses to different degrees. Some preserve certainty, some high probability, some positive probability, and some minimum probability. In the first case conclusions must have probability I when premisses have probability 1, though they might have probability 0 when their premisses have any lower probability. In the second case, roughly speaking, if premisses are highly probable though not certain then conclusions must also be highly probable. In the third case (...) conclusions must have positive probability when premisses do, and in the last case conclusions must be at least as probable as their least probable premisses. Precise definitions and well known examples are given for each of these properties, characteristic principles are shown to be valid and complete for deriving conclusions of each of these kinds, and simple trivalent truthtable 'tests' are described for determining which properties are possessed by any given inference. Brief comments are made on the application of these results to certain modal inferences such as "Jones may own a car, and if he does he will have a driver's license. Therefore, he may have a driver's license.". (shrink)

Knowledge and its Limits presents a systematic new conception of knowledge as a kind of mental stage sensitive to the knower's environment. It makes a major contribution to the debate between externalist and internalist philosophies of mind, and breaks radically with the epistemological tradition of analyzing knowledge in terms of true belief. The theory casts new light on such philosophical problems as scepticism, evidence, probability and assertion, realism and anti-realism, and the limits of what can be known. The arguments are (...) illustrated by rigorous models based on epistemic logic and probability theory. The result is a new way of doing epistemology and a notable contribution to the philosophy of mind. (shrink)

Epistemic modals are standardly taken to be context-dependent quantifiers over possibilities. Thus sentences containing them get truth-values with respect to both a context and an index. But some insist that this relativization is not relative enough: `might'-claims, they say, only get truth-values with respect to contexts, indices, and—the new wrinkle—points of assessment (hence, CIA). Here we argue against such "relativist" semantics. We begin with a sketch of the motivation for such theories and a generic formulation of them. Then we catalogue (...) central problems that any such theory faces. We end by outlining an alternative story. (shrink)

I develop a new argument for an expressivist account of epistemic modals, which starts from a puzzle about epistemic modals which Seth Yalcin recently presented. I reject Yalcin's own solution to the puzzle, and give a better explanation based on expressivism concerning epistemic modals. I also address two alleged problems for expressivism: do embeddings of epistemic modals pose a serious threat to expressivism, and how can expressivism account for disagreements about statements containing epistemic modals?

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.

I think that there are good reasons to adopt a relativist semantics for epistemic modal claims such as ``the treasure might be under the palm tree'', according to which such utterances determine a truth value relative to something finer-grained than just a world (or a <world, time> pair). Anyone who is inclined to relativise truth to more than just worlds and times faces a problem about assertion. It's easy to be puzzled about just what purpose would be served by assertions (...) of this kind, and how to understand what we'd be up to in our use of sentences like ``the treasure might be under the palm tree'', if they have such peculiar truth conditions. After providing a very quick argument to motivate a relativist view of epistemic modals, I bring out and attempt to resolve this problem in making sense of the role of assertions with relativist truth conditions. Solving this problem should be helpful in two ways: first, it eliminates an apparently forceful objection to relativism, and second, spelling out the relativist account of assertion and communication will help to make clear just what the relativist position is, exactly, and why it's interesting. (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 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)

The second volume in the _Blackwell Brown Lectures in Philosophy_, this volume offers an original and provocative take on the nature and methodology of philosophy. Based on public lectures at Brown University, given by the pre-eminent philosopher, Timothy Williamson Rejects the ideology of the 'linguistic turn', the most distinctive trend of 20th century philosophy Explains the method of philosophy as a development from non-philosophical ways of thinking Suggests new ways of understanding what contemporary and past philosophers are doing.

In epistemology and in philosophy of language there is fierce debate about the role of context in knowledge, understanding, and meaning. Many contemporary epistemologists take seriously the thesis that epistemic vocabulary is context-sensitive. This thesis is of course a semantic claim, so it has brought epistemologists into contact with work on context in semantics by philosophers of language. This volume brings together the debates, in a set of twelve specially written essays representing the latest work by leading figures in the (...) two fields. All future work on contextualism will start here. Contributors: Kent Bach, Herman Cappelen, Andy Egan, Michael Glanzberg, John Hawthorne, Ernest Lepore, Peter Ludlow, Peter Pagin, Georg Peter, Paul M. Pietroski, Gerhard Preyer, Jonathan Schaffer, Jason Stanley, Brian Weatherson, Timothy Williamson. (shrink)

The simplest story about modals—might, must, possibly, necessary, have to, can, ought to, presumably, likelier, and the rest—is also the canon: modals are context-dependent quantifiers over a domain of possibilities. Different flavors of modality correspond to quantification over different domains of possibilities. Logical modalities quantify over all the possibilities there are, physical modalities over possibilities compatible with the..

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)

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)