John MacFarlane

Patrick Todd argues for a modified Peircean view on which all future contingents are false. According to Todd, this is the only view that makes sense if we fully embrace an open future, rejecting the idea of actual future history. I argue that supervaluational accounts, on which future contingents are neither true nor false, are fully consistent with the metaphysics of an open future. I suggest that it is Todd's failure to distinguish semantic and postsemantic levels that leads him to suppose otherwise. I also show how one can resist Todd's argument (with Brian Rabern) that the conceptual possibility of omniscience requires us to reject Retro‐closure ().

Abstract“Absolutely nothing,” say the radical Bayesians. “Simplifying decisions,” say the moderates. “Providing premises in practical reasoning,” say the epistemologists. “Coordinating with others,” say I. It is hard to see how to construct an adequate theory of rational behavior without using a graded notion of belief, such as credence. But once we have credence, what role is left for belief? After surveying some answers to this question, I will explore the idea that belief is in a different line of work altogether. Its job is not to rationalize and explain an agent’s behavior, but to track what the agent would accept as a reason. Although some philosophers have seen the connection between belief and reasons, they have tended to see reasons as part of a theory of rational action. This locates belief in the rationalizing and explaining business, where it must vie with credence. In contrast, I argue that reasons play no essential role in an account of individual rationality; they are important because we need to coordinate with others. Credence and belief thus answer to separate needs.

"Philosophical logic" describes two distinct areas: the investigation of the fundamental concepts of logic, the formal investigation of alternatives and extensions to classical logic. The first is a philosophical discipline, concerned with notions like truth, propositions, necessity, logical consequence, vagueness, and reasoning. The second is a technical discipline, devoted to developing formal logical systems-modal logics, second-order logics, intuitionistic logics, relevance logics, logics of vagueness and conditionals-and proving things about them. Most texts in philosophical logic focus on one of these areas, but in this book John MacFarlane treats them together in an integrated way, showing how philosophical considerations motivate the technical projects, and how the constraints revealed by the technical projects illuminate the philosophical issues. Topics covered include quantifiers, modal logic, indicative conditionals, model-theoretic and proof-theoretic characterizations of logical consequence, intuitionistic logic, fundamental logical disagreement, relevance logic, the relation of logic and reasoning, and vagueness. Each chapter is organized around suggested readings and includes exercises. Key Features: An integrated treatment of the technical and philosophical issues comprising philosophical logic Written by a leading authority on logicism and logical form and a successful expositor and teacher Designed to serve students taking only one course in logic beyond the introductory level Provides tools and concepts necessary to understand work in many areas of analytic philosophy Includes exercises, suggested readings, and suggestions for further exploration in each chapter.

The central chapter of Burnyeat’s Map is organized like a commentary, moving through Metaphysics Ζ (and parts of Η) section by section. But unlike a commentary, it does not strive for comprehensiveness. Its aim is to describe the general lay of the land—what is being argued for where, in what way, and why— and so its exegesis is limited to Aristotle’s “signposts.” For example, every time Aristotle says “we must investigate” or “as we have seen,” Burnyeat asks “where?” As far as possible, he tries to construct his map on philological evidence, remaining neutral on many of the substantive issues that have defined readings of Ζ. The hope is that, map in hand, we can interpret Ζ’s notoriously obscure arguments with a better sense of their place in Aristotle’s overall project.

On Schiffer’s new view, propositions are easy to come by. Any that-clause can be counted on to express one. Thus, trivially, there are vague propositions, conditional propositions, moral and aesthetic propositions. And where propositions go, truth and falsity follow: barring paradoxical cases, Schiffer accepts instances of the schemata “the proposition that p is true iff p” and “the proposition that p is false iff not-p.” What isn’t easy to find, Schiffer thinks, is determinate truth. By the end of the book, we have heard that a huge number of the things we say or think are indeterminate in truth value: not just whether Schiffer’s book is long, but whether the property of being in pain is identical with any physical property, whether torturing children for fun is morally permissible, whether modus ponens is a valid inference rule, and whether someone else would have shot Kennedy if Oswald hadn’t. Indeed, on Schiffer’s view, there are no determinately true moral propositions and virtually no determinately true conditionals that are “likely to interest us”.

I can say that a building is tall and you can understand me, even if neither of us has any clear idea exactly how tall a building must be in order to count as tall. This mundane fact poses a problem for the view that successful communication consists in the hearer’s recognition of the proposition a speaker intends to assert. The problem cannot be solved by the epistemicist’s usual appeal to anti-individualism, because the extensions of vague words like ‘tall’ are contextually fluid and can be constrained significantly by speakers’ intentions. The problem can be seen as a special case of a more general problem concerning what King has called “felicitous underspecification.” Traditional theories of vagueness offer nothing that can help with this problem. Appeals to diagonalization do not help either. A more radical solution is needed.

One approach to the problem is to keep the orthodox notion of a proposition but innovate in the theory of speech acts. A number of philosophers and linguists have suggested that, in cases of felicitous underspecification, a speaker asserts a “cloud” of propositions rather than just one. This picture raises a number of questions: what norms constrain a “cloudy assertion,” what counts as uptake, and how is the conversational common ground revised if it is accepted? I explore three different ways of answering these questions, due to Braun and Sider, Buchanan, and von Fintel and Gillies. I argue that none of them provide a good general response to the problem posed by felicitous underspecification. However, the problems they face point the way to a more satisfactory account, which innovates in the theory of content rather than the theory of speech acts.

This lecture presents my own solution to the problem posed in Lecture I. Instead of a new theory of speech acts, it offers a new theory of the contents expressed by vague assertions, along the lines of the plan expressivism Allan Gibbard has advocated for normative language. On this view, the mental states we express in uttering vague sentences have a dual direction of fit: they jointly constrain the doxastic possibilities we recognize and our practical plans about how to draw boundaries. With this story in hand, I reconsider some of the traditional topics connected with vagueness: bivalence, the sorites paradox, higher-order vagueness, and the nature of vague thought. I conclude by arguing that the expressivist account can explain, as its rivals cannot, what makes vague language useful.

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and every theorem of arithmetic can be proved using only the basic laws of logic. Hence, Kant was wrong to think that our grasp of arithmetical concepts and our knowledge of arithmetical truth depend on an extralogical source—the pure intuition of time (Frege 1884, §89, §109). Arithmetic, properly understood, is just a part of logic.

This paper motivates and explores an expressivist theory of vagueness, modelled on Allan Gibbard’s normative expressivism. It shows how Chris Kennedy’s semantics for gradable adjectives can be adjusted to fit into a theory on Gibbardian lines, where assertions constrain not just possible worlds but plans for action. Vagueness, on this account, is literally indecision about where to draw lines. It is argued that the distinctive phenomena of vagueness, such as the intuition of tolerance, can be explained in terms of practical constraints on plans, and that the expressivist view captures what is right about several contending theories of vagueness.

Much philosophy of logic is shaped, explicitly or implicitly, by the thought that logic is distinctively formal and abstracts from material content. The distinction between formal and material does not appear to coincide with the more familiar contrasts between a priori and empirical, necessary and contingent, analytic and synthetic—indeed, it is often invoked to explain these. Nor, it turns out, can it be explained by appeal to schematic inference patterns, syntactic rules, or grammar. What does it mean, then, to say that logic is distinctively formal?

One of the central themes of Brandom’s work is that we should construct our sematic theories around material validity and incompatibility, rather than reference, truth, and satisfaction. This approach to semantics is motivated in part by Brandom’s pragmatism about the relation between semantics and the more general study of language use—what he calls “pragmatics”: Inferring is a kind of doing. . . . The status of inference as something that can be done accordingly holds out the promise of securing an appropriate relation between pragmatics, the study of the practices, and semantics, the study of the corresponding contents. (MIE, 91)1 Although Brandom does not go so far as to say that a pragmatist attitude to the relation between semantics and pragmatics requires an inferentialist semantics, his motivating arguments strongly suggest that a pragmatist ought to be an inferentialist. In what follows, I discuss the connections between Brandom’s pragmatism and his inferentialism. I’ll argue that pragmatism, as Brandom initially describes it—the view that “semantics must answer to pragmatics”—does not favor an inferentialist approach to semantics over a truth-conditional one. I’ll then consider whether inferentialism might be..

It is taken for granted in much of the literature on vagueness that semantic and epistemic approaches to vagueness are fundamentally at odds. If we can analyze borderline cases and the sorites paradox in terms of degrees of truth, then we don’t need an epistemic explanation. Conversely, if an epistemic explanation suffices, then there is no reason to depart from the familiar simplicity of classical bivalent semantics. I question this assumption, showing that there is an intelligible motivation for adopting a many-valued semantics even if one accepts a form of epistemicism. The resulting hybrid view has advantages over both classical epistemicism and traditional many-valued approaches.

Recent years have seen an explosion of interest in the semantics of knowledge-attributing sentences, not just among epistemologists but among philosophers of language seeking a general understanding of linguistic context sensitivity. Despite all this critical attention, however, we are as far from consensus as ever. If we have learned anything, it is that each of the standard views—invariantism, contextualism, and sensitive invariantism—has its Achilles’ heel: a residuum of facts about our use of knowledge attributions that it can explain only with special pleading. This is not surprising if, as I will argue, there is a grain of truth in each of these views.

In recent work, John McDowell has urged that we resurrect the Kantian thesis that concepts without intuitions are empty. I distinguish two forms of the thesis: a strong form that applies to all concepts and a weak form that is limited to empirical concepts. Because McDowell rejects Kant’s philosophy of mathematics, he can accept only the weaker form of the thesis. But this position is unstable. The reasoning behind McDowell’s insistence that empirical concepts can have content only if they are actualizable in passive experience makes it mysterious how the concepts of pure mathematics can have content. In fact, historically, it was anxiety about the possibility of mathematical content, and not worries about the “Myth of the Given,” that spurred the retreat from Kantian views of empirical content. McDowell owes us some more therapy on this score.

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.

To assert something is to perform a certain kind of act. This act is different in kind both from other speech acts, like questions, requests, commands, promises, and apologies, and from acts that are not speech acts, like toast buttering and inarticulate yodeling. My question, then is this: what features of an act qualify it as an assertion, and not one of these other kinds of act? To focus on a particular example: in uttering “Bill will close the window,” one might be practicing English pronunciation, asserting that Bill will close the window, or requesting that Bill close the window. What makes it the case that one is doing one of these and not another?

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.3 (2001) 454-456 [Access article in PDF] Michael Potter. Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap.New York: Oxford University Press, 2000. Pp. x + 305. Cloth, $45.00. This book tells the story of a remarkable series of answers to two related questions:(1) How can arithmetic be necessary and knowable a priori? [End Page 454](2) What accounts for the applicability of arithmetic to matters of empirical fact?These are philosophical questions, part of a "wider puzzle of explaining the link between experience, language, thought, and the world" (18). But answers to them are heavily constrained by technical results in logic and mathematics, and most of Potter's protagonists are either mathematicians (Frege, Dedekind, Ramsey, Hilbert, Gödel) or mathematically trained philosophers (Kant, Russell, Carnap). (Only Wittgenstein fits neither category.) Potter, whose doctorate was in pure mathematics, is an able guide.It is not hard to think of answers to these questions taken singly; what is hard is answering both at the same time. Formalists can easily explain why arithmetic does not depend for its justification on empirical fact—it is just a game with symbols, not responsible to anything beyond its own rules—but they then have trouble explaining why the world of empirical fact is constrained by this game. Empiricists can explain the applicability of arithmetic in just the same way they explain the applicability of physics, but they then must then explain away the apparent a prioricity and necessity of arithmetic. Kant was the first to propose a plausible answer to both questions: arithmetic is both necessary and empirically applicable because it is grounded in the spatio-temporal form of any possible experience.What unites Frege, Dedekind, Russell, Ramsey, Hilbert, and Carnap is that they reject Kant's answer while continuing to seek an answer to his question: how can arithmetic's necessity be reconciled with its applicability? Potter helpfully classifies their projects by the surrogates they substitute for Kant's appeal to the form of spatio-temporal intuition: Frege and Dedekind appeal to thought, Russell to necessary features of the world, Wittgenstein, Ramsey, and Carnap to language, and Hilbert to the necessary structure of our experience of finitary combinations of objects. (Revealingly, the logicists are not grouped together in Potter's taxonomy.) A chapter (or two) is devoted to each of these thinkers, plus Kant and Gödel.This breadth of coverage does not come at the price of superficiality: Potter's chapters are (by and large) accurate, penetrating, and full of interesting insights. I cannot think of another book that offers such clear explanations of the many mathematical concepts and distinctions one must grasp in order to follow debates in the philosophy of arithmetic. The Russell chapters are enhanced by numerous quotations from archival material. The exposition of Hilbert's programme and the implications for it of Gödel's theorems is the best I have seen. The discussions of Wittgenstein's views on arithmetic and of Carnap's syntactical approach also shine. The chapters on Kant and Frege are somewhat weaker; the discussion of Kant, in particular, would have benefited from some engagement with Michael Friedman's views.But the real contribution of Potter's book is its integration of these nine thinkers into a single coherent story. No one will be surprised that Russell's motivations can only be understood in light of Frege's failures, or that many features of Wittgenstein's cryptic work become clearer when seen in light of the specific problems with Russell's system. But there are also some less obvious payoffs: for example, Hilbert's programme is usefully compared with Russell's regressive method (227-8), and Carnap and Russell are shown to face a common dilemma (269, 286).If there is a central theme to Potter's story, it is "how often we have had to reject an [End Page 455] account not for philosophical reasons but for technical ones" (278). Frege's program founders on Russell's paradox, Russell's...