Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

Jurado: Mario Gómez-Torrente (presidente), Miguel Ángel Fernández Vargas (vocal), Santiago Echeverri Saldarriaga (secretario). [Graduado con Mención Honorífica.].

The chapter discusses the issue of how we may achieve knowledge of essence. It offers a critical survey of the main theories of knowledge of essence that have been proposed within contemporary debates, particularly by Lowe, Hale, Oderberg, Elder, and Kment.

Deutsch 2010 (The Review of Philosophy and Psychology 1: 447–460) claims that hypothetical scenarios are evaluated using arguments, not intuitions, and therefore experiments on intuitions are philosophically inconsequential. Using the Gettier case as an example, he identifies three arguments that are supposed to point to the right response to the case. In the paper, I present the results of studies ran on Polish, Indian, Spanish, and American participants that suggest that there’s no deep difference between evaluating the Gettier case with (...) intuitions and evaluating it with Deutsch’s arguments. Specifically, I argue that one would find these arguments persuasive if and only if one is already disposed to exhibit the relevant intuition. (shrink)

The debate between exceptionalists and anti-exceptionalists about logic is often framed as concerning whether the justification of logical theories is a priori or a posteriori (for short: whether logic is a priori or a posteriori). As we substantiate (S1), this framing more deeply encodes the usual anti-exceptionalist thesis that logical theories, like scientific theories, are abductively justified, coupled with the common supposition that abduction is an a posteriori mode of inference, in the sense that the epistemic value of abduction is (...) (and, indeed, must be) a posteriori. In past work, however, we have argued that this common supposition is incorrect: abduction is an a priori mode of inference, in the sense that the epistemic value of abduction is (and indeed, must be) a priori (Biggs and Wilson 2017a, 2017b, 2019). After sketching our two main argumentative strategies for this conclusion (S2), we go on (S3) to consider its import on the proper understanding of anti-exceptionalism about logic. (shrink)

The idea of the uniformity of nature, as a solution to the problem of induction, has at least two contemporary versions: natural kinds and natural necessity. Then there are at least three alternative ontological ideas addressing the problem of induction. In this paper, I articulate how these ideas are used to justify the practice of inductive inference, and compare them, in terms of their applicability, to see whether each of them is preferred in addressing the problem of induction. Given the (...) variety of contexts in which inductive inferences are made, from natural science to social science and to everyday thinking, I suggest that no singular idea is absolutely preferred, and a proper strategy is probably to welcome the plurality of ideas helpful to induction, and to take pragmatic considerations into account, in order to judge in every single case. (shrink)

While anti-exceptionalism about logic is now a popular topic within the philosophy of logic, there’s still a lack of clarity over what the proposal amounts to. currently, it is most common to conceive of AEL as the proposal that logic is continuous with the sciences. Yet, as we show here, this conception of AEL is unhelpful due to both its lack of precision, and its distortion of the current debates. Rather, AEL is better understood as the rejection of certain traditional (...) properties of logic. The picture that results is not of one singular position, but rather a cluster of often connected positions with distinct motivations, understood in terms of their rejection of clusters of the various traditional properties. In order to show the fruitfulness of this new conception of AEL, we distinguish between two prominent versions of the position, metaphysical and epistemological AEL, and show how the two positions need not stand or fall together. (shrink)

This chapter develops and defends an account of reason: to reason is to scrutinize one’s attitudes by consulting the perspectives of other persons. The principal attraction of this account is its ability to vindicate the unique of authority of reason. The chapter argues that this conception entails that reasoning is a robustly social endeavor—that it is, in the first instance, something we do with other people. It is further argued that such social endeavors presuppose mutual respect on the part of (...) those participating in them. The account therefore yields a form of Kantian constructivism: we have an unconditional duty of respect for persons because such a duty is implicit in the very nature of reasoning. -/- . (shrink)

What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...) thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)

I argue for the unexceptionality of evidence about what rationality requires. Specifically, I argue that, as for other topics, one’s total evidence can sometimes support false beliefs about this. Despite being prima facie innocuous, a number of philosophers have recently denied this. Some have argued that the facts about what rationality requires are highly dependent on the agent’s situation and change depending on what that situation is like. (Bradley 2019). Others have argued that a particular subset of normative truths, those (...) concerning what epistemic rationality requires, have the special property of being ‘fixed points’—it is impossible to have total evidence that supports false belief about them. (Smithies 2012; Titelbaum 2015). Each of these kinds of exceptionality permits a solution to downstream theoretical problems that arise from the possibility of evidence supporting false belief about requirements of rationality. However, as I argue here, they incur heavy explanatory burdens that we should avoid. (shrink)

My primary goal in this paper is to defend the plausibility of Kripke’s thesis that there are contingent a priori truths, and to fill out some gaps in Kripke’s own account of these truths. But the strategy here adopted is, to the best of my knowledge, still unexplored and different from the one adopted both by Kripke himself and by his critics. I first argue that Kripke’s examples of such truths can only be legitimate if seen as introduced by performative (...) utterances sense). And, if this is so, we can apply the machinery of illocutionary act theory to these utterances to explain how one can have a priori knowledge of some contingent facts generated by the utterances themselves. I shall argue that the overall strategy can fill out two gaps in Kripke’s original account: first, we can explain the nature of the truth-makers of contingent a priori truths sense, broadly conceived) and, second, we can explain how contingent a priori knowledge can be transmitted from one speaker to another. (shrink)

Modalists think that knowledge requires forming your belief in a “modally stable” way: using a method that wouldn't easily go wrong, or using a method that wouldn't have given you this belief had it been false. Recent Modalist projects from Justin Clarke-Doane and Dan Baras defend a principle they call “Modal Security,” roughly: if evidence undermines your belief, then it must give you a reason to doubt the safety or sensitivity of your belief. Another recent Modalist project from Carlotta Pavese (...) and Bob Beddor defends “Modal Virtue Epistemology”: knowledge is a belief that is maximally modally robust across “normal” worlds. We'll offer new objections to these recent Modalist projects. We will then argue for a rival view, Explanationism: knowing something is believing it because it's true. We will show how Explanationism offers a better account of undermining defeaters than Modalism, and a better account of knowledge. (shrink)

In the presented article, I have analyzed the famous Saul Kripke statement that some a priori truths are contingent. I show, that despite Kripke’s thesis, in the historical understanding of contingency, the notions of contingency and apriority are in deep conflict with each other. In this understanding of contingency, the past, which can be known a priori, is not contingent, and the future, which is contingent, has difficulty acquiring a priori knowledge. Having stated Kripke’s thesis more precisely, I propose three (...) means in order to defend it in the historical understanding of possibility: by introducing the notion of “factual” future, by replacing the notion of apriority with the notion of apriority-in-the-future; by replacing the notion of apriority with the notion of historical apriority, and the notion of contingency with the notion of once-apriority. In the annex of the article, I present the formal analysis of the problem that I have introduced and three solutions which I have proposed in the language of temporal-modal logic of predicates for models of indeterministic time. (shrink)

This article discusses the role of a priori and a posteriori knowledge and methods in metaphysics and metametaphysics. Issues discussed include the viability of the distinction, the continuity of a priori and a posteriori methods, connections to modal epistemology, and the role of the distinction for science and naturalistic metaphysics.

A common response to radical skeptical challenges to our knowledge of the external world has been that there are explanatory reasons (e.g., simplicity, coherence, explanatory power, conservatism) for favoring commonsense explanations of our sensory experiences over skeptical explanations. Despite the degree of visibility this class of response has enjoyed, it has often been viewed with skepticism [sic] by the epistemological community because of concerns about the epistemic merits of explanatory reasoning. I argue that skeptical challenges that employ skeptical hypotheses presuppose (...) central explanationist tenets and that this fact should raise one’s estimation of the strength of explanationist responses to skepticism. (shrink)

The aim of this paper is to establish a phenomenological mathematical intuitionism that is based on fundamental phenomenological-epistemological principles. According to this intuitionism, mathematical intuitions are sui generis mental states, namely experiences that exhibit a distinctive phenomenal character. The focus is on two questions: what does it mean to undergo a mathematical intuition and what role do mathematical intuitions play in mathematical reasoning? While I crucially draw on Husserlian principles and adopt ideas we find in phenomenologically minded mathematicians such as (...) Hermann Weyl and Kurt Gödel, the overall objective is systematic in nature: to offer a plausible approach towards mathematics. (shrink)

In this thesis, I argue that many identification intuitions, such as one that helps you identify the authorship of a painting you are seeing for the first time, fall under the class of experience-based intuitions. Such identification intuitions cannot arise without intuition generating systems (IGSs) that are shaped by experiences accumulated during one’s life. On my view, experience-based intuitions are produced by domain-general learning systems of hierarchical abstraction which may be modeled by deep convolutional neural networks. Owing to the mechanism (...) of such IGSs, the reliability of experience-based intuition X depends on the quality of the experiences underlying the IGS which produces X. Lastly, I suggest that insofar as some philosophical thought experiments elicit experience-based identification intuitions, we can use the case method to glean information about our experiences as well as uncover certain conceptual commitments. (shrink)

Besides the general agreement about the human capability of reflection, there is a large area of disagreement and debate about the nature and value of “reflective scrutiny” and the role of “second-order states” in everyday life. This problem has been discussed in a vast and heterogeneous literature about topics such as epistemic injustice, epistemic norms, agency, understanding, meta-cognition etc. However, there is not yet any extensive and interdisciplinary work, specifically focused on the topic of the epistemic value of reflection. This (...) volume is one of the first attempts aimed at providing an innovative contribution, an exchange between philosophy, epistemology and psychology about the place and value of reflection in everyday life. -/- Our goal in the next sections is not to offer an exhaustive overview of recent work on epistemic reflection, nor to mimic all of the contributions made by the chapters in this volume. We will try to highlight some topics that have motivated a new resumption of this field and, with that, drawing on chapters from this volume where relevant. -/- Two elements defined the scope and content of this volume, on the one hand, the crucial contribution of Ernest Sosa, whose works provide original and thought-provoking contributions to contemporary epistemology in setting a new direction for old dilemmas about the nature and value of knowledge, giving a central place to reflection. On the other hand, the recent developments of cultural psychology, in the version of the “Aalborg approach”, reconsider the object and scope of psychological sciences, stressing that “[h]uman conduct is purposeful”. (shrink)

This paper argues that reading is a source of knowledge. Epistemologists have virtually ignored reading as a source of knowledge. This paper argues, first, that reading is not to be equated with attending to testimony, and second that it cannot be reduced to perception. Next an analysis of reading is offered and the source of knowledge that reading is further delineated. Finally it is argued that the source that reading is, can be both transmissive and generative, is non-basic, once was (...) a non-essential but has become essential for many people, and can be unique. (shrink)

Approaching Infinity addresses seventeen paradoxes of the infinite, most of which have no generally accepted solutions. The book addresses these paradoxes using a new theory of infinity, which entails that an infinite series is uncompletable when it requires something to possess an infinite intensive magnitude. Along the way, the author addresses the nature of numbers, sets, geometric points, and related matters. The book addresses the need for a theory of infinity, and reviews both old and new theories of infinity. It (...) discussing the purposes of studying infinity and the troubles with traditional approaches to the problem, and concludes by offering a solution to some existing paradoxes. (shrink)

A noção de analiticidade teve um papel central em vários debates filosóficos, em particular durante a primeira metade do século XX. Na sequência do influente artigo de W. V. Quine “Dois Dogmas do empirismo” (1951), a noção passou a ser vista com grande cepticismo. Mais recentemente, Paul Boghossian, no artigo “Analiticidade Reconsiderada” (1996), propôs uma forma de compreender a noção que é, putativamente, imune às críticas de Quine. O interesse na noção de analiticidade ficou desta forma renovado, assim como a (...) sua centralidade no debate acerca da possibilidade do conhecimento a priori. O principal objectivo deste artigo consiste em introduzir a noção de analiticidade e os principais problemas que esta enfrenta. (shrink)

O objectivo deste artigo consiste em introduzir a noção de conhecimento a priori e os problemas que a envolvem. Começa-se por caracterizar o conhecimento a priori e aquilo que o distingue do conhecimento a posteriori para de seguida avaliar-se as dificuldades que uma compreensão adequada da noção de independência da experiência enfrenta. A noção de a priori é distinguida da de necessidade, à qual, tradicionalmente, tem sido associada. Por fim, o problema do a priori é formulado e as principais teorias (...) que a ele respondem brevemente discutidas. (shrink)

There are three theories in the epistemology of modality that have received sustained attention over the past 20 years: conceivability-theory, counterfactual-theory, and deduction-theory. In this paper we argue that all three face what we call the problem of modal epistemic friction. One consequence of the problem is that for any of the three accounts to yield modal knowledge, the account must provide an epistemology of essence. We discuss an attempt to fend off the problem within the context of the internalism (...) versus externalism debate about epistemic justification. We then investigate the effects that the PMEF has on reductive and non-reductive theories of the relation between essence and modality. (shrink)

Experimental philosophy, at least in its ‘negative’ variety, has standardly been portrayed as presenting a dramatic challenge to traditional philosophical methodology. As such, it has prompted a large variety of counter-arguments and defenses of intuition. In this paper, I argue that many of these objections to experimental philosophy rest on various oversimplifications that both experimental philosophers and their opponents have made regarding intuitions and philosophical methodology. Once these oversimplifications are abandoned, I argue that the experimentalist critique of current philosophical methods (...) becomes somewhat less dramatic, but also much less open to objection. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

The fourteen papers in this collection offer a variety of original contributions to the epistemology of modality. In seeking to explain how we might account for our knowledge of possibility and necessity, they raise some novel questions, develop some unfamiliar theoretical perspectives, and make some intriguing proposals. Collectively, they advance our understanding of the field. In Part I of this Introduction, I give some general background about the contemporary literature in the area, by sketching a timeline of the main tendencies (...) of the past twenty-five years or so, up to the present debates. Next, I focus on four features that largely characterize the latest literature, and the papers in the present collection in particular: (i) an endorsement of the importance of essentialism; (ii) a shift to a “metaphysics-first” approach to modal epistemology; (iii) a focus on metaphysical modality as opposed to other kinds of modality; and (iv) a preference for non-uniform modal epistemology. In Part II, I present the individual papers in the volume. These are organized around the following four chapters, based on their topic: (A) Skepticism & Deflationism; (B) Essentialism; (C) Non-Essentialist Accounts; (D) Applications. -/- LIST OF CONTRIBUTORS: Francesco Berto; Stephen Biggs & Jessica Wilson; Justin Clark-Doane; Philip Goff; Bob Hale; Frank Jackson; Mark Jago; Boris Kment; Antonella Mallozzi; Graham Priest; Gabriel Rabin; Amie Thomasson; Anand Vaidya & Michael Wallner; Jennifer Wang. -/- The volume is dedicated to the memory of Bob Hale. -/- . (shrink)

I propose that we approach the epistemology of modality by putting modal metaphysics first and, specifically, by investigating the metaphysics of essence. Following a prominent Neo-Aristotelian view, I hold that metaphysical necessity depends on the nature of things, namely their essences. I further clarify that essences are core properties having distinctive superexplanatory powers. In the case of natural kinds, which is my focus in the paper, superexplanatoriness is due to the fact that the essence of a kind is what causes (...) all the many properties and behaviors that are typically shared by all the instances of the kind. Accordingly, we know what is necessarily true of kinds by knowing what is essential to them in the sense of actually playing such causal-explanatory roles. Modal reasoning aimed at discovering metaphysical necessity thus proceeds via essentialist deduction: we move from essentialist truths to reach necessary truths. (shrink)

W. V. Quine famously claimed that no statement is immune to revision. This thesis has had a profound impact on twentieth century philosophy, and it still occupies centre stage in many contemporary debates. However, despite its importance it is not clear how it should be interpreted. I show that the thesis is in fact ambiguous between three substantially different theses. I illustrate the importance of clarifying it by assessing its use in the debate against the existence of a priori knowledge. (...) I show how the three different readings of the thesis can be used to generate three substantially different and philosophically significant arguments against the a priori. I further challenge each one of these arguments against the a priori. (shrink)

The most pressing worry for panpsychism is arguably the combination problem, the problem of intelligibly explaining how the experiences of microphysical entities combine to form the experiences of macrophysical entities such as ourselves. This chapter argues that the combination problem is similar in kind to other problems of mental combination that are problems for everyone: the problem of phenomenal unity, the problem of mental structure, and the problem of new quality spaces. The ubiquity of combination problems suggests the ignorance hypothesis, (...) the hypothesis that we are ignorant of certain key facts about mental combination, which allows the panpsychist to avoid certain objections based on the combination problem. (shrink)

Evolutionary debunking arguments abound, but it is widely assumed that they do not arise for our perceptual beliefs about midsized objects, insofar as the adaptive value of our object beliefs cannot be explained without reference to the objects themselves. I argue that this is a mistake. Just as with moral beliefs, the adaptive value of our object beliefs can be explained without assuming that the beliefs are accurate. I then explore the prospects for other sorts of vindications of our object (...) beliefs—which involve “bootstrapping” from our experiences as of midsized objects—and I defend bootstrapping maneuvers against a variety of objections. Finally, I argue for an explanatory constraint on legitimate bootstrapping and show how some attempts to respond to debunking arguments run afoul of the constraint. (shrink)

Recent literature has paid attention to a demarcation problem for evolutionary debunking arguments. This is the problem of asking in virtue of what regulative metaepistemic norm evolutionary considerations either render a belief justified, or debunk it as unjustified. I examine the so-called ‘Milvian Bridge principle’ A new science of religion, Routledge, New York, 2012; Sloan, McKenny, Eggelson Darwin in the 21st century: nature, humanity, and God, University Press, Notre Dame, 2015)), which offers exactly such a called for regulative metaepistemic norm. (...) The Milvian Bridge principle suggests that the metaepistemic norm is: adaptive reliability for truth of cognitive processes that the existence of corresponding truth-making facts evolutionary theory justifies. I argue that the Milvian Bridge principle is problematic on a number of counts, something that is shown via spiraling ‘companions in guilt arguments’. Finally, I consider ‘the core reductionist objection’ to the critique of the Milvian Bridge principle and offer a response. I conclude that the Milvian Bridge principle is destabilized. (shrink)

This paper has three interdependent aims. The first is to make Reichenbach’s views on induction and probabilities clearer, especially as they pertain to his pragmatic justification of induction. The second aim is to show how his view of pragmatic justification arises out of his commitment to extensional empiricism and moots the possibility of a non-pragmatic justification of induction. Finally, and most importantly, a formal decision-theoretic account of Reichenbach’s pragmatic justification is offered in terms both of the minimax principle and the (...) dominance principle. (shrink)

The justificatory force of empirical reasoning always depends upon the existence of some synthetic, a priori justification. The reasoner must begin with justified, substantive constraints on both the prior probability of the conclusion and certain conditional probabilities; otherwise, all possible degrees of belief in the conclusion are left open given the premises. Such constraints cannot in general be empirically justified, on pain of infinite regress. Nor does subjective Bayesianism offer a way out for the empiricist. Despite often-cited convergence theorems, subjective (...) Bayesians cannot hold that any empirical hypothesis is ever objectively justified in the relevant sense. Rationalism is thus the only alternative to an implausible skepticism. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

I argue that Quinean naturalists’ holism-based arguments against analyticity and apriority are more difficult to resist than is generally supposed, for two reasons. First, although opponents of naturalism sometimes dismiss these arguments on the grounds that the holistic premises on which they depend are unacceptably radical, it turns out that the sort of holism required by these arguments is actually quite minimal. And second, although it’s true, as Grice and Strawson pointed out long ago, that these arguments can succeed only (...) if there isn’t any principled criterion for meaning change, such a criterion turns out to be hard to come by. David Chalmers has recently argued that such a criterion must exist, since the norms governing belief revision are subject to obvious exceptions that can be explained only by appeal to meaning change. But this, I argue, is incorrect: if choices about how to use language are themselves rationally assessable, then there are no such exceptions to be explained. To show that this is so, I formulate a new kind of coherence norm that may be useful for reasoning formally about the relationship between meaning and evidence. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 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 higher 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 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 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 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 higher 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 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)

Much discussion about experimental philosophy and philosophical methodology has been framed in terms of the reliability of intuitions, and even when it has not been about reliability per se, it has been focused on whether intuitions meet whatever conditions they need to meet to be trustworthy as evidence. But really that question cannot be answered independently from the questions, evidence for what theories arrived at by what sorts of inferences? I will contend here that not just philosophy's sources of evidence, (...) but also its inferential resources, are in great need of closer examination. (shrink)

I present and defend (1) an account of ethical judgments as judgments about our reasons to feel specific motivationally laden attitudes, (2) an account of what an agent should do in terms of what would achieve ends that she has reason to be motivated to pursue, and (3) an account of an agent’s reasons for motivation (and thus action) in terms of the prescriptions of the most fundamental principles that guide her deliberations. Using these accounts, I explain the connection between (...) ethics and reasons for action, how ethical judgments are both descriptive and intrinsically motivating, and how ethical facts arise from facts about agents’ deliberations. (shrink)

This paper offers an account of the a priori. According to this account, the fundamental notion is not that of a priori knowledge, or even of a priori justified belief, but a notion of an a priori justified inferential disposition. The rationality or justification of such a priori justified inferential dispositions is explained purely by some of the basic cognitive capacities that the thinker possesses, independently of any further experiences or other conscious mental states that the thinker happens to have (...) had. It is then shown how a priori justified inferences and beliefs can be explained on the basis of such a priori justified inferential dispositions. (shrink)

The practice of thought experimentation plays a central role in contemporary philosophical methodology. Many philosophers rely on thought experimentation as their primary and even sole procedure for testing theories about the natures of properties and relations. This test procedure involves entertaining hypothetical cases in imaginative thought and then undergoing intuitions about the distribution of properties and relations in them. A theory’s comporting with an intuition is treated as evidence in favour of it; but a clash is treated as evidence against (...) the theory and may even be regarded as falsifying it. -/- The epistemic power of thought experimentation is mysterious. How can experiments carried out within the mind enable us to discover truths about the natures of properties and relations like knowledge, causation, personal identity, reference, meaning, consciousness, beauty, justice, morality, and free will? This epistemological challenge is urgent, but a model of philosophical thought experimentation would seem to be a necessary propaedeutic to any serious discussion of it. An adequate model would make the relevant test procedure explicit, thereby assisting in the identification of points of potential epistemic vulnerability. -/- In this monograph I advance the propaedeutical model-building work already done by Timothy Williamson, Anna-Sara Malmgren, and Jonathan Ichikawa and Benjamin Jarvis. Following the lead of these philosophers, I focus on a single Gettier-style thought experiment and the problem of identifying the real content of the Gettier intuition. My first contribution is to establish the inadequacy of all of the existing models. Each of them, I argue, fails to solve the content problem. It emerges from my discussion, however, that Ichikawa and Jarvis’s truth in fiction approach holds out the prospect of a solution. -/- My second contribution is to develop and defend a new way of implementing the general idea behind the truth in fiction approach. The model I put forward does a better overall job of modelling Gettier-style thought experiments than any of the existing models. It has none of the defects which render those models inadequate and Iam unable to find any major defects peculiar to it. This should make us feel confident that my model is adequate. Moreover, since the Gettier-style thought experiment I focus on is paradigmatic, we should also feel confident that my model will generalise naturally to other philosophical thought experiments. (shrink)

Does rationality require logical omniscience? Our best formal theories of rationality imply that it does, but our ordinary evaluations of rationality seem to suggest otherwise. This paper aims to resolve the tension by arguing that our ordinary evaluations of rationality are not only consistent with the thesis that rationality requires logical omniscience, but also provide a compelling rationale for accepting this thesis in the first place. This paper also defends an account of apriori justification for logical beliefs that is designed (...) to explain the rational requirement of logical omniscience. On this account, apriori justification for beliefs about logic has its source in logical facts, rather than psychological facts about experience, reasoning, or understanding. This account has important consequences for the epistemic role of experience in the logical domain. In a slogan, the epistemic role of experience in the apriori domain is not a justifying role, but rather an enabling and disabling role. (shrink)

Normal 0 false false false EN-CA X-NONE X-NONE The purpose of this paper is to reconstruct Hilary Kornblith’s argument for excluding conceptual analysis from epistemological inquiry, and then provide three objections to it. More specifically, Kornblith argues that epistemological properties such as ‘knowledge’ reduce to natural kinds which can only be discovered and investigated using the a posteriori methods of the natural sciences. Thus, he continues, conceptual analysis can’t properly illuminate the target domain. The three objections to Kornblith’s argument which (...) I present are as follows: Multiple Realizeability, Psychological Explanation, Starting Points. On strength of these objections, I conclude that Kornblith’s brand of a posteriori epistemology both eliminates our ability to make epistemic evaluations in general, and also implies a strong form of scepticism. /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin-top:0cm; mso-para-margin-right:0cm; mso-para-margin-bottom:10.0pt; mso-para-margin-left:0cm; line-height:115%; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;}. (shrink)

The distinction between a priori knowledge and a posteriori knowledge has come under attack in the recent literature by Philip Kitcher, John Hawthorne, C. S. Jenkins, and Timothy Williamson. Evaluating the attacks requires answering two questions. First, have they hit their target? Second, are they compelling? My goal is to argue that the attacks fail because they miss their target. Since the attacks are directed at a particular concept or distinction, they must accurately locate the target concept or distinction. Accurately (...) locating the target concept or distinction requires correctly articulating that concept or distinction. The attacks miss their target because they fail to correctly articulate the target concept or distinction. I go on to present a different challenge to the a priori-a posteriori distinction. This challenge is not directed at the coherence or significance of the distinction. Its target is the traditional view that all knowledge (or justified belief) is either a priori or a posteriori. (shrink)

In this paper, I argue that the method of cases (namely, the method of using intuitive judgments elicited by intuition pumps as evidence for and/or against philosophical theories) is not a reliable method of generating evidence for and/or against philosophical theories. In other words, the method of cases is unlikely to generate accurate judgments more often than not. This is so because, if perception and intuition are analogous in epistemically relevant respects, then using intuition pumps to elicit intuitive judgments is (...) like using illusions to elicit perceptual judgments. In both cases, judgments are made under bad epistemic circumstances. (shrink)