Argues that the answer is yes. The epistemic assumptions of moral theory deprive us of resources needed to resist the challenge of moral disagreement, which its practice at the same time makes vivid. The paper ends by sketching a kind of epistemology that can respond to disagreement without skepticism: one in which the fundamental standards of justification for moral belief are biased toward the truth.

In this age of post-Moorean modesty, many of us are inclined to doubt that philosophy is in possession of arguments that might genuinely serve to undermine what we ordinarily believe. It may perhaps be conceded that the arguments of the skeptic appear to be utterly compelling; but the Mooreans among us will hold that the very plausibility of our ordinary beliefs is reason enough for supposing that there must be something wrong in the skeptic’s arguments, even if we are unable (...) to say what it is. In so far then, as the pretensions of philosophy to provide a world view rest upon its.. (shrink)

Intuitively, it seems that some belief-forming practices have the following three properties: 1. They are rational practices, and the beliefs that we form by means of these practices are themselves rational or justified beliefs. 2. Even if in most cases these practices reliably lead to correct beliefs (i.e., beliefs in true propositions), they are not infallible: it is possible for beliefs that are formed by means of these practices to be incorrect (i.e., to be beliefs in false propositions). 3. The (...) rationality of these practices is basic or primitive. That is, the rationality of these practices is not due simply to the availability, by means of some process of reasoning that relies purely on other practices, of a rational or justified belief in the reliability of these practices. -/- How can there be such practices? This paper offers an answer to that question. (shrink)

Normativism in the theory of meaning and content is the view that linguistic meaning and/or intentional content are essentially normative. As both normativity and its essentiality to meaning/content can be interpreted in a number of different ways, there is now a whole family of views laying claim to the slogan “meaning/content is normative”. In this essay, we discuss a number of central normativist theses, and we begin by identifying different versions of meaning normativism, presenting the arguments that have been put (...) forth for and against them. (shrink)

Particularists in material-object metaphysics hold that our intuitive judgments about which kinds of things there are and are not are largely correct. One common argument against particularism is the argument from arbitrariness, which turns on the claim that there is no ontologically significant difference between certain of the familiar kinds that we intuitively judge to exist (snowballs, islands, statues, solar systems) and certain of the strange kinds that we intuitively judge not to exist (snowdiscalls, incars, gollyswoggles, the fusion of the (...) my nose and the Eiffel Tower). Particularists frequently respond by conceding that there is no ontologically significant difference and embracing some sort of deflationary metaontology (relativism, constructivism, quantifier variance). I show -- by identifying ontologically significant differences -- that the argument can be resisted without retreating to any sort of deflationary metaontology. (shrink)

A central method within analytic philosophy has been to construct thought experiments in order to subject philosophical theories to intuitive evaluation. According to a widely held view, philosophical intuitions provide an evidential basis for arguments against such theories, thus rendering the discussion rational. This method has been the predominant way to approach theories formulated as conditional or biconditional statements. In this paper, we examine selected theories of musical expressivity presented in such logical forms, analyzing the possibilities for constructing thought experiments (...) against them. We will argue that philosophical intuitions are not available for the evaluation of the types of counterarguments that would need to be constructed. Instead, the evaluation of these theories, to the extent that it can succeed at all, will centrally rely on inferential, non-immediate access to our subjective musical experiences. Furthermore, attempted thought experiments lose their methodological function because no proper distinction can be drawn between the persons figuring in the thought-experimental scenario and the evaluator of the scenario. Consequently, some of the central contributions to what is generally understood to be analytic philosophy of art are shown to represent a form of aesthetic criticism, offering much less basis for rational argumentation than is often thought. (shrink)

Many theorists hold that there is, among value concepts, a fundamental distinction between thin ones and thick ones. Among thin ones are concepts like good and right. Among concepts that have been regarded as thick are discretion, caution, enterprise, industry, assiduity, frugality, economy, good sense, prudence, discernment, treachery, promise, brutality, courage, coward, lie, gratitude, lewd, perverted, rude, glorious, graceful, exploited, and, of course, many others. Roughly speaking, thick concepts are value concepts with significant descriptive content. I will discuss a number (...) of problems having to do with how best to understand the notion of a thick concept. Thick concepts have been widely discussed in the .. (shrink)

I discuss some problems faced by the meaning‐inconsistency view on the liar and sorites paradoxes which I have elsewhere defended. Most of the discussion is devoted to the question of what a defender of the meaning‐inconsistency view should say about semantic competence.

What sorts of things are the intuitions generated via thought experiment? Timothy Williamson has responded to naturalistic skeptics by arguing that thought-experiment intuitions are judgments of ordinary counterfactuals. On this view, the intuition is naturalistically innocuous, but it has a contingent content and could be known at best a posteriori. We suggest an alternative to Williamson's account, according to which we apprehend thought-experiment intuitions through our grasp on truth in fiction. On our view, intuitions like the Gettier intuition are necessarily (...) true and knowable a priori. Our view, like Williamson's, avoids naturalistic skepticism. (shrink)

My aim in this paper is to develop and defend a novel answer to a question that has recently generated a considerable amount of controversy. The question concerns the normative significance of peer disagreement. Suppose that you and I have been exposed to the same evidence and arguments that bear on some proposition: there is no relevant consideration which is available to you but not to me, or vice versa. For the sake of concreteness, we might picture.

The term ‘naturalism’ has no very precise meaning in contemporary philosophy. Its current usage derives from debates in America in the first half of the last century. The self-proclaimed ‘naturalists’ from that period included John Dewey, Ernest Nagel, Sidney Hook and Roy Wood Sellars. These philosophers aimed to ally philosophy more closely with science. They urged that reality is exhausted by nature, containing nothing ‘supernatural’, and that the scientific method should be used to investigate all areas of reality, including the (...) ‘human spirit’ (Krikorian 1944, Kim 2003). (shrink)

It’s natural to say that when it’s rational for me to φ, I have reasons to φ. That is, there are reasons for φ-ing, and moreover, I have some of them. Mark Schroeder calls this view The Factoring Account of the having reasons relation. He thinks The Factoring Account is false. In this paper, I defend The Factoring Account. Not only do I provide intuitive support for the view, but I also defend it against Schroeder’s criticisms. Moreover, I show that (...) it helps us understand the requirements of substantive rationality, or what we are rationally required to do when responding to reasons. (shrink)

Hume's Dictum (HD) says, roughly and typically, that there are no metaphysically necessary connections between distinct, intrinsically typed, entities. HD plays an influential role in metaphysical debate, both in constructing theories and in assessing them. One should ask of such an influential thesis: why believe it? Proponents do not accept Hume's arguments for his dictum, nor do they provide their own; however, some have suggested either that HD is analytic or that it is synthetic a priori (that is: motivated by (...) intuitions we have no good reason to question). Here I explore whether belief in HD is directly justified on either grounds. I motivate and present more formal characterizations of HD; I show that there are good prima facie cases to be made for HD's being analytic and for its being synthetic a priori; I argue that each of the prima facie cases fails, some things considered. I close by offering two suggestions for how belief in HD might be indirectly justified on argumentative grounds. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

The legacy of the Platonic dialogues may well lie, not in any classical idealist “doctrine of forms,” but in an inquisitive stance towards the puzzle behind any such doctrine—how thought can be about anything at all. This Platonic puzzle may, however, yield a different guise of idealism that is recognizably diagnostic: it aims to dispel our worry about thought’s objectivity as a confusion, engendered by a self-alienation of thought. These themes of diagnosis and idealism resurface in Wittgenstein, who in his (...) treatment of rules calls for an understanding of thought’s normativity from within. This is taken up by Cora Diamond, who urges philosophy to attend to thought’s real needs by exorcizing any desire for agreement with something other than itself. I argue that Wittgenstein and Diamond lead us back to Kant’s idealism, which identifies transcendental realism as the deep-seated prejudice at the root of the puzzle. (shrink)

The paper aims to offer an account of the cognitive capacities involved in judgements about thought experiments, without appealing to the notions of analyticity or intuition. I suggest that we employ a competence in the application of the relevant concepts. In order to address the worry that this suggestion is not explanatory, I look at some theories of concepts discussed in psychology, and I use them to illustrate how such competence might be realized. This requires, crucially, distinguishing between concepts and (...) ways of applying concepts, or conceptions. I end by considering a possible objection and comparing my account with a similar one defended by David Papineau. (shrink)

Easy Ontology (EO), defended in several recent works by Amie Thomasson, and based on Carnap’s famous deflationism about metaphysics, is the view that many ontological questions, like ‘Are there numbers?’, are at bottom easy, at least when taken in their “internal” sense. Both Carnap and Thomasson take for granted that serious metaphysicians therefore cannot plausibly be interpreted as asking internal questions. Thus, they think they are committed to finding some alternative, special interpretation of metaphysicians’ utterances. I argue that none of (...) the alternative interpretations proposed in the literature are viable. More importantly, I argue that Carnap and Thomasson are wrong about this commitment. EO should instead be coupled with the view that metaphysicians ask internal questions, yet have the false belief that they can be answered only through metaphysical speculation. This is a significant modification of EO, in which the notion of an “external question” plays no role, and which results in a simpler and more plausible theory. (shrink)

If someone disagrees with my moral views, or more generally if I’m in a group of n people who all disagree with each other, but I don’t have any special evidence or basis for my epistemic superiority, then it’s at best a 1-in-n chance that my views are correct. The skeptical threat from disagreement is thus a kind of moral lottery, to adapt a similar metaphor from Sharon Street. Her own genealogical debunking argument, as I discuss, relies on a premise (...) of such disagreement among evolutionary counterparts. -/- In this paper, I resist the threat from disagreement by showing that, on some of the most influential and most attractive theories of content determination, the premise of moral disagreement cannot serve any skeptical or revisionary purposes. I examine and criticize attempts, made by Gilbert Harman and Sharon Street, to argue from disagreement to relativism by relying on a theory of content determination that involves a principle that, within certain constraints, maximizes the attribution to us of true beliefs. And I examine and criticize Robert Williams’s attempt to show there is moral disagreement by relying on a theory of content determination that involves a principle that instead maximizes the attribution to us of rationality. My overall aim is to defend commonsense moral realism via a careful look at the theory of content and concepts. (shrink)

Thought experiments play a role in science and in some central parts of contemporary philosophy. They used to play a larger role in philosophy of science, but have been largely abandoned as part of the field’s “practice turn”. This chapter discusses possible roles for thought experimentation within a practice-oriented philosophy of science. Some of these roles are uncontroversial, such as exemplification and aiding discovery. A more controversial role is the reliance on thought experiments to justify philosophical claims. It is proposed (...) that if we adopt an underlying empiricist view of concepts, then thought experiments can be seen as affording us contact with scientific practice, despite their seemingly a priori character. The advantages and drawbacks of thought experiments are discussed via comparison with case studies, on the one, and simulations on the other hand. The chapter closes with some remarks on how to combine thought experiments with other methods. (shrink)

To a large extent, the evidential base of claims in the philosophy of science has switched from thought experiments to case studies. We argue that abandoning thought experiments was a wrong turn, since they can effectively complement case studies. We make our argument via an analogy with the relationship between experiments and observations within science. Just as experiments and ‘natural’ observations can together evidence claims in science, each mitigating the downsides of the other, so too can thought experiments and case (...) studies be mutually supporting. After presenting the main argument, we look at potential concerns about thought experiments, suggesting that a judiciously applied mixed-methods approach can overcome them. (shrink)

Michael T. Stuart (2021 and 2022) has proposed imagination as an intellectual dual‐process virtue, consisting of imagination1 (underwritten by cognitive Type 1 processing) and imagination2 (supported by Type 2 processing). This paper investigates the consequences of taking such an account seriously. It proposes that the dual‐process view of imagination allows us to incorporate recent insights from virtue epistemology, providing a fresh perspective on how imagination can be epistemically reliable. The argument centers on the distinction between General Reliability (GR) and Functional (...) System Reliability (FSR), for example in relation to Kengo Miyazono and Uko Tooming's (2023) argument for epistemic generativity. Furthermore, the paper claims that the dual‐process virtue account enables us to integrate a wide range of findings from the literature on epistemology and imagination. Moreover, it suggests a novel way to distinguish the virtues of creativity and imagination and presents a case for viewing imagination as a virtue rather than a skill. (shrink)

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep disagreement we (...) aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. (shrink)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie Plumwood's feminist argument for a relevance (...) logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)

Metaphysicians who are aware of modern physics usually follow Putnam (1967) in arguing that Special Theory of Relativity is incompatible with the view that what exists is only what exists now or presently. Partisans of presentism (the motto ‘only present things exist’) had very difficult times since, and no presentist theory of time seems to have been able to satisfactorily counter the objection raised from Special Relativity. One of the strategies offered to the presentist consists in relativizing existence to inertial (...) frames. This unfashionable strategy has been accused of counterfeiting, since the meaning of the concept of existence would be incompatible with its relativization. Therefore, existence could only be relativistically invariant. In this paper, I shall examine whether such an accusation hits its target, and I will do this by examining whether the different criteria of existence that have been suggested by the Philosophical Tradition from Plato onwards imply that existence cannot be relativized. (shrink)

Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest that (...) the necessary conditions of thought are necessary and sufficient conditions singling out the correct logical and mathematical theories. In the contemporary debate, Chalmers advocates a view along this line. Jago, analogously, suggests that the necessary conditions for thought—or, as he calls them, our basic epistemic expectations—single out a family of logical and mathematical theories. Warren and Williamson, on the other hand, argue that there are no necessary conditions of thought. I argue that there are necessary conditions for thought, and these are necessary but not sufficient conditions to be the correct logic; indeed, these are features that all logics—correct or incorrect—share. No view we can understand is ruled out by the necessary conditions for thought, but we cannot understand quite any view. Human linguistic and conceptual abilities are genetically constrained, and these constraints are our best guide to the boundaries of logic. Arguing for this, I tackle two dogmas of modern rationalism: namely, the view that the biological constraints of human cognition have no bearing on the boundaries of the epistemic space, and the view that the boundaries of thought coincide with the boundaries of language. (shrink)

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. -/- The chapters of which this book is composed discuss the (...) subject from a rich variety of angles, including the history of logic, the proper interpretation of logical validity, natural deduction rules, the notions of harmony and of synonymy, the structure of proofs, the logical status of equality, intentional phenomena, and the proof theory of second-order arithmetic. All chapters relate directly to questions that have driven Schroeder-Heister's own research agenda and to which he has made seminal contributions. The extensive autobiographical chapter not only provides a fascinating overview of Schroeder-Heister's career and the evolution of his academic interests but also constitutes a contribution to the recent history of logic in its own right, painting an intriguing picture of the philosophical, logical, and mathematical institutional landscape in Germany and elsewhere since the early 1970s. The papers collected in this book are illuminatingly put into a unified perspective by Schroeder-Heister's comments at the end of the book. Both graduate students and established researchers in the field will find this book an excellent resource for future work in proof-theoretic semantics and related areas. (shrink)

Questions surrounding deep disagreement have gained significant attention in recent years. One of the central debates is metaphysical, focusing on the features that make a disagreement deep. Proposals for what makes disagreements deep include theories about hinge propositions and first epistemic principles. In this paper, I criticize this metaphysical discussion by arguing that it is methodologically flawed. Deep disagreement is a technical or semi-technical term, but the metaphysical discussion mistakenly treats it as a common-sense concept to be analyzed and captured (...) by our pre-theoretical intuitions. Since the literature on deep disagreement is subject to this fundamental confusion and deep disagreement is not a helpful umbrella term either, I propose eliminating the notion of deep disagreement from the philosophical discourse. Instead of analyzing the nature of deep disagreement, we should develop theories about different forms of disagreement, including disagreement about hinge propositions and disagreement about epistemic principles, and, in particular, a theory of rationally irresolvable disagreement. (shrink)

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

For Kant, philosophical investigations are inherently analytic. The proper method of philosophy is analysis, and the object of analysis are concepts. Hence, Kant’s short description of philosophy as “rational cognition […] from concepts” (KrV, A 837/B 865) can be substituted by “philosophy is conceptual analysis”. The article shows that Kant follows a representationalism about concepts and a combination of intensional and extensional feature semantics. Against the claim that Kant is a proponent of the concept-judgement-inversion, it is argued that concepts are (...) being articulated in form of singular terms, propositions, and sets of propositions alike. Kant interlinks different kinds of concepts with different kinds of definitions, as the reconstruction of his theory of definitions reveals. Philosophy foremost deals with what Kant calls “given” empirical and pure concepts. Such concepts are object of analysis, i.e., explication and exposition. The article ends with answers to five possible objections. Is philosophy all about analysis? (shrink)

H.-J. Glock has made important contributions to discussions of rationality, reasons, and rules. This chapter addresses four conceptions of rationality that Glock identifies. One of these conceptions of rationality is that rationality consists in responsiveness to reasons. This chapter goes on to consider the idea that reasons became prominent in normative ethics because of their usefulness in articulating moral pluralism. The final section of the chapter connects reasons and rules and contends that both are ineliminable.

This chapter proceeds from the standard picture of the relation between intuitions and experimental philosophy: the alleged evidential role of intuitions about hypothetical cases, and experimental philosophy’s challenge to these judgments, based on their variation with philosophically irrelevant factors. I will survey some of the main defenses of this standard picture against the x-phi challenge, most of which fail. Concerning the most popular defense, the expertise defense, I will draw the bleak conclusion that intuitive expertise of the envisaged kind is (...) largely a myth. Next, I will consider the mischaracterization objection, which has mainly been developed by Deutsch and Cappelen on the basis of textual evidence: that philosophers do not appeal to intuitions as evidence for their case judgments, but instead argue for them. This would render the x-phi challenge mostly irrelevant, due to its focus on intuitions about hypothetical cases. I will then consider a few instructive replies to the mischaracterization objection, which are all unconvincing on further inspection. Finally, I will discuss some potential normative consequences of the mischaracterization objection, and I will argue that it recommends a shift away from the excessive focus on intuitions about cases in metaphilosophy and experimental philosophy, towards more work on the role of argumentation in the method of cases. More speculatively, I claim that philosophers should always argue for their case judgments, even if they have strong intuitions about them, because an argument-based methodology would be more transparent and philosophically fruitful than one that mainly relies on intuition. (shrink)

According to ordinary language philosophy (OLP), philosophical problems can be solved by investigating ordinary language, often because the problems stem from its misuse. According to ideal language philosophy (ILP), on the other hand, philosophical problems exist because ordinary language is flawed and has to be improved or replaced by constructed languages that do not exhibit these flaws. OLP and ILP together make up linguistic philosophy, the view that philosophical problems are problems of language. Linguistic philosophy is opposed to what may (...) be called, for lack of a better word, ‘traditional philosophy’ (TP), the view that philosophical problems can be solved by discovering non-linguistic facts. In the following, OLP, ILP, and TP are taken to be methodologies, that is, frameworks in which to interpret and evaluate different philosophical methods (i.e., argumentative strategies). The two linguistic methodologies are discussed separately with TP as a foil, and then used to interpret the status of different philosophical methods. While each of the methods discussed here finds a plausible interpretation in each methodology, there are other arguments for and against linguistic philosophy in general, and for and against ILP and OLP in particular. As none of these arguments is decisive, I conclude with a superficial moral about peaceful co-existence. (shrink)

While recent history has seen significant debate concerning the nature and extension of essence, comparatively little attention has been paid to the epistemology of essence. This is strange, as, plausibly, what answers we give to the metaphysical questions about essence will (or should) be partially constrained by our essence epistemology. Here, I aim to go some way towards filling this lacuna. In particular, I here argue that there is no plausible epistemic story available for non-modal accounts of essence. In particular, (...) existing accounts of essence epistemology cannot explain how we are able to know that something is genuinely essential, rather than merely necessary. One consequence is that modal accounts of essence – which only needs to supply an epistemology for a non-hyperintensional notion – look that much more plausible. (shrink)

An object-based correspondence theory of truth holds that a truth-bearer is true whenever its truth conditions are met by objects and their properties. In order to develop such a view, the principal task is to explain how truth-bearers become endowed with their truth conditions. Modern versions of the correspondence theory see this project as the synthesis of two theoretical endeavours: basic metasemantics and compositional semantics. Basic metasemantics is the theory of how simple, meaningful items (e.g. names and concepts) are endowed (...) with their contributions to truth conditions, and compositional semantics is the theory of how the meanings of simple items compose to generate (among other things) the truth conditions of sentences. Understanding truth along these broad lines was once popular; it was first championed by Field (1972). However, the once-popular conception of its tasks included an over-ambitious view of basic metasemantics. It was thought that reference needed to be analyzed (or reduced a posteriori) in terms of more fundamental, non-semantic relations (e.g. causal relations, indication, or teleological relations, in the case of mental representation). Obstacles in providing such an analysis engendered skepticism towards this understanding of truth and eventually gave way to its deflationary competitors. This dissertation aims to defend the modern, object-based correspondence theory against its rivals—especially deflationism. Chapter one provides a historically-grounded overview of the theory. Chapter two identifies two points of contrast between the correspondence theorist and the deflationist: they employ different orders of explanation for the variety of semantic phenomena, and they (traditionally) take different attitudes towards the prospects of reduction. Situating the dialectic in this way allows me to develop a middle ground: a moderate version of inflationism that takes the inflationary explanatory structure and combines it with a non-reductive, pluralist approach to basic metasemantics. Chapter three expands on the details of this pluralist account of reference. Chapter four contrasts the view with another rival approach to basic metasemantics: metasemantic interpretationism. And finally, chapter five applies the theory to answer another question of broad philosophical interest: what role does our conception of truth play in inquiry about the world? (shrink)

This chapter examines the three projects that constitute contemporary African epistemology and suggests various ways in which they can be put on a firmer footing, and by so doing advance the epistemic goal of the discipline. These three projects include ethno-epistemology, analytic African epistemology and what one might call ameliorative African epistemology. Ethno-epistemology is the study of the phenomenon of knowledge from the perspective of particular African communities as revealed in their cultural heritage, proverbs, folklores, traditions, and practices. Analytic African (...) epistemology involves the philosophical study of concepts such as ‘knowledge,’ ‘justification,’ ‘belief’ and ‘truth’ from the African perspective using the methods of analysis, criticism, arguments, ordinary language philosophy, and so on. And finally, ameliorative African epistemology addresses the predicament of African knowledge systems and voices in the global knowledge and credibility economy within the broader context of the problem of epistemic injustice suffered by historically marginalized groups. (shrink)

A philosopher argues that state-sponsored cyberattacks against central military or civilian targets are always acts of war. What is this philosopher doing? According to conceptual analysts, the philosopher is making a claim about our concept of war. According to philosophical realists, the philosopher is making a claim about war per se. In a quickly developing literature, a third option is being explored: the philosopher is engineering the concept of war. On this view, the philosopher is making a proposal about which (...) concept we should have – even if it deviates from the extant concept, and even if it does not capture ‘what war really is’. The activity or method of proposing such revisionary definitions, as well as the metaphilosophical reflection on it, has become known as conceptual engineering. (shrink)

This paper discusses the Uniqueness Thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

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)

For many, putting in doubt the existence of phenomenal consciousness is absurd since the distinction between appearance and reality does not apply to it. Many cognitive scientists and neuroscientists accept the existence of consciousness in virtue of such reasoning. The present work questions that justification. Consciousness is a concept whose scientific meaning comes from philosophy or colloquial language. From this, it concludes that the “self-evident nature of consciousness” is not a scientifically valid statement. This philosophical assumption rests on a category (...) mistake in scientific language use. (shrink)

The transformative power of artificial intelligence (AI) is coming to philosophy—the only question is the degree to which philosophers will harness it. In this paper, we argue that the application of AI tools to philosophy could have an impact on the field comparable to the advent of writing, and that it is likely that philosophical progress will significantly increase as a consequence of AI. The role of philosophers in this story is not merely to use AI but also to help (...) develop it and theorize about it. In fact, we argue that philosophers have a prima facie obligation to spend significant effort in doing so, at least insofar as they should spend effort philosophizing. (shrink)

As we understand them, dispositions are relatively uncontroversial 'predicatory' properties had by objects disposed in certain ways. By contrast, powers are hypothetical 'ontic' properties posited in order to explain dispositional behaviour. Chapter 1 outlines this distinction in more detail. Chapter 2 offers a summary of the issues surrounding analysis of dispositions and various strategies in contemporary literature to address them, including one of our own. Chapter 3 describes some of the important questions facing the metaphysics of powers including why they're (...) worth positing, and how they might metaphysically explain laws of nature and modality. (shrink)

In this paper, I outline and defend a traditional yet controversial view of conceptual analysis, particularly as it is used in epistemology. I will defend the view against a number of objections, all of which focus on the idea that conceptual analysis relies upon linguistic intuitions. Rather than trying to deny this claim, I will seek to vindicate the use of conceptual analysis within epistemology even given its reliance on linguistic intuitions. To do so, I first outline the view of (...) conceptual analysis I have in mind and then respond to three broad objections from Quill Kukla, Allan Hazlett and Stephen Stich. (shrink)

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. (shrink)

We present a new puzzle about logical truth, necessity, and moral responsibility. We defend one solution to the puzzle. A corollary of our preferred solution is that prominent arguments for the incompatibility of determinism and moral responsibility are invalid.

In filosofia spesso si segue un metodo stando al quale una tesi o teoria che sia più in sintonia con il senso comune deve essere preferita alle posizioni meno in sintonia con esso, per lo meno fino a quando non si mostri che quella tesi o teoria è inadeguata e che una delle posizioni avverse costituisce un adeguato sostituto. Nel presente contributo si vuole offrire una caratterizzazione della nozione di senso comune generalmente in uso nei dibattiti filosofici contemporanei; illustrare criticamente (...) i principali metodi impiegabili per determinare contenuti filosoficamente rilevanti del senso comune; chiarire e giustificare il metodo filosofico dell'appello al senso comune; presentare, d'altro canto, alcune delle strategie argomentative attuabili da chi si trovi a sostenere una tesi o teoria contrastante con il senso comune. (shrink)

Some physical theories predict that almost all brains in the universe are Boltzmann brains, i.e. short-lived disembodied brains that are accidentally assembled as a result of thermodynamic or quantum fluctuations. Physicists and philosophers of physics widely regard this proliferation as unacceptable, and so take its prediction as a basis for rejecting these theories. But the putatively unacceptable consequences of this prediction follow only given certain philosophical assumptions. This paper develops a strategy for shielding physical theorizing from the threat of Boltzmann (...) brains. The strategy appeals to a form of phenomenal externalism about the physical basis of consciousness. Given that form of phenomenal externalism, the proliferation of Boltzmann brains turns out to be benign. While the strategy faces a psychophysical fine-tuning problem, it both alleviates cosmological fine-tuning concerns that attend physics-based solutions to Boltzmann brain problems and pays explanatory dividends in connection with time’s arrow. (shrink)

Metaethical debunking arguments often conclude that no moral belief is epistemically justified. Early versions of such arguments largely relied on metaphors and analogies and left the epistemology of debunking underspecified. Debunkers have since come to take on substantial and broad-ranging epistemological commitments. The plausibility of metaethical debunking has thereby become entangled in thorny epistemological issues. In this thesis, I provide a critical yet sympathetic evaluation of the prospects and challenges facing such arguments in light of this development. In doing so, (...) I address the following central question: how could genealogical information undermine the epistemic justification of moral beliefs? In Part I, I begin answering the central question by extracting explicit and implicit epistemic principles from three popular debunking arguments. These arguments, due to Gilbert Harman, Richard Joyce, and Sharon Street, generate principles concerning ontological parsimony, explanatory dispensability, epistemic insensitivity, lack of epistemic safety, unexplained reliability, epistemic coincidences, and explanatory constraints on rational belief. Having set out the principles tasked with explaining how genealogical information undermines, Part II of the thesis seeks to evaluate whether debunking arguments built on them succeed. To this end, I consider two types of challenges faced by such arguments. First, there are strategies that attempt to block global moral debunking arguments. I argue that one popular such strategy, the so-called ‘third-factor strategy’, has been misunderstood. When understood correctly, it is of no help in answering debunking arguments. I then flesh out an alternative and more promising strategy for blocking such arguments. I then turn to internal challenges facing debunkers, particularly those who rely on ‘explanationist’ principles. I argue that explanationist debunking arguments, as well as most others, fall prey to one or more of four internal challenges: the implausibility of first-order epistemic principles, the threat of overgeneralization, the threat of self-defeat, and the need for costly metaepistemic commitments. I conclude that current debunking arguments fail to establish that no moral belief is justified. By analyzing why existing arguments fail, I develop two conditions of adequacy that debunkers must satisfy in order to navigate the internal challenges successfully. I end by suggesting future directions that debunkers should pursue to rehabilitate the prospects for global moral debunking arguments. (shrink)