Skeptical theism is a family of responses to the evidential problem of evil. What unifies this family is two general claims. First, that even if God were to exist, we shouldn’t expect to see God’s reasons for permitting the suffering we observe. Second, the previous claim entails the failure of a variety of arguments from evil against the existence of God. In this essay, we identify three particular articulations of skeptical theism—three different ways of “filling in” those two claims—and describes (...) their role in responding to evidential arguments of evil due to William Rowe and Paul Draper. But skeptical theism has been subject to a variety of criticisms, several of which raise interesting issues and puzzles not just in philosophy of religion but other areas of philosophy as well. Consequently, we discuss some of these criticisms, partly with an eye to bringing out the connections between skeptical theism and current topics in mainstream philosophy. Finally, we conclude by situating skeptical theism within our own distinctive methodology for evaluating world views, what we call “worldview theory versioning.”. (shrink)

What we call “the evidential argument from evil” is not one argument but a family of them, originating (perhaps) in the 1979 formulation of William Rowe. Wykstra’s early versions of skeptical theism emerged in response to Rowe’s evidential arguments. But what sufficed as a response to Rowe may not suffice against later more sophisticated versions of the problem of evil—in particular, those along the lines pioneered by Paul Draper. Our chief aim here is to make an earlier version of skeptical (...) theism more responsive to the type abductive atheology pioneered by Draper. In particular, we suggest a moderate form of skeptical theism may be able to resist Draper’s abductive atheology. (shrink)

This paper defends a conception of epistemic value that I call the “Simpliciter Conception.” On it, epistemic value is a kind of value simpliciter and being of epistemic value implies being of value simpliciter. I defend this conception by criticizing two others, what I call the Formal Conception and the Hybrid Conception. While those conceptions may be popular among epistemologists, I argue that they fail to explain why anyone should care that things are of epistemic value and naturally undercuts disputes (...) about what is of epistemic value. I end by sketching and locating my conception within some increasingly popular views in meta-normativity. (shrink)

Ordinary and philosophical thought suggests recognizing a distinction between two ways something can be of final value. Something can be of final value in virtue of its connection to other things of value (“non-basic final value”) or something can be of final value regardless of its connection to other things of value (“basic final value”). The primary aim of this paper is to provide an account of this distinction. I argue that we have reason to draw this distinction as it (...) helps avoid certain problems. I criticize accounts of this distinction due to Warren Quinn, Fred Feldman, and Michael Zimmerman. I then provide my own positive account which incorporates several of the insights of those accounts while avoiding their pitfalls. I conclude by relating my account to issues concerning partiality and appropriate attitudes. (shrink)

Fricker‘s Epistemic Injustice discusses the idea of testimonial injustice, specifically, being harmed in one‘s capacity as a knower. Fricker‘s own theory of testimonial injustice emphasizes the role of prejudice. She argues that prejudice is necessary for testimonial injustice and that when hearers use a prejudice to give a deficit to the credibility of speakers hearers intrinsically harm speakers in their capacity as a knower. This paper rethinks the connections between prejudice and testimonial injustice. I argue that many cases of prejudicial (...) credibility deficits do not intrinsically harm speakers. Further, I suggest that prejudice is not necessary for harming speakers. I provide my own proposal on which testimonial injustice occurs when speaker‘s capacity as a giver of knowledge is interfered with in important ways. My proposal does not give prejudice any essential role. (shrink)

This paper critically examines Michael Zimmerman’s account of basic final value in The Nature of Intrinsic Value. Zimmerman’s account has several positive features. Unfortunately, as I argue, given one plausible assumption about value his account derives a contradiction. I argue that rejecting that assumption has several implausible results and that we should instead reject Zimmerman’s account. I then sketch an alternative account of basic final value, showing how it retains some of the positive features of Zimmerman’s account while avoiding its (...) pitfalls. (shrink)

Almost everyone agrees that many testimonial beliefs constitute knowledge. According to non-reductionists, some testimonial beliefs possess positive epistemic status independent of that conferred by perception, memory, and induction. Recently, Jennifer Lackey has provided a counterexample to a popular version of this view. Here I argue that her counterexample fails.

This paper exposits and makes steps towards solving a puzzle about epistemic value. The puzzle is that several principles about the epistemic value of true beliefs and epistemic disvalue of false beliefs are, individually, plausible but, collectively, contradictory. My solution claims that sometimes false beliefs are epistemically valuable. I nonetheless show how my solution is not in deep tension with the Jamesian idea that true beliefs are epistemically valuable and false beliefs are epistemically disvaluable. I conclude by indicating how the (...) results here are relevant to formulating and defending Veritism. (shrink)

Evidentialism has shown itself to be an important research program in contemporary epistemology, with evidentialists giving theories of virtually every important topic in epistemology. Nevertheless, at the heart of evidentialism is a handful of concepts, namely evidence, evidence possession, and evidential fit. If evidentialists cannot give us a plausible account of these concepts, then their research program, with all its various theories, will be in serious trouble. In this paper, I argue that evidentialists has yet to give a plausible account (...) of evidence possession and the prospects for doing so are dim. (shrink)

According to one tradition, the virtues and vices should be understood in terms of their relation to value. But inside this tradition, there are three distinct proposals: virtues are intrinsically valuable; virtues are instrumentally valuable; or a hybrid proposal on which virtues are either intrinsically or instrumentally valuable. In this paper, I offer an alternative proposal inside this tradition. I propose that virtues and vices should be understood in terms of the degreed properties of being virtuous and being vicious, which (...) I analyze in terms of the value and disvalue of actions and attitudes. I defend my proposal as the best inside this tradition by showing how it is immune from standard problems the other three proposals face. (shrink)

In On Reflection, Hilary Kornblith criticizes Sosa’s distinction between animal and reflective knowledge. His two chief criticisms are that reflective knowledge is not superior to animal knowledge and that Sosa’s distinction does not identify two kinds of knowledge. I argue that Sosa can successfully avoid both of these charges.

According to Universal Epistemic Deontology, all of our doxastic attitudes are open to deontological evaluations of obligation and permissibility. This view thus implies that we are responsible for all of our doxastic attitudes. But many philosophers have puzzled over whether we could be so responsible. The paper explores whether this puzzle can be resolved, and Universal Epistemic Deontology defended, by appealing to a view of responsibility I call the Revelatory View. On that view, an agent is responsible for something when (...) it reveals the kind of person the agent is. I explore four ways of developing the Revelatory View and argue that none ultimately defend Universal Epistemic Deontology. (shrink)

Plantinga develops an ambitious theistic religious epistemology on which theists can have non-inferential knowledge of God. Central to his epistemology is the idea that human beings have a “sensus divinitatis” that produces such knowledge. Recently, several authors have urged an appropriation of the sensus divinitatis that is more friendly to internalist views, such as Phenomenal Conservativism. I argue that this appropriation is too timid and tepid in a variety of ways. It applies only to a small fraction of theistic beliefs; (...) it fails to play the theological role Plantinga intended the sensus divinitatis to play; it fails to imply that most theistic beliefs, most of the time, are justified; when combined with a standard form of Evidentialism, it actually implies that most theistic beliefs are, if justified, inferentially justified; and it is consistent with substantive criticisms of theistic belief originating in work from the Cognitive Science of Religion. (shrink)

Envy is, roughly, the disposition to desire that another lose a perceived good so that one can, by comparison, feel better about one’s self. The divisiveness of envy follows not just from one’s willing against the good of the other, but also from the other vices that spring from it. It is for this second reason that envy is a capital vice. This chapter begins by arguing for a definition of envy similar to that given by Aquinas and then considers (...) its relationship to other vices (e.g. jealousy, schadenfreude, and hate). At the heart of envy is a disposition to make relative comparisons which lead to a sense of inferiority. This is turn can lead a person to feel and act in ways destructive of community and the self. The present chapter also addresses recent work in both psychology and economics related to envy. (shrink)

Peter Singer argues, on consequentialist grounds, that individuals ought to be vegetarian. Many have pressed, in response, a causal impotence objection to Singer’s argument: any individual person’s refraining from purchasing and consuming animal products will not have an important effect on contemporary farming practices. In this paper, I sketch a Singer-inspired consequentialist argument for vegetarianism that avoids this objection. The basic idea is that, for agents who are aware of the origins of their food, continuing to consume animal products is (...) morally bad because it leads to not appropriately disvaluing the origins of their food. That is a morally bad outcome that can be avoided by becoming vegetarian. (shrink)

Epistemic Value Monism is the view that there is only one kind of thing of basic, final epistemic value. Perhaps the most plausible version of Epistemic Value Monism is Truth Value Monism, the view that only true beliefs are of basic, final epistemic value. Several authors—notably Jonathan Kvanvig and Michael DePaul—have criticized Truth Value Monism by appealing to the epistemic value of things other than knowledge. Such arguments, if successful, would establish Epistemic Value Pluralism is true and Epistemic Value Monism (...) is false. This paper critically examines those arguments, finding them wanting. However, I develop an argument for Epistemic Value Pluralism that succeeds which turns on general reflection on the nature of value. (shrink)

Skeptical theism is a family of responses to arguments from evil. One important member of that family is Stephen Wykstra’s CORNEA-based criticism of William Rowe’s arguments from evil. A cornerstone of Wykstra’s approach is his CORNEA principle. However, a number of authors have criticized CORNEA on various grounds, including that it has odd results, it cannot do the work it was meant to, and it problematically conflicts with the so-called common sense epistemology. In this paper, I explicate and defend a (...) CORNEA principle. After sketching a brief argument for it, I show how it can be acquitted of these recent charges. (shrink)

Most epistemologists maintain that true beliefs are of final epistemic value. However, Richard Feldman is a rare philosopher who is skeptical that true beliefs are of final epistemic value. The aim of this paper is to evaluate Feldman’s criticisms. I’ll argue that Feldman’s arguments ultimately turn on a view about the relation between epistemic duties and epistemic value that is implausible and underdeveloped.

Epistemic deontology maintains that our beliefs and degrees of belief are open to deontic evaluations—evaluations of what we ought to believe or may not believe. Some philosophers endorse strong internalist versions of epistemic deontology on which agents can always access what determines the deontic status of their beliefs and degrees of belief. This paper articulates a new challenge for strong internalist versions of epistemic deontology. Any version of epistemic deontology must face William Alston’s argument. Alston combined a broadly voluntarist conception (...) of responsibility, on which ought implies can, with doxastic involuntarism, the position that our beliefs are not under our control. Together, those views imply that epistemic deontology is false. A promising response to Alston’s argument is to embrace a compatibilist account of control—specifically a reason-responsive version of compatibilism—and use it to criticism his doxastic involuntarism. I argue that while reason-responsive compatibilism about control does undermine Alston’s argument, it comes at a cost. Specifically, it is inconsistent with strong internalist versions of epistemic deontology. The surprising upshot is that so long as we retain a voluntarist conception of responsibility, we have reason for rejecting strong internalist versions of epistemic deontology. (shrink)

Truthmaker theorists hold that there is a metaphysically explanatory relation that holds between true claims and what exists. While some critics try to provide counterexamples to truthmaker theory, that response quickly leads to a dialectical standoff. The aim of this paper is to move beyond that standoff by attempting to undermine some standard arguments for truthmaker theory. Using realism about truth and a more pragmatic account of explanation, I show how some of those arguments can be undermined.

There’s a growing sense among philosophers of religion that Humean arguments from evil are some of the most formidable arguments against theism, and skeptical theism fails to undermine those arguments because they fail to make the inferences skeptical theists criticize. In line with this trend, Wes Morriston has recently formulated a Humean argument from evil, and his chief defense of it is that skeptical theism is irrelevant to it. Here I argue that skeptical theism is relevant to Humean arguments. To (...) do this, I reveal the common structure of skeptical theism’s critiques. Seeing the common structure reveals why some versions of skeptical theism are irrelevant to Humean arguments from evil. It also points the way forward to formulating a relevant version. By combining skeptical theism with a plausible principle concerning reasonable belief, I formulate a version of skeptical theism that undermines Morriston’s argument that is also immune from his objections. (shrink)

According to a common view, animals have moral status. Further, a standard defense of this view is the Argument from Consciousness: animals have moral status because they are conscious and can experience pain and it would be bad were they to experience pain. In a series of papers :277–291, 2015a, J Agric Environ Ethics 28:11270–1138, 2015b, J Agric Environ Ethics 30:37–54, 2017), Timothy Hsiao claims that animals do not have moral status and criticizes the Argument from Consciousness. This short (...) paper defends the Argument from Consciousness by providing two simple responses to Hsiao’s criticism. (shrink)

Priority Theory is an increasingly popular view in metaphysics. By seeing metaphysical questions as primarily concerned with what explains what, instead of merely what exists, it promises not only an interesting approach to traditional metaphysical issues but also the resolution of some outstanding disputes. In a recent paper, Louis deRosset argues that Priority Theory isn’t up to the task: Priority Theory is committed to there being explanations that violate a formal constraint on any adequate explanation. This paper critically examines deRosset’s (...) challenge to Priority Theory. We argue that deRosset’s challenge ultimately fails: his proposed constraint on explanation is neither well-motivated nor a general constraint. Nonetheless, lurking behind his criticism is a deep problem for prominent ways of developing Priority Theory, a problem which we develop. (shrink)

In the Summa Theologiae, Aquinas offers an adept account of the vice of envy. Despite the virtues of his account, he nevertheless fails to provide an adequatedefinition of the vice. Instead, he offers two different definitions each of which fails to identify what is common to all cases of envy. Here I supplement Aquinas’saccount by providing what I take to be common to all cases of envy. I argue that what is common is a “perception of inferiority”—when a person perceives (...) her ownself-worth to be inferior to another and thereby feels her own self-worth diminish. By incorporating perceptions of inferiority into the definition of envy, we obtain adefinition that retains the spirit of Aquinas’s thought, while improving upon its letter. (shrink)

In a recent article, David Kyle Johnson has claimed to have provided a ‘refutation’ of skeptical theism. Johnson’s refutation raises several interesting issues. But in this note, I focus on only one—an implicit principle Johnson uses in his refutation to update probabilities after receiving new evidence. I argue that this principle is false. Consequently, Johnson’s refutation, as it currently stands, is undermined.

Across time and cultures, envy is widely regarded as a vice. This paper provides a theory of viciousness that explains why envy is a vice. First, it sketches an account of the trait of envy, utilizing some of the social psychology literature on social comparisons. Second, it considers some theories of vices—including Neo-Aristotelian, Kant’s, and Driver’s consequentialism—and briefly argues that they are not adequate in general or with regard to envy. Lastly it articulates a theory of viciousness on which a (...) trait’s degree of viciousness is determined by its disposition to produce actions and attitudes that are of disvalue; it then applies this theory to envy. (shrink)

This paper describes both an exegetical puzzle that lies at the heart of Frege’s writings—how to reconcile his logicism with his definitions and claims about his definitions—and two interpretations that try to resolve that puzzle, what I call the “explicative interpretation” and the “analysis interpretation.” This paper defends the explicative interpretation primarily by criticizing the most careful and sophisticated defenses of the analysis interpretation, those given my Michael Dummett and Patricia Blanchette. Specifically, I argue that Frege’s text either are inconsistent (...) with the analysis interpretation or do not support it. I also defend the explicative interpretation from the recent charge that it cannot make sense of Frege’s logicism. While I do not provide the explicative interpretation’s full solution to the puzzle, I show that its main competitor is seriously problematic. (shrink)

Many philosophers believe that true belief is of epistemic value, but that knowledge is of even more epistemic value. Some claim that this surplus value is instrumentally valuable to the value of true belief. I call the conjunction of these claims the Instrumentalist’s Conjunction. The so-called “Swamping Problem” is meant to show that Instrumentalist’s Conjunction is inconsistent. Crudely put, the problem is that if knowledge only has surplus value to the value of true belief, and a belief is true because (...) known, then knowledge cannot be of any more value than true belief. Given the inconsistency, most philosopher reject the claim the surplus value of knowledge is instrumental to the value of true belief. This paper argues that the Swamping Problem is illusory. Once we clean up the problem and pay attention to the distinction between token/type properties, we can see that Instrumentalist’s Conjunction is perfectly coherent. (shrink)

This paper describes a pair of dietary practices I label default vegetarianism and default veganism. The basic idea is that one adopts a default of adhering to vegetarian and vegan diets, with periodic exceptions. While I do not exhaustively defend either of these dietary practices as morally required, I do suggest that they are more promising than other dietary practices that are normally discussed like strict veganism and vegetarianism. For they may do a better job of striking a balance between (...) normative concerns about contemporary farming practices and competing considerations of life. Additionally, I argue that framing discussions in terms of defaults is useful for various reasons: it helps organize agreements and disagreements, it more accurately reflects the way people conceptualize their dietary practices, and it presents a more dialectically effective view. (shrink)

In a series of papers, Adam Leite has developed a novel view of justification tied to being able to responsibly justify a belief. Leite touts his view as faithful to our ordinary practice of justifying beliefs, providing a novel response to an epistemological problem of the infinite regress, and resolving the “persistent interlocutor” problem. Though I find elements of Leite’s view of being able to justify a belief promising, I hold that there are several problems afflicting the overall picture of (...) justification. In this paper, I argue that despite its ambitions, Leite’s view fails to solve the persistent interlocutor problem and does not avoid a vicious regress. (shrink)

Some skeptical theists use Wykstra’s CORNEA constraint to undercut Rowe-style inductive arguments from evil. Many critics of skeptical theism accept CORNEA, but argue that Rowe-style arguments meet its constraint. But Justin McBrayer argues that CORNEA is itself mistaken. It is, he claims, akin to “sensitivity” or “truth-tracking” constraints like those of Robert Nozick; but counterexamples show that inductive evidence is often insensitive. We here defend CORNEA against McBrayer’s chief counterexample. We first clarify CORNEA, distinguishing it from a deeper underlying principle (...) that we dub “CORE.” We then give both principles a probabilistic construal, and show how, on this construal, the counterexample fails. (shrink)

Rønnow-Rasmussen’s The Value Gap is an extended argument for Value Dualism, the view that both goodness and goodness for are coherent value concepts that are not fully understandable in terms of each other. In the first part of the book, he criticizes attempts to fully understand one type of value in terms of the other. In the second part of the book, he argues that both concepts are value concepts by appealing to a “Fitting Attitude” analysis of value concepts. This (...) book review exposits Rønnow-Rasmussen’s argument for Dualism, and his proposed analysis of both goodness and goodness for. More critically, it briefly defends a strategy for understanding goodness for in terms of goodness and criticizes Rønnow-Rasmussen’s proposed analysis of goodness for. (shrink)

This paper regiments and responds to an objection to skeptical theism. The conclusion of the objection is that it is not reasonable for skeptical theists to prevent evil, even when it would be easy for them to do so. I call this objection a “Dominance-Reasoning Objection” because it can be regimented utilizing dominance reasoning familiar from decision theory. Nonetheless, I argue, the objection ultimately fails because it neglects a distinction between justifying goods that are necessary for the existence of a (...) good and those that are necessary for God’s permission of the good. (shrink)

According to Realism about Epistemic Value, there is such a thing as epistemic value and it is appropriate to evaluate things—e.g., beliefs—for epistemic value because there is such a thing as epistemic value. Allan Hazlett's A Luxury of the Understanding is a sustained critique of Realism. Hazlett challenges proponent of Realism to answer explanatory questions while not justifiably violating certain constraints, including two proposed naturalistic constraints. Hazlett argues they cannot. Here I defend Realism. I argue that it is easy for (...) proponents of Realism to answer Hazlett's explanatory questions. The interesting issue is whether those answers violate Hazlett's naturalistic constraints. My own view is that epistemic value is irreducible to natural properties; it thus violates Hazlett's proposed constraints. I argue that this is justifiable because Hazlett fails to convincingly motivate his naturalistic constraints and there is reason for thinking epistemic value is irreducible to natural properties anyway. (shrink)

The claim that ordinary ethical discourse is typically true and that ethical facts are typically knowable seems in tension with the claim that ordinary ethical discourse is about features of reality friendly to a scientific worldview. Cornell Realism attempts to dispel this tension by claiming that ordinary ethical discourse is, in fact, discourse about the same kinds of things that scientific discourse is about: natural properties. We offer two novel arguments in reply. First, we identify a key assumption that we (...) find unlikely to be true. Second, we identify two features of typical natural properties that ethical properties lack. We conclude that Cornell Realism falls short of dispelling the tension between ethical conservativism and ethical naturalism. (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)

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)

For millennia self has been conjectured to be necessary for consciousness. But scant empirical evidence has been adduced to support this hypothesis. Inconsistent explications of “self” and failure to design apt experiments have impeded progress. Advocates of phenomenological psychiatry, however, have helped explicate “self,” and employed it to explain some psychopathological symptoms. In those studies, “self” is understood in a minimalist sense, sheer “for-me-ness.” Unfortunately, explication of the “minimal self” (MS) has relied on conceptual analysis, and applications to psychopathology have (...) been hermeneutic, allowing for many degrees of interpretive latitude. The result is that MS’s current scientific status is analogous to that of the “atom,” at the time when “atom” was just beginning to undergo transformation from a philosophical to a scientific concept. Fortunately, there is now an opportunity to promote a similar transformation for “MS.” Discovery of the brain’s Default Mode Network (DMN) opened the door to neuroimaging investigations of self. Taking the DMN and other forms of intrinsic activity as a starting point, an empirical foothold can be established, one that spurs experimental research and that enables extension of research into multiple phenomena. New experimental protocols that posit “MS” can help explain phenomena hitherto not thought to be related to self, thereby hastening development of a mature science of self. In particular, targeting phenomena wherein consciousness is lost and recovered, as in some cases of Unresponsive Wakefulness Syndrome (UWS), allow for design of neuroimaging probes that enable detection of MS during non-conscious states. These probes, as well as other experimental protocols applied to NREM Sleep, General Anesthesia (GA), and the waking state, provide some evidence to suggest that not only can self and consciousness dissociate, MS might be a necessary precondition for conscious experience. Finally, these findings have implications for the science of consciousness: it has been suggested that “levels of consciousness” (LoC) is not a legitimate concept for the science of consciousness. But because we have the conceptual and methodological tools with which to refine investigations of MS, we have the means to identify a possible foundation—a bifurcation point—for consciousness, as well as the means by which to measure degrees of distance from that foundation. These neuroimaging investigations of MS position us to better assess whether LoC has a role to play in a mature science of consciousness. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of the (...) types of intentional action, and the semantics is shown to resolve a puzzle concerning the role of intention in action. Topic-sensitive two-dimensional truthmaker semantics can be interpreted epistemically and metasemantically. (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)

Modalists think that knowledge requires forming your belief in a “modally stable” way: using a method that wouldn't easily go wrong, or using a method that wouldn't have given you this belief had it been false. Recent Modalist projects from Justin Clarke-Doane and Dan Baras defend a principle they call “Modal Security,” roughly: if evidence undermines your belief, then it must give you a reason to doubt the safety or sensitivity of your belief. Another recent Modalist project from Carlotta Pavese (...) and Bob Beddor defends “Modal Virtue Epistemology”: knowledge is a belief that is maximally modally robust across “normal” worlds. We'll offer new objections to these recent Modalist projects. We will then argue for a rival view, Explanationism: knowing something is believing it because it's true. We will show how Explanationism offers a better account of undermining defeaters than Modalism, and a better account of knowledge. (shrink)

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)

Is an appropriate causal connection to the past experience it represents a necessary condition for a mental state to qualify as an episodic memory? For some years this issue has been the subject of an intense debate between the causalist theory of episodic memory (CTM) and the simulationist theory of episodic memory (STM). This paper aims at exploring the prospects for an embodied approach to episodic memory and assessing the potential case for causalism that could be founded on it. In (...) a critical section, it argues that the empirical data to which STM appeals are both incomplete and inconclusive, and on closer examination even provide support for a proceduralist version of CTM. In a constructive section, it elaborates on the notion of a necessary causal connection in terms of particular procedural patterns acquired at encoding and operative at retrieval, grounding this move on recent empirical data about eye movements in mnemonic mental imagery. (shrink)

The harms associated with wireless mobile devices (e.g. smartphones) are well documented. They have been linked to anxiety, depression, diminished attention span, sleep disturbance, and decreased relationship satisfaction. Perhaps what is most worrying from a moral perspective, however, is the effect these devices can have on our autonomy. In this article, we argue that there is an obligation to foster and safeguard autonomy in ourselves, and we suggest that wireless mobile devices pose a serious threat to our capacity to fulfill (...) this obligation. We defend the existence of an imperfect duty to be a ‘digital minimalist’. That is, we have a moral obligation to be intentional about how and to what extent we use these devices. The empirical findings already justify prudential reasons in favor of digital minimalism, but the moral duty is distinct from and independent of prudential considerations. (shrink)

Carruthers argues that knowledge of our own propositional attitudes is achieved by the same mechanism used to attain knowledge of other people's minds. This seems incompatible with "privileged access"---the idea that we have more reliable beliefs about our own mental states, regardless of the mechanism. At one point Carruthers seems to suggest he may be able to maintain privileged access, because we have additional sensory information in our own case. We raise a number of worries for this suggestion, concluding that (...) Carruthers's new theory cannot clearly preserve the superior reliability of our beliefs about our own attitudes. (shrink)