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)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

Richard Price’s moral epistemology provides a distinctive account, not only of the sources of our moral knowledge, but also of its limits – that is, of the moral truths that we do not and even cannot know. According to this moral epistemology, the fundamental moral truths are necessary rather than contingent; if they are knowable at all, they are knowable a priori. In general, fundamental moral truths are akin to mathematical truths. Specifically, these necessary moral truths are grounded in the (...) essences of act-types, which are knowable through ‘intuition’ if knowable at all. However, Price firmly rejects utilitarianism, recognizing several different ‘branches of virtue’, which can conflict with each other. As he argues, we cannot know the truth about act-types that exemplify such conflicting branches of virtue if the competing considerations are too finely balanced. This view of moral epistemology is compared with those of several other philosophers, including W. D. Ross. It is argued that Price has a more unified view than Ross: for Price, all moral knowledge flows from a priori intuition, but this is compatible with our being ignorant of many of the fine details of the fundamental truths of morality. (shrink)

The topic of this article is the ontology of practical reasons. We draw a critical comparison between two views. According to the first, practical reasons are states of affairs; according to the second, they are propositions. We first isolate and spell out in detail certain objections to the second view that can be found only in embryonic form in the literature – in particular, in the work of Jonathan Dancy. Next, we sketch possible ways in which one might respond to (...) each one of these objections. A careful evaluation of these complaints and responses, we argue, shows that the first view is not as obviously compelling as it is thought by Dancy. Indeed, it turns out that the view that practical reasons are propositions is by no means unworkable and in fact, at least under certain assumptions, explicit considerations can be made in favour of a propositional construal of reasons. (shrink)

Taking perceptual experience to consist in a relation of acquaintance with the sensible qualities, I argue that the state of being acquainted with a sensible quality is intrinsically a form of knowledge, and not merely a means to more familiar kinds of knowledge, such as propositional or dispositional knowledge. We should accept the epistemic claim for its explanatory power and theoretical usefulness. That acquaintance is knowledge best explains the intuitive epistemic appeal of ‘Edenic’ counterfactuals involving unmediated perceptual contact with reality (...) (cf. Chalmers, in: Gendler, Hawthorne (eds) Perceptual experience, Oxford University Press, 2006). It explains the elusiveness of knowledge gained through new acquaintances. It coheres with the knowledge-like functional role of acquaintance in the special context of evaluative beliefs and evaluative reasoning, where the objects of acquaintance serve as evidence and inferential basis. And, finally, taking acquaintance to be knowledge is theoretically fruitful: it helps vindicate claims about the relationship between knowledge and concern for others we already find intuitive or outright accept. After developing a novel case for the epistemic claim, I respond to two familiar objections against it: namely, (1) that there are no pre-propositional, pre-conceptual cases of perceptual experience that remain epistemically relevant (Sellars in Empiricism and the philosophy of mind, Routledge, 1968, McDowell, in: Lindgard (ed) John McDowell: Experience, norm, and nature, Blackwell, 2008); and (2) that the category of knowledge appears gerrymandered once we add ‘object’ knowledge to the epistemological mix (Farkas, in: Knowles, Raleigh (eds), Acquaintance: new essays, Oxford University Press, 2019). (shrink)

Several philosophers have argued that the factivity of knowledge poses a problem for epistemic contextualism (EC), which they have construed as a knowability problem. On a proposed minimalistic reading of EC’s commitments, Wolfgang Freitag argues that factivity yields no knowability problem for EC. I begin by explaining how factivity is thought to generate a contradiction out of paradigmatic contextualist cases on a certain reading of EC’s commitments. This reductio results in some kind of reflexivity problem for the contextualist when it (...) comes to knowing her theory: either a knowability problem or a statability problem. Next, I set forth Freitag’s minimalistic reading of EC and explain how it avoids the reductio, the knowability problem and the statability problem. I argue that despite successfully evading these problems, Freitag’s minimalistic reading saddles EC with several other serious problems and should be rejected. I conclude by offering my own resolution to the problems. (shrink)

ABSTRACTIn this paper, I question the orthodox position that true belief is a fundamental epistemic value. I begin by raising a particularly epistemic version of the so-called “value problem of knowledge” in order to set up the basic explanandum and to motivate some of the claims to follow. In the second section, I take aim at what I call “bottom-up approaches” to this value problem, views that attempt to explain the added epistemic value of knowledge in terms of its relation (...) to a more fundamental value of true belief. The final section is a presentation of a value-theoretic alternative, one that explains the value problem presented in the first section while also doing justice to intuitions that may cause us to worry about bottom-up approaches. In short, knowledge and not mere true belief is a fundamental epistemic value as it is the constitutive goal of propositional inquiry. (shrink)

According to the Reasoning View about normative reasons, facts about normative reasons for action can be understood in terms of facts about the norms of practical reasoning. I argue that this view is subject to an overlooked class of counterexamples, familiar from debates about Subjectivist theories of normative reasons. Strikingly, the standard strategy Subjectivists have used to respond to this problem cannot be adapted to the Reasoning View. I think there is a solution to this problem, however. I argue that (...) the norms of practical reasoning, like the norms of theoretical reasoning, are characteristically defeasible, in a sense I make precise. Recognizing this property of those norms makes space for a solution to the problem. The resulting view is in a way analogous to the familiar defeasibility theory of knowledge, but it avoids a standard objection to that theory. (shrink)

This morning I intended to get out of bed when my alarm went off. Hearing my alarm, I formed the intention to get up now. Yet, for a time, I remained in bed, irrationally lazy. It seems I irrationally failed to execute my intention. Such cases of execution failure pose a challenge for Mentalists about rationality, who believe that facts about rationality supervene on facts about the mind. For, this morning, my mind was in order; it was my action that (...) apparently made me irrational. What, then, should Mentalists say about the phenomenon of execution failure? The phenomenon of execution failure, and the puzzle it raises for Mentalists, have rarely been discussed. This paper addresses the puzzle in two parts. First, it argues that execution failure is a real phenomenon. It is possible for agents to irrationally fail to act on their present-directed intentions. It follows that Mentalists in the philosophy of action must solve the puzzle of explaining what is irrational about cases of execution failure. Second, this paper begins the search for such a solution. It considers six possible resolutions to the puzzle, arguing that none is obviously the most attractive. These resolutions include a requirement of overall conative consistency, an appeal to the norm of intention consistency, a form of Volitionalism, an appeal to factive mental states, and a proposal due to Garrett Cullity, and a novel requirement of proper functioning. (shrink)

In this paper, I argue for a pragmatic theory of the motivations behind the practice of defining concepts in philosophy. The “correct” definition in philosophy is not, as is usually supposed, the definition that accurately describes some pre-philosophical meaning, but the definition which is useful for the achievement of certain theoretical goals. I consider different examples of definitional debates from the history of philosophy. The analysis of these examples also evidences why philosophers do not usually grant the incidence of pragmatic (...) reason in their conceptual investigations. At the end of the paper, I provide some reasons that explain why the incidence of pragmatic reasons is inevitable. (shrink)

Traditional Bayesianism requires that an agent’s degrees of belief be represented by a real-valued, probabilistic credence function. However, in many cases it seems that our evidence is not rich enough to warrant such precision. In light of this, some have proposed that we instead represent an agent’s degrees of belief as a set of credence functions. This way, we can respect the evidence by requiring that the set, often called the agent’s credal state, includes all credence functions that are in (...) some sense compatible with the evidence. One known problem for this evidentially motivated imprecise view is that in certain cases, our imprecise credence in a particular proposition will remain the same no matter how much evidence we receive. In this article I argue that the problem is much more general than has been appreciated so far, and that it’s difficult to avoid it without compromising the initial evidentialist motivation. _1_ Introduction _2_ Precision and Its Problems _3_ Imprecise Bayesianism and Respecting Ambiguous Evidence _4_ Local Belief Inertia _5_ From Local to Global Belief Inertia _6_ Responding to Global Belief Inertia _7_ Conclusion. (shrink)

Object-hood is central to Husserl’s work, yet he employs several different notions of object-hood without clarifying the differences; his work thus offers rich and nuanced reflections on object-hood, but in a theoretically underdeveloped, at times even paradoxical, form. This paper aims to develop Husserl’s theory of objects systematically. In order to achieve this I distinguish five object-concepts operative in Husserl’s phenomenology and prove that they are not co-extensional. I also argue that they form a layer in terms of transcendental constitution, (...) one implying the other. I conclude the paper by exploring Husserl’s paradoxical claim that the absolute is not an object. From these considerations, two meta-phenomenological lessons emerge: object-hood is not total ; yet we cannot escape objectification while engaged in phenomenological reflection. (shrink)

According to some philosophers who accept a propositional conception of evidence, someone's evidence includes a proposition only if it is true. I argue against this thesis by appealing to the possibility of knowledge from falsehood.

Imagination is widely thought to come in two varieties: perception-like and belief-like imagination. What precisely sets them apart, however, is not settled. More needs to be said about the features that make one variety perception-like and the other belief-like. One common, although typically implicit, view is that they mimic their counterparts along the conceptuality dimension: while the content of belief-like imagination is fully conceptual, the content of perception-like imagination is fully non-conceptual. Such a view, however, is not sufficiently motivated in (...) the literature. I will show that there are good reasons to reject it and I will argue that both varieties of imagination involve fully conceptual contents. I will suggest an alternative way to draw the distinction between perception-like and belief-like imagination along the conceptuality dimension, according to which only perception-like imagination requires observational concepts. (shrink)

Drawing inspiration from a well-attested historical tradition, I propose an account of cognition according to which knowledge is not only prior to belief; it is also, and crucially, not a kind of belief. Believing, in turn, is not some sort of botched knowing, but a mental state fundamentally different from knowing, with its own distinctive and complementary role in our cognitive life. I conclude that the main battle-line in the history of epistemology is drawn between the affirmation of a natural (...) mental state in which there is a contact between ‘mind’ and ‘reality’ and the rejection of such a natural mental state. For the former position, there is a mental state which is different in kind from belief, and which is constituted by the presence of the object of cognition to the cognitive subject, with no gap between them. For the latter position, all our cognition is belief, and the question becomes how and when belief is permissible. (shrink)

COVID-19 vaccine refusal seems like a paradigm case of irrationality. Vaccines are supposed to be the best way to get us out of the COVID-19 pandemic. And yet many people believe that they should not be vaccinated even though they are dissatisfied with the current situation. In this paper, we analyze COVID-19 vaccine refusal with the tools of contemporary philosophical theories of responsibility and rationality. The main outcome of this analysis is that many vaccine-refusers are responsible for the belief that (...) they should not be vaccinated and epistemically rational in holding it. This is an important result because it provides insights into the legitimacy of certain public health policies. In particular, this result shows that a public health policy that would abandon the project of convincing certain vaccine-refusers with reasons – e.g., by simply making vaccination compulsory – is prima facie illegitimate. (shrink)

This paper discusses the Uniqueness Thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

Turning the techniques we use to understand other people onto ourselves can provide an insight into the types of self-knowledge that may be possible for us. Adopting Pluralistic Folk Psychology, according to which we understand others not primarily by thinking about invisible beliefs and desires that cause behavior, but instead by modeling others as people - with rich characters, relationships, past histories, cultural embeddedness, personality traits, and so forth. A preliminary investigation shows that we understand ourselves at least in terms (...) of our phenomenal states, informational states, perceptual states, traits, desires, and beliefs. I then appeal to empirical research to examine the accuracy of our sense of self-understanding in these ways, and argue that these are often non-veridical. Moreover, in our folk practices, we do not take our statements of self-understanding as infallible, but we allow others to help us see ourselves. While there is room for some improvement in our acurarcy, I conclude.. (shrink)

Obligations to provide evidence to others arise in many contexts. This paper develops a framework within which to understand what it is to provide evidence to someone. I argue that an initially plausible connection between evidence-providing and evidence-possession fails: it is not the case that in order to count as providing evidence to someone, the intended recipient must have the evidence. I further argue that the following is possible: evidence is provided to an agent, the agent does not have the (...) evidence, but it is not the case that the agent is culpably ignorant of the evidence. (shrink)

This article discusses the phenomenon of normative resilience, with a focus on evaluative resilience. An object can become more or less valuable. In addition to this change in an object's value, the object's value can become more or less resilient. If it is less resilient, it cannot withstand as much evaluative change without its degree of value changing, as compared to an object with more resilient value. The article consists of three parts. First, examples of resilience are presented to give (...) the reader an intuitive understanding of the phenomenon, Second, the Fitting Attitudes Analysis of value is invoked to provide a formal account of evaluative resilience. Third, the theoretical and practical advantages of acknowledging the existence of evaluative resilience are brought to light. (shrink)

This paper draws a line of demarcation between fallibilism and infallibilism. Taking Cartesian Infallibilism as a guide, it advances a picture of infallibilism whereby infallible knowledge requires, among other conditions, luminosity of a truth-guaranteeing property. Some implications for contemporary theories of knowledge are explored.

The debate over safe spaces has traditionally been cast as a conflict between competing goals. On the one hand we have epistemic goals such as the pursuit of truth and the free exchange of ideas. O...

This paper articulates and argues for the plausibility of the Presentation View of Perceptual Knowledge, an under-discussed epistemology of perception. On this view, a central epistemological role of perception is that of making subjects aware of their surroundings. By doing so, perception affords subjects with reasons for world-directed judgments. Moreover, the very perceived concrete entities are identified as those reasons. The former claim means that the position is a reasons-based epistemology; the latter means that it endorses a radically anti-psychologist conception (...) of reasons. First, I articulate and motivate the Presentation View. Then, I defend the view from three incarnations of a major objection levelled within the ranks of reasons-based epistemologies: McDowell’s version of the accusation that a view like this falls prey to the Myth of the Given. I argue that all three incarnations fail to show the Presentation View to be inadequate. The first version holds that a general characterization of the Myth clearly shows that it is an incoherent idea. The second version holds that endorsing the Myth makes it impossible to construe non-conceptual items as items that can stand in rational relations to judgements and beliefs. The third version holds that endorsing the Myth leads to a conception where perceptual experiences merely cause, but do not warrant, our perceptual beliefs and judgements. I explain in detail how the Presentation View has the elements to respond to each of these objections. (shrink)

It is widely accepted that knowledge is incompatible with the presence of non-neutralized defeaters. A common way of addressing this issue is to introduce a condition to the effect that there are no non-neutralized defeaters for the belief that _p_ (i.e. a “no-defeaters condition”). I argue that meeting this condition leaves open a possibility for defeaters to squander our knowledge. The no-defeaters condition can be fortuitously met, and as a result it can be met luckily. I shall argue that this (...) kind of luck is inconsistent with knowledge. In order to prevent this pernicious form of luck I introduce a “defeaters-responsiveness” condition, according to which subjects ought to be disposed to adequately address defeaters if they were to arise (even if they in fact do not arise). (shrink)

ABSTRACT According to an important version of the Principle of Sufficient Reason, every fact has a metaphysical explanation, where a metaphysical explanation of some fact tells us what makes it the case that the fact obtains. I argue that, so long as we have not yet discovered that any fact is brute, we ought to be committed to this version of the principle—henceforth ‘the PSR’—because it is indispensable to a species of inquiry in which we ought to engage. I argue, (...) first, that a practical indispensability argument applied to this species of inquiry supports a commitment to the PSR. I then show that we ought to engage in this inquiry. If my argument succeeds, then our attitude at the outset of such inquiry should not be agnosticism about whether any particular fact has a metaphysical explanation. Instead, we ought to be committed to the PSR. (shrink)

What kind of thing is a reason for action? What is it to act for a reason? And what is the connection between acting for a reason and rationality? There is controversy about the many issues raised by these questions. In this paper I shall answer the first question with a conception of practical reasons that I call ‘Factualism’, which says that all reasons are facts. I defend this conception against its main rival, Psychologism, which says that practical reasons are (...) mental states or mental facts, and also against a variant of Factualism that says that some practical reasons are facts and others are false beliefs. I argue that the conception of practical reasons defended here provides plausible answers to the second and third questions above; and gives a more unified and satisfactory picture of practical reasons than those offered by its rivals. (shrink)

In this article I attempt to provide a conceptual framework for thinking about reliance in a systematic way. I argue that reliance is a cognitive attitude that has a tighter connection to the guidance of our thought and action than ordinary belief does. My main thesis is that reliance has a ‘constitutive aim’: namely, it aims at guiding our thought and action in a way that is sensible from the standpoint of practical or theoretical ends. This helps explain why reliance (...) is, in contrast to belief, typically formed and revised in response to pragmatic considerations. (shrink)

In a series of articles, Kit Fine presents some highly compelling objections to monism, the doctrine that spatially coincident objects are identical. His objections rely on Leibniz’s Law and linguistic environments that appear to be immune to the standard charge of non-transparency and substitution failure. In this paper, I respond to Fine’s objections on behalf of the monist. Following Benjamin Schnieder, I observe that arguments from Leibniz’s Law are valid only if they involve descriptive, rather than metalinguistic, negation. Then I (...) show that the monist is justified in treating the negation in Fine’s objections as metalinguistic in nature. Along the way I make a few methodological remarks about the interaction between the study of natural language and metaphysics. I also present evidence that some of the linguistic environments which Fine relies on are, contrary to appearances, non-transparent. (shrink)

In this paper I present a more refined analysis of the principles of deductive closure and positive introspection. This analysis uses the expressive resources of logics for different types of group knowledge, and discriminates between aspects of closure and computation that are often conflated. The resulting model also yields a more fine-grained distinction between implicit and explicit knowledge, and places Hintikka’s original argument for positive introspection in a new perspective.

Cognitive states as well as cognitive commodities play central though distinct roles in our epistemological theories. By being attentive to how a difference in their roles affects our way of referring to them, we can undoubtedly accrue our understanding of the structure and functioning of our main epistemological theories. In this paper we propose an analysis of the dichotomy between states and commodities in terms of the method of abstraction, and more specifically by means of infomorphisms between different ways to (...) classify states of information, information-bases, and evidential situations. (shrink)

There has been a surge of interest over cases where a subject sincerely endorses P while displaying discordant strains of not-P in her behaviour and emotion. Cases like this are telling because they bear directly upon conditions under which belief should be ascribed. Are beliefs to be aligned with what we sincerely endorse or with what we do and feel? If belief doesn’t explain the discordant strains, what does? T.S. Gendler has recently attempted to explain all the discordances by introducing (...) a controversial new cognitive category—associative clusters called ‘alief’. Others think that belief explains all the discordancy cases, while others argue that in-between belief does the trick, and so on. Most advocates of the different positions, indeed, assume that their favoured analysis will explain the whole range of discordancy cases. This paper defends what I call the ‘contextual view’, where I argue that overturning this assumption of uniformity leads to more nuanced account of belief-ascription. On the contextual view, which analysis applies to which case depends on the discordancy case at hand. Perhaps a height-phobic stepping on a glass platform deserves different treatment to a hesitant stepper. I ground the contextual view in a biologically functional account of the alief/belief distinction, which construes alief as a real cognitive category but without the explanatory reach Gendler gives it. This functional distinction yields a principled strategy for determining the correct application of analysis to discordancy case. (shrink)

Jan Westerhoff defends an account of thoroughgoing non-foundationalism that he calls “irrealism,” which is implicitly modeled on a Madhyamaka Buddhist view. In this paper, I begin by raising worries about the irrealist’s account of human cognition as taking place in a brain-based representational interface. Next, I pose first-order and higher-order challenges to how the irrealist—who defends a kind of global error theory—can sensibly accommodate an unlocalized appearance-reality distinction, both metaphysically and epistemologically. Finally, although Westerhoff insists that irrealism itself is not (...) an ontological theory and that the irrealist’s rejection of absolutely general quantification precludes his commitment to any ultimately true theories, I propose strategies inspired by the Svātantrika commentarial tradition of Madhyamaka for how the irrealist might develop a lightweight account of unrestricted quantification that could be used to advance a lightweight ultimately true theory. This, I suggest, may allow the irrealist to (i) preserve a commitment to an unlocalized appearance-reality distinction, (ii) underwrite a distinction between ordinary veridical states and metaphysically accurate epistemic states, and (iii) provide an explanation for the massive error that he claims characterizes ordinary cognition. (shrink)

Good’s theorem is the apparent platitude that it is always rational to ‘look before you leap’: to gather information before making a decision when doing so is free. We argue that Good’s theorem is not platitudinous and may be false. And we argue that the correct advice is rather to ‘make your act depend on the answer to a question’. Looking before you leap is rational when, but only when, it is a way to do this.

Political philosophers have been concerned for some time with the epistemic caliber of the general public, qua the body that is, ultimately, tasked with political decision-making in democratic societies. Unfortunately, the empirical data paints a pretty dismal picture here, indicating that the public tends to be largely ignorant on the issues relevant to governance. To make matters worse, social psychological research on how ignorance tends to breed overconfidence gives us reason to believe that the public will not only lack knowledge (...) on the relevant issues, but also wisdom, in the Socratic sense of an awareness of your ignorance. It might be thought that an obvious remedy would be to increase the knowledge and wisdom of the public. However, as far as sound political decision-making and action is concerned, there is nothing particularly valuable about knowledge or wisdom per se—irrespective of what account of wisdom available in the literature we opt for. In fact, it might just be that what the public needs is nothing but the most basic epistemic good: true belief. (shrink)

Truth monism is the idea that only true beliefs are of fundamental epistemic value. The present paper considers three objections to truth monism, and argues that, while the truth monist has plausible responses to the first two objections, the third objection suggests that truth monism should be reformulated. On this reformulation, which we refer to as accuracy monism, the fundamental epistemic goal is accuracy, where accuracy is a matter of “getting it right.” The idea then developed is that accuracy is (...) a genus with several species. Believing truly is a prominent species, but it is not the only one. Finally, it is argued that accuracy monism is equally good or better than both traditional truth monism and its main dialectical rival, value pluralism, when it comes to satisfying three important axiological desiderata. (shrink)

The knowledge norm of assertion is mainly in competition with a high probability or rational credibility norm. The argument for the knowledge norm that I offer turns on cases in which a hearer responds to a speaker's assertion by asserting another sentence that would lower the probability of the speaker's assertion, were its probability less than one. In cases like this, though with qualifications, is the hearer's contribution a challenge to the speaker's assertion or complementary to it? My answer is (...) the latter, and that only the knowledge norm yields that answer.The cases that I rely on follow from an elementary probability relation, though one that is inconsistent with the still influential relevance criterion for confirmation and evidence . Assume, for illustrative purposes, that p is in your belief corpus, as a consequence of your believing ∨ ∨ . 1 You learn that ∼ & ∼ , which would lessen the probability of p, were its probability less than one, 2 since it eliminates two rows of the truth-table in which p holds. What conclusion do you reach about p?Rather than withdrawing p, you acquire the belief that p & ∼ s & ∼ r, even though Formula where pr would be the subjective or epistemic probability of p on a probabilistic view of the knowledge norm before learning ∼ & ∼ . Instead of withdrawal …. (shrink)

Recent work in the philosophy of mind and cognitive science (e.g., Clark and Chalmers 1998; Clark 2010a; Clark 2010b; Palermos 2014) can help to explain why certain kinds of assertions—made on the basis of information stored in our gadgets rather than in biological memory—are properly criticisable in light of misleading implicatures, while others are not.

The philosophical case for extended cognition is often made with reference to ‘extended-memory cases’ ; though, unfortunately, proponents of the hypothesis of extended cognition as well as their adversaries have failed to appreciate the kinds of epistemological problems extended-memory cases pose for mainstream thinking in the epistemology of memory. It is time to give these problems a closer look. Our plan is as follows: in §1, we argue that an epistemological theory remains compatible with HEC only if its epistemic assessments (...) do not violate what we call ‘the epistemic parity principle’. In §2, we show how the constraint of respecting the epistemic parity principle stands in what appears to be a prima facie intractable tension with mainstream thinking about cases of propositional memory. We then outline and evaluate in §3 several lines of response. (shrink)

The central idea behind this paper is that presuppositions of soft triggers arise from the way our attention structures the informational content of a sentence. Some aspects of the information conveyed are such that we pay attention to them by default, even in the absence of contextual information. On the other hand, contextual cues or conversational goals can divert attention to types of information that we would not pay attention to by default. Either way, whatever we do not pay attention (...) to, be it by default, or in context, is what ends up presupposed by soft triggers. This paper attempts to predict what information in the sentence is likely to end up being the main point (i.e. what we pay attention to) and what information is independent from this, and therefore likely presupposed. It is proposed that this can be calculated by making reference to event times. The notion of aboutness used to calculate independence is based on that of Demolombe and Fariñas del Cerro (In: Holdobler S (ed) Intellectics and computational logic: papers in honor of Wolfgang Bibel, 2000). (shrink)

Knowledge, like other things of value, can be faked. According to Hawley (2011), know-how is harder to fake than knowledge-that, given that merely apparent propositional knowledge is in general more resilient to our attempts at successful detection than are corresponding attempts to fake know-how. While Hawley’s reasoning for a kind of detection resilience asymmetry between know-how and know-that looks initially plausible, it should ultimately be resisted. In showing why, we outline different ways in which know-how can be faked even when (...) a given performance is successful; and in doing so, we distinguish how know-how can be faked (no less than know-that) via upstream and downstream indicators of its presence, and within each of these categories, we’ll distinguish (in connection with detection resilience) both faking symptoms and (various kinds of) criteria. The unappreciated resilience of faked knowledge-how to successful detection highlights a largely overlooked dimension of social-epistemic risk – risk we face not just in our capacity as recipients of testimony, but in our capacity as both (would-be) apprentices and clients of knowledge-how. (shrink)

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

It is common to hear talk of the aim of belief and to find philosophers appealing to that aim for numerous explanatory purposes. What belief 's aim explains depends, of course, on what that aim is. Many hold that it is somehow related to truth, but there are various ways in which one might specify belief 's aim using the notion of truth. In this article, by considering whether they can account for belief 's standard of correctness and the epistemic (...) norms governing belief, I argue against certain prominent specifications of belief 's aim given in terms of truth, and advance a neglected alternative. (shrink)

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it can enrich (...) our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

This paper examines the relationship between evidentialism, knowledge‐first epistemology, (E=K) in particular, and justification. Evidentialism gives an account of justified belief in terms of evidence but is silent on the nature of evidence. Knowledge‐first tells us what evidence is but stands in need of an agreed account of justification. So each might be able to supply what the other lacks. I argue that the combination of evidentialism, (E=K), and some plausible principles leads to the scepticism familiar from the Agrippan trilemma. (...) I develop an Evidentialist Knowledge‐First view of justification that avoids scepticism by rejecting the entailment of justification by knowledge. This combination turns out to have unpalatable consequences. Nonetheless, the process of reaching that conclusion teaches lessons both to the evidentialist (regarding what evidence could be) and to the knowledge‐firster (regarding what justification is). (shrink)

The Meno problem, asking for the surplus value of knowledge beyond the value of true justified belief, was recently much treated within reliabilist and virtue epistemologies. The answers from formal epistemology, by contrast, are quite poor. This paper attempts to improve the score of formal epistemology by precisely explicating Timothy Williamson's suggestion that ‘present knowledge is less vulnerable than mere present true belief to rational undermining by future evidence’. It does so by combining Nozick's sensitivity analysis of knowledge with Spohn's (...) fact‐asserting epistemic interpretation of conditionals. Accordingly, the surplus value of knowledge lies in a specific kind of stability of knowledge, which differs, though, from that claimed by other so‐called stability analyses of knowledge. (shrink)