This article aims to contribute to the elucidation of the nature of inquiry. I start with some common desiderata for any theory of inquiry. I then categorize inquiry as a structured process. By focusing on its essential components, I advance a new characterization of inquiry as a combination of questioning attitudes guiding actions. Finally, I turn to the recent objection that questioning attitudes are not necessary for inquiry. I argue that inquiry is a structured process essentially constituted by questioning attitudes (...) having two precise functional roles, initiating and guiding the deployment of cognitive capacities towards an epistemic goal. (shrink)

In this paper we intend to offer a first approach to the incorporation of certain formal tools in the elucidation of some issues discussed in epistemological contexts. The aim is not to offer an exhaustive resolution of these problems but merely to point out the usefulness of modal semantics when applied to different fields. Here we will show how a series of skeptical arguments eventually involve a modal (counterfactual) structure, which we will try to generalise into a useful scheme. -/- (...) . (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)

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)

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)

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

Bayesian Conditionalization is a widely used proposal for how to update one’s beliefs upon the receipt of new evidence. This is in part because of its attention to the totality of one’s evidence, which often includes facts about what one’s new evidence is and how one has come to have it. However, an increasingly popular position in epistemology holds that one may gain new evidence, construed as knowledge, without being in a position to know that one has gained this evidence. (...) These are cases of KK-Failure, cases where one knows p but is not in a position to know that one knows p. This paper assumes that certain KK-Failures are possible and argues that Conditionalization goes wrong in those cases. (shrink)

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things,—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving such (...) an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

Field’s challenge to platonists is the challenge to explain the reliable match between mathematical truth and belief. The challenge grounds an objection claiming that platonists cannot provide such an explanation. This objection is often taken to be both neutral with respect to controversial epistemological assumptions, and a comparatively forceful objection against platonists. I argue that these two characteristics are in tension: no construal of the objection in the current literature realises both, and there are strong reasons to think that no (...) version of Field’s epistemological objection which has both Neutrality and Force can be construed. (shrink)

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

Many philosophers posit abstract entities – where something is abstract if it is acausal and lacks spatio-temporal location. Theories, types, characteristics, meanings, values and responsibilities are all good candidates for abstractness. Such things raise an epistemological puzzle: if they are abstract, then how can we have any epistemic access to how they are? If they are invisible, intangible and never make anything happen, then how can we ever discover anything about them? In this article, I critically examine epistemological objections to (...) belief in abstract objects offered by Paul Benacerraf, Colin Cheyne and Hartry Field. (shrink)

Revisionary ontologies seem to go against our common sense convictions about which material objects exist. These views face the so-called Problem of Reasonableness: they have to explain why reasonable people don’t seem to accept the true ontology. Most approaches to this problem treat the mismatch between the ontological truth and ordinary belief as superficial or not even real. By contrast, I propose what I call the “uncompromising solution”. First, I argue that our beliefs about material objects were influenced by evolutionary (...) forces that were independent of the ontological truth. Second, I draw an analogy between the Problem of Reasonableness and the New Evil Demon Problem and argue that the revisionary ontologist can always find a positive epistemic status to characterize ordinary people’s beliefs about material objects. Finally, I address the worry that the evolutionary component of my story also threatens to undermine the best arguments for revisionary ontologies. (shrink)

In "Mathematical Truth", Paul Benacerraf articulated an epistemological problem for mathematical realism. His formulation of the problem relied on a causal theory of knowledge which is now widely rejected. But it is generally agreed that Benacerraf was onto a genuine problem for mathematical realism nevertheless. Hartry Field describes it as the problem of explaining the reliability of our mathematical beliefs, realistically construed. In this paper, I argue that the Benacerraf Problem cannot be made out. There simply is no intelligible problem (...) that satisfies all of the constraints which have been placed on the Benacerraf Problem. The point generalizes to all arguments with the structure of the Benacerraf Problem aimed at realism about a domain meeting certain conditions. Such arguments include so-called "Evolutionary Debunking Arguments" aimed at moral realism. I conclude with some suggestions about the relationship between the Benacerraf Problem and the Gettier Problem. (shrink)

Criminal courts make decisions that can remove the liberty and even life of those accused. Civil trials can cause the bankruptcy of companies employing thousands of people, asylum seekers being deported, or children being placed into state care. Selecting the right standards when deciding legal cases is of utmost importance in giving those affected a fair deal. This Element is an introduction to the philosophy of legal proof. It is organised around five questions. First, it introduces the standards of proof (...) and considers what justifies them. Second, it discusses whether we should use different standards in different cases. Third, it asks whether trials should end only in binary outcomes (e.g. guilty or not guilty) or rather use more fine-grained or precise verdicts. Fourth, it considers whether proof is simply about probability, concentrating on the famous 'Proof Paradox'. Finally, it examines who should be trusted with deciding trials, focusing on the jury system. (shrink)

Reductive intellectualists hold that knowledge-how is a kind of knowledge-that. For this thesis to hold water, it is obviously important that knowledge-how and knowledge-that have the same epistemic properties. In particular, knowledge-how ought to be compatible with epistemic luck to the same extent as knowledge-that. It is argued, contra reductive intellectualism, that knowledge-how is compatible with a species of epistemic luck which is not compatible with knowledge-that, and thus it is claimed that knowledge-how and knowledge-that come apart.

Traditional debates between semantic temporalists and eternalists appeal to the efficacy of temporal operators and the intuitive (in)validity of instances of temporal reasoning. In this paper, I argue that such debates are inconclusive at best and that under-explored arguments concerning perceptual experience, memory, and knowledge offer more productive means of advancing debates between temporalists and eternalists and rendering salient several significant potential costs and benefits of these views.

The discussion about deep disagreement has gained significant momentum in the last several years. This discussion often relies on the intuition that deep disagreement is, in some sense, rationally irresolvable. In this paper, I will provide a theory of rationally irresolvable disagreement. Such a theory is interesting in its own right, since it conflicts with the view that rational attitudes and procedures are paradigmatic tools for resolving disagreement. Moreover, I will suggest replacing discussions about deep disagreement with an analysis of (...) rationally irresolvable disagreement, since this notion can be more clearly defined than deep disagreement and captures the basic intuitions underlying deep disagreement. I will first motivate this project by critically assessing the current debate about deep disagreement. I then detail the notions of rationality and resolvable disagreement which are crucial for a suitable theory of rationally irresolvable disagreement before sketching various instances of rationally irresolvable disagreement. Finally, I argue for replacing theories of deep disagreement with theories of rationally irresolvable disagreement, an approach that has significant advantages over existing theories of deep disagreement which focus on hinge propositions or fundamental epistemic principles. (shrink)

The aim of this paper is to analyse and develop how scepticism becomes an intelligible question starting from requirements that epistemologists themselves aim to endorse. We argue for and defend the idea that the root of scepticism is the underdetermination principle by articulating its specificitya respectable epistemic principle and by defending it against objections in current literature. This engagement offers a novel understanding of underdetermination-based scepticism. While most anti-sceptical approaches challenge scepticism by understanding it as postulating uneliminated scenarios of mass (...) deception, or as endorsing unnatural epistemic requirements, we argue here that both contentions are mistaken. Underdetermination-based scepticism targets our beliefs by issuing a genuine question about the rational support they enjoy. If we cannot establish that the sources of our beliefs provide them the required epistemic merit and authority, they lack non-arbitrary grounds. This has a sizable impact on what constitutes a satisfactory anti-sceptical strategy. Strategies that merely focus on the scenario-based aspect of scepticism, or on the truth-functional evaluation of our beliefs, are shown to miss the mark of the sceptical threat. The proposed analysis ultimately provides a shift in perspective concerning the character and reach of philosophical doubt. (shrink)

Disjunctivism about perceptual appearances, as I conceive of it, is a theory which seeks to preserve a naïve realist conception of veridical perception in the light of the challenge from the argument from hallucination. The naïve realist claims that some sensory experiences are relations to mind-independent objects. That is to say, taking experiences to be episodes or events, the naïve realist supposes that some such episodes have as constituents mind-independent objects. In turn, the disjunctivist claims that in a case of (...) veridical perception like this very kind of experience that you now have, the experiential episode you enjoy is of a kind which could not be occurring were you having an hallucination. The common strategy of arguments from hallucination set out to show that certain things are true of hallucinations, and hence must be true of perceptions. For example, it is argued that hallucinations must have non-physical objects of awareness, or that such states are not relations to anything at all, but are at best seeming relations to objects. In insisting that veridical perceptual experience is of a distinct kind from hallucination, the disjunctivist denies that any of these conceptions of hallucination challenges our conception of veridical perceptions as relations to mind-independent objects. More specifically, I assume that the disjunctivist advocates naïve realism because they think that this position best articulates how sensory experience seems to us to be just through reflection. If the disjunctivist is correct in this contention, then anyone who accepts the conclusion of the argument from hallucination must also accept that the nature of sensory experience is other than it seems to us to be. In turn, one may complain that any such error theory is liable to lead to sceptical consequences. A Humean scepticism about the senses launches a challenge about our knowledge of the world through questioning the conception we have of what sense experience is, and how it can provide knowledge of the world. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

I argue that while admission of one's own fallibility rationally requires one's readiness to stand corrected in the light of future evidence, it need have no consequences for one's present degrees of belief. In particular, I argue that one's fallibility in a given area gives one no reason to forego assigning credence 1 to propositions belonging to that area. I can thus be seen to take issue with David Christensen's recent claim that our fallibility has far-reaching consequences for our account (...) of rational belief and epistemic rationality. My arguments inter alia rely on the idea that in basing one's beliefs on one's evidence, one trusts both that one's evidence has the right pedigree and that one gets its probative force right, where such trust can rationally be invested without the need of any further evidence. (shrink)

I outline a number of parallels between trust and distrust, emphasising the significance of situations in which both trust and distrust would be an imposition upon the (dis)trustee. I develop an account of both trust and distrust in terms of commitment, and argue that this enables us to understand the nature of trustworthiness. Note that this article is available open access on the journal website.

The usefulness of machine learning algorithms has led to their widespread adoption prior to the development of a conceptual framework for making sense of them. One common response to this situation is to say that machine learning suffers from a “black box problem.” That is, machine learning algorithms are “opaque” to human users, failing to be “interpretable” or “explicable” in terms that would render categorization procedures “understandable.” The purpose of this paper is to challenge the widespread agreement about the existence (...) and importance of a black box problem. The first section argues that “interpretability” and cognates lack precise meanings when applied to algorithms. This makes the concepts difficult to use when trying to solve the problems that have motivated the call for interpretability. Furthermore, since there is no adequate account of the concepts themselves, it is not possible to assess whether particular technical features supply formal definitions of those concepts. The second section argues that there are ways of being a responsible user of these algorithms that do not require interpretability. In many cases in which a black box problem is cited, interpretability is a means to a further end such as justification or non-discrimination. Since addressing these problems need not involve something that looks like an “interpretation” of an algorithm, the focus on interpretability artificially constrains the solution space by characterizing one possible solution as the problem itself. Where possible, discussion should be reformulated in terms of the ends of interpretability. (shrink)

There are many ways in which a speaker can confuse their audience. In this paper, I will focus on one such way, namely, a way of talking that seems to manifest a cross-level kind of cognitive dissonance on the part of the speaker. The goal of the paper is to explain why such ways of talking sound so twisted. The explanation is two-pronged, since their twisted nature may come either from the very mental states that the speaker thereby makes manifest, (...) or from how the speaker chooses to express themselves (even if there is nothing wrong with their mental states). So-called ‘Moore-paradoxical’ utterances are but one example of the phenomenon, and the explanation of what is wrong about them is subsumed under a more general explanation here—one that captures also the twisted-ness of utterances whereby questions are raised or intentions expressed. (shrink)

Mental acts are conspicuously absent from philosophical debates over the nature of action. A typical protagonist of a typical scenario is far more likely to raise her arm or open the window than she is to perform a calculation in her head or talk to herself silently. One possible explanation for this omission is that the standard ‘causalist’ account of action, on which acts are analyzed in terms of mental states causing bodily movements, faces difficulties in accommodating some paradigmatic cases (...) of mental action – or so I argue. After drawing out these objections to causalism, I outline a more promising approach. Building on previous work, I show how the approach I favour, on which the attempt to analyze action is dispensed with, provides a unified account of both mental and physical action. (shrink)

This essay is an accessible introduction to the proof paradox in legal epistemology. -/- In 1902 the Supreme Judicial Court of Maine filed an influential legal verdict. The judge claimed that in order to find a defendant culpable, the plaintiff “must adduce evidence other than a majority of chances”. The judge thereby claimed that bare statistical evidence does not suffice for legal proof. -/- In this essay I first motivate the claim that bare statistical evidence does not suffice for legal (...) proof. I then introduce and motivate a knowledge-centred explanation of this fact. The knowledge-centred explanation rests on two premises. The first is that legal proof requires knowledge of culpability. The second is that one cannot attain knowledge that p from bare statistical evidence that p. To motivate the second premise, I suggest that beliefs based on bare statistical evidence fail to be safe—they could easily be wrong—and bare statistical evidence cannot eliminate relevant alternatives. -/- I then cast doubt on the first premise; I argue that legal proof does not require knowledge. I thereby dispute the knowledge-centred explanation of the inadequacy of bare statistical evidence for legal proof. Instead of appealing to the nature of knowledge, I suggest we should seek a more direct explanation by appealing to those more foundational epistemic properties, such as safety or eliminating relevant alternatives. (shrink)

Establishing Dispositionalism as a viable theory of modality requires the successful fulfilment of two tasks: showing that all modal truths can be derived from truths about actual powers, and offering a suitable metaphysics of powers. These two tasks are intertwined: difficulties in one can affect the chances of success in the other. In this paper, I generalise an objection to Dispositionalism by Jessica Leech and argue that the theory in its present form is ill-suited to account for de re truths (...) about merely possible entities. I argue that such difficulty is rooted in a problem in the metaphysics of powers. In particular, I contend that the well-known tension between two key principle of powers ontology, namely Directedness and Independence has received an unsatisfactory solution so far, and that it is this unsatisfactory solution concerning the status of “unmanifested manifestations” that makes it hard for Dispositionalism to account for mere possibilia. I develop a novel account of the status of unmanifested manifestations and an overall metaphysics of powers which allows to better respond to Leech's objection and handle mere possibilia. The central idea of the proposal is that unmanifested manifestations are akin to mere logical existents, and are best characterised as non-essentially non-located entities. (shrink)

Recent literature features an increased interest in the sufficiency claim involved in the knowledge norm of assertion. This paper looks at two prominent objections to KNA-Suff, due to Jessica Brown and Jennifer Lackey, and argues that they miss their target due to value-theoretic inaccuracies. It is argued that the intuitive need for more than knowledge in Brown’s high-stakes contexts does not come from the epistemic norm governing assertion, but from further norms stepping in and raising the bar, and Lackey’s purported (...) quality-driven case against KNA-Suff boils down to a quantitative objection. If that is the case, Lackey’s argument will be vulnerable to the same objections as Brown’s. (shrink)

A common presupposition in epistemology is that the processes contributing to the generation of knowledge do not extend beyond the knower's skin. This paper challenges this presupposition. I adduce a novel kind case that causes trouble for a number of even the most promising accounts of knowledge in current literature (virtue epistemological and modal accounts), at least so long as the presupposition is in place. I then look at a couple of recent accounts of knowledge that drop the presupposition and (...) expressly allow the relevant processes to extended beyond the knower's skin. While these accounts can handle the problem case, they encounter difficulties elsewhere: extension occurs too easily and so the accounts predict knowledge where they ought not. Finally, I offer a novel way of extending epistemology and argue that it can steer clear of the problems on both sides. (shrink)

Traditionally, epistemologists have held that only truth-related factors matter in the question of whether a subject can be said to know a proposition. Various philosophers have recently departed from this doctrine by claiming that the answer to this question also depends on practical concerns. They take this move to be warranted by the fact that people’s knowledge attributions appear sensitive to contextual variation, in particular variation due to differing stakes. This paper proposes an alternative explanation of the aforementioned fact, one (...) that allows us to stick to the orthodoxy. The alternative applies the conceptual spaces approach to the concept of knowledge. With knowledge conceived of spatially, the variability in knowledge attributions follows from recent work on identity, according to which our standards for judging things (including concepts) to be identical are context-dependent. On the proposal to be made, it depends on what is at stake in a context whether it is worth distinguishing between knowing and being at least close to knowing. (shrink)

Suppose you ask yourself whether your father's record collection includes a certain recording of The Trout and venture to find out. At that time, you embark on an inquiry into whether your father owns the relevant recording. Your inquiry is a project with a specific goal: finding out whether your father owns the recording. This fact about your inquiry generalizes: inquiry is a goal-directed enterprise. A specific inquiry can be individuated by the question it aims to answer and by who (...) aims to answer the question. Your inquiry into whether your father owns the recording differs from your inquiry into how many records your father owns because different questions are being asked. Your inquiry into whether your father owns the recording differs from my inquiry into whether he does because different people are inquiring. The goal of inquiry into a given question by an agent, α, can be characterized, neutrally, as α's having the answer to that question. I will here focus only on inquiries into whether questions and characterize the goal of inquiry into whether φ by α as α's having the answer to the question whether φ. (shrink)

Igor Douven has recently developed a challenge for accounts of justification according to which beliefs about lottery losers are never justified. This article argues that champions of such accounts can rise to Douven's challenge and, what's more, that they can turn Douven's argument around in the sense that they can legitimately take it to provide a vindication of their preferred view.

Our aim is to provide a topography of the relevant philosophical terrain with regard to the possible ways in which knowledge can be conceived of as extended. We begin by charting the different types of internalist and externalist proposals within epistemology, and we critically examine the different formulations of the epistemic internalism/externalism debate they lead to. Next, we turn to the internalism/externalism distinction within philosophy of mind and cognitive science. In light of the above dividing lines, we then examine first (...) the extent to which content externalism is compatible with epistemic externalism; second, whether active externalism entails epistemic externalism; and third whether there are varieties of epistemic externalism that are better suited to accommodate active externalism. Finally, we examine whether the combination of epistemic and cognitive externalism is necessary for epistemology and we comment on the potential ramifications of this move for social epistemology and philosophy of science. (shrink)

Knowledge norms of action are sometimes said to be motivated by the fact that they align with natural assessments of action in ordinary language. Competent and rational speakers normally use ‘knowledge’ and its cognates when they assess action. In contrast, competing accounts in terms of evidence, warrant or reliability do not straightforwardly align with ordinary language assessments of action. In response to this line of reasoning, I argue that a warrant account of action may explain the prominence of ‘knowledge’ in (...) epistemic assessments better than the knowledge account. If this explanation is successful, it undermines a central rationale for the ‘knowledge first’ program in epistemology. Moreover, the explanation provides an insight into the social functions of knowledge ascriptions as well as a methodological lesson about the relationship between folk epistemology and epistemological theorizing. (shrink)

Epistemologists understand radical skepticism as arising from two principles: Closure and Underdetermination. Both possess intuitive prima facie support for their endorsement. Understanding how they engender skepticism is crucial for any reasonable anti-skeptical attempt. The contemporary discussion has focused on elucidating the relationship between them to ascertain whether they establish distinct skeptical questions and which of the two constitutes the ultimately fundamental threat. Major contributions to this debate are due to Brueckner, Cohen, and Pritchard. This contribution aims at defending Brueckner’s contention (...) that underdetermination expresses the fundamental skeptical threat and that the closure-based argument can ultimately be reduced to it, at least concerning skeptical contexts. This will be achieved by undermining Cohen’s objections to Brueckner on both counts. Cohen’s argument endorses a picture of evidential underdetermination, which, while apt for non-skeptical contexts, cannot be applied to radical skepticism. A comparison with a case of scientific underdetermination is developed to argue for this idea. Our argument is then applied to the principle equivalence issue and to objections against it. It is then shown how this analysis possesses a distinctive effect on our understanding of the skeptical threat and the assessment of successful anti-skeptical strategies. (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)

What sort of epistemic positions are compatible with inquiries driven by interrogative attitudes like wonder and puzzlement? The ignorance norm provides a partial answer: interrogative attitudes directed at a particular question are never compatible with knowledge of the question’s answer. But some are tempted to think that interrogative attitudes are incompatible with weaker positions like belief as well. This paper defends that the ignorance norm is exhaustive. All epistemic positions weaker than knowledge directed at the answer to a question are (...) compatible with having an interrogative attitude towards that question. We offer two arguments for this conclusion. The first is based on considerations about the role of hedging in inquiry. The second is conditional on considerations related to the aim of inquiry as a goal-directed activity. (shrink)

ABSTRACT A number of authors have recently advanced a ‘disjunctivist’ view of the rationalising explanation of action, on which rationalisations of the form ‘S A’d because p’ are explanations of a fundamentally different kind from rationalisations of the form ‘S A’d because she believed that p’. Less attempt has been made to explicitly articulate the case against this view. This paper seeks to remedy that situation. I develop a detailed version of what I take to be the basic argument against (...) disjunctivism, drawing on a framework of explanatory proportionality. The disjunctivist cannot reject this framework, I argue, because they need it to respond to another challenge, from psychological individualism. As I explain, however, the proportionality-based challenge is not in principle insurmountable, and I outline a number of ways in which a case for disjunctivism might be developed in response to it. The paper thus clarifies the dialectic around disjunctivism about the rationalisation of action and, specifically, what advocates of the view must do in order to make a compelling case for it. (shrink)

Impurism says that practical factors encroach on knowledge. An important version of impurism is called ‘Threshold-Impurism,’ which says that practical factors encroach on the threshold that rational credence must pass in order for one to have knowledge. A prominent kind of argument for Threshold-Impurism is the so-called ‘principle-based argument,’ which relies on a principle of fallibilism and a knowledge-action principle. This paper offers a new challenge against Threshold-Impur- ism. I attempt to show that the two principles Threshold-Impurists are committed to—KJ (...) and Fallibilism—are jointly in tension with a widely-held principle of credence that’s called ‘Truth-Directedness,’ in the sense that the former two principles cannot both apply to those who know the third. This tension constitutes a serious challenge to Threshold-Impurists, because it leaves them two options, both of which are undesirable: denying Truth-Directedness, or accepting Truth-Directedness and accepting that whether KJ and Fallibilism apply to a person depends on whether she knows Truth-Directedness. (shrink)

Does utterance understanding require reliable (i.e. non-lucky) recovery of the speaker’s intended proposition? There are good reasons to answer in the affirmative: the role of understanding in supporting testimonial knowledge seemingly requires such reliability. Moreover, there seem to be communicative analogues of Gettier cases in which luck precludes the audience’s understanding an utterance despite recovering the intended proposition. Yet, there are some major problems with the view that understanding requires such reliability. Firstly, there are a number of cases in which (...) understanding seems to occur in a lucky way. In light of these cases I argue that we need to narrow down the precise sense in which understanding precludes luck – the anti-luck condition attached to linguistic understanding is importantly different to anti-luck conditions typically applied to knowledge. Secondly, Megan Hyska has recently argued that, assuming understanding precludes luck, we get a communicative analogue of the value problem for knowledge. i.e. why is it better to meet the other conditions for understanding in a reliable way than in a lucky way? It is natural to assume that we can simply port over our favoured responses to the epistemic value problem in response to Hyska’s challenge. I argue that, due to the difference between epistemic and communicative luck (discussed in response to the first problem), this cannot be done. The epistemic and communicative value problems will require different solutions. I close by sketching the beginnings of an alternative answer to the value problem for communication. (shrink)

There are many things—call them ‘experts’—that you should defer to in forming your opinions. The trouble is, many experts are modest: they’re less than certain that they are worthy of deference. When this happens, the standard theories of deference break down: the most popular (“Reflection”-style) principles collapse to inconsistency, while their most popular (“New-Reflection”-style) variants allow you to defer to someone while regarding them as an anti-expert. We propose a middle way: deferring to someone involves preferring to make any decision (...) using their opinions instead of your own. In a slogan, deferring opinions is deferring decisions. Generalizing the proposal of Dorst (2020a), we first formulate a new principle that shows exactly how your opinions must relate to an expert’s for this to be so. We then build off the results of Levinstein (2019) and Campbell-Moore (2020) to show that this principle is also equivalent to the constraint that you must always expect the expert’s estimates to be more accurate than your own. Finally, we characterize the conditions an expert’s opinions must meet to be worthy of deference in this sense, showing how they sit naturally between the too-strong constraints of Reflection and the too-weak constraints of New Reflection. (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)

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)

We motivate a picture of social epistemology that sees forgetting as subject to epistemic evaluation. Using computer simulations of a simple agent-based model, we show that how agents forget can have as large an impact on group epistemic outcomes as how they share information. But, how we forget, unlike how we form beliefs, isn’t typically taken to be the sort of thing that can be epistemically rational or justified. We consider what we take to be the most promising argument for (...) this claim and find it lacking. We conclude that understanding how agents forget should be as central to social epistemology as understanding how agents form beliefs and share information with others. (shrink)

How is moral knowledge possible? This paper defends the anti-Humean thesis that we can acquire moral knowledge by deduction from wholly non-moral premises. According to Hume’s Law, as it has become known, we cannot deduce an ‘ought’ from an ‘is’, since it is “altogether inconceivable how this new relation can be a deduction from others, which are entirely different from it” (Hume, 1739, 3.1.1). This paper explores the prospects for a deductive theory of moral knowledge that rejects Hume’s Law.

What is the relation between joint attention and common knowledge? On the one hand, the relation seems tight: the easiest and most reliable way of knowing something in common with another is for you and that other to be attentively aware of what you are together experiencing. On the other hand, they couldn’t seem further apart: joint attention is a mere perceptual phenomena that infants are capable of engaging in from nine months of age, whereas common knowledge is a cognitive (...) phenomenon involving (so it seems) complex, overlapping metarepresentational states that require the kind of sophisticated mindreading skills that developmental psychology has shown to be beyond the capabilities of young children. In 'The Shared World: Perceptual Common Knowledge, Demonstrative Communication, and Shared Social Space', Axel Seemann attempts, inter alia, to makensense of this conundrum. (shrink)