Moral debunking arguments are meant to show that, by realist lights, moral beliefs are not explained by moral facts, which in turn is meant to show that they lack some significant counterfactual connection to the moral facts (e.g., safety, sensitivity, reliability). The dominant, “minimalist” response to the arguments—sometimes defended under the heading of “third-factors” or “pre-established harmonies”—involves affirming that moral beliefs enjoy the relevant counterfactual connection while granting that these beliefs are not explained by the moral facts. We show that (...) the minimalist gambit rests on a controversial thesis about epistemic priority: that explanatory concessions derive their epistemic import from what they reveal about counterfactual connections. We then challenge this epistemic priority thesis, which undermines the minimalist response to debunking arguments (in ethics and elsewhere). (shrink)

This paper presents an enrichment of the Gabbay–Woods schema of Peirce’s 1903 logical form of abduction with illocutionary acts, drawing from logic for pragmatics and its resources to model justified assertions. It analyses the enriched schema and puts it into the perspective of Peirce’s logic and philosophy.

We report a series of experiments examining whether people ascribe knowledge for true beliefs based on probabilistic evidence. Participants were less likely to ascribe knowledge for beliefs based on probabilistic evidence than for beliefs based on perceptual evidence or testimony providing causal information. Denial of knowledge for beliefs based on probabilistic evidence did not arise because participants viewed such beliefs as unjustified, nor because such beliefs leave open the possibility of error. These findings rule out traditional philosophical accounts for why (...) probabilistic evidence does not produce knowledge. The experiments instead suggest that people deny knowledge because they distrust drawing conclusions about an individual based on reasoning about the population to which it belongs, a tendency previously identified by “judgment and decision making” researchers. Consistent with this, participants were more willing to ascribe knowledge for beliefs based on probabilistic evidence that is specific to a particular case. 2016 APA, all rights reserved). (shrink)

A basic challenge to naturalistic moral realism is that, even if moral properties existed, there would be no way to naturalistically represent or track them. Here, the basic structure for a tracking account of moral epistemology is given in empirically respectable terms, based on a eudaimonist conception of morality. The goal is to show how this form of moral realism can be seen as consistent with the details of evolutionary biology as well as being amenable to the most current understanding (...) of representationalist or correspondence theories of truth. (shrink)

Well-being measurements are frequently used to support conclusions about a range of philosophically important issues. This is a problem, because we know too little about the intervals of the relevant scales. I argue that it is plausible that well-being measurements are non-linear, and that common beliefs that they are linear are not truth-tracking, so we are not justified in believing that well-being scales are linear. I then argue that this undermines common appeals to both hypothetical and actual well-being measurements; I (...) first focus on the philosophical literature on prioritarianism and then discuss Kahneman’s Peak-End Rule as a systematic bias. Finally, I discuss general implications for research on well-being, and suggest a better way of representing scales. (shrink)

Here is a definition of knowledge: for you to know a proposition p is for you to have an outright belief in p that is correct precisely because it manifests the virtue of rationality. This definition resembles Ernest Sosa’s “virtue theory”, except that on this definition, the only virtue that must be manifested in all instances of knowledge is rationality, and no reductive account of rationality is attempted—rationality is assumed to be an irreducibly normative notion. This definition is compatible with (...) “internalism” about rationality, and with a form of “pragmatic encroachment” on the conditions of rational outright belief. An interpretation is given of this definition, and especially of the sense of ’because’ that it involves. On this interpretation, this definition entails that both safety and adherence are necessary conditions on knowledge; it supports a kind of contextualism about terms like ‘knowledge’; and it provides resources to defend safety, adherence, and contextualism, against some recent objections. (shrink)

Debunking arguments are arguments that seek to undermine a belief or doctrine by exposing its causal origins. Two prominent proponents of such arguments are the utilitarians Joshua Greene and Peter Singer. They draw on evidence from moral psychology, neuroscience, and evolutionary theory in an effort to show that there is something wrong with how deontological judgments are typically formed and with where our deontological intuitions come from. They offer debunking explanations of our emotion-driven deontological intuitions and dismiss complex deontological theories (...) as products of confabulatory post hoc rationalization. Through my discussion of Greene and Singer’s empirically informed debunking of deontology, I introduce the distinction between two different types of debunking arguments. The first type of debunking argument operates through regular undercutting defeat, whereas the second type relies on higher-order evidence. I argue that the latter type of debunking argument, of which the argument from confabulation is an example, is objectionably sloppy and therefore inadmissible in academic discussion. (shrink)

This paper introduces a new argument against Richard Foley’s threshold view of belief. His view is based on the Lockean Thesis (LT) and the Rational Threshold Thesis (RTT). The argument introduced here shows that the views derived from the LT and the RTT violate the safety condition on knowledge in way that threatens the LT and/or the RTT.

Much recent work in neuroscience aims to shed light on whether we have free will. Can it? Can any science? To answer, we need to disentangle different notions of free will, and clarify what we mean by ‘empirical’ and ‘testable’. That done, my main conclusion is, duly interpreted: that free will is not a testable hypothesis. In particular, it is neither verifiable nor falsifiable by empirical evidence. The arguments for this are not a priori but rather are based on a (...) posteriori consideration of the relevant neuroscientific investigations, as well as on standard philosophy of science work on the notion of testability. (shrink)

I argue for a soft compatibilist theory of free will, i.e., such that free will is compatible with both determinism and indeterminism, directly opposite hard incompatibilism, which holds free will incompatible both with determinism and indeterminism. My intuitions in this book are primarily based on an analysis of meditation, but my arguments are highly syncretic, deriving from many fields, including behaviorism, psychology, conditioning and deconditioning theory, philosophy of language, philosophy of mind, simulation theory, etc. I offer a causal/functional analysis of (...) meta-mental control, or 'metacausality', cashed out in counterfactual terms, to solve what I call the easy problem of free will. (shrink)

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

Reliabilism is an intuitive and attractive view about epistemic justification. However, it has many well-known problems. I offer a novel condition on reliabilist theories of justification. This method coherence condition requires that a method be appropriately tested by appeal to a subject’s other belief-forming methods. Adding this condition to reliabilism provides a solution to epistemic circularity worries, including the bootstrapping problem.

If you put chimpanzees from different communities together you can expect mayhem - they are not keen on treating each other nicely. There is closely related species of apes, however, whose members have countless encounters with unrelated specimen on a daily basis and yet almost all get through the day in one piece - that species is us, homo sapiens. But what makes us get along, most of the time? Morality as such is, perhaps surprisingly, not a mainstream research topic (...) in social psychology. Most textbooks in the field do not even mention the term morality at all (and focus on 'prosociality' instead). This relative lack of 'coverage' might have to do with the difficulty of operationalising 'morality' in a fitting way (more on this below). However, morality certainly is a social phenomenon and therefore the collection of Fargas, Jussim, and Van Lange is certainly a step in the right direction; it offers an extensive overview of the field and is suggestive of the vast potential of studying morality through the lens of social psychology. (shrink)

A number of philosophers and theologians have argued that if God has knowledge of future human actions then human agents cannot be free. This argument rests on the assumption that, since God is essentially omniscient, God cannot be wrong about what human agents will do. It is this assumption that I challenge in this paper. My aim is to develop an interpretation of God’s essential omniscience according to which God can be wrong even though God never is wrong. If this (...) interpretation of essential omniscience is coherent, as I claim it is, then there is a logically consistent position according to which God is essentially omniscient, God foreknows what human agents will do, and yet it is possible for human agents to do otherwise. Thus, the argument for theological fatalism fails. (shrink)

An explanatorily powerful approach to the modal dimension of knowledge is Robert Nozick’s idea that knowledge stands in a tracking relation to the world. However, pinning down a specific modal condition has proved elusive. In this paper, I offer a diagnosis and a positive proposal. The root of the problem, I argue, is the unquestioned assumption that tracking is a matter of directly preserving conformity between what is believed and what is the case in certain possible worlds. My proposal is (...) that what we track is whether the conditions for belief formation are appropriate in such worlds. Accordingly, we indirectly track the truth by ensuring that we only use our methods of belief formation in conditions that make it likely that conformity is preserved between what is believed and what is the case. (shrink)

Many of us care about the existence of ethical facts because such facts appear crucial to making sense of our practical lives. On one tempting line of thought, this idea does more than raise the metaethical stakes: it can also play a central role in justifying our belief in those facts. In recent work, David Enoch has developed this tempting thought into a formidable new proposal in moral epistemology, that aims to explain how the deliberative indispensability of ethical facts gives (...) us epistemic justification for believing in such facts. In this paper, we argue that Enoch’s proposal fails because it conflicts with a central fact about epistemic justification: that the norms of epistemic justification have the content that they do in part because of some positive connection between those norms and the truth of the beliefs that these norms govern. We then argue that the most salient alternatives to Enoch’s attempt to defend the idea that deliberative indispensability confers epistemic justification fail for parallel reasons. We conclude that the tempting line of thought should be rejected: deliberative indispensability does not provide epistemic justification. (shrink)

It’s often thought that the phenomenon of risk aggregation poses a problem for multi-premise closure but not for single-premise closure. But recently, Lasonen-Aarnio and Schechter have challenged this thought. Lasonen-Aarnio argues that, insofar as risk aggregation poses a problem for multi-premise closure, it poses a similar problem for single-premise closure. For she thinks that, there being such a thing as deductive risk, risk may aggregate over a single premise and the deduction itself. Schechter argues that single-premise closure succumbs to risk (...) aggregation outright. For he thinks that there could be a long sequence of competent single-premise deductions such that, even though we are justified in believing the initial premise of the sequence, intutively, we are not justified in believing the final conclusion. This intuition, Schechter thinks, vitiates single-premise closure. In this paper, I defend single-premise closure against the arguments offered by Lasonen-Aarnio and Schechter. (shrink)

This is a work concerned with justification and freedom and the relationship between these. Its summational aim is to defend a transcendental argument for free will – that we could not be epistemically justified in undermining a strong notion of free will, as a strong notion of free will would be required for any such process of undermining to be itself epistemically justified. The book advances two transcendental arguments – for a deontically internalist conception of epistemic justification and the aforementioned (...) argument for a libertarian conception of free will. In defending each of these arguments, the book both defends and relies upon the principle that ‘ought’ implies ‘can’. In articulating the latter transcendental argument – for freedom – heavy reliance is made on the earlier, epistemic, work: especially on the deontological conception of rational justification (on epistemic internalism). (shrink)

The notion of an ideal reasoner has several uses in epistemology. Often, ideal reasoners are used as a parameter of (maximum) rationality for finite reasoners (e.g. humans). However, the notion of an ideal reasoner is normally construed in such a high degree of idealization (e.g. infinite/unbounded memory) that this use is unadvised. In this dissertation, I investigate the conditions under which an ideal reasoner may be used as a parameter of rationality for finite reasoners. In addition, I present and justify (...) the research program of computational epistemology, which investigates the parameter of maximum rationality for finite reasoners using computer simulations. (shrink)

There is something puzzling about statistical evidence. One place this manifests is in the law, where courts are reluctant to base affirmative verdicts on evidence that is purely statistical, in spite of the fact that it is perfectly capable of meeting the standards of proof enshrined in legal doctrine. After surveying some proposed explanations for this, I shall outline a new approach – one that makes use of a notion of normalcy that is distinct from the idea of statistical frequency. (...) The puzzle is not, however, merely a legal one. Our unwillingness to base beliefs on statistical evidence is by no means limited to the courtroom, and is at odds with almost every general principle that epistemologists have proposed as to how we ought to manage our beliefs. (shrink)

In this paper, I will attempt to develop and defend a common form of intuitive resistance to the companions in guilt argument. I will argue that one can reasonably believe there are promising solutions to the access problem for mathematical realism that don’t translate to moral realism. In particular, I will suggest that the structuralist project of accounting for mathematical knowledge in terms of some form of logical knowledge offers significant hope of success while no analogous approach offers such hope (...) for moral realism. (shrink)

Recent knowledge first epistemology features a number of different accounts of justified belief, including a knowledge first reductionism according to which to believe justifiably is to know Sutton, Littlejohn, Williamson, a knowledge first version of accessibilism Millar and a knowledge first version of mentalism Bird. This paper offers a knowledge first version of virtue epistemology and argues that it is preferable to its knowledge first epistemological rivals: only knowledge first virtue epistemology manages to steer clear of a number of problems (...) that its competition encounters. (shrink)

In the introduction to his Realism, mathematics and modality, and in earlier papers included in that collection, Hartry Field offered an epistemological challenge to platonism in the philosophy of mathematics. Justin Clarke-Doane Truth, objects, infinity: New perspectives on the philosophy of Paul Benacerraf, 2016) argues that Field’s challenge is an illusion: it does not pose a genuine problem for platonism. My aim is to show that Clarke-Doane’s argument relies on a misunderstanding of Field’s challenge.

I take issue with Robert Brandom’s claim that on an analysis of knowledge based on objective probabilities it is not possible to provide a stable answer to the question whether a belief has the status of knowledge. I argue that the version of the problem of generality developed by Brandom doesn’t undermine a truth-tracking account of noninferential knowledge that construes truth-tacking in terms of conditional probabilities. I then consider Sherrilyn Roush’s claim that an account of knowledge based on probabilistic tracking (...) faces a version of the problem of generality. I argue that the problems she raises are specific to her account, and do not affect the version of the view that I have advanced. I then consider Brandom’s argument that the cases that motivate reliabilist epistemologies are in principle exceptional. I argue that he has failed to make a cogent case for this claim. I close with the suggestion that the representationalist approach to knowledge that I endorse and Brandom rejects is in principle compatible with the kind of pragmatist approach to belief and truth that both Brandom and I endorse. (shrink)

In this paper, I defend the heterogeneity problem for sensitivity accounts of knowledge against an objection that has been recently proposed by Wallbridge in Philosophia. I argue in, 479–496, 2015) that sensitivity accounts of knowledge face a heterogeneity problem when it comes to higher-level knowledge about the truth of one’s own beliefs. Beliefs in weaker higher-level propositions are insensitive, but beliefs in stronger higher-level propositions are sensitive. The resulting picture that we can know the stronger propositions without being in a (...) position to know the weaker propositions is too heterogeneous to be plausible. Wallbridge objects that there is no heterogeneity problem because beliefs in the weaker higher-level propositions are also sensitive. I argue against Wallbridge that the heterogeneity problem is not solved but only displaced. Only some beliefs in the weaker higher-level propositions are sensitive. I conclude that the heterogeneity problem is one of a family of instability problems that sensitivity accounts of knowledge face and that Wallbridge’s account raises a further problem of this kind. (shrink)

There has been considerable debate in the literature as to whether work in experimental philosophy actually makes any significant contribution to philosophy. One stated view is that many X-Phi projects, notwithstanding their focus on topics relevant to philosophy, contribute little to philosophical thought. Instead, it has been claimed the contribution they make appears to be to cognitive science. In contrast to this view, here we argue that at least one approach to X-Phi makes a contribution which parallels, and also extends, (...) historically salient forms of philosophical analysis, especially contributions from Immanuel Kant, William James, Peter F. Strawson and Thomas Nagel. The framework elaborated here synthesizes philosophical theory with empirical evidence from psychology and neuroscience and applies it to three perennial philosophical problems. According to this account, the origin of these three problems can be illuminated by viewing them as arising from a tension between two distinct types of cognition, each of which is associated with anatomically independent and functionally inhibitory neural networks. If the parallel we draw, between an empirical project and historically highly influential examples of philosophical analysis, is viewed as convincing, it follows that work in the cognitive sciences can contribute directly to philosophy. Further, this conclusion holds whether the empirical details of the account are correct or not. (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)

Sosa, Pritchard, and Vogel have all argued that there are cases in which one knows something inductively but does not believe it sensitively, and that sensitivity therefore cannot be necessary for knowledge. I defend sensitivity by showing that inductive knowledge is sensitive.

This critical notice concerns Duncan Pritchard's Epistemic Angst. After a summary of the book, I offer some brief critical comments on five issues: the distinction between overriding and undercutting strategies against scepticism, epistemic relativism, foundationalist hinge epistemology, the relationship between hinge propositions and evidence, and the universality of rational evaluation. Epistemic Angst is Duncan Pritchard's to-date most comprehensive attempt to defuse Cartesian epistemic scepticism. The argument builds on Pritchard's more than sixty previous publications on the same general topic. Given limitations (...) of space, this critical notice will nevertheless focus on Epistemic Angst alone. I shall also confine myself to a discussion of Pritchard's own position, leaving aside his criticisms of other views. (shrink)

As I will use the term, an object is a mereological sum of some things just in case those things compose it simply in virtue of existing. In the first half of this paper, I argue that there are no sums. The key premise for this conclusion relies on a constraint on what, in certain cases, it takes for something to ground, or metaphysically explain, something else. In the second half, I argue that in light of my argument against sums, (...) Universalism, which is perhaps the most widely accepted answer to the Special Composition Question, is false. (shrink)

Our preferences determine how we act and think, but exactly what the mechanics are and how they work is a central cause of concern in many disciplines. This book uses techniques from modern logics of information flow and action to develop a unified new theory of what preference is and how it changes. The theory emphasizes reasons for preference, as well as its entanglement with our beliefs. Moreover, the book provides dynamic logical systems which describe the explicit triggers driving preference (...) change, including new information, suggestions, and commands. In sum, the book creates new bridges between many fields, from philosophy and computer science to economics, linguistics, and psychology. For the experienced scholar access to a large body of recent literature is provided and the novice gets a thorough introduction to the action and techniques of dynamic logic. (shrink)

© The Authors 2017. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: [email protected] is widely accepted that emotions have something to do with values. The major task of contemporary philosophy of emotion is to say precisely what that something is. How exactly are emotions related to evaluative properties? Unsurprisingly, there are various ways they may be related. First, emotions might themselves be bearers of value. It might be a good thing (...) to be afraid, sad, or joyful in certain circumstances. And of course, there are various ways emotions might be valuable. One way – but probably not the only way – they might be valuable is in providing us with information about the world, and in particular about further values. A second way, therefore, emotions might be related to values, is by helping us apprehend such... (shrink)

Scepticism is sometimes expressed about whether there is any interesting problem of other minds. In this paper I set out a version of the conceptual problem of other minds which turns on the way in which mental occurrences are presented to the subject and situate it in relation to debates about our knowledge of other people's mental lives. The result is a distinctive problem in the philosophy of mind concerning our relation to other people.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, 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 two-dimensional 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, 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 two-dimensional 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. 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)

If it works, I can use Putnam’s vat argument to show that I have not always been a brain-in-a-vat. It is widely thought that the vat argument is of no use against closure scepticism – that is, scepticism motivated by arguments that appeal to a closure principle. This is because, even if I can use the vat argument to show that I have not always been a BIV, I cannot use it to show that I was not recently envatted, and (...) it is thought that the claim that I am not justified in thinking that I was not recently envatted is all that the closure sceptic requires. In this paper I first argue that scenarios in which I have been recently envatted are inadequate for the sceptic’s purposes, and so the standard argument that the vat argument is of no use against closure scepticism fails. I then argue that it is not possible to revise the standard argument to meet my objection. I conclude that, if it works, I can use the vat argument as a defence against closure scepticism. (shrink)

_ Source: _Volume 7, Issue 2, pp 69 - 90 It is often claimed that, as a result of scientific progress, we now _know_ that the natural world displays no design. Although we have no interest in defending design hypotheses, we will argue that establishing claims to the effect that we know the denials of design hypotheses is more difficult than it seems. We do so by issuing two skeptical challenges to design-deniers. The first challenge draws inspiration from radical skepticism (...) and shows how design claims are at least as compelling as radical skeptical scenarios in undermining knowledge claims, and in fact probably more so. The second challenge takes its cue from skeptical theism and shows how we are typically not in an epistemic position to rule out design. (shrink)

The skeptical puzzle consists of three independently plausible yet jointly inconsistent claims: (A) S knows a certain ordinary proposition op; (B) S does not know the denial of a certain skeptical hypothesis sh; and (C) S knows that op only if S knows that not- sh. The variantist solution (to the skeptical puzzle) claims that (A) and not-(B) are true in the ordinary context, but false in the skeptical one. Epistemic contextualism has offered a standards-variantist solution, which is the most (...) prominent variantist solution on the market. In this paper, I argue that the standards-variantist solution in general (and the contextualist solution in particular) is epistemically uninteresting. Proponents of the variantist solution should opt for the position-variantist solution instead. I will discuss some important implications of my findings. (shrink)

This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (shrink)

The beliefs involved in the placebo effect are often assumed to be self-fulfilling, that is, the truth of these beliefs would merely require the patient to hold them. Such a view is commonly shared in epistemology. Many epistemologists focused, in fact, on the self-fulfilling nature of these beliefs, which have been investigated because they raise some important counterexamples to Nozick’s “tracking theory of knowledge.” We challenge the self-fulfilling nature of placebo-based beliefs in multi-agent contexts, analyzing their deep epistemological nature and (...) the role of higher-order beliefs involved in the placebo effect. (shrink)

In a recent paper, Melchior pursues a novel argumentative strategy against the sensitivity condition. His claim is that sensitivity suffers from a ‘heterogeneity problem:’ although some higher-order beliefs are knowable, other, very similar, higher-order beliefs are insensitive and so not knowable. Similarly, the conclusions of some bootstrapping arguments are insensitive, but others are not. In reply, I show that sensitivity does not treat different higher-order beliefs differently in the way that Melchior states and that while genuine bootstrapping arguments have insensitive (...) conclusions, the cases that Melchior describes as sensitive ‘bootstrapping’ arguments don’t deserve the name, since they are a perfectly good way of getting to know their conclusions. In sum, sensitivity doesn’t have a heterogeneity problem. (shrink)

Here are three (rough) theories of testimonial knowledge. (1) Speaker's knowledge: a hearer acquires the knowledge that P though testimony because of the speaker's knowledge that P--testimony "transfers" knowledge. This is the popular view, defended by Elizabeth Fricker and Paul Faulkner, among others. (2) Speaker's assertion: a hearer acquires the knowledge that P through testimony because the speaker's assertion that P is reliable that P in the right way (safe or sensitive). That's Jennifer Lackey's view. (3) Speaker's comprehension state: a (...) hearer acquired the knowledge that P through comprehending as of a speaker's assertion that P where the comprehension state is reliable in the right way (safe). That's my view. Lackey would reject such a view for it allows cases of testimonial knowledge that P from a speaker who did not assert that P. But Faulkner might reject Lackey's view on the grounds that it allows cases of testimonial knowledge that P from a speaker who did not know that P. Lackey replies that her account is better unified. But for the same reason, my account is even better unified. This paper runs through a series of cases and shows that my account--the Unified Account--is superior to the others. (shrink)

According to Veritism, true belief is the sole fundamental epistemic value. Epistemologists often take Veritism to entail that all other epistemic items can only have value by standing in certain instrumental relations—namely, by tending to produce a high ratio of true to false beliefs or by being products of sources with this tendency. Yet many value theorists outside epistemology deny that all derivative value is grounded in instrumental relations to fundamental value. Veritists, I believe, can and should follow suit. After (...) setting the stage in §1, I explain in §2 why Veritism should not take an Instrumentalist form. Instrumentalist Veritism faces a generalized version of the swamping problem. But this problem undermines Instrumentalism, not Veritism: granting Instrumentalism, similar problems arise for any economical epistemic axiology. I show in §3 how Veritism can take a less narrow form and solve the swamping problem. After answering some objections in §4, I consider in §5 what some would regard as a less radical alternative solution and argue that it either fails or collapses into mine. I close in §6 by taking stock and re-evaluating the overall prospects for Veritism, suggesting that it is a highly promising epistemic axiology when divorced from Instrumentalism. (shrink)

Let Entitlement Epistemology be the theory of knowledge which says that entitlement—a special kind of unearned warrant to accept or believe—can help us successfully address a range of sceptical arguments. Prominent versions of this theory urge that epistemology should not be concerned with knowledge (and similar externalist states) but rather with justification, warrant, and entitlement (at least insofar as these are conceived of as internalist states). Knowledge does not come first, half-way, or even last in epistemological theorising—rather, it ought to (...) come nowhere. The goal in what follows is two-fold: Firstly, to assess whether this extreme internalist version of Entitlement Epistemology is at all sustainable. (We shall find that it is not.) Secondly, to articulate a version of Entitlement Epistemology which arguably does much better. On the view to be explored, knowledge does not drop out of the epistemological picture: if we allow that there can be warrant for nothing, then there can be knowledge for nothing too. (shrink)