Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of all (...) stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

The distinction between the a priori and the a posteriori is an old and influential one. But both the distinction itself and the crucial notion of a priori knowledge face powerful philosophical challenges. Many philosophers worry that accepting the a priori is tantamount to accepting epistemic magic. In contrast, this Element argues that the a priori can be formulated clearly, made respectable, and used to do important epistemological work. The author's conception of the a priori and its role falls short (...) of what some historical proponents of the notion may have hoped for, but it allows us to accept and use the notion without abandoning either naturalism or empiricism, broadly understood. This Element argues that we can accept and use the a priori without magic. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

I investigate syntactic notions of theoretical equivalence between logical theories and a recent objection thereto. I show that this recent criticism of syntactic accounts, as extensionally inadequate, is unwarranted by developing an account which is plausibly extensionally adequate and more philosophically motivated. This is important for recent anti-exceptionalist treatments of logic since syntactic accounts require less theoretical baggage than semantic accounts.

In “Truth by Convention” W.V. Quine gave an influential argument against logical conventionalism. Even today his argument is often taken to decisively refute logical conventionalism. Here I break Quine’s arguments into two— the super-task argument and the regress argument—and argue that while these arguments together refute implausible explicit versions of conventionalism, they cannot be successfully mounted against a more plausible implicit version of conventionalism. Unlike some of his modern followers, Quine himself recognized this, but argued that implicit conventionalism was explanatorily (...) idle. Against this I show that pace Quine’s claim that implicit conventionalism has no content beyond the claim that logic is firmly accepted, implicit rules of inference can be used to distinguish the firmly accepted from the conventional. As part of my case, I argue that positing syntactic rules of inference as part of our linguistic competence follows from the same methodology that leads contemporary linguists and cognitive scientists to posit rules of phonology, morphology, and grammar. The upshot of my discussion is a diagnosis of the fallacy in Quine’s master critique of logical conventionalism and a re-opening of possibilities for an attractive conventionalist theory of logic. (shrink)

This paper formulates a general epistemological argument against what I call non-causal realism, generalizing domain specific arguments by Benacerraf, Field, and others. First I lay out the background to the argument, making a number of distinctions that are sometimes missed in discussions of epistemological arguments against realism. Then I define the target of the argument—non-causal realism—and argue that any non-causal realist theory, no matter the subject matter, cannot be given a reasonable epistemology and so should be rejected. Finally I discuss (...) and respond to several possible responses to the argument. In addition to clearing up and avoiding numerous misunderstandings of arguments of this kind that are quite common in the literature, this paper aims to present and endorse a rigorous and fully general epistemological argument against realism. (shrink)

Several recent epistemologists have used understanding-assent links in theories of a priori knowledge and justification, but Williamson influentially argued against the existence of such links. Here I (1) clarify the nature of understanding-assent links and their role in epistemology; (2) clarify and clearly formulate Williamson’s arguments against their existence; (3) argue that Williamson has failed to successfully establish his conclusion; and (4) rebut Williamson’s claim that accepting understanding-assent links amounts to a form of dogmatism.

Some philosophers have argued that putative logical disagreements aren't really disagreements at all since when you change your logic you thereby change the meanings of your logical constants. According to this picture classical logicians and intuitionists don't really disagree, they just mean different things by terms like “not” and “or”. Quine gave an infamous “translation argument” for this view. Here I clarify the change of logic, change of meaning (CLCM) thesis, examine and find fault with Quine's translation argument for the (...) thesis, offer a modified translation argument in its stead, defend my modified argument from a crucial objection, discuss where the CLCM thesis leaves logical disputes, and discuss if and how the thesis coheres with Quine's influential view of logic. (shrink)

Paraconsistent dialetheism is the view that some contradictions are true and that the inference rule ex falso quod libet is invalid. A long-standing problem for paraconsistent dialetheism is that it has difficulty making sense of situations where people use locutions like ‘just true’ and ‘just false’. Jc Beall recently advocated a general strategy, which he terms shrieking, for solving this problem and thereby strengthening the case for paraconsistent dialetheism. However, Beall’s strategy fails, and seeing why it fails brings into greater (...) focus just how daunting the just-true problem is for the dialetheist. (shrink)

Variations on the argument “Inferences are moves from meaningful statements to meaningful statements; hence the meanings cannot be inferential roles” are often used as knock-down argument against inferentialism. In this short paper I indicate that the argument is simply a non sequitur.

Counterpossibles are counterfactuals that involve some metaphysical impossibility. Modal normativism is a non-descriptivist account of metaphysical necessity and possibility according to which modal claims, e.g. ‘necessarily, all bachelors are unmarried’, do not function as descriptive claims about the modal nature of reality but function as normative illustrations of constitutive rules and permissions that govern the use of ordinary non-modal vocabulary, e.g. ‘bachelor’. In this paper, I assume modal normativism and develop a novel account of counterpossibles and claims about metaphysical similarity (...) between possible and impossible worlds. I argue that considerations of metaphysical similarity between various impossible worlds and the actual world only require us to tacitly consider how the actual constitutive rules that govern the use of our terms change in order to accommodate the description of some hypothetical impossible scenario. I then argue for my account by raising worries for alternative epistemic and realist accounts of counterpossibles and showing how my account avoids those worries. (shrink)

In this paper I present how the normative inferentialist can make the distinction between sentence meaning and content of the utterance. The inferentialist can understand sentence meaning as a role conferred to that sentence by the rules governing inferential transitions and content of the utterance as just a part of sentence meaning. I attempt to show how such a framework can account for prominent scenarios presented by contextualists as a challenge to semantic minimalism/literalism. I argue that inferentialism can address contextualist (...) challenges in a simple and effective manner by understanding sentence meaning as broad, but invariant. (shrink)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

Robert Brandom’s inferentialism notoriously entails meaning holism, which has often been seen as unacceptable because it seems to make communication impossible. This paper aims to improve Brandom’s conception of communication as “navigation-across-perspectives” to reconcile meaning holism and the possibility of communication. The conception proposed here entails keeping track of speakers’ own and the other’s scores of commitments and entitlements. I argue that the whole of commonly endorsed inferences in each practice should determine the contents of utterances and those of the (...) commitments of the participants. The local norm defined by such inferences is holistic and can make sense of each other’s commitments. Contents or meaning can be primarily determined at the level of each practice, not that of an individual, the whole community, or the objective world. (shrink)

This paper examines the general prospects for conceptual role expressivism, expressivist theories that embrace conceptual role semantics. It has two main aims. The first aim is to provide a general characterisation of the view. The second aim is to raise a challenge for the general view. The challenge is to explain why normative concepts are not a species of defective concepts, where defective concepts are those that cannot meaningfully embed and participate in genuine inference. After rejecting existing attempts to answer (...) the challenge, I propose an alternative solution. However, the solution leaves conceptual role expressivism a far less distinctive and interesting position than its proponents claim. I conclude that we should be sceptical about how much expressivists gain by appealing to conceptual role semantics. (shrink)

What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...) thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)