Conceptual analysis has been a traditional methodology within analytic philosophy, but it also has been the target of numerous attacks. On the other hand, explication has been undergoing a revival as a methodological alternative due to the revisionary element associated with it. This allows for a scientific reconstruction of our ordinary notions, which would share virtues associated with scientific concepts. However, there is now a popular variant of conceptual analysis which resembles closely the explicative methodology: the two-step methodology advanced by (...) the advocates of the Canberra Plan. Although explication is a wider and more ambitious program, I will argue that both methodologies can be regarded as attempts to bring philosophical methodology and its products closer to scientific ones. However, I will also point out that, although the goal is advantageous, there still remain some theoretical problems. (shrink)

Empiricist modal epistemologies can be attractive, but are often limited in the range of modal knowledge they manage to secure. In this paper, I argue that one such account – similarity-based modal empiricism – can be extended to also cover justification of many scientifically interesting possibility claims. Drawing on recent work on modelling in the philosophy of science, I suggest that scientific modelling is usefully seen as the creation and investigation of relevantly similar epistemic counterparts of real target systems. On (...) the basis of experiential knowledge of what is actually the case with the models, one can draw justified conclusions about what is de re possible for the target systems. (shrink)

Experimental ethicists investigate traditional ethical questions with non-traditional means, namely with the methods of the empirical sciences. Studies in this area have made heavy use of philosophical thought experiments such as the well-known trolley cases. Yet, the specific function of these thought experiments within experimental ethics has received little consideration. In this paper we attempt to fill this gap. We begin by describing the function of ethical thought experiments, and show that these thought experiments should not only be classified according (...) to their function but also according to their scope. On this basis we highlight several ways in which the use of thought experiments in experimental ethics can be philosophically relevant. We conclude by arguing that experimental philosophy currently only focuses on a small subcategory of ethical thought experiments and suggest a broadening of its research agenda. (shrink)

In this paper, I argue that appeals to intuition in Analytic Philosophy are not compelling arguments because intuitions are not the sort of thing that has the power to rationally persuade other professional analytic philosophers. This conclusion follows from reasonable premises about the goal of Analytic Philosophy, which is rational persuasion by means of arguments, and the requirement that evidence for and/or against philosophical theses used by professional analytic philosophers be public (or transparent) in order to have the power to (...) rationally persuade other professional analytic philosophers. Since intuitions are not public (or transparent) evidence, it follows that appeals to intuition are not compelling arguments for and/or against philosophical theses because they lack the power to rationally persuade other professional analytic philosophers. (shrink)

How is moral knowledge possible? This paper defends the anti-Humean thesis that we can acquire moral knowledge by deduction from wholly non-moral premises. According to Hume’s Law, as it has become known, we cannot deduce an ‘ought’ from an ‘is’, since it is “altogether inconceivable how this new relation can be a deduction from others, which are entirely different from it” (Hume, 1739, 3.1.1). This paper explores the prospects for a deductive theory of moral knowledge that rejects Hume’s Law.

Truth by convention, once thought to be the foundation of a uniquely promising approach to explaining our access to the truth in nonempirical domains, is nowadays widely considered an absurdity. Its fall from grace has been due largely to the influence of an argument that can be sketched as follows: our linguistic conventions have the power to make it the case that a sentence expresses a particular proposition, but they can’t by themselves generate truth; whether a given proposition is true—and (...) so whether the sentence that expresses it is true—is a matter of what the world is like, which means it isn’t a matter of convention alone. The consensus is that this argument is decisive against truth by convention. Strikingly, though, it has rarely been formulated with much precision. Here I provide a new rendering of the argument, one that reveals its structure and makes transparent just what assumptions it requires, and then I assess conventionalists’ prospects for resisting each of those assumptions. I conclude that the consensus is mistaken: contrary to what is almost universally thought, there remains a promising way forward for the conventionalist project. Along the way, I clarify conventionalists’ commitments by thinking about what truth by convention would need to be like in order for conventionalism to do the epistemological work it’s intended to do. (shrink)

One of Jerry Fodor’s many seminal contributions to philosophy of mind was his inner sentence theory of belief and desire. To believe that p is to have a subpersonal inner sentence in one’s “belief-box” that means that p, and to desire that q is to have a subpersonal inner sentence in one’s “desire-box” that means that q. I will distinguish between two accounts of box-inclusion that exhaust the options: liberal and restrictive. I will show that both accounts have the mistaken (...) implication that in certain cases there can be radical but “secret” changes in a subject’s beliefs and desires. I will suggest that the correct moral to draw is that we should instead accept what Eric Schwitzgebel has called a “surface-level” theory of belief and desire. (shrink)

Though there have been productive interactions between moral philosophers and deontic logicians, there has also been a tradition of neglecting the insights that the fields can offer one another. The most sustained interactions between moral philosophers and deontic logicians have notbeen systematic but instead have been scattered across a number of distinct and often unrelated topics. This chapter primarily focuses on three topics. First, we discuss the “actualism/possibilism” debate which, very roughly, concerns the relevance of what one will do at (...) some future time to what one ought to do at present (§2). This topic is also used to introduce various modal deontic logics. Second we discuss the particularism debate which, very roughly, concerns whether there can be any systematic general theory of what we ought to do (§3). This topic is also used to introduce various non-modal deontic logics. Third, we discuss collective action problems which concern the connection between the obligations of individuals and the behavior and obligations of groups of individuals (§4).This topic is also used to discuss formal systems that allow us to study the relationship between individuals and groups. The chapter also contains a general discussion of the relation between ethical theory and deontic logic (§1) and a brief consideration of other miscellaneous topics (§5). (shrink)

Marriages come in a very wide variety: if the reports of anthropologists and historians are to be believed, an extraordinarily wide variety. This includes some of the more unusual forms, including marriage to the dead; to the gods; and even to plants. This does suggest that few proposed marriage relationships would require 'redefining marriage': but on the other hand, it makes giving a general theory of marriage challenging. So one issue we should face is how accepting we should be of (...) the reports: to what extent reported 'marriages' really are marriages. This paper defends the view that almost all of these reported marriages are in fact marriages, and suggests some theoretical approaches that may be generous enough to account for this. (shrink)

The debate over Hypothetical Syllogism is locked in stalemate. Although putative natural language counterexamples to Hypothetical Syllogism abound, many philosophers defend Hypothetical Syllogism, arguing that the alleged counterexamples involve an illicit shift in context. The proper lesson to draw from the putative counterexamples, they argue, is that natural language conditionals are context-sensitive conditionals which obey Hypothetical Syllogism. In order to make progress on the issue, I consider and improve upon Morreau’s proof of the invalidity of Hypothetical Syllogism. The improved proof (...) relies upon the semantic claim that conditionals with antecedents irrelevant to the obtaining of an already true consequent are themselves true. Moreover, this semantic insight allows us to provide compelling counterexamples to Hypothetical Syllogism that are resistant to the usual contextualist response. (shrink)

We provide new findings that add to the growing body of empirical evidence that important epistemic intuitions converge across cultures. Specifically, we selected three recent studies conducted in the US that reported surprising effects of knowledge attribution among English speakers. We translated the vignettes used in those studies into Mandarin Chinese and Korean and then ran the studies with participants in Mainland China, Taiwan, and South Korea. We found that, strikingly, all three of the effects first obtained in the US (...) also emerged in the East Asian cultures we studied. Our findings not only cohere with but also provide—at least moderate—support for the existence of extensive convergences of important epistemic intuitions across cultures. (shrink)

Modal epistemologies that rely on a fallibilism about modal claims have been gaining traction over the years. This paper critically discusses the accounts of Kung (2009; 2010; 2016) and Dohrn (2018; 2019; 2020) and argues that they are invariably susceptible to being read as entailing claims of epistemic possibility. Both Kung and Dohrn seek to ground modal intuitions on non-modal ones, and primarily appeal to the modalizing capacity of imagination to aid in the discovery of modal truths. However, insofar as (...) inference from non-modal imagination to modal truths remains fallible, then no non-ad hoc distinction can be made between substantiation of fallible metaphysically modal claims and infallible epistemically modal ones. This is because, barring an agent’s infallible knowledge of modal truths, how these truths are asserted must attend the agent’s imperfect epistemic access thereof, therefore entailing claims of modality consistent with her epistemic state – i.e., claims of epistemic possibility. If modal epistemologies in general non-modally ground their modal assertions in this fallible fashion, then they seem inevitably interpretable in terms of epistemic possibility as opposed to some non-epistemic reading of metaphysical possibility. (shrink)

The paper clarifies and defends the orthodox view that counterfactual conditionals with impossible antecedents are vacuously true against recent criticisms. It argues that apparent counterexamples to orthodoxy result from uncritical reliance on a fallible heuristic used in the processing of conditionals. A comparison is developed between such counterpossibles and vacuously true universal generalizations.

The objection of horrible commands claims that divine command metaethics is doomed to failure because it is committed to the extremely counterintuitive assumption that torture of innocents, rape, and murder would be morally obligatory if God commanded these acts. Morriston, Wielenberg, and Sinnott-Armstrong have argued that formulating this objection in terms of counterpossibles is particularly forceful because it cannot be simply evaded by insisting on God’s necessary perfect moral goodness. I show that divine command metaethics can be defended even against (...) this counterpossible version of the objection of horrible commands because we can explain the truth-value intuitions about the disputed counterpossibles as the result of conversational implicatures. Furthermore, I show that this pragmatics-based defence of divine command metaethics has several advantages over Pruss’s reductio counterargument against the counterpossible version of the objection of horrible commands. (shrink)

Several theists, including Linda Zagzebski, have claimed that theism is somehow committed to nonvacuism about counterpossibles. Even though Zagzebski herself has rejected vacuism, she has offered an argument in favour of it, which Edward Wierenga has defended as providing strong support for vacuism that is independent of the orthodox semantics for counterfactuals, mainly developed by David Lewis and Robert Stalnaker. In this paper I show that argument to be sound only relative to the orthodox semantics, which entails vacuism, and give (...) an example of a semantics for counterfactuals countenancing impossible worlds for which it fails. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

In this critical notice of Kment's _Modality and Explanatory Reasoning_, we focus on Kment’s arguments for impossible worlds and on a key part of his discussion of the interactions between modality and explanation – the analogy that he draws between scientific and metaphysical explanation.

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. Another justification (...) derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

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)

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.

(1) This paper is about how to build an account of the normativity of logic around the claim that logic is constitutive of thinking. I take the claim that logic is constitutive of thinking to mean that representational activity must tend to conform to logic to count as thinking. (2) I develop a natural line of thought about how to develop the constitutive position into an account of logical normativity by drawing on constitutivism in metaethics. (3) I argue that, while (...) this line of thought provides some insights, it is importantly incomplete, as it is unable to explain why we should think. I consider two attempts at rescuing the line of thought. The first, unsuccessful response is that it is self-defeating to ask why we ought to think. The second response is that we need to think. But this response secures normativity only if thinking has some connection to human flourishing. (4) I argue that thinking is necessary for human flourishing. Logic is normative because it is constitutive of this good. (5) I show that the resulting account deals nicely with problems that vex other accounts of logical normativity. (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)

Suppositional reasoning can seem spooky. Suppositional reasoners allegedly (e.g.) “extract knowledge from the sheer workings of their own minds” (Rosa), even where the knowledge is synthetic a posteriori. Can literary fiction pull such a rabbit out of its hat? Where P is a work’s fictional ‘premise’, some hold that some works reason declaratively (supposing P, Q), imperatively (supposing P, do Q), or interrogatively (supposing P, Q?), and that this can be a source of knowledge if the reasoning is good. True, (...) I will argue, although only within the context of judicious critical interpretation. Further evident constraints include that the form of the suppositional reasoning needs to be declarative or imperative, and that the fictional ‘premise’ of the work needs to be a metaphysical counterfactual possibility, not merely a temporal counterfactual and not merely an epistemic possibility or probabilistic supposition. (shrink)

Philosophical enquiry stands to benefit from the inclusion of methods from the digital humanities to study language use. Empirical studies using the methods of the digital humanities have the potential to contribute to both conceptual analysis and intuition-based enquiry, two important approaches in contemporary philosophy. Empirical studies using the methods of the digital humanities can also provide valuable metaphilosophical insights into the nature of philosophical methods themselves. The use of methods from the digital humanities in philosophy should be expected to (...) follow a similar trajectory to another attempt to introduce empirical methods in philosophy. Experimental philosophers use empirical methods from the cognitive sciences to bear on philosophical questions. At first, we should expect the main contribution of methods from the digital humanities in philosophy to be at the metaphilosophical level. Then, given the right impetus and support, we are optimistic that methods from the digital humanities can make important and sustained contributions to first-order philosophical enquiry. This chapter gives two case studies of recent studies in which methods from the digital humanities are used to address metaphilosophical questions about the use of the word ‘intuition’ and the methods of philosophy and physics. It gives three examples of contemporary first-order philosophical debates to which methods fromthe digital humanities could make an important contribution in epistemology, metaphysics and philosophy of language. The chapter discusses some methodological challenges and limitations which are of particular importance when considering the application of methods from the digital humanities in philosophy, including concerns about the demographic representativeness of widely available corpora. (shrink)

We focus on Timothy Williamson’s recent attack on the epistemological significance of the a priori–a posteriori distinction, and offer an explanation of why, fundamentally, it does not succeed. We begin by setting out Williamson’s core argument, and some of the background to it and move to consider two lines of conciliatory response to it—conciliatory in that neither questions the central analogy on which Williamson's argument depends. We claim, setting aside a methodological challenge to which Williamson owes an answer, that no (...) satisfactory such reconciliation is in prospect. Rather, as we then argue, —and it is on this that we base our overall negative assessment of his argument—Williamson’s core analogy is flawed by an oversight. We conclude with some brief reflections on Williamson’s ideas about the imagination as a source of knowledge. Our principal conclusion is only that Williamson’s argument fails to perform as advertised. A constructive case for confidence, to the contrary, that the intuitive contrast between a priori and a posteriori reflects something of fundamental epistemological significance is prefigured in our final section, but will not be elaborated here. (shrink)

Many philosophers believe that there is a causal condition on perception, and that this condition is a conceptual truth about perception. A highly influential argument for this claim is based on intuitive responses to Gricean style thought experiments. Do the folk share the intuitions of philosophers? Roberts et al. (2016) presented participants with two kinds of cases: Blocker cases (similar to Grice’s case involving a mirror and a pillar) and Non-Blocker cases (similar to Grice’s case involving a clock and brain (...) stimulation). They found that a substantial minority agreed that seeing occurs in the Non-Blocker cases, and that in the Blocker cases significantly less agreed that seeing occurs. They thus hypothesized that folk intuitions better align with a no blocker condition than with a causal condition. This paper continues this line of enquiry with two new experiments. The paper investigates the generality and robustness of Roberts et al.’s findings by expanding the sense modalities tested from only vision to audition and olfaction as well. The paper also uses Gricean style thought experiments as a case study for investigating the “reflection defense” against the negative project in experimental philosophy. Our results replicate and extend Roberts et al.’s study and support their hypothesis that folk intuitions better align with a no blocker condition. They also provide an empirical reason to doubt the reflection defense. (shrink)

This paper aims to vindicate the expertise defense in light of the experimental philosophy of free will. My central argument is that the analogy strategy between philosophy and other domains is defensible, at least in the free will debate, because philosophical training contributes to the formation of philosophical intuition by enabling expert philosophers to understand philosophical issues correctly and to have philosophical intuitions about them. This paper will begin by deriving two requirements on the expertise defense from major criticisms of (...) it. First, precisely how philosophical training contributes to the formation of philosophical intuitions requires explanation (Contribution); second, it must be explained how philosophical training immunizes philosophical intuitions from distorting factors (Immunity). I shall argue that the Contribution requirement is crucial for the expertise defense and that this requirement can be satisfied at least in the domain of free will: recent research shows that most novices are unable to understand determinism correctly, suggesting that having intuitions about determinism requires philosophical expertise. I then discuss how this proposal can be applied to other philosophical disciplines. (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.

Professional philosophers say it’s obvious that a Gettier subject does not know. But experimental philosophers and psychologists have argued that laypeople and non-Westerners view Gettier subjects very differently, based on experiments where laypeople tend to ascribe knowledge to Gettier subjects. I argue that when effectively probed, laypeople and non-Westerners unambiguously agree that Gettier subjects do not know.

A. J. Ayer’s Language, Truth, and Logic had been responsible for introducing the Vienna Circle’s ideas, developed within a Germanophone framework, to an Anglophone readership. Inevitably, this migration from one context to another resulted in the alteration of some of the concepts being transmitted. Such alterations have served to facilitate a number of false impressions of Logical Empiricism from which recent scholarship still tries to recover. In this paper, I will attempt to point to the ways in which LTL has (...) helped to foster the various mistaken stereotypes about Logical Empiricism which were combined into the received view. I will begin by examining Ayer’s all too brief presentation of an Anglocentric lineage for his ideas. This lineage, as we shall see, simply omits the major 19th century Germanophone influences on the rise of analytic philosophy. The Germanophone ideas he presents are selectively introduced into an Anglophone context, and directed towards various concerns that arose within that context. I will focus on the differences between Carnap’s version of the overcoming of metaphysics, and Ayer’s reconfiguration into what he calls the elimination of metaphysics. Having discussed the above, I will very briefly outline the consequences that Ayer’s radicalisation of the Vienna Circle’s doctrines had on the subsequent Anglophone reception of Logical Empiricism. (shrink)

Conceptual engineering is to be explained by appeal to the externalist distinction between concepts and conceptions. If concepts are determined by non-conceptual relations to objective properties rather than by associated conceptions (whether individual or communal), then topic preservation through semantic change will be possible. The requisite level of objectivity is guaranteed by the possibility of collective error and does not depend on a stronger level of objectivity, such as mind-independence or independence from linguistic or social practice more generally. This means (...) that the requisite level of objectivity is exhibited not only by natural kinds, but also by a wide range of philosophical kinds, social kinds and artefactual kinds. The alternative externalist accounts of conceptual engineering offered by Herman Cappelen and Derek Ball fall back into a kind of descriptivism which is antithetical to externalism and fails to recognise this basic level of objectivity. (shrink)

This paper examines "moderate modal skepticism", a form of skepticism about metaphysical modality defended by Peter van Inwagen in order to blunt the force of certain modal arguments in the philosophy of religion. Van Inwagen’s argument for moderate modal skepticism assumes Yablo's (1993) influential world-based epistemology of possibility. We raise two problems for this epistemology of possibility, which undermine van Inwagen's argument. We then consider how one might motivate moderate modal skepticism by relying on a different epistemology of possibility, which (...) does not face these problems: Williamson’s (2007: ch. 5) counterfactual-based epistemology. Two ways of motivating moderate modal skepticism within that framework are found unpromising. Nevertheless, we also find a way of vindicating an epistemological thesis that, while weaker than moderate modal skepticism, is strong enough to support the methodological moral van Inwagen wishes to draw. (shrink)

This article surveys recent developments in the epistemology of modality.

The paper argues against Peacocke's moderate rationalism in modality. In the first part, I show, by identifying an argumentative gap in its epistemology, that Peacocke's account has not met the Integration Challenge. I then argue that we should modify the account's metaphysics of modal concepts in order to avoid implausible consequences with regards to their possession conditions. This modification generates no extra explanatory gap. Yet, once the minimal modification that avoids those implausible consequences is made, the resulting account cannot support (...) Peacocke's moderate rationalism. (shrink)

Once symbolized by a burning armchair, experimental philosophy has in recent years shifted away from its original hostility to traditional methods. Starting with a brief historical review of the experimentalist challenge to traditional philosophical practice, this chapter looks at research undercutting that challenge, and at ways in which experimental work has evolved to complement and strengthen traditional approaches to philosophical questions.

We argue that all comparative expressions in natural language obey a principle that we call Comparability: if x and y are at least as F as themselves, then either x is at least as F as y or y is at least as F as x. This principle has been widely rejected among philosophers, especially by ethicists, and its falsity has been claimed to have important normative implications. We argue that Comparability is needed to explain the goodness of several patterns (...) of inference that seem manifestly valid, that the purported failures of Comparability would have absurd consequences, and that the influential arguments against Comparability are less compelling than they may have initially seemed. (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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. 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 the interpretational and objective modalities and 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 while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. 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 paper responds to the contributions by Alexander Bird, Nathan Wildman, David Yates, Jennifer McKitrick, Giacomo Giannini & Matthew Tugby, and Jennifer Wang. I react to their comments on my 2015 book Potentiality: From Dispositions to Modality, and in doing so expands on some of the arguments and ideas of the book.

The present paper discusses different approaches to metaphysics and defends a specific, non-deflationary approach that nevertheless qualifies as scientifically-grounded and, consequently, as acceptable from the naturalistic viewpoint. By critically assessing some recent work on science and metaphysics, we argue that such a sophisticated form of naturalism, which preserves the autonomy of metaphysics as an a priori enterprise yet pays due attention to the indications coming from our best science, is not only workable but recommended.

It has been pointed out that Gettier case scenarios have deviant realizations and that deviant realizations raise a difficulty for the logical analysis of thought experiments. Grundmann and Horvath have shown that it is possible to rule out deviant realizations by suitably modifying the scenario of a Gettier-style thought experiment. They hypothesize further that the enriched scenario corresponds to the way expert epistemologists implicitly interpret the original one. However, no precise account of this implicit enrichment is offered, which makes the (...) proposal somewhat ad hoc. Drawing on pragmatic theory, I argue that the content of Grundmann and Horvath’s modified scenario corresponds to the default interpretation of the original scenario and that epistemological expertise is not required to access the deviance-proof interpretation. This Default Interpretation proposal offers thus a more general and independently motivated solution to the Problem of Deviant Realizations. (shrink)

Prior research found correlations between reflection test performance and philosophical tendencies among laypeople. In two large studies (total N = 1299)—one pre-registered—many of these correlations were replicated in a sample that included both laypeople and philosophers. For example, reflection test performance predicted preferring atheism over theism and instrumental harm over harm avoidance on the trolley problem. However, most reflection-philosophy correlations were undetected when controlling for other factors such as numeracy, preferences for open-minded thinking, personality, philosophical training, age, and gender. Nonetheless, (...) some correlations between reflection and philosophical views survived this multivariate analysis and were only partially confounded with either education or self-reported reasoning preferences. Unreflective thinking still predicted believing in God whereas reflective thinking still predicted believing that (a) proper names like ‘Santa’ do not necessarily refer to entities that actually exist and (b) science does reveal the fundamental nature of the world. So some robust relationships between reflection and philosophical tendencies were detected even among philosophers, and yet there was clearly more to the link between reflection and philosophy. To this end, demographic and metaphilosophical hypotheses are considered. (shrink)

In our thought, we employ rules of inference and belief-forming methods more generally. For instance, we (plausibly) employ deductive rules such as Modus Ponens, ampliative rules such as Inference to the Best Explanation, and perceptual methods that tell us to believe what perceptually appears to be the case. What explains our entitlement to employ these rules and methods? This chapter considers the motivations for broadly internalist answers to this question. It considers three such motivations—one based on simple cases, one based (...) on a general conception of epistemic responsibility, and one based on skeptical scenarios. The chapter argues that none of these motivations is successful. The first two motivations lead to forms of internalism—Extreme Method Internalism and Defense Internalism—that are too strong to be tenable. The third motivation motivates Mental Internalism (Mentalism), which does not fit with plausible accounts of entitlement. (shrink)

This essay calls attention to a set of linguistic interactions between counterfactual conditionals, on one hand, and possibility modals like could have and might have, on the other. These data present a challenge to the popular variably strict semantics for counterfactual conditionals. Instead, they support a version of the strict conditional semantics in which counterfactuals and possibility modals share a unified quantificational domain. I’ll argue that pragmatic explanations of this evidence are not available to the variable analysis. And putative counterexamples (...) to the unified strict analysis, on careful inspection, in fact support it. Ultimately, the semantics of conditionals and modals must be linked together more closely than has sometimes been recognized, and a unified strict semantics for conditionals and modals is the only way to fully achieve this. (shrink)

ABSTRACTThe proper role of intuitions in philosophy has been debated throughout its history, and especially since the turn of the twenty-first century. The context of this recent debate within analytic philosophy has been the heightened interest in intuitions as data points that need to be accommodated or explained away by philosophical theories. This, in turn, has given rise to a sceptical movement called experimental philosophy, whose advocates seek to understand the nature and reliability of such intuitions. Yet such scepticism of (...) intuition or introspective methods can be found in earlier periods and across philosophical traditions. Indeed, the Neo-Confucian philosophers of the Song and Ming dynasties seem to exemplify this very tension, as they can be divided into an intuitionistic school on the one hand and an investigative school on the other. In this paper, I argue that, notwithstanding some obvious d... (shrink)

Some recent researches in experimental philosophy have posed a problem for philosophers’ appeal to intuition (hereinafter referred to as PAI); the aim of this paper is to offer an answer to this challenge. The thesis against PAI implies that, given some experimental results, intuition does not seem to be a reliable epistemic source, and —more importantly— given the actual state of knowledge about its operation, we do not have sufficient resources to mitigate its errors and thus establish its reliability. That (...) is why PAI is hopeless. Throughout this paper I will defend my own conception of PAI, which I have called the Deliberative Conception, and consequently, I will defend intersubjective agreement as a means to mitigate PAI errors, offering empirical evidence from recent studies on the Argumentative Theory of Reason that favor the conception I defend here. Finally, I will reply to some objections that might arise against the Deliberative Conception, which will lead me to discuss some metaphilosophical issues that are significantly relevant for the future of the dispute about the appeal to intuition. (shrink)

So-called "thick" moral concepts are distinctive in that they somehow "hold together" evaluation and description. But how? This paper argues against the standard view that the evaluations which thick concepts may be used to convey belong to sense or semantic content. That view cannot explain linguistic data concerning how thick concepts behave in a distinctive type of disagreements and denials which arise when one speaker regards another's thick concept as "objectionable" in a certain sense. The paper also briefly considers contextualist, (...) presuppositional, and implicature accounts of the evaluative contents of thick concepts, but finds none clearly superior to the others. (shrink)