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 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 epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 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 Ω-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 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 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 13 examines modal responses to the alethic paradoxes. Chapter 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)

According to a popular ‘explanationist’ argument for moral or mathematical realism the best explanation of some phenomena are moral or mathematical, and this implies the relevant form of realism. One popular way to resist the premiss of such arguments is to hold that any supposed explanation provided by moral or mathematical properties is in fact provided only by the non-moral or non-mathematical grounds of those properties. Many realists have responded to this objection by urging that the explanations provided by the (...) higher-level, moral and mathematical, properties are informative in a way in which their supposed replacements are not, and that this is because moral and mathematical properties are multiply realizable. This chapter responds to this manoeuvre by proposing a way in which moral and mathematical explanations might preserve the distinctive import that multiple realizability brings, without committing those who accept them to the existence of moral and mathematical properties. (shrink)

In this paper, I reevaluate Kripke’s arguments for the necessary a posteriori contra a Kantian pure modal rationalism according to which modal cognition is a priori. I argue that Kripke’s critique of Kant suggests an impure but nevertheless ambitious modal rationalism according to which the basis of modal cognition remains a priori. I then argue that Kripke’s critique of pure modal rationalism does not go deep enough. More specifically, I argue that certain conditional modal judgments, which Kripke regards as a (...) priori, are, in fact, a posteriori. An example is the conditional modal judgment that if gold is a metal, then it is necessary that gold is a metal (if gold exists). However, Chalmers has developed a general frontloading strategy for turning a posteriori conditionals into a priori ones. So, I consider whether the frontloading strategy may be applied in a development of a modest modal rationalist account of the necessary a posteriori. Although the frontloading strategy is attractive for the modal rationalist, I argue for a twofold conclusion. First, I conclude that a posteriori conditionals constitute a serious and unanswered challenge to modal rationalists. Second, I conclude that the frontloading strategy does not by itself provide a response to this challenge and that substantiating the strategy is problematic. (shrink)

This paper begins by raising a puzzle about what function our use of the word ‘rational’ could serve. To solve the puzzle, I introduce a view I call Epistemic Communism: we use epistemic evaluations to promote coordination among our basic belief-forming rules, and the function of this is to make the acquisition of knowledge by testimony more efficient.

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.

It can often seem like the attitude we hold towards a conditional should be our attitude in the consequent on the supposition of the antecedent. Following by Williamson (Suppose and Tell: The Semantics and Heuristics of Conditionals. Oxford University Press, 2020), we call this The suppositional rule (SR). The Adams-style non-propositional theories of indicatives upholds some key implications of SR, allowing, for instance, our credence in a conditional to be the probability of the consequent given the antecedent. Williamson (Suppose and (...) Tell: The Semantics and Heuristics of Conditionals. Oxford University Press, 2020) has recently provided a series of inconsistency arguments against SR. He thereby intends to undermine non-propositional views as well as other rivals to his favoured material conditional account. I outline a strategy which theorists of all stripes can employ to avoid Williamson’s arguments. I then show how non-propositionalists can implement this strategy. I show how they can uphold SR when it is intuitively compelling, whilst allowing it to fail when it is not. (shrink)

Donald Davidson contributed to the discussion of logical form in two ways. On the one hand, he made several influential suggestions on how to give the logical forms of certain constructions of natural language. His account of adverbial modification and so called action-sentences is nowadays, in some form or other, widely employed in linguistics (Harman (forthcoming) calls it "the standard view"). Davidson's approaches to indirect discourse and quotation, while not as influential, also still attract attention today. On the other hand, (...) Davidson provided a general account of what logical form is. This paper is concerned with this general account. Its foremost aim is to give a faithful and detailed picture of what, according to Davidson, it means to give the logical form of a sentence. The structure of the paper is as follows. (1) I will first informally introduce a notion of logical form as the form that matters in certain kinds of entailments, and indicate why philosophers have taken an interest in such a notion. (2) The second section develops constraints that we should arguably abide by in giving an account of logical form. (3) I then turn to Davidson’s view of what is involved in giving such an account. To this end, I will try to reconstruct Davidson’s view of the connection between an assignment of logical forms, a truth theory and a meaning theory. (4) Finally, I will briefly discuss possible problems of Davidson’s account as developed in this paper. (shrink)

The paper introduces the “Contest Paradox”: on the one hand, rational competitors employ the most effective means to achieve the constitutive end of games - winning; On the other hand, apparently rational competitors often employ means that are sub-optimal for winning, e.g., playing beautifully or fairly. Nevertheless, the actions of such competitors are viewed as rational. Are such competitors rational? I reject the possibility of resolving the paradox by appealing to additional ends or norms to winning, such as playing sportingly. (...) Instead, I argue that the constitutive end of games is not a win simpliciter, but a type of win, such as winning-beautifully or winning-fairly. This interpretive framework is theoretically advantageous because it accounts better for the ‘unity of action’ or ‘flow’ competitors experience, better deals with various cases, and accommodates different traditions of competing. (shrink)

In this paper, I respond to what I have called an epistemological objection to a dialetheist approach to the doctrine of the Incarnation, of which one example is Beall’s contradictory Christ. I discuss Anderson’s book Paradox in Christian theology, in which the author claims to account for the rationality of the doctrine of the Incarnation as a merely apparently contradictory doctrine, and I present my model, based on Anderson’s model, according to which the doctrine has the possibility to be rational (...) by understanding it as genuinely contradictory. I show that this model fits perfectly well with the criteria that, according to Anderson, any model for the rationality of a paradoxical doctrine should meet. Beall does not address the problem of the rationality of the doctrine in his works about the contradictory Christ, and he asserts that he is not interested in it. However, I think that if he wants to make his theory more robust, less suspicious, and more convincing for theologians, philosophers, and ordinary people, he should consider this problem. (shrink)

This article focuses on the main methods used in analytic metaphysics. It first considers five important sources of constraints on metaphysical theorizing: linguistic and conceptual analysis, consulting intuitions, employing the findings of science, respecting folk opinion, and applying theoretical virtues in metaphysical theory choice such as preferring simpler theories, or preferring more explanatory theories. It then examines the role of formal methods in metaphysics as well as the role of metaphysical communities, traditions, and the place of the history of metaphysics (...) in contemporary work. It also discusses the issue of whether metaphysics should be seen as an enterprise that will yield knowledge of metaphysical matters or whether it should have more modest epistemic goals. Finally, it explores the question of how much of metaphysics is a priori. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

Edmund Gettier (1963) argued that there can be justified true belief (JTB) that is not knowledge. I question the correctness of his argument by showing that Smith of Gettier’s famous examples does not earn justification for his incidentally true beliefs, while a doxastically more conscientious person S would come to hold justified but false beliefs. So, Gettier’s (and analogous) cases do not result in justified _and_ true belief. This is due to a tension between deductive closure of justification and evidential (...) support. For being justified, any believing, disbelieving, or withholding of deductively inferred propositions must be distributed proportionally to given evidential support. This proportionality principle has primacy over deductive closure in case of conflict. My argument does not save the JTB-account. But, instead of merely referring to an intuition, it explains why subjects in Gettier situations do not earn knowledge. (shrink)

While knowledge of mere possibilities is difficult to understand, knowledge of possibilities that are actual seems unproblematic (as far as we know the actual world). The principle that what is actual is possible has been near-universally accepted. After summarizing some sporadic dissent, I present a proposal for how the validity of the principle might be restricted. While the principle certainly holds for sufficiently inclusive objective and epistemic possibilities, it may not hold when the accessibility of possibilities is contextually restricted.

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)

Sober and Huemer have independently argued that simplicity has no place in evaluating philosophical views. In particular, they have argued that the best rationales for scientists to appeal to simplicity in judging between rival theories fail to carry over to philosophers judging between rival philosophical accounts. This paper disagrees with Sober and Huemer. It argues that two rationales for scientific appeals to simplicity equally well underwrite appeals to simplicity when philosophers evaluate rival rational reconstructions of some social normative practice. These (...) two rationales are shown to apply to two philosophical appeals to simplicity: in Quine’s argument against analyticity and in an argument against pluralism in accounts of scientific explanation. Some factors are identified that influence how much weight simplicity should carry in these and other philosophical cases. Simplicity’s legitimate role in evaluating rival rational reconstructions suggests that simplicity will also turn out to be justly relevant to ontological investigations. (shrink)

How do we know what's (metaphysically) possible and impossible? Arguments from Kripke and Putnam suggest that possibility is not merely a matter of (coherent) conceivability/imaginability. For example, we can coherently imagine that Hesperus and Phosphorus are distinct objects even though they are not possibly distinct. Despite this apparent problem, we suggest, nevertheless, that imagination plays an important role in an adequate modal epistemology. When we discover what is possible or what is impossible, we generally exploit important connections between what is (...) possible and what we can coherently imagine. We can often come to knowledge of metaphysical modality a priori. (shrink)

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

Suppose that one is at least a minimal realist about a given domain, in that one thinks that that domain contains truths that are not in any interesting sense of our own making. Given such an understanding, what can be said for and against the method of reflective equilibrium as a procedure for investigating the domain? One fact that lends this question some interest is that many philosophers do combine commitments to minimal realism and a reflective equilibrium methodology. Here, for (...) example, is David Lewis on philosophy: Our “intuitions” are simply opinions: our philosophical theories are the same. Some are commonsensical, some are sophisticated; some are particular; some general; some are more firmly held, some less. But they are all opinions, and a reasonable goal for a philosopher is to bring them into equilibrium. Our common task it to find out what equilibria there are that can withstand examination, but it remains for each of us to come to rest at one or another of them… Once the menu of well-worked out theories is before us, philosophy is a matter of opinion. Is that to say that there is no truth to be had? Or that the truth is of our own making, and different ones of us can make it differently? Not at all! If you say flatly that there is no god, and I say that there are countless gods but none of them are our worldmates, then it may be that neither of us is making any mistake of method. We may each be bringing our opinions to equilibrium in the most careful possible way, taking account of all the arguments, distinctions, and counterexamples. But one of us, at least, is making a mistake of fact. Which one is wrong depends on what there is (1983: x-xi). In addition to philosophy in general, the method of reflective equilibrium has also been endorsed as the appropriate procedure for investigating various other subject.. (shrink)

What are intuitions? According to doxastic views, they are doxastic attitudes or dispositions, such as judgments or inclinations to make judgments. According to perceptualist views, they are—like perceptual experiences—pre-doxastic experiences that—unlike perceptual experiences—represent abstract matters as being a certain way. In this paper I argue against doxasticism and in favor of perceptualism. I describe two features that militate against doxasticist views of perception itself: perception is belief-independent and perception is presentational. Then I argue that intuitions also have both features. The (...) upshot is that intuitions are importantly similar to perceptual experiences, and so should not be identified with doxastic attitudes or dispositions. I consider a popular argument from the introspective absence of sui generis intuition experiences in favor of doxasticism. I develop a conception of intuition experiences that helps to defuse this argument. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

It is natural to think that many of our beliefs are rational because they are based on seemings, or on the way things seem. This is especially clear in the case of perception. Many of our mathematical, moral, and memory beliefs also appear to be based on seemings. In each of these cases, it is natural to think that our beliefs are not only based on a seeming, but also that they are rationally based on these seemings—at least assuming there (...) is no relevant counterevidence. This piece is an introduction to a volume dedicated to the question of what the connection is between seemings and justified belief: under what conditions, if any, can a seeming justify its content? (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)

In his influential paper “Grasping the Third Realm,” John Bengson raises the question of how we can non-accidentally grasp abstract facts. What distinguishes successful intuition from hallucinatory intuition? Bengson answers his “non-accidental relation question” by arguing for a constitutive relationship: The intuited object is a literal constituent of the respective intuition. Now, the problem my contribution centers around is that Bengson’s answer cannot be the end of the story. This is because, as Bar Luzon and Preston Werner have recently pointed (...) out, this answer leads to the follow-up question of why certain intuitional experiences are constituted by the facts, but others are not. My objective is to answer this question by specifying precisely what is epistemically defective about intellectual hallucinations. My result is that, in stark contrast to perception, intellectual hallucinations are epistemically defective in the sense that something is overlooked. In successful intuition, by contrast, all relevant possibilities/scenarios are considered/imagined. This has crucial epistemological implications. In particular, I argue that intuitions exhibiting a certain phenomenology cannot fail to successfully grasp abstract facts. I call this the non-accidental correctness thesis, which constitutes the main thesis of this paper. (shrink)

The teleological approach to an epistemic concept investigates it by asking questions such as ‘what is the purpose of the concept?’, ‘What role has it played in the past?’, or ‘If we imagine a society without the concept, why would they feel the need to invent it?’ The idea behind the teleological approach is that examining the function of the concept illuminates the contours of the concept itself. This approach is a relatively new development in epistemology, and as yet there (...) are few works examining it. This paper aims to fill this gap and engender further understanding of the teleological method. I first contrast the teleological method with more orthodox approaches in epistemology. I then draw a three-way taxonomy of different kinds of teleological approach and provide an example of each kind. The teleological approach is often presented as antithetical to the more orthodox approaches in epistemology, and so in competition with them. I demur. I argue that the methods can be fruitfully combined in epistemological theorising; in the final section I suggest specific ways the teleological approach can be incorporated alongside more orthodox methods in a general methodological reflective equilibrium. (shrink)

Advocates of the use of intuitions in philosophy argue that they are treated as evidence because they are evidential. Their opponents agree that they are treated as evidence, but argue that they should not be so used, since they are the wrong kinds of things. In contrast to both, we argue that, despite appearances, intuitions are not treated as evidence in philosophy whether or not they should be. Our positive account is that intuitions are a subclass of inclinations to believe. (...) Our thesis explains why intuitions play a role in persuasion and inquiry, without conceding that they are evidential. The account also makes predictions about the structure of intuitions that are confirmed by independent arguments. (shrink)

In this paper I articulate and defend a view that I call phenomenal dogmatism about intuitive justification. It is dogmatic because it includes the thesis: if it intuitively seems to you that p, then you thereby have some prima facie justification for believing that p. It is phenomenalist because it includes the thesis: intuitions justify us in believing their contents in virtue of their phenomenology—and in particular their presentational phenomenology. I explore the nature of presentational phenomenology as it occurs perception, (...) and I make a case for thinking that it is present in a wide variety of logical, mathematical, and philosophical intuitions. (shrink)

The epistemic value of seemings is increasingly debated. Such debates are hindered, however, by a lack of consensus about the nature of seemings. There are four prominent conceptions in the literature, and the plausibility of principles such as phenomenal conservatism, which assign a prominent epistemic role to seemings, varies greatly from one conception to another. It is therefore crucial that we identify the correct conception of seemings. I argue that seemings are best understood as sui generis mental states with propositional (...) content and a distinct phenomenal character. Rival conceptions are shown to succumb to numerous difficulties. (shrink)

This essay is an attempt to explain Kantian transcendental idealism to contemporary metaphysicians and make clear its relevance to contemporary debates in what is now called ‘meta-metaphysics.’ It is not primarily an exegetical essay, but an attempt to translate some Kantian ideas into a contemporary idiom.

This commentary on Philip Kitcher’s book What’s the Use of Philosophy? addresses two questions. First, must philosophers be methodologically self-conscious to do good work? Second, is there value in the questions pursued in the traditional areas of analytic philosophy?

In moral epistemology, the method of reflective equilibrium is often characterized in terms of intuitions or understood as a method for justifying intuitions. An analysis of reflective equilibrium and current theories of moral intuitions reveals that this picture is problematic. Reflective equilibrium cannot be adequately characterized in terms of intuitions. Although the method presupposes that we have initially credible commitments, it does not presuppose that they are intuitions. Nonetheless, intuitions can enter the process of developing a reflective equilibrium and, if (...) the process is successful, be justified. Since the method of reflective equilibrium does not essentially involve intuitions, it does not constitute a form of intuitionism in any substantial sense. It may be classified as intuitionist only in the minimal sense of not reducing justification to a matter of inference relations alone. (shrink)

This paper takes up an important epistemological challenge to the naturalistic moral realist: that her metaphysical commitments are difficult to square with a plausible rationalist view about the epistemology of morality. The paper begins by clarifying and generalizing this challenge. It then illustrates how the generalized challenge can be answered by a form of naturalistic moral realism that I dub joint-carving moral realism. Both my framing of this challenge and my answer advertise the methodological significance of non-fundamental epistemological theorizing, which (...) defends and deploys epistemological claims without adverting to the most fundamental epistemological facts. (shrink)

Timothy Williamson offers a reductive account of modal knowledge in terms of knowledge of counterfactual conditionals. The account is developed in a broader context of defending two more general theses regarding the subject matter and methodology of philosophy. My primary focus in this paper is Williamson’s account of modal knowledge. I argue (1) that his account of modal knowledge does not support his more general theses regarding the subject matter and methodology of philosophy; (2) that the two central claims of (...) his account of knowledge of counterfactuals are rooted in unsubstantiated empirical assumptions; and (3) that his argument in support of the conclusion that modal knowledge is a special case of counterfactual knowledge rests on three errors: conflating logical reduction and epistemological reduction, a misguided appeal to cognitive economy, and incorrectly locating what needs to be explained by an account of modal knowledge. (shrink)

Recent empirical studies of philosophers by Eric Schwitzgebel and others have seriously called into question whether professional ethicists have any useful expertise with thought experiments, given that their intuitions appear to be no more reliable than those of lay subjects. Drawing on such results, sceptics like Edouard Machery argue that normative ethics as it is currently practiced is deeply problematic. In this paper, I present two main arguments in defense of the standard methodology of normative ethics. First, there is strong (...) reason to believe that expertise with thought experiments requires considering scenarios in their proper theoretical context and in parallel with other pertinent situations, so that we should not expect philosophers to be better than lay folk at responding to decontextualized cases. Second, skeptical views underestimate the epistemic benefits of the actual practices of post-processing initial verdicts both at individual and social levels. Contrary to a mythical conception of ‘the method of cases’, philosophers are frequently sensitive to the quality of intuitive evidence, reject and revise their verdicts on the basis of independently supported principles or interpersonal criticism, and defer to recognized specialists. (shrink)

John Rawls’ method of reflective equilibrium is the most influential methodology in contemporary ethics.This paper argues that this influence is undeserved, for two reasons. First, reflective equilibrium fails to accomplish two tasks that give us reason to care about methodology. On the one hand, it fails to explain how (or whether) moral knowledge is possible.This is because the method is explicitly oriented towards the distinct (and less interesting) task of characterizing our moral sensibilities. On the other hand, the method fails (...) to provide an informative way of adjudicating central methodological debates in ethics. Second, where Rawls’ method –and the background methodology he uses to motivate it –do have substance, that substance is implausible. The role of dispositions in the method entails that it endorses obviously irrational inferences. Further, the method makes substantively implausible distinctions between the dispositions that are allowed to play a methodological role. Rawls' background methodology appeals to the idea of a psychology in ‘wide reflective equilibrium’. However, both formal and empirical path-dependence considerations strongly suggest that there is nothing even minimally determinate that is someone’s psychology in ‘wide reflective equilibrium’. I close by exploring salient attempts to salvage the spirit of reflective equilibrium by abandoning elements of Rawls’ approach. I argue that none of these attempts succeed. I conclude that appeal to the method of reflective equilibrium is not a helpful means of addressing pressing methodological questions in ethics. In a slogan, reflective equilibrium is methodologically irrelevant. (shrink)

How to accommodate the possibility of lucky true beliefs in necessary (or armchair) truths within contemporary modal epistemology? According to safety accounts luck consists in the modal proximity of a false belief, but a belief in a true mathematical proposition could not easily be false because a proposition believed could never be false. According to Miščević modal stability of a true belief under small changes in the world is not enough, stability under small changes in the cognizer should also (and (...) primarily) be considered. I argue for a more traditional modal reliabilism based on the critical question: how easy is it for a belief to be false, given the way it was formed? A belief (a priori or a posteriori) is then agent-lucky when based on a specific method which might easily lead to a false belief in the target proposition. Miščević suggests a unifying approach in terms of virtue epistemology. It seems to me that this approach, if successful, will undermine the project that he started with: formulate an anti-luck condition in the frame of a modal theory of luck. (shrink)

In this Introduction, we aim to introduce the reader to the basic topic of this book. As part of this, we explain why we are using two different expressions (‘conceptual engineering’ and ‘conceptual ethics’) to describe the topics in the book. We then turn to some of the central foundational issues that arise for conceptual engineering and conceptual ethics, and finally we outline various views one might have about their role in philosophy and inquiry more generally.

Argues that there is no interpretation of the commonly-accepted idea that "explanation is that which produces understanding" on which it is of any use for finding what philosophers looking for a theory of explanation have been after. Contains a close examination of a couple of philosophers' attempts to use this idea for that purpose.

In recent years, some defenders of traditional philosophical methodology have argued that certain critiques of armchair methods are mistaken in assuming that intuitions play central evidential roles in traditional philosophical methods. According to this kind of response, experimental philosophers attack a straw man; it doesn’t matter whether intuitions are reliable, because philosophers don’t use intuitions in the way assumed. Deutsch (2010), Williamson (2007), and Cappelen (2012) all defend traditional methods in something like this way. I also endorsed something like this (...) line in Ichikawa (2014a). -/- In this contribution, I will follow up on this sort of defence of traditional philosophical methods in three ways. In §1, I will rehearse and extend some of my reasons for challenging the idea that traditional methods depend on intuitions in an evidential role. (My reasons are very different from those discussed in (Cappelen, 2012).) I will also engage with some recent more sophisticated attempts to establish the idea that intuitions play evidential roles in philosophy, such as that of Chudnoff (2013). In §2, I will consider and argue against a dismissive response to such positions from experimental philosophers, who consider the question of philosophical reliance on intuitions to be irrelevant to the experimentalist critique. But in §3, I will argue that it would also be a mistake to conclude (as Herman Cappelen does) that the critique is rendered totally irrelevant by the denial of the evidential role of intuitions; I defend a more moderate view on which the bearing of experimental studies of philosophical intuitions is relevant for philosophical methodology, but only in a relatively limited way. (shrink)

The developing body of empirical work on the "Gettier effect" indicates that, in general, the presence of a Gettier-type structure in a case makes participants less likely to attribute knowledge in that case. But is that a sufficient reason to diverge from a JTB theory of knowledge? I argue that considerations of good model selection, and worries about noise and overfitting, should lead us to consider that a live, open question. The Gettier effect is perhaps so transient, and so sensitive (...) to other, epistemologically-inappropriate factors, that it raises the question of whether it ought to be counted as something to include in our theories -- or as a piece of noise to be excluded from them. (shrink)

Although thought experiments were first discovered as a sui generis methodological tool by philosophers of science (most prominently by Ernst Mach), the tool can also be found – even more frequently – in contemporary philosophy. Thought experiments in philosophy and science have a lot in common. However, in this chapter we will concentrate on thought experiments in philosophy only. Their use has been the centre of attention of metaphilosophical discussion in the past decade, and this chapter will provide an overview (...) of the results this discussion has achieved and point out which issues are still open. (shrink)

Experimental philosophy is a relatively recent discipline that employs experimental methods to investigate the intuitions, concepts, and assumptions behind traditional philosophical arguments, problems, and theories. While experimental philosophy initially served to interrogate the role that intuitions play in philosophy, it has since branched out to bring empirical methods to bear on problems within a variety of traditional areas of philosophy—including metaphysics, philosophy of language, philosophy of mind, and epistemology. To date, no connection has been made between developments in experimental philosophy (...) and philosophy of technology. In this paper, I develop and defend a research program for an experimental philosophy of technology. (shrink)

“Conceptual analysis” is a misnomer—it refers, but it does not refer to a method or practice that involves the analysis of concepts. Once this is recognized, many of the main arguments for skepticism about conceptual analysis can be answered, since many of these arguments falsely assume that conceptual analyses target concepts. The present paper defends conceptual analysis from skepticism about its viability and, positively, presents an argument for viewing conceptual analyses as targeting philosophical phenomena, not our concepts of these phenomena.

The focus of this paper will be to examine the implications that a “practical” approach to conceptual engineering might have for the “traditional” conception of philosophy as uncovering truths about phenomena of philosophical interest. In doing so, I will be building on the ideas of a figure that many take to be the first major philosopher to write on conceptual engineering: Rudolf Carnap. Though the current wave of interest in conceptual engineering goes back less than a decade, many conceptual engineers (...) have found precedent for their views in Carnap’s characterization of what he called “explication.” Interestingly, however, not nearly as much attention has been paid to another Carnapian thesis which seems to me to have deep relevance to methodological questions about conceptual engineering. I have in mind here the distinction between internal and external questions proposed in “Empiricism, Semantics and Ontology” (1950b) and the accompanying claim that external questions lack cognitive content and can be cogently approached only as a matter of pragmatic decision-making. This is the aspect of Carnap’s views upon which I propose to build. I'll first make the case that there is a suggestive similarity between Carnap’s claim that external questions are matters of pragmatic choice and the practical conceptual engineer’s claim that engineering success should be characterized in terms of suitability to a function or purpose. After that, I'll look at potential worries about the Carnapian distinction—including, e.g., the concern that it relies on the analytic/synthetic distinction. Finally, I will propose a somewhat modified and expanded version of the distinction and examine its consequences for the thesis that philosophy aims at discovering truths about phenomena of philosophical interest. (shrink)

En primer lugar, se presenta el fenómeno de los desacuerdos básicos entre pares epistémicos (esto es, desacuerdos acerca de la naturaleza de la evidencia o el método apropiado para evaluarla) y se argumenta que son relevantes y merecen atención. En segundo lugar, se discute el argumento estándar a favor del conciliacionismo. Finalmente, se defiende que las razones típicas para conciliar no se aplican en los desacuerdos básicos entre pares, de manera que en estos casos está permitido ser obstinado.