Inferentialism

This article offers an overview of inferential role semantics. We aim to provide a map of the terrain as well as challenging some of the inferentialist’s standard commitments. We begin by introducing inferentialism and placing it into the wider context of contemporary philosophy of language. §2 focuses on what is standardly considered both the most important test case for and the most natural application of inferential role semantics: the case of the logical constants. We discuss some of the (alleged) benefits of logical inferentialism, chiefly with regards to the epistemology of logic, and consider a number of objections. §3 introduces and critically examines the most influential and most fully developed form of global inferentialism: Robert Brandom’s inferentialism about linguistic and conceptual content in general. Finally, in §4 we consider a number of general objections to IRS and consider possible responses on the inferentialist’s behalf

The Adoption Problem and Anti-Exceptionalism about Logic

Anti-exceptionalism about logic takes logic to be, as the name suggests, unexceptional. Rather, in naturalist fashion, the anti-exceptionalist takes logic to be continuous with science, and considers logical theories to be adoptable and revisable accordingly. On the other hand, the Adoption Problem aims to show that there is something special about logic that sets it apart from scientific theories, such that it cannot be adopted in the way the anti-exceptionalist proposes. In this paper I assess the damage the Adoption Problem causes for anti-exceptionalism, and show that it is also problematic for exceptionalist positions too. My diagnosis of why the Adoption Problem affects both positions is that the self-governance of basic logical rules of inference prevents them from being adoptable, regardless of whether logic is exceptional or not

On Logical and Scientific Strength

The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories

Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory

The Reliability Challenge and the Epistemology of Logic

We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I explicate the challenge both in general and for the particular case of logic. I also argue that two seemingly attractive responses – appealing to a faculty of rational insight or to the nature of concept possession – are incapable of answering the challenge

La irregularidad lógica y lo a priori constitutivo

Lo que llamaré ‘la objeción lógica irregular’ es una línea de ataque en contra del principio común y convincente  de que nuestra justificación de las verdades lógicas se fundamenta en la comprensión de sus conceptos  constituyentes. Esta objeción busca socavar la posibilidad de cualquier conexión constitutiva profunda, en la  epistemología de la lógica (y también más allá), entre la comprensión y la justificación. Mi tesis es que, si bien la objeción lógica irregular no llega a demostrar que este principio tradicional debe ser rechazado, no obstante,  sirve para reforzar algunos refinamientos importantes.What I will call ‘the deviant logician objection’ is one line of attack against the common and compelling tenet  that our justification for logical truths is grounded in our understanding of their constituent concepts. This  objection seeks to undermine the possibility of any deep constitutive connection, in the epistemology of logic  (and also beyond), between understanding and justification. My thesis is that while the deviant logician  objection falls short of proving that this traditional tenet must be rejected, nonetheless it serves to bolster some important refinements

Platonism in Lotze and Frege Between Psyschologism and Hypostasis

In the section “Validity and Existence in Logik, Book III,” I explain Lotze’s famous distinction between existence and validity in Book III of Logik. In the following section, “Lotze’s Platonism,” I put this famous distinction in the context of Lotze’s attempt to distinguish his own position from hypostatic Platonism and consider one way of drawing the distinction: the hypostatic Platonist accepts that there are propositions, whereas Lotze rejects this. In the section “Two Perspectives on Frege’s Platonism,” I argue that this is an unsatisfactory way of reading Lotze’s Platonism and that the Ricketts-Reck reading of Frege is in fact the correct way of thinking about Lotze’s Platonism

Modals and Modal Epistemology

I distinguish (§1) two projects in modal epistemology—one about how we come to know modal truths, and one about why we have the ability so to come to know. The latter, I suggest, (§§2–3) is amenable to an evolutionary treatment in terms of general capacities developed to evaluate quotidian modal claims. I compare (§4) this approach to a recent suggestion in a similar spirit by Christopher Hill and Timothy Williamson, emphasizing counterfactual conditionals instead of quotidian modals; I argue that while there are some reasons to prefer the quotidian modals approach, there are none favoring the Hill/Williamson counterfactual approach. I conclude (§5) with a suggestion that the remaining questions both approaches leave unanswered ought not to be too troubling

Anti-exceptionalism and the justification of basic logical principles

Anti-exceptionalism about logic is the thesis that logic is not special. In this paper, I consider, and reject, a challenge to this thesis. According to this challenge, there are basic logical principles, and part of what makes such principles basic is that they are epistemically exceptional. Thus, according to this challenge, the existence of basic logical principles provides reason to reject anti-exceptionalism about logic. I argue that this challenge fails, and that the exceptionalist positions motivated by it are thus unfounded. I make this case by disambiguating two senses of `basic' and showing that, once this disambiguation is taken into account, the best reason we have for thinking that there are basic principles actually implies that those principles do not require a special epistemology. Consequently, the existence of basic logical principles provides reason to accept, rather than reject, anti-exceptionalism concerning the epistemology of logic. I conclude by explaining how an abductivist, anti-exceptionalist approach to the epistemology of logic can accommodate the notion of basic logical principles