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 paper targets a series of potential issues for the discussion of, and modal resolution to, the alethic paradoxes advanced by Scharp (2013). I proffer four novel extensions of the theory, and detail five issues that the theory faces.

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)

Plotinus argues that materialism cannot explain reflexive cognition. He argues that mere bodies cannot engage in the self-reflexive activity of both cognizing some content and being cognitively aware of cognizing this content. Short of outright denying the cognitive unity underlying this phenomenon of self-awareness, materialism is in trouble. However, Plotinus bases his argument on the condition that material bodies are capable of a spatial unity at most, and while this condition has purchase on ancient materialists, it would be rejected today. (...) After considering objections based on our contemporary understanding of a material body, I amend Plotinus' argument to focus instead on the core materialist commitment to external efficient-causal relations. This amended argument regains its urgency for materialism, while retaining the spirit of Plotinus' view. (shrink)

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 defends an epistemicist response to the phenomenon of vagueness concerning moral terms. I outline a traditional model of - and then two novel approaches to - epistemicism about moral predicates, and I demonstrate how the foregoing are able to provide robust explanations of the source of moral, as epistemic, indeterminacy. The first approach to moral epistemicism concerns the extensions of moral predicates, as witnessed by the non-transitivity of a value-theoretic sorites paradox. The second approach to moral epistemicism is (...) induced by the status of moral dilemmas in the epistemic interpretation of two-dimensional semantics. I examine the philosophical significance of the foregoing, and compare the proposal to those of ethical expressivism, constructivism, and scalar act-consequentialism. Finally, I examine the status of moral relativism in light of the epistemicist models of moral vagueness developed in the paper. (shrink)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I contend (...) that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (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 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 deal here with one of Boghossian’s arguments against content externalism, related to ourinferential rationality(to use his term). According to his reasoning, the apriority of our logical abilities is inconsistent with certain externalist assumptions. Nevertheless, the problem constitutes an important challenge foranytheory of content, not just for externalism. Furthermore, when we examine what internalists may propose to solve the problem, we see that externalists have at their disposal a more promising repertoire of possible replies than internalists. In that sense, insofar (...) as Boghossian’s scenario is relevant to the debate externalism/internalism, it can be seen (against Boghossian’s original intention) as providing additional evidence for content externalism. (shrink)

Following Talia Mae Bettcher, many philosophers distinguish between ethical and epistemic conceptions of the first-person authority that we have over our gender identities. Rather than construing this authority as explained by our superior epistemic access to our own gender identities, many have argued that we should view this authority as explained by ethical obligations that we have towards others. But such views remain silent on what we ought to believe about others’ gender identities: when someone avows their gender identity, should (...) we believe them? Or is it enough to merely act as though we do? In this paper, I argue that mere action is not enough: we ought to believe what others say about their gender identities. I present several cases that motivate the claim that there is something distinctively wrong with merely ‘playing along’ with what another person says about their gender identity. I offer several answers for what explains why such cases involve wrongs. I argue that an adequate account of FPA cannot remain silent on belief but must instead take on an epistemic norm of FPA in addition to an ethical norm of FPA. (shrink)

An influential account or group belief analyzes it as a form of joint commitment by group members. In spite of its popularity, the account faces daunting objections. I consider and reply to two of them. The first, due to Jennifer Lackey, is that the joint commitment account fails as an account of group belief since it cannot distinguish group beliefs from group lies and bullshit. The second is that the joint commitment account fails because it makes group belief voluntary, whereas (...) genuine belief is involuntary. I propose an amendment to the basic joint commitment account which offers a unified reply to both objections. Although my novel account of group belief departs from the basic joint commitment account, it retains its spirit. The account entails that genuine group belief is much rarer than proponents of the joint commitment account have hitherto realized. (shrink)

While there is no shortage of philosophical literature discussing knowledge by acquaintance, there is a surprising dearth of work about theories of epistemic justification based on direct acquaintance. This paper explores a basic framework for a thoroughly general account of epistemic justification by acquaintance. I argue that this approach to epistemic justification satisfies two importance aspects of justification. After sketching how the acquaintance approach can meet both objective and subjective aspects for epistemic justification, I will outline how this general account (...) of justification by acquaintance can be applied to the analysis of justification for many types of beliefs. Finally, some of the objections to the acquaintance approach will be considered and answered. (shrink)

This paper discusses practical akrasia from the perspective of the sophisticated form of moral subjectivism that can be derived from Nuno Venturinha’s remarks on moral matters.

Duncan Pritchard has recently defended a view he calls ‘epistemological disjunctivism’, largely inspired by John McDowell. I argue that Pritchard is right to associate the view with McDowell, and that McDowell’s ‘inference-blocking’ argument against the sceptic succeeds only if epistemological disjunctivism is accepted. However, Pritchard also recognises that epistemological disjunctivism appears to conflict with our belief that genuine and illusory experiences are indistinguishable (the ‘distinguishability problem’). Since the indistinguishability of experiences is the antecedent in the inference McDowell intends to block, (...) I suggest that his argument rests on an inconsistent set of premises. In support of this, I show that Pritchard’s response to the distinguishability problem is incompatible with the conclusion of the ‘inference-blocking’ argument, and that the response available in McDowell’s work relies on a mistaken conception of fallibility. Either McDowell must deny the sceptic’s premise that perceptual experiences are indistinguishable, or he must give up his conclusion that perceptual warrant can be indefeasible. (shrink)

Denying the conclusion of a valid argument is not generally permissible if one suspends on one premise of the argument and believes the other premise. This can happen when one’s only critique of an argument is to undermine one premise. There is incoherence there. Here I examine how this is relevant to the debate on evolutionary debunking of our moral knowledge. I argue that one significant line of response to the debunker is unsuccessful: merely undermining the debunker’s empirical claim. It (...) is not rational to respond this way and believe one has moral knowledge. First I present evidence that prominent critics of the debunking argument merely undermine the debunker’s empirical claim. Then I argue for two premises: merely undermining a premise can only justify a middling amount of doubt towards the premise and we should have no more doubt about the conclusion of a valid argument than we do about the premises. Implications of the argument are explored. (shrink)

What is scientific progress? This paper advances an interpretation of this question, and an account that serves to answer it. Roughly, the question is here understood to concern what type of cognitive change with respect to a topic X constitutes a scientific improvement with respect to X. The answer explored in the paper is that the requisite type of cognitive change occurs when scientific results are made publicly available so as to make it possible for anyone to increase their understanding (...) of X. This account is briefly compared to two rival accounts of scientific progress, based respectively on increasing truthlikeness and accumulating knowledge, and is argued to be preferable to both. (shrink)

Among epistemologists, it is not uncommon to relate various forms of epistemic luck to the vexed debate between internalists and externalists. But there are many internalism/externalism debates in epistemology, and it is not always clear how these debates relate to each other. In the present paper I investigate the relation between epistemic luck and prominent internalist and externalist accounts of epistemic justification. I argue that the dichotomy between internalist and externalist concepts of justification can be characterized in terms of epistemic (...) luck. Whereas externalist theories of justification are incompatible with veritic luck but not with reflective luck, the converse is true for internalist theories of justification. These results are found to explain and cohere with some recent findings from elsewhere in epistemology, and support a surprising picture of justification, on which internalism and externalism are complementary rather than contradictory positions. (shrink)

In this paper, I spell out and argue for a new epistemic theory of argumentation. Contrary to extant views, this theory is compatible with a pluralistic framework on argumentation, where the norms governing argumentation depend on the aim with which we engage in the practice. A domain of specifically epistemic argumentation is singled out, and I argue based on recent findings in modal epistemology that this domain is governed by the modal norm of safety; where a belief is safe just (...) in case it is produced by a method that would not easily produce a false belief. While this criterion is well-known and uncontroversial in epistemology, it has hitherto not been applied to epistemic theories of argumentation. I show that the norm allows for a novel and superior perspective of the relevance of the persistent interlocutor in argumentation theory, and on the relation between dialectical and epistemic norms more generally. (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)

This paper motivates an account of knowledge as a social kind, following a cue by Edward Craig, which captures two major insights behind social and feminist epistemologies, in particular our epistemic interdependence concerning knowledge and the role of social regulative practices in understanding knowledge.

It is argued, on the basis of new counterexamples, that neither knowledge nor epistemic justification (or “epistemic rationality”) can reasonably be thought to be closed under logical implication. The argument includes an attempt to reconcile the fundamental intuitions of the opposing parties in the debate.

The use of ‘S knows p’ varies from context to context. The contextualist theories of Cohen, Lewis, and DeRose explain this variation in terms of semantic hypotheses: ‘S knows p’ is indexical in meaning, referring to features of the ascriber’s context like salience, interests, and stakes. The linguistic evidence against contextualism is extensive. I maintain that the contextual variation of knowledge claims results from pragmatic factors. One is variable strictness :395–438, 2007). In addition to its strict use, ‘S knows p’ (...) may be used loosely to implicate that S is close enough to knowing p for contextually indicated purposes. Here I explore another variable: belief about what is known. This factor is pragmatic rather than semantic in that it affects the use of ‘S knows p’ without affecting its truth conditions. While variation in strictness accounts for the variation in the bank, parking, and some lottery cases, variation in belief accounts for the variation in other lottery cases and the epistemology cases. Along the way, I sketch an insensitive invariantist semantics that is strict but non-skeptical, and show how it works with these pragmatic factors. (shrink)

There is abundant evidence of contextual variation in the use of “S knows p.” Contextualist theories explain this variation in terms of semantic hypotheses that refer to standards of justification determined by “practical” features of either the subject’s context (Hawthorne & Stanley) or the ascriber’s context (Lewis, Cohen, & DeRose). There is extensive linguistic counterevidence to both forms. I maintain that the contextual variation of knowledge claims is better explained by common pragmatic factors. I show here that one is variable (...) strictness. “S knows p” is commonly used loosely to implicate “S is close enough to knowing p for contextually indicated purposes.” A pragmatic account may use a range of semantics, even contextualist. I use an invariant semantics on which knowledge requires complete justification. This combination meets the Moorean constraint as well as any linguistic theory should, and meets the intuition constraint much better than contextualism. There is no need for ad hoc error theories. The variation in conditions of assertability and practical rationality is better explained by variably strict constraints. It will follow that “S knows p” is used loosely to implicate that the condition for asserting “p” and using it in practical reasoning are satisfied. (shrink)

Many philosophers have offered arguments in favor of the following three theses: A is epistemically permitted to believe P only if A is in a position to know that P, incoherent agents fail to satisfy the aforementioned knowledge norm of belief, and A’s apparent reasons are relevant to determining what A is blameworthy for believing. In this paper, I argue that the above three theses are jointly inconsistent. The main upshot of the paper is this: even if the knowledge norm (...) of belief is correct, it cannot explain some deontic requirements governing belief. (shrink)

We argue that the main results of scientific papers may appropriately be published even if they are false, unjustified, and not believed to be true or justified by their author. To defend this claim we draw upon the literature studying the norms of assertion, and consider how they would apply if one attempted to hold claims made in scientific papers to their strictures, as assertions and discovery claims in scientific papers seem naturally analogous. We first use a case study of (...) William H. Bragg’s early 20th century work in physics to demonstrate that successful science has in fact violated these norms. We then argue that features of the social epistemic arrangement of science which are necessary for its long run success require that we do not hold claims of scientific results to their standards. We end by making a suggestion about the norms that it would be appropriate to hold scientific claims to, along with an explanation of why the social epistemology of science—considered as an instance of collective inquiry—would require such apparently lax norms for claims to be put forward. (shrink)

I develop and argue for a kind of externalism about certain kinds of non-doxastic attitudes that I call policy externalism. Policy externalism about a given type of attitude is the view that all the reasonable policies for having attitudes of that type will not involve the agent's beliefs that some relevant conditions obtain. My defense primarily involves attitudes like hatred, regret, and admiration, and has two parts: a direct deductive argument and an indirect linguistic argument, an inference to the best (...) explanation of some strange ways we use certain conditionals. The main thought throughout is that attitudes we reason with, like belief, are very different from attitudes we don't reason with, in a way that constrains the former but not the latter. Finally, I investigate some consequences of policy externalism, including that it secures the possibility of genuine conditional apologies. (shrink)

Revelation is the thesis that having an experience that instantiates some phenomenal property puts us in a position to know the nature or essence of that property. It is widely held that although Revelation is prima facie plausible, it is inconsistent with physicalism, and, in particular, with the claim that phenomenal properties are physical properties. I outline the standard argument for the incompatibility of Revelation and physicalism and compare it with the Knowledge Argument. By doing so, I hope to show (...) that on various plausible interpretations of Revelation it is in fact consistent with physicalism. Moreover, there is a robust reading of Revelation that a posteriori physicalists can, and should, accept. (shrink)

The goal of this paper is to explore the presuppositionality of factive verbs, with special emphasis on the verbs know and regret. The hypothesis put forward here is that the factivity related to know and the factivity related to regret are two different phenomena, as the former is a semantic implication that is licensed by the conventional meaning of know, while the latter is a purely pragmatic phenomenon that arises conversationally. More specifically, it is argued that know is factive in (...) the sense that it both entails and presupposes p, while regret is factive in the sense that it only presupposes p. In a recent article, Hazlett, 497–522, 2010) shows with authentic examples how know is used non-factively in ordinary language, and he observes in these examples, as he says, “a threat to Factivity.” I argue that non-factive uses of factive verbs, such as know and regret, far from being a threat to factivity, show that, on the one hand, know is ambiguous between a factive and a non-factive sense; on the other hand, in the case of regret, the presupposition of factivity has to be intended as a merely pragmatic implication which can be suspended by the speaker herself. (shrink)

In this article I introduce constitutive norm accounts of assertion, and then give three arguments for giving up on the constitutive norm project. First I begin with an updated version of MacFarlane’s Boogling argument. My second argument is that the ‘overriding response’ that constitutive norm theorists offer to putative counterexamples is unpersuasive and dialectically risky. Third and finally, I suggest that constitutive norm theorists, in appealing to the analogy of games, actually undermine their case that they can make sense of (...) assertions that fail to follow their putative constitutive norm. These considerations, I suggest, together show that the constitutive norm project founders not because any single norm is not descriptively correct of our assertion practices, but rather, because giving a constitutive norm as the definition of assertion alone is insufficient. (shrink)

For many epistemologists and normativity theorists, epistemic norms necessarily entail normative reasons. Why or in virtue of what do epistemic norms have this necessary normative authority? According to what I call epistemic constitutivism, it is ultimately because belief constitutively aims at truth. In this paper, I examine various versions of the aim of belief thesis and argue that none of them can plausibly ground the normative authority of epistemic norms. I conclude that epistemic constitutivism is not a promising strategy for (...) grounding epistemic normativity. (shrink)

Moral bioenhancement is the potential practice of manipulating individuals’ moral behaviors by biological means in order to help resolve pressing moral issues such as climate change and terrorism. This practice has obvious ethical implications, and these implications have been and continue to be discussed in the bioethics literature. What have not been discussed are the epistemological implications of moral bioenhancement. This article details some of these implications of engaging in moral bioenhancement. The argument begins by making the distinction between moral (...) bioenhancement that manipulates the contents of mental states and that which manipulates other, non-representational states. Either way, I argue, the enhanced moral psychology will fail to conform to epistemic norms, and the only way to resolve this failure and allow the moral bioenhancement to be effective in addressing the targeted moral issues is to make the moral bioenhancement covert. (shrink)

There is recent empirical evidence that personal identity is constituted by one’s moral traits. If true, this poses a problem for those who advocate for moral enhancement, or the manipulation of a person’s moral traits through pharmaceutical or other biological means. Specifically, if moral enhancement manipulates a person’s moral traits, and those moral traits constitute personal identity, then it is possible that moral enhancement could alter a person’s identity. I go a step further and argue that under the right conditions, (...) moral enhancement can constitute murder. I then argue that these conditions are not remote. (shrink)

According to the usual way of understanding how true knowledge attribution works, it is not right to attribute knowledge of p to S unless p is true and S is justified in believing p. This assumption seems to hold even if we shun away from the idea that we can give an analysis of knowledge in terms of necessary and sufficient conditions. I want to raise some suspicions on the correctness of this traditional picture. I suggest that justification is not (...) always perceived as a necessary condition for true knowledge attribution, according to our pre-theoretical usage of standard epistemic terms. This is not to say that justification is never seen as an important requirement; sometimes it certainly is. Still, the full-fledged, traditional position on epistemic justification needs to be seriously qualified. Ultimately, I will contend that this result lends support to a rival epistemological standpoint — what we might dub a Moderate Peircean stance on epistemic matters. (shrink)

Epistemic transparency tells us that, if an agent S knows a given proposition p , then S knows that she knows that p . This idea is usually encoded in the so-called KK principle of epistemic logic. The paper develops an argument in favor of a moderate version of KK , which I dub quasi-transparency , as a normative rather than a descriptive principle. In the second Section I put forward the suggestion that epistemic transparency is not a demand of (...) ideal rationality, but of ideal epistemic responsibility, and hence that ideally responsible agents verify transparency principles of some sort; I also contend that their satisfaction should not be tied to an internalist epistemology. The central argument in favor of transparency is then addressed in Sections 3 to 8, through the development of a formal system. I show that, in a well-behaved formal setting, a moderate version of transparency is imposed upon us as a result of a number of independent decisions on the structure of higher-order probabilities, as long as we request that our probability and knowledge attributions cohere with each other. Thus I give a rationale to build a model for a hierarchy of languages with different levels of knowledge and probability operators; we obtain an analogous to KK for successive knowledge operators without actually demanding transitivity. The formal argument reinforces the philosophical intuition that epistemic transparency is an important desideratum we should not be too ready to dismiss. (shrink)

In “Epistemic Modals,” Seth Yalcin argues that what explains the deficiency of sentences containing epistemic modals of the form ‘p and it might be that not-p’ is that sentences of this sort are strictly contradictory, and thus are not instances of a Moore-paradox as has been previous suggested. Benjamin Schnieder, however, argues in his Yalcin’s explanation of these sentences’ deficiency turns out to be insufficiently general, as it cannot account for less complex but still defective sentences, such as ‘Suppose it (...) might be raining.’ Consequently, Schnieder proposes his own, expressivist treatment of epistemic modals which he thinks can explain the deficiency of both the original sentence type as well as more complex cases of embedded sentences containing epistemic modals. In this study, I argue that although Schnieder is right to draw our attention to the explanatory failure of Yalcin’s account, we aren’t forced to adopt Schnieder’s expressivist account of epistemic modals. I defend instead a contextualist-friendly alternative which explains the deficiencies of all the relevant sentence types, while avoiding both the defects of Yalcin’s account and the intuitive costs of expressivism. (shrink)

According to epistemic instrumentalists the normativity of evidence for belief is best explained in terms of the practical utility of forming evidentially supported beliefs. Traditional arguments for instrumentalism—arguments based on naturalism and motivation—lack suasive force against opponents. A new argument for the view—the Argument from Coincidence—is presented. The argument shows that only instrumentalists can avoid positing an embarrassing coincidence between the practical value of believing in accordance with one’s evidence, and the existence of reasons so to believe. Responses are considered (...) and shown to be inadequate. (shrink)

The No-No Paradox consists of a pair of statements, each of which ?says? the other is false. Roy Sorensen claims that the No-No Paradox provides an example of a true statement that has no truthmaker: Given the relevant instances of the T-schema, one of the two statements comprising the ?paradox? must be true (and the other false), but symmetry constraints prevent us from determining which, and thus prevent there being a truthmaker grounding the relevant assignment of truth values. Sorensen's view (...) is mistaken: situated within an appropriate background theory of truth, the statements comprising the No-No Paradox are genuinely paradoxical in the same sense as is the Liar (and thus, on Sorensen's view, must fail to have truth values). This result has consequences beyond Sorensen's semantic framework. In particular, the No-No Paradox, properly understood, is not only a new paradox, but also provides us with a new type of paradox, one which depends upon a general background theory of the truth predicate in a way that the Liar Paradox and similar constructions do not. (shrink)

Our curiosity has us interested in finding out the truth. Knowing the fact of the matter fulfills the interest. This fulfillment is something satisfying about knowledge. Additionally, knowledge is a good way for a person to relate to a proposition. Knowing is good because of what knowledge is. In other words, knowledge is intrinsically good. The credibility of these assessments calls for some explanation. A traditional view is that knowledge is justified true belief with no Gettier accidents. This conception is (...) particularly helpful in accounting for the assessments of knowledge. Features of the relation of a mind to a known proposition that are articulated in the traditional view make the relation satisfying and attractive. What is explicit in the traditional view renders these assets of knowledge readily understandable. The view explains the assets better than do alternative conceptions of knowledge. (shrink)

Ernest Sosa has argued that if someone knows that p, then his belief that p is “safe”. and Timothy Williamson has agreed. In this paper I argue that safety, as defined by Sosa, is not a necessary condition on knowledge – that we can have unsafe knowledge. I present Sosa’s definition of safety and a counterexample to it as a necessary condition on knowledge. I also argue that Sosa’s most recent refinements to the notion of safety don’t help him to (...) avoid the counterexample. I consider three replies on behalf of the defender of safety, and find them all wanting. Finally, I offer a tentative diagnosis of my counterexample. (shrink)

I argue for a theory that combines elements of reliabilism and evidentialism.

What relation must hold between a fact p and the corresponding belief that p for the belief to amount to knowledge? Many authors have recently proposed that the relation can be captured by subjunctive conditionals. In this paper I critically evaluate the main proposals along those lines.

Two truisms about empirical justification are that experience plays a crucial role in it and that it is defeasible. There are, of course, different ways of developing these truisms into philosophical theories. I favor one particular view about the role of experience in empirical justification which may be thought to lead to problems in accommodating its defeasibility. My aim in this paper is to argue that the problems are illusory, based on an entrenched misconception how defeaters work.