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

John Cook Wilson (1849–1915) was Wykeham Professor of Logic at New College, Oxford and the founder of ‘Oxford Realism’, a philosophical movement that flourished at Oxford during the first decades of the 20th century. Although trained as a classicist and a mathematician, his most important contribution was to the theory of knowledge, where he argued that knowledge is factive and not definable in terms of belief, and he criticized ‘hybrid’ and ‘externalist’ accounts. He also argued for direct realism in perception, (...) criticizing both empiricism and idealism, and argued for a moderate nominalist view of universals as being in rebus and only ‘apprehended’ by their particulars. His influence helped swaying Oxford away from idealism and, through figures such as H. A. Prichard, Gilbert Ryle, or J. L. Austin, his ideas were also to some extent at the origin of ‘moral intuitionism’ and ‘ordinary language philosophy’ which defined much of Oxford philosophy until the second half of the twentieth-century. Nevertheless, his name and legacy were all but forgotten for generations after World War II. Still, his views on knowledge are with us today, being in part at work in the writings of philosophers as diverse as John McDowell, Charles Travis, and Timothy Williamson. (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)

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.

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.

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)

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

Internalism holds that epistemic justification is determined by what is internal to the mind, not by facts about the mind-independent world. This paper introduces and defends a new kind of internalism that is rooted in rationalist ideas that have been neglected in recent epistemology, despite inspiring internalist projects in cognitive science. Ignoring rationalist insights has, I argue, damaged the prospects for internalism, by needlessly saddling internalists with empiricist burdens. Internalists can refuse these burdens by accepting a better philosophy of mind. (...) Rather than looking to 17th century rationalists, I look to Kant, and especially his idea that normativity is grounded in the constitution of agency and mind. A Kantian approach can avoid stock objections to internalism, I argue, and can also capture all the alleged benefits of externalism. The paper is structured as follows. In §2, I get back to basics and consider more ways to satisfy the core internalist template than have become standard. I draw attention to rationalist insights about how normativity could be grounded in the constitution of mind, and hypothesize that if internalism respects these insights, some problems disappear. I develop this hypothesis in §3 with a Kantian view. I further defend this view in §4. I conclude in §5 by explaining why Kantian internalism answers the latest challenges to internalism. (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)

Instability occurs when the very fact of choosing one particular possible option rather than another affects the expected values of those possible options. In decision theory: An act is stable iff given that it is actually performed, its expected utility is maximal. When there is no stable choice available, the resulting instability can seem to pose a dilemma of practical rationality. A structurally very similar kind of instability, which occurs in cases of anti-expertise, can likewise seem to create dilemmas of (...) epistemic rationality. One possible line of response to such cases of instability, suggested by both Jeffrey (1983) and Sorensen (1987), is to insist that a rational agent can simply refuse to accept that such instability applies to herself in the first place. According to this line of thought it can be rational for a subject to discount even very strong empirical evidence that the anti-expertise condition obtains. I present a new variety of anti-expertise condition where no particular empirical stage-setting is required, since the subject can deduce a priori that an anti-expertise condition obtains. This kind of anti-expertise case is therefore not amenable to the line of response that Jeffrey and Sorensen recommend. (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)

Adequate epistemic justification is best conceived as the appearance, over time, of knowledge to the subject. ‘Appearance’ is intended literally, not as a synonym for belief. It is argued through consideration of examples that this account gets the extension of ‘adequately justified belief’ at least roughly correct. A more theoretical reason is then offered to regard justification as the appearance of knowledge: If we have a knowledge norm for assertion, we do our best to comply with this norm when we (...) express as assertions only beliefs that appear to us to be knowledge. If we are doing our best, there is little point in further sanctions. So a norm of knowledge for assertion would lead to a secondary norm of justified belief as the appearance of knowledge, marking a point at which our assertions may be corrected but should not be blamed. (shrink)

This paper argues that a priori justification is, in principle, compatible with naturalism—if the a priori is understood in a way that is free of the inessential properties that, historically, have been associated with the concept. I argue that empirical indefeasibility is essential to the primary notion of the a priori ; however, the indefeasibility requirement should be interpreted in such a way that we can be fallibilist about apriori-justified claims. This fallibilist notion of the a priori accords with the (...) naturalist’s commitment to scientific methodology in that it allows for apriori-justified claims to be sensitive to further conceptual developments and the expansion of evidence. The fallibilist apriorist allows that an a priori claim is revisable in only a purely epistemic sense. This modal claim is weaker than what is required for a revisability thesis to establish empiricism, so fallibilist apriorism represents a distinct position. (shrink)

An argument is epistemically self-defeating when either the truth of an argument’s conclusion or belief in an argument’s conclusion defeats one’s justification to believe at least one of that argument’s premises. Some extant defenses of the evidentiary value of intuition have invoked considerations of epistemic self-defeat in their defense. I argue that there is one kind of argument against intuition, an unreliability argument, which, even if epistemically self-defeating, can still imply that we are not justified in thinking intuition has evidentiary (...) value. (shrink)

In this paper, I argue that, contrary to common opinion, a counterexample against a philosophical theory does not amount to conclusive evidence against that theory. Instead, the method of counterexamples allows for the derivation of a disjunction, i.e., ‘either the theory is false or an auxiliary assumption is false’, not a negation of the target theory. This is so because, whenever the method of counterexamples is used in an attempt to refute a philosophical theory, there is a crucial auxiliary assumption (...) that needs to be taken into account. The auxiliary assumption is that making intuitive judgments in response to hypothetical cases about the subject matter in question (e.g., knowledge or proper names) is a good method for finding out truths about that subject matter. Without good reasons to think that this assumption is warranted, the negation of a philosophical theory whose content is alleged to be in conflict with the content of an intuition cannot be justifiably derived using an argument that employs the method of counterexamples. (shrink)

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)

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

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)

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)

(revisions posted 12/5/2006) to appear in Internalism and Externalism in Semantics and Epistemology, ed. by Sanford Goldberg (to be published by Oxford in 2006 or 2007) Michael McKinsey formulated an argument that raises a puzzle about the relation between externalism about content and our introspective awareness of content. The puzzle goes like this: it seems like I can know the contents of my thoughts by introspection alone; but philosophical reflection tells me that the contents of those thoughts are externalist, and (...) so I couldn. (shrink)

Philosophy and Phenomenological Research, EarlyView.

Despite having occupied a peripheral position in contemporary metaethics, moral nonnaturalism has recently experienced a revival of sorts. But what is moral nonnaturalism? And what is there to be said in favor of it? In this article, I address these two questions. In the first place, I offer an account of what moral nonnaturalism is. According to the view I propose, nonnaturalism is better viewed not as a position, but as a theoretical stance. And, second, I critically engage with three (...) recent arguments for moral nonnaturalism offered by Russ Shafer-Landau, Kit Fine, and Jean Hampton, respectively. (shrink)

Alberto Coffa used the phrase "the Copernican turn in semantics" to denote a revolutionary transformation of philosophical views about the connection between the meanings of words and the acceptability of sentences and arguments containing those words. According to the new conception resulting from the Copernican turn, here called "the Copernican view", rules of use are constitutive of the meanings of words. This view has been linked with two doctrines: (A) the instances of meaning-constitutive rules are analytically and a priori true (...) or valid; (B) to grasp a meaning is to accept its rules. The pros and cons of different versions of the Copernican view, ascribable to Wittgenstein, Carnap, Gentzen, Dummett, Prawitz, Boghossian and other authors, will be weighed. A new version will be proposed, which implies neither (A) nor (B). (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)

During the past decade a new twist in the debate regarding the a priori has unfolded. A number of prominent epistemologists have challenged the coherence or importance of the a priori—a posteriori distinction or, alternatively, of the concept of a priori knowledge. My focus in this paper is on these new challenges to the a priori. My goals are to provide a framework for organizing the challenges, articulate and assess a range of the challenges, and present two challenges of my (...) own. (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)

Strategic Reliabilism is a framework that yields relative epistemic evaluations of belief-producing cognitive processes. It is a theory of cognitive excellence, or more colloquially, a theory of reasoning excellence (where 'reasoning' is understood very broadly as any sort of cognitive process for coming to judgments or beliefs). First introduced in our book, Epistemology and the Psychology of Human Judgment (henceforth EPHJ), the basic idea behind SR is that epistemically excellent reasoning is efficient reasoning that leads in a robustly reliable fashion (...) to significant, true beliefs. It differs from most contemporary epistemological theories in two ways. First, it is not a theory of justification or knowledge – a theory of epistemically worthy belief. Strategic Reliabilism is a theory of epistemically worthy ways of forming beliefs. And second, Strategic Reliabilism does not attempt to account for an epistemological property that is assumed to be faithfully reflected in the epistemic judgments and intuitions of philosophers. If SR makes recommendations that accord with our reflective epistemic judgments and intuitions, great. If not, then so much the worse for our reflective epistemic judgments and intuitions. (shrink)

Here we challenge the orthodoxy according to which abduction is an a posteriori mode of inference. We start by providing a case study illustrating how abduction can justify a philosophical claim not justifiable by empirical evidence alone. While many grant abduction's epistemic value, nearly all assume that abductive justification is a posteriori, on grounds that our belief in abduction's epistemic value depends on empirical evidence about how the world contingently is. Contra this assumption, we argue, first, that our belief in (...) abduction’s epistemic value is not and could not be justified a posteriori, and second, that attention to the roles experience plays in abductive justification supports taking abduction to be an a priori mode of inference. We close by highlighting how our strategy for establishing the a priority of abduction positively contrasts with strategies in Bonjour (1998), Swinburne (2001), and Peacocke (2004) aiming to establish the a priority of certain ampliative modes of inference or abductive principles. (shrink)

How should modal reasoning proceed? Here we compare abduction-based and conceiving-based modal epistemologies, and argue that an abduction-based approach is preferable, and by a wide margin.

Foundationalism and coherentism are two fundamentally opposed basic epistemological views about the structure of justification. Interestingly enough, there is no consensus on how to interpret Husserl. While interpreting Husserl as a foundationalist was the standard view in early Husserl scholarship, things have changed considerably as prominent commentators like Christian Beyer, John Drummond, Dagfinn Føllesdal, and Dan Zahavi have challenged this foundationalist interpretation. These anti-foundationalist interpretations have again been challenged, for instance, by Walter Hopp and Christian Erhard. One might suspect that (...) inconsistencies in Husserl’s writings are the simple reason for this disagreement. I shall argue, however, that the real question is not so much how to read Husserl, but how to define foundationalism and that there is overwhelming textual evidence that Husserl championed the most tenable version of foundationalism: a moderate foundationalism that allows for incorporating coherentist elements. (shrink)

Husserl claims that his phenomenological–epistemological system amounts to a “universal” form of empiricism. The present paper shows that this universal moment of Husserl’s empiricism is why his empiricism qualifies as a rationalism. What is empiricist about Husserl’s phenomenological–epistemological system is that he takes experiences to be an autonomous source of immediate justification. On top of that, Husserl takes experiences to be the ultimate source of justification. For Husserl, every justified belief ultimately depends epistemically on the subject’s experiences. These are paradigms (...) of empiricist claims and thus Husserl seems to subscribe to empiricism. However, what is universal about Husserl’s “empiricism” is that he does not limit the concept of experiences to sensory experiences or sensory experiences plus introspective intuitions but broadens the concept of experience such that also a priori intuitions are included. Husserl insists that logical, mathematical, and phenomenological intuitions such as ~, 2 + 2 = 4, and “Experiences necessarily bear the mark of intentionality” provide non-inferential justification analogous to how sensory experiences can non-inferentially justify beliefs such as “There is a table in front of me.” Importantly, Husserl makes clear that such a priori intuitions are not about our concepts but about reality. This is why Husserl’s universal empiricism is a rationalism. Husserl differs from traditional rationalism as he allows that a priori intuitions can be fallible and empirically underminable. This distinguishes Husserl’s rationalism from Descartes’ and makes him a proponent of moderate rationalism as currently championed by Laurence BonJour. (shrink)

Husserl’s transcendental phenomenology is first and foremost a science of the structures of consciousness. Since it is intended to yield eidetic, i. e., a priori insights, it is often assumed that transcendental phenomenology and the natural sciences are totally detached from each other such that phenomenological investigations cannot possibly benefit from empirical evidence. The aim of this paper is to show that a beneficial relationship is possible. To be more precise, I will show how Husserl’s a priori investigations on consciousness (...) can be supplemented by research in experimental psychology in order to tackle fundamental questions in epistemology. Our result will be a phenomenological conception of experiential justification that is in accordance with and supported by empirical phenomena such as perceptual learning and the phenomenon of blindsight. Finally, I shall shed light on the systematic limits of empirical research. (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)

When it comes to epistemic normativity, should we take the good to be prior to the right? That is, should we ground facts about what we ought and ought not believe on a given occasion in facts about the value of being in certain cognitive states (such as, for example, the value of having true beliefs)? The overwhelming answer among contemporary epistemologists is “Yes, we should.” This essay argues to the contrary. Just as taking the good to be prior to (...) the right in ethics often leads one to sanction implausible trade-offs when determining what an agent should do, so too, this essay argues, taking the good to be prior to the right in epistemology leads one to sanction implausible trade-offs when determining what a subject should believe. Epistemic value—and, by extension, epistemic goals—are not the explanatory foundation upon which all other normative notions in epistemology rest. (shrink)

Whither the philosophy of intuition?Herman Cappelen’s Philosophy Without Intuitions (PWI) is a novel study in philosophical sociology—or, as Cappelen at one point suggests, “intellectual anthropology” (96).All undated references are to Cappelen (2012). Its target is the thesis that intuition is central, in the descriptive sense that contemporary analytic philosophers rely on intuitions for evidence—or, more generally, positive epistemic status. Cappelen labels the target thesis Centrality.If Centrality is true, then especially urgent are two questions in the rapidly growing field that is (...) the philosophy of intuition:[Q1] What are intuitions?[Q2] Can intuitions serve as evidence?There are of course others, but in chapter one Cappelen singles out these two as The Burning Questions about intuition. He then summarizes the overall upshot of PWI as follows:In this book I argue that Centrality, on any reasonable interpretation, is false. If you share that view, the Burning Questions will no lo .. (shrink)

I reconstruct and critique two arguments Laurence BonJour has recently offered against skepticism about the a priori. While the arguments may provide anti-skeptical, internalist foundationalists with reason to accept the a priori, I show that neither argument provides sufficient reason for believing the more general conclusion that there is no rational alternative to accepting the a priori.

The abductivist reply to skepticism is the view that commonsense explanations of the patterns and regularities that appear in our sensory experiences should be rationally preferred to skeptical explanations of those same patterns and regularities on the basis of explanatory considerations. In this article I critically examine Laurence BonJour’s rationalist version of the abductivist position. After explaining why BonJour’s account is more defensible than other versions of the view, I argue that the notion of probability he relies upon is deeply (...) problematic, that he incorporates an implausible double-standard concerning a priori and a posteriori justification, and that his view is vulnerable to skepticism about the a priori. I suggest that some of these problems are due to idiosyncratic commitments BonJour makes and that abductivists would be better off without them. I conclude with some suggestions about how to improve BonJour’s abductivist response to skepticism. (shrink)

In Boghossian's 1997 paper, 'Analyticity' he presented an account of a prioriknowledge of basic logical principles as available by inference from knowledge of their role in determining the meaning of the logical constants by implicit definitiontogether with knowledge of the meanings so-determined that we possess through ourprivileged access to meaning. Some commentators (e.g. BonJour (1998), Glüer (2003),Jenkins (2008)) have objected that if the thesis of implicit definition on which he relieswere true, knowledge of the meaning of the constants would presuppose (...) knowledge of the very logical principles knowledge of which the account purports to explain. Aconsequence would seem to be that implicit definition is incompatible with privilegedaccess. I argue that whilst it is possible for Boghossian to defend against theseobjections the form of argument he proposes does exhibit a subtle form of questionbegging such that it exhibits a transmission of warrant-failure. (shrink)

In this paper, I will discuss accounts to solve the problem of induction by introducing necessary connections. The basic idea is this: if we know that there are necessary connections between properties F and G such that F -ness necessarily brings about G-ness, then we are justified to infer that all, including future or unobserved, F s will be Gs. To solve the problem of induction with ontology has been proposed by David Armstrong and Brian Ellis. In this paper, I (...) will argue that these attempts to solve the problem of induction fail. Necessary connections fail to reliably imply the respective regularities for two main reasons: Firstly, according to an argument originally presented by Helen Beebee, the respective necessary connections might be time-limited, and hence do not warrant inferences about future cases. As I will discuss, arguments against the possibility or explanatory power of time-limited necessary connections fail. Secondly, even time-unlimited necessary connections do not entail strict or non-strict regularities, and nor do they allow inferences about individual cases, which is an important function of inductive reasoning. Moreover, the proposed solution to the problem of induction would only apply to a tiny minority of inductive inferences. I argue that most inductive inferences are not easily reducible to the proposed inference pattern, as the vast majority of everyday inductive inferences do not involve necessary connections between fundamental physical properties or essences. (shrink)

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

The original proof of the four-color theorem by Appel and Haken sparked a controversy when Tymoczko used it to argue that the justification provided by unsurveyable proofs carried out by computers cannot be a priori. It also created a lingering impression to the effect that such proofs depend heavily for their soundness on large amounts of computation-intensive custom-built software. Contra Tymoczko, we argue that the justification provided by certain computerized mathematical proofs is not fundamentally different from that provided by surveyable (...) proofs, and can be sensibly regarded as a priori. We also show that the aforementioned impression is mistaken because it fails to distinguish between proof search (the context of discovery) and proof checking (the context of justification). By using mechanized proof assistants capable of producing certificates that can be independently checked, it is possible to carry out complex proofs without the need to trust arbitrary custom-written code. We only need to trust one fixed, small, and simple piece of software: the proof checker. This is not only possible in principle, but is in fact becoming a viable methodology for performing complicated mathematical reasoning. This is evinced by a new proof of the four-color theorem that appeared in 2005, and which was developed and checked in its entirety by a mechanical proof system. (shrink)

After delineating the distinguishing features of pragmatism, and noting the resources that pragmatists have available to respond effectively as pragmatists to the two major objections to pragmatism, I examine and critically evaluate the various proposals that pragmatists have offered as a solution to the problem of induction, followed by a discussion of the pragmatic positions on the status of theoretical entities. Thereafter I discuss the pragmatic posture toward the nature of explanation in science. I conclude that pragmatism has (a) a (...) generally compelling solution to Hume's problem of induction; (b) no specific position on the status of theoretical entities, although something like the non-realism of the sort developed by van Fraassen seems a defensible candidate for most pragmatists in general, even though there are non-trivial objections to van Fraassen's position; and (c) central to the pragmatic conception of scientific explanation is the abandonment of our common conception of truth as a necessary condition for sentences to provide adequate explanations, and a drift in the direction of a contextualist account of explanation. (shrink)

In this paper I defend epistemic circularity by arguing that the “No Self-Support” principle (NSS) is false. This principle, ultimately due to Fumerton ( 1995 ), states that one cannot acquire a justified belief in the reliability of a source of belief by trusting that very source. I argue that NSS has the skeptical consequence that the trustworthiness of all of our sources ultimately depends upon the trustworthiness of certain fundamental sources – sources that we cannot justifiably believe to be (...) reliable. This is a problem, I claim, because if the trustworthiness of all of our sources depends upon sources that we should not believe to be reliable, then a reflective individual should not trust any of his sources at all. The hidden cost of rejecting epistemic circularity is thus the unacceptable skeptical thesis that reflective individuals like you and I have no justified beliefs whatsoever. (shrink)

In this paper I introduce a problem regarding whether there are good reasons to accept fallibilism about justified belief. According to this species of fallibilism, one can be justified in believing a proposition on the basis of reasons that do not justify certainty. Call such reasons “fallible reasons.” The problem is this: can one justifiably believe fallibilism on the basis of fallible reasons? To do so would seem to beg the question. If you are undecided as to whether you should (...) accept anything on the basis of fallible reasons, then you should also be undecided as to whether you should accept fallibilism on the basis of such reasons. In this paper I consider several possible responses to this problem. I argue that the most appealing is to grant that good but fallible reasons on behalf of fallibilism are possible, and that this shows that one’s basic rational commitments cannot be defended in a non-circular fashion. (shrink)

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