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)

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)

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)

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)

I develop a challenge for a widely suggested knowledge-first account of belief that turns, primarily, on unknowable propositions. I consider and reject several responses to my challenge and sketch a new knowledge-first account of belief that avoids it.

This chapter examines the influence of the empirical sciences (e.g., physics, biology, psychology) in contemporary analytic philosophy, with focus on philosophical theories that are guided by findings from the empirical sciences. Scientific approaches to philosophy follow a tradition of philosophical naturalism associated with Quine, which strives to ally philosophical methods and theories more closely with the empirical sciences and away from a priori theorizing and conceptual analysis.

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)

The Cognitive Reflection Test is purported to test our inclination to overcome impulsive, intuitive thought with effortful, rational reflection. Research suggests that philosophers tend to perform better on this test than non-philosophers, and that men tend to perform better than women. Taken together, these findings could be interpreted as partially explaining the gender gap that exists in Philosophy: there are fewer women in Philosophy because women are less likely to possess the ideal ‘philosophical personality’. If this explanation for the gender (...) gap in Philosophy is accepted, it might be seen to exonerate Philosophy departments of the need to put in place much-needed strategies for promoting gender diversity. This paper discusses a number of reasons for thinking that this would be the wrong conclusion to draw from the research. Firstly, the CRT may not track what it is claimed it tracks. Secondly, the trait tracked by the CRT may not be something that we should value in philosophers. Thirdly, even if we accept that the CRT tracks a trait that has value, this trait might be of limited importance to good philosophising. Lastly, the causal story linking the gender gap in CRT score and the gender gap in Philosophy is likely to be far more complex than this explanation implies. (shrink)

The thesis investigates the implications for moral philosophy of research in psychology. In addition to an introduction and concluding remarks, the thesis consists of four chapters, each exploring various more specific challenges or inputs to moral philosophy from cognitive, social, personality, developmental, and evolutionary psychology. Chapter 1 explores and clarifies the issue of whether or not morality is innate. The chapter’s general conclusion is that evolution has equipped us with a basic suite of emotions that shape our moral judgments in (...) important ways. Chapter 2 presents and investigates the challenge presented to deontological ethics by Joshua Greene’s so-called dual process theory. The chapter partly agrees with his conclusion that the dual process view neutralizes some common criticisms against utilitarianism founded on deontological intuitions, but also points to avenues left to explore for deontologists. Chapter 3 focuses on Katarzyna de Lazari-Radek and Peter Singer’s suggestion that utilitarianism is less vulnerable to so-called evolutionary debunking than other moral theories. The chapter is by and large critical of their attempt. In the final chapter 4, attention is directed at the issue of whether or not social psychology has shown that people lack stable character traits, and hence that the virtue ethical view is premised on false or tenuous assumptions. Though this so-called situationist challenge at one time seemed like a serious threat to virtue ethics, the chapter argues for a moderate position, pointing to the fragility of much of the empirical research invoked to substantiate this challenge while also suggesting revisions to the virtue-ethical view as such. (shrink)

According to standard assumptions in semantics, ordinary users of a language have implicit beliefs about the truth-conditions of sentences in that language, and they often agree on those beliefs. For example, it is assumed that if Anna and John are both competent users of English and the former utters ‘grass is green’ in conversation with the latter, they will both believe that that sentence is true if and only if grass is green. These assumptions play an important role in an (...) intuitively compelling picture of communication, according to which successful communication through literal assertoric utterances is normally effected thanks to our shared beliefs about the truth-conditions of the sentences uttered in the course of the conversation. Against these standard assumptions, this paper argues that the participants in a conversation rarely have the same beliefs about the truth-conditions of the sentences involved in a linguistic interaction. More precisely, it argues for Variance, the thesis that nearly every utterance is such that there is no proposition which more than one language user believes to be that utterance’s truth-conditional content. If Variance is true, we must reject the standard picture of communication. Towards the end of the paper I identify three ways in which ordinary conversations can be communication-like despite the truth of Variance and argue that the most natural amendments to the standard picture fail to explain them. (shrink)

In a recent debate, Rosenberg claims that only the methods of natural science can deliver genuine knowledge, while Williamson rejects Rosenberg’s extreme methodological naturalism and insists that we have genuine philosophical and humanistic knowledge not achievable by hard-scientific methods alone. This paper responds to the debate. I will argue that physicalism, together with contemporary neurocognitive and evolutionary knowledge, implies that some of our intuitions and mental simulations used in the humanities and philosophy are justified methods for achieving knowledge but are (...) practically irreplaceable with hard-scientific methods. That is, extreme methodological naturalism is in conflict with physicalism. The argument also shows that some moderate version of methodological naturalism can be consistent with physicalism. Physicalism is the strong version of ontological naturalism and is supposed to be accepted by strongly committed naturalists like Rosenberg. Therefore, to be self-consistent, these naturalists should adopt physicalism plus a moderate version of methodological naturalism, rather than Rosenberg’s extreme version. (shrink)

John Cook Wilson is an important predecessor of contemporary knowledge first epistemologists: among other parallels, he claimed that knowledge is indefinable. We reconstruct four arguments for this claim discernible in his work, three of which find no clear analogues in contemporary discussions of knowledge first epistemology. We pay special attention to Cook Wilson’s view of the relation between knowledge and forms of thinking (like belief). Claims of Cook Wilson’s that support the indefinability of knowledge include: that knowledge, unlike belief, straddles (...) an active/passive divide; that, rather than entailing belief, knowledge excludes belief; and that understanding forms of thinking other than knowledge (such as belief) depends on understanding knowledge. Reflecting on Cook Wilson’s framework highlights underappreciated concerns relevant to any attempt to define knowledge. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

The paper is a critique of Allan Gibbard’s impressively crafted monograph Meaning and Normativity. The book relies on a subtle form of logical empiricism, developing a normative verificationist semantics within a subjective Bayesian framework. I argue that the resulting account of synonymy is too fine-grained, since it counts clearly synonymous words in different languages as non-synonymous. For similar reasons, Gibbard’s account of analytic implication relies on postulating untenable connections between semantics and epistemology. I conclude that one of the main obstacles (...) to robust realism about normativity and morality, the supposed conceptual connections between normative language and action, is a myth. (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.

Disagreeing with most authors on vagueness, the author proposes a solution that he calls ‘three-valued semantic pluralism’ to the age-old sorites paradox. In essence, it is a three-valued semantics for a first-order vague language with identity with the additional suggestion that a vague language has more than one correct interpretation. Unlike the traditional three-valued approach to a vague language, three-valued semantic pluralism can accommodate the phenomenon of higher-order vagueness and the phenomenon of penumbral connection when equipped with ‘suitable conditionals’. The (...) author also shows that three-valued semantic pluralism is a natural consequence of a restricted form of the Tolerance principle ) and a few related ideas, and argues that ) is well-motivated by considerations about how we learn, teach, and use vague predicates. (shrink)

Williamson ( 2007 ) argues that philosophers acquire no philosophical knowledge at all by semantic understanding alone. He further argues that the most important method used for achieving philosophical knowledge is through the ‘imaginative simulation’ process some of whose products are neither a priori nor a posteriori but ‘armchair’ knowledge. We argue in this paper that the way Williamson argues against the claim that semantic understanding alone is enough to achieve philosophical knowledge can be paralleled by an exactly similar argument (...) against his view that imaginative simulation alone is enough to achieve philosophical knowledge. Because of the parallel argument, we conclude that Williamson’s argument against semantic understanding shows at most that it is fallible, if used alone, as a method for achieving philosophical knowledge. We also point out a blind spot in Williamson’s argument for his epistemology of modality: a reliable method for achieving knowledge about subjunctive conditionals is not necessarily a reliable method for achieving knowledge about modal statements even if every modal statement is logically equivalent to some subjunctive conditional. Finally, we argue that, with a suitable understanding of ‘understanding the meaning,’ Williamson’s armchair knowledge is nothing but the a priori knowledge of those good-old-days philosophy. (shrink)

Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: if (X & Y), then (X > Y) valid? Stalnaker and Lewis think so, but many others disagree. We note here that the extant arguments for Conjunction Conditionalization are unpersuasive, before presenting a family of more compelling arguments. These arguments rely on some standard theorems of the logic of counterfactuals as well as a plausible and popular semantic claim about certain semifactuals. Denying Conjunction Conditionalization, then, requires (...) rejecting other aspects of the standard logic of counterfactuals, or else our intuitive picture of semifactuals. (shrink)

Williamsonian modal epistemology is characterized by two commitments: realism about modality, and anti-exceptionalism about our modal knowledge. Williamson’s own counterfactual-based modal epistemology is the best known implementation of WME, but not the only option that is available. I sketch and defend an alternative implementation which takes our knowledge of metaphysical modality to arise, not from knowledge of counterfactuals, but from our knowledge of ordinary possibility statements of the form ‘x can F’. I defend this view against a criticism indicated in (...) Williamson’s own work, and argue that it is better connected to the semantics of modal language. (shrink)

¿Cómo pensar hoy la naturaleza y el valor de la reflexión filosófica? La influencia omnipresente del modelo del conocimiento experto parece exigir una autocomprensión de la filosofía como una disciplina entre las disciplinas. Este artículo propone que la filosofía debe resistirse a esta tentación. Defenderé, por tanto, una especie de "excepcionalismo" para la filosofía basado en la idea de que no puede pretender ser una disciplina. Sea o no cierto que hoy en día las actividades filosóficas estén legitimadas institucionalmente por (...) los principios de un Canon, voy a sugerir una estrategia de transgresión del Canon al rechazar cualquier asimilación de la filosofía a una disciplina, aunque fuera "anómala". La filosofía debe contribuir a la comprensión de nuestros diversos modos de conceptualizar y de transformar el mundo y dar sentido a la experiencia humana. La filosofía debe reclamar para sí una "estado de excepción" y abrir un espacio para cuestionar todo aquello que parece obvio e incuestionable. How to think today about the nature and value of the philosophical reflection? The pervasive influence of the model of expert knowledge seems to require a selfunderstanding of philosophy as a discipline among the disciplines. This paper argues that philosophy should resist this move. So I will defend a kind of "exceptionalism" for philosophy based on the idea that philosophy cannot pretend to be a discipline. Be true or not that philosophical activities are nowadays institutionally legitimized by the principles of a Canon, I will suggest a strategy of transgression of the Canon by rejecting any assimilation of philosophy to a discipline, even if an "anomalous" one. Philosophy must contribute to the understanding of our different ways of conceptualizing and transforming the world and to make sense of human experience. The thesis of this paper is that philosophy must claim a "state of emergency" for itself a open a space for freely questioning what it appears as obvious and unchallengeable. (shrink)

The fact of moral disagreement when conjoined with Conciliationism, an independently attractive view about the epistemic significance disagreement, seems to entail moral skepticism. This worries those who like Conciliationism, the independently attractive view, but dislike moral skepticism. Others, equally inclined against moral skepticism, think this is a reductio of Conciliationism. I argue that they are both wrong. There is no reductio and nothing to worry about.

Conceptual analysis as traditionally understood can be improved by allowing the use of a certain kind of empirical investigation. The conceptual analysis in which the kind of empirical investigation in question is used can be called “empirical conceptual analysis”. In the present inquiry, I provide a systematic exposition of empirical conceptual analysis, so understood, considering what exactly empirical conceptual analysis is, the different kinds of empirical conceptual analysis, and the main application of the method within philosophy. It can be defined (...) as a method that consists in drawing a conclusion about the semantic application conditions of a predicate on the basis of observation of the manifestations of semantic intuitions. The different kinds of empirical conceptual analysis are distinguished according to the way the manifestations of semantic intuitions are observed. The main application of the method is solving conceptual disputes – situations in which different competent speakers of a language disagree about the semantic application conditions of a predicate from that language, and their disagreement is caused by the fact that they have different semantic intuitions about that predicate. (shrink)

_ Source: _Page Count 19 Epistemic akrasia refers to the possibility of forming an attitude that fails to conform to one’s best judgment. In this paper, I will be concerned with the question whether epistemic akrasia is rational and I will argue that it is not. Addressing this question, in turn, raises the question of the epistemic significance of higher-order evidence. After examining some of the views on this subject, I will present an argument to show why higher-order evidence is (...) relevant to the epistemic status of the pertinent first-order beliefs. This helps to show why a standard argument for the rationality of epistemic akrasia does not work. Finally, I shall try to show how considerations involving Davidson’s theory of radical interpretation bear on the question of the rationality of epistemic akrasia. (shrink)

In 2009, the UK House of Commons Science and Technology Committee conducted an ‘evidence check’ on homeopathy to evaluate evidence for its effectiveness. In common with the wider literature critical of homeopathy, the STC report seems to endorse many of the strong claims that are made about its implausibility. In contrast with the critical literature, however, the STC report explicitly does not place any weight on implausibility in its evaluation. I use the contrasting positions of the STC and the wider (...) critical literature to examine the ‘implausibility arguments’ against homeopathy and the place of such arguments within evidence-based medicine. I argue that the STC report undervalues its strong claims about the mechanistic plausibility of homeopathy because it relies on a misunderstanding about the role of mechanistic evidence within EBM. This is not a conclusion for a revision of the role mechanistic evidence plays within EBM, however. It is a conclusion about the inconsistency of the STC report’s position towards implausibility arguments, given the evidential claims they endorse and the atypical situation that homeopathy presents. It provides a further example of the general point that mechanistic reasoning should not be seen as providing categorically lower quality evidence. (shrink)

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)

The original publication of the article contains two formatting errors, the second of which significantly inhibits readability.

Philosophical concerns are evidenced from the beginning of human literature, which have no obvious connection to philosophy’s mainstream epistemological and metaphysical problematic. I reject the views that the nature of philosophy is a philosophical question, and that the discipline is united by methodology, arguing that it must be united by subject matter. The origins of the discipline provide reasons to doubt the existence of a unifying subject matter, however, and scepticism about philosophy also arises from its a priori methodology and (...) apparent lack of progress. In response, I argue that philosophy acquired a distinctive subject matter when the concept of transcendence was introduced into attempts to gain a systematic understanding of the world and our place within it; philosophy thereby pursues the same aim of achieving a synoptic vision of reality as religion, but resembles science in its development and employment of rigorous methodologies. Philosophy’s subject matter explains why it must be pursued a priori, and it only appears not to have progressed when aims are neglected, and it is inappropriately assimilated to science. (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)

In recent years, there has been increasing discussion of whether philosophy actually makes progress. This discussion has been prompted, in no small part, by the depth and persistence of disagreement among philosophers on virtually every major theoretical issue in the field. In this paper, I examine the role that the Method of Cases – the widespread philosophical method of testing and revising theories by comparing their verdicts against our intuitions in particular cases – plays in creating and sustaining theoretical disagreements (...) in philosophy. Drawing on work from cognitive psychology, I argue that there is a fundamental incompatibility between the structure of the theories that philosophers seek to construct using the MoC and the structure of the concepts on which our case-specific intuitions are based. This incompatibility renders MoC-based philosophical theorizing unable ever to succeed by the very standards of adequacy that it sets for itself. And this, in turn, helps to explain the depth and persistence of theoretical disagreements – and, in certain ways, the lack of progress – in the many areas of philosophy where the MoC plays an important role. (shrink)

In this paper, I introduce and defend a notion of analyticity for formal languages. I first uncover a crucial flaw in Timothy Williamson’s famous argument template against analyticity, when it is applied to sentences of formal mathematical languages. Williamson’s argument targets the popular idea that a necessary condition for analyticity is that whoever understands an analytic sentence assents to it. Williamson argues that for any given candidate analytic sentence, there can be people who understand that sentence and yet who fail (...) to assent to it. I argue that, on the most natural understanding of the notion of assent when it is applied to sentences of formal mathematical languages, Williamson’s argument fails. Formal analyticity is the notion of analyticity that is based on this natural understanding of assent. I go on to develop the notion of formal analyticity and defend the claim that there are formally analytic sentences and rules of inference. I conclude by showing the potential payoffs of recognizing formal analyticity. (shrink)

The cross-cultural differences in epistemic intuitions reported by Weinberg, Nichols and Stich (2001; hereafter: WNS) laid the ground for the negative program of experimental philosophy. However, most of WNS’s findings were not corroborated in further studies. The exception here is the study concerning purported differences between Westerners and Indians in knowledge ascriptions concerning the Zebra Case, which was never properly replicated. Our study replicates the above-mentioned experiment on a considerably larger sample of Westerners (n = 211) and Indians (n = (...) 204). The analysis found a significant difference between the ethnic groups in question in the predicted direction: Indians were more likely to attribute knowledge in the Zebra Case than Westerners. In this paper, we offer an explanation of our result that takes into account the fact that replications of WNS’s other experiments did not find any cross-cultural differences. We argue that the Zebra Case is unique among the vignettes tested by WNS since it should not be regarded as a Gettier case but rather as a scenario exhibiting skeptical pressure concerning the reliability of sense-perception. We argue that skepticism towards perception as a means of gaining knowledge is a trope that is deeply rooted in Western epistemology but is very much absent from Classical Indian philosophical inquiry. This line of reasoning is based on a thorough examination of the skeptical scenarios discussed by philosophers of the Indian Nyaya tradition and their adversaries. (shrink)

The discussion of the nature of consciousness seems to have stalled, with the “hard problem of consciousness” in its center, well-defined camps of realists and eliminativists at two opposing poles, and little to none room for agreement between. Recent attempts to move this debate forward by shifting them to a meta-level have heavily relied on the notion of “intuition”, understood in a rather liberal way. Against this backdrop, the goal of this paper is twofold. First, we want to highlight how (...) the ontological and epistemological status of intuitions restricts the arguments in the debate on consciousness that rely on them. Second, we want to demonstrate how the deadlock in those debates could be resolved through a study of a particular, “positive” kind of intuitions. We call this approach “The Canberrish Plan for Consciousness” as it adopts elements of the methodological “Canberra Plan”. (shrink)

The idea that justified modal belief can be accounted for in terms of empirically justified, non-modal belief is enjoying increasing popularity in the epistemology of modality. One alleged reason to prefer modal empiricism over more traditional, rationalist modal epistemologies is that empiricism avoids the problem with the integration challenge that arise for rationalism, assuming that we want to be realists about modal metaphysics. In this paper, I argue that given two very reasonable constraints on what it means to meet the (...) integration challenge for modality, empiricism is currently at best on a par with, but potentially worse off than, rationalist alternatives, with respect to the integration challenge. (shrink)

According to Timothy Williamson, we should accept the simplest and most powerful second-order modal logic, and as a result accept an ontology of "bare possibilia". This general method for extracting ontology from logic is salutary, but its application in this case depends on a questionable assumption: that modality is a fundamental feature of the world.

This paper compares two ways of holding that logic is special among the sciences in that it has no restricted class of entities as its subject matter, but instead concerns all entities alike. One way is Williamson’s explanation of how inquiry into logical consequence and logical truth only superficially concerns the linguistic or conceptual entities that bear these properties. Williamson draws on ideas familiar from deflationism about truth, and his account has been called “deflationary.” I argue that the analogy is (...) misleading. While there’s a broad sense in which Williamson offers a deflationary account of logical inquiry, his view differs from deflationism about truth in being best understood as a form of instrumentalism. By contrast, I elaborate a deflationism about logical properties modeled on deflationism about truth. I defend this expressive device deflationism as an explanation of our use of logical predicates. (shrink)

Recently there has been an increasing interest in metaphilosphy. The aim of philosophy has been examined. The development of philosophy has also been scrutinised. With the development of new approaches and methods, new problems arise. This collection revisits some of the metaphilosophical issues, including philosophical progress and the aim of philosophy. It sheds new light on some old approaches, such as naturalism and ordinary language philosophy. It also explores new philosophical methods (e.g., digital philosophy of science, conceptual engineering, and the (...) practice-based approach to logic) and their prospects. (shrink)

This paper presents evidence that ‘because’ is importantly ambiguous between two closely related senses covering what are usually called causal explanations, on the one hand, and grounding or metaphysical explanations, on the other hand. To this end, it introduces the lexical categories of monosemy, polysemy and homonymy; describes a test for polysemy; and discusses the results of the test when applied to ‘because’. It also shows how to understand so-called hybrid explanations in light of the semantic facts established by the (...) analysis. (shrink)

In this paper, I defend the view that any good account of the logical form of thought experiments should contain a conditional. Moreover, there are some reasons to think it should be a counterfactual conditional. First, I defend Williamson’s account of the logical form of thought experiments against a competing account offered by Ichikawa and Jarvis. The two accounts have a similar structure, but Williamson’s posits a counterfactual conditional where Ichikawa and Jarvis’ posits a strict conditional. Williamson’s motivation is related (...) to the problem of deviant realizations, and Ichikawa and Jarvis propose to take care of this problem by enriching the content of the thought experiment in the way we enrich the content of a text of fiction. However, this sort of enrichment is also compatible with Williamson’s account. I then consider a different view, defended by Malmgren, on which a complex possibility claim exhausts our reasoning on typical thought experiments. I argue that this account, leaving out a conditional, fails to represent an important part of our reasoning with thought experiments. This is brought out by reflection on the relationship between thought experiments and similar actual cases and by reflection on the requirement, formulated by Malmgren herself, that our reasoning should have an adequate level of generality. (shrink)

Williamson and others have recently argued against the significance of the a priori/a posteriori distinction. My aim in this paper is to explain, defend, and expand upon one of these arguments. In the first section, I develop in some detail a line of argument sketched in Williamson. In the second section, I consider two replies to Williamson and show that they miss the structure of the challenge, as I understand it. The problem for defenders of the distinction is to find (...) a way to draw it without leaving out some paradigmatic a priori knowledge or including some paradigmatic a posteriori knowledge. Interestingly, the two replies fail in opposite directions. I then consider the view that, in cases of a priori knowledge, one needs only understanding and some reasoning to gain justified belief. Such reasoning, I argue, should itself not be dependent on experience. Next, I consider, and reject, the attempt to spell out independence of experience for reasoning based on a link between the modal and epistemic status of the proposition involved. Finally, I provide some general grounds to think that the role of experience in forming a reasoning competence, while not evidential, is not devoid of normative value. The main reason is that the normative status of intellectual competences depends on the experiences that constitute their acquisition and development. (shrink)

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.

Recent work on analyticity distinguishes two kinds, metaphysical and epistemic. This paper argues that the distinction allows for a new view in the philosophy of logic according to which the claims of logic are metaphysically analytic and have distinctive modal profiles, even though their epistemology is holist and in many ways rather Quinean. It is argued that such a view combines some of the more attractive aspects of the Carnapian and Quinean approaches to logic, whilst avoiding some famous problems.

Revenge arguments purport to show that any proposed solution to the semantic paradoxes generates new paradoxes that prove that solution to be inadequate. In this paper, I focus on revenge arguments that employ the model-theoretic semantics of a target theory and I argue, contra the current revenge-theoretic wisdom, that they can constitute genuine expressive limitations. I consider the anti-revenge strategy elaborated by Field and argue that it does not offer a way out of the revenge problem. More generally, I argue (...) that the difference between ‘standard’ and ‘revenge’ paradoxes is ill-conceived and should be abandoned. This will contribute to show that the theories that provide a uniform account of truth and other semantic notions are the ones best equipped to avoid the paradoxes altogether—‘standard’ and ‘revenge’ alike. (shrink)

In recent years, more and more people have become attracted by the idea that the imagination should play a central role in explaining our knowledge of what is possible and necessary and what would be the case if things were different from how they actually are. The biggest challenge for this account is to explain how the imagination can be restricted in such a way that it can play this epistemic role, for there are certainly also unrestricted uses of the (...) imagination in which it fails to yield the requisite knowledge. In this paper, I inquire how Kant’s account of the imagination could inspire the contemporary debate at this point. I first give an overview about Kant’s account of the imagination and its different roles for our cognition of the real world. I then show that some recent attempts to separate the epistemically valuable uses of the imagination from the epistemically worthless ones bear some striking similarities to Kant’s ideas about how the imagination helps us to get insight into metaphysical possibility. By discussing what Kant says about the method of a priori imaginative construction in the case of concepts such as that of matter and that of disembodied minds, I also point to those aspects of his view which make his views really distinct from all contemporary accounts, but which he himself thought bear the greatest potential of making the imagination a source of modal knowledge. (shrink)

Reflective equilibrium —the idea that we have to justify our judgments and principles through a process of mutual adjustment—is taken to be a central method in philosophy. Nonetheless, conceptions of RE often stay sketchy, and there is a striking lack of explicit and traceable applications of it. This paper presents an explicit case study for the application of an elaborate RE conception. RE is used to reconstruct the arguments from Thomson’s paper “Turning the Trolley” for why a bystander must not (...) divert a runaway trolley from five workmen onto one. Analyzing Thomson’s resulting position with the RE-criteria has two main results: Firstly, the adjustment of one of her commitments can be defended. Secondly, no justified position in RE was reached. With respect to RE as a method, the main results from this application are: There is at least one conception of RE that is sufficiently specified to be applicable; the RE criteria put real constraints on the process of justification; and an explicit application of RE has benefits in terms of clarity while at the same time providing guidance for how the justificatory process could be continued. (shrink)

There is at present a certain dispute about counterfactuals taking place. What is at issue is whether counterfactuals with necessarily false antecedents are all true. Some hold that such counterfactuals are vacuously true, appearances notwithstanding. Let us call such people vacuists. Others hold that some counterfactuals with necessarily false antecedents are true; some are false: it just depends on their contents. Let us call such people non-vacuists. As a notable representative of the vacuists, I will take Tim Williamson. On the (...) other side, I will take the position defended by Berto, French, Priest, and Ripley. I will argue (unsurprisingly) that the better choice is Non-Vacuism. That, however, is a subsidiary aim of this paper. The main point is to illustrate the method of theory-choice. (shrink)