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)

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 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 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 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 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 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)

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)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

This article adapts John Rawls’s writings, arguing that past injustice can change what we ought to publicly affirm as the standard of justice today. My approach differs from forward-looking approaches based on alleviating prospective disadvantage and backward-looking historical entitlement approaches. In different contexts, Rawls’s own concern for the ‘social bases of self-respect’ and equal citizenship may require public endorsement of different principles or specifications of the standard of justice. Rawls’s difference principle focuses on the least advantaged socioeconomic group. I argue (...) that a historicized difference principle considers the relative standing of racial, gender, and other historically stigmatized groups; provides their members assurance by weakening incentives to manipulate justice to another group’s advantage; and may result in policies resembling reparations, though justified by forward-looking considerations of self-respect and public assurance. I then examine how disrespectful justifications were historically used to forcibly include indigenous peoples as citizens. While Rawls thinks providing citizens one package of basic liberties signals respect, indigenous self-government could better support self-respect. I invoke Rawlsian international justice, which calls for mutual respect between peoples. Indigenous peoples’ status should reflect their past and persisting peoplehood, providing assurance by weakening incentives to unjustly transform international into domestic contexts. (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)

Critics of persuasive advertising argue that it undermines the autonomy of consumers by manipulating their desires in morally problematic ways. My aim is this paper is to refine that argument by employing a conception of autonomy that is not at odds with certain forms of manipulation. I argue that the charge of manipulation is not sufficient for condemning persuasive advertising. On my view, manipulation of an agent’s desires through advertising is justifiable in cases where the agent accepts the process through (...) which the desires were developed. I show how the standard manipulation objection proves too much as it would also condemn cases of that kind. I argue that this distinction is especially important when we consider the implications of “new media.” In addition to increasing vulnerability to manipulation, new media have considerable impacts on well-being. By siding with the traditional autonomy argument, we would be compelled to take an implausible stand against all forms of manipulation through advertising, but I suggest that only a proper subset of those cases are morally problematic. This conclusion opens up a space for persuasive advertising that is permissible while nevertheless condemning cases that violate consumers’ autonomy. (shrink)

Samuel Clarke was one of Spinoza's earliest and fiercest opponents in England. I uncover three related Clarkean arguments against Spinoza's metaphysic that deserve more attention from readers today. Collectively, these arguments draw out a tension at the very heart of Spinoza's rationalist system. From the conjunction of a necessary being who acts necessarily and the principle of sufficient reason, Clarke reasons that there could be none of the diversity we find in the universe. In doing so, Clarke potentially reveals an (...) inconsistent triad in Spinoza. Responses to this inconsistency map onto a deep division in the contemporary Spinoza literature. I conclude that Clarke's arguments provide a new approach to the recently revived debate over acosmic interpretations of Spinoza and point to new interpretive possibilities. (shrink)

In this open access book, Timothy Aylsworth and Clinton Castro draw on the deep well of Kantian ethics to argue that we have moral duties, both to ourselves and to others, to protect our autonomy from the threat posed by the problematic use of technology. The problematic use of technologies like smartphones threatens our autonomy in a variety of ways, and critics have only begun to appreciate the vast scope of this problem. In the last decade, we have seen (...) a flurry of books making “self-help” arguments about how we could live happier, more fulfilling lives if we were less addicted to our phones. But none of these authors see this issue as one involving a moral duty to protect our autonomy. (shrink)

In this chapter, we turn our attention to the effects of the attention economy on our ability to act autonomously as a group. We begin by clarifying which sorts of groups we are concerned with, which are structured groups (groups sufficiently organized that it makes sense to attribute agency to the group itself). Drawing on recent work by Purves and Davis (2022), we describe the essential roles of trust (i.e., depending on groups to fulfill their commitments) and trustworthiness (i.e., the (...) property of a group that makes trusting them fitting) in autonomous group action, with particular emphasis on democratic institutions (which we view as group agents) and democratic legitimacy (which depends on trust and trustworthiness). We then explain how engagement maximization promotes polarization, which is detrimental to trust and trustworthiness and, in turn, democratic legitimacy and democratic institutions. We close by considering what groups might do to protect themselves from the threat posed to them by the attention economy. (shrink)

Kant limits cosmopolitan right to a universal right of hospitality, condemning European imperial practices towards indigenous peoples, while allowing a right to visit foreign countries for the purpose of offering to engage in commerce. I argue that attempts by contemporary theorists such as Jeremy Waldron to expand and update Kant’s juridical category of cosmopolitan right would blunt or erase Kant’s own anti-colonial doctrine. Waldron’s use of Kant’s category of cosmopolitan right to criticize contemporary identity politics relies on premises that upset (...) Kant’s balanced right to hospitality. An over-extensive right to visit can invoke “Kantian” principles that Kant himself could not have consistently held, without weakening his condemnation of European settlement. I construct an alternative spirit of cosmopolitan right more favorable to the contemporary claims of indigenous peoples. Kant’s analysis suggests there are circumstances when indigenous peoples may choose whether to engage in extensive cultural interaction, and reasonably refuse the risks of subjecting their claims to debate in democratic politics in a unitary public. Cosmopolitan right accorded respect to peoples; any “domestic” adaptation of cosmopolitan right should respect indigenous peoples as peoples, absent a serious public explanation by a democratic state for why it has now become appropriate to treat indigenous peoples merely as individual citizens. (shrink)

Broadly speaking, the contemporary scientific realist is concerned to justify belief in what we might call theoretical truth, which includes truth based on ampliative inference and truth about unobservables. Many, if not most, contemporary realists say scientific realism should be treated as ‘an overarching scientific hypothesis’ (Putnam 1978, p. 18). In its most basic form, the realist hypothesis states that theories enjoying general predictive success are true. This hypothesis becomes a hypothesis to be tested. To justify our belief in the (...) realist hypothesis, realists commonly put forward an argument known as the ‘no-miracles argument’. With respect to the basic hypothesis this argument can be stated as follows: it would be a miracle were our theories as successful as they are, were they not true; the only possible explanation for the general predictive success of our scientific theories is that they are true. (shrink)

Philosophical and scientific investigations of the proprietary aspects of self—mineness or mental ownership—often presuppose that searching for unique constituents is a productive strategy. But there seem not to be any unique constituents. Here, it is argued that the “self-specificity” paradigm, which emphasizes subjective perspective, fails. Previously, it was argued that mode of access also fails to explain mineness. Fortunately, these failures, when leavened by other findings (those that exhibit varieties and vagaries of mineness), intimate an approach better suited to searching (...) for an explanation. Having an alternative in hand, one that shows promise of achieving explanatory adequacy, provides an additional reason to suspend the search for unique constituents. In short, a negative and a positive thesis are developed: we should cease looking for unique constituents and should seek to explain mineness in accord with the model developed here. This model rejects attempts to explain the phenomenon in terms of either a narrative or a minimal sense of self; it seeks to explain at a “molecular” level, one that appeals to multiple, interacting dimensions. The molecular-level model allows for the possibility that subjective perspective is distinct from a stark perspective (one that does not imply mineness). It proposes that the confounding of tacit expectations plays an important role in explaining mental ownership and its complement, disownership. But the confounding of tacit expectations is not sufficient. Because we are able to be aware of the existence of mental states that do not belong to self, we require a mechanism for determining degree of self-relatedness. One such mechanism is proposed here, and it is shown how this mechanism can be integrated into a general model of mental ownership. In the spirit of suggesting how this model might be able to help resolve outstanding problems, the question as to whether inserted thoughts belong to the patient who reports them is also considered. (shrink)

In response to historical challenges, advocates of a sophisticated variant of scientific realism emphasize that theoretical systems can be divided into numerous constituents. Setting aside any epistemic commitment to the systems themselves, they maintain that we can justifiably believe those specific constituents that are deployed in key successful predictions. Stathis Psillos articulates an explicit criterion for discerning exactly which theoretical constituents qualify. I critique Psillos's criterion in detail. I then test the more general deployment realist intuition against a set of (...) well-known historical cases, whose significance has, I contend, been overlooked. I conclude that this sophisticated form of realism remains threatened by the historical argument that prompted it. A criterion for scientific realism Assessing the criterion A return to the crucial insight: responsibility A few case studies Assessing deployment realism. (shrink)

In this paper, I seek to diagnose the sources of our dissatisfaction with answers to the question of the meaning of life. I contend that some of these have to do with the question (its polyvalence and persistent vagueness) and some have to do with life and meaningfulness themselves. By showing how dissatisfaction arises and the extent to which it is in-eliminable even by God, I hope to show that we should be satisfied with our dissatisfaction.

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)

Scientific realists have claimed that the posit that our theories are (approximately) true provides the best or the only explanation for their success . In response, I revive two non-realists explanations. I show that realists, in discarding them, have either misconstrued the phenomena to be explained or mischaracterized the relationship between these explanations and their own. I contend nonetheless that these non-realist competitors, as well as their realist counterparts, should be rejected; for none of them succeed in explaining a significant (...) list of successes. I propose a related non-realist explanation of success that appears to be the most suitable among those considered. (shrink)

This paper provides a rebuttal to the argument in Bowen (2018) in `Synthese'. Bowen provides a novel hyperintensional, ground-theoretic regimentation of the proposals in the metaphysics of consciousness. He then argues that Chalmers' (2010) intensional two-dimensional conceivability argument against physicalism is unsound, in light of the hyperintensional metaphysics of consciousness. Thus, intensional conceivability cannot be a guide to hyperintensional metaphysics. This paper demonstrates that a multi-hyperintensional version of epistemic two-dimensional semantics can be countenanced, and is sufficient for conceivability to be (...) a guide to metaphysics in the hyperintensional setting such that Chalmers' argument, hyperintensionally construed, is in fact sound. (shrink)

Sydney Shoemaker, developing an idea of Wittgenstein’s, argues that we are immune to error through misidentification relative to the first-person pronoun. Although we might be liable to error when “I” (or its cognates) is used as an object, we are immune to error when “I” is used as a subject (as when one says, “I have a toothache”). Shoemaker claims that the relationship between “I” as-subject and the mental states of which it is introspectively aware is tautological: when, say, we (...) judge that “I feel pain,” we are tautologically aware that feels pain is instantiated and that it is instantiated in oneself. Moreover, he contends that this relationship holds not just for bodily sensations, but also for the sense of agency and for visual perception. But we deny that this relationship is tautological; instead, we treat Shoemaker’s principle (IEM) as a hypothesis. We then proceed to show that certain pathological states and experimentally-induced illusions can be adduced to show that IEM describes not a necessary relationship but a contingent relationship, one that sometimes fails to obtain. That we are not immune to error in the way Shoemaker describes has grave consequences for many aspects of his ideas concerning the first-person perspective. In the course of arguing that these empirical phenomena count against IEM, we also show that not only can the content of conscious experience be misrepresented, so too can the subject: that is, not only can the what of conscious experience be misrepresented, so too can the who. (shrink)

Subjectivity theories of consciousness take self-reference, somehow construed, as essential to having conscious experience. These theories differ with respect to how many levels they posit and to whether self-reference is conscious or not. But all treat self-referencing as a process that transpires at the personal level, rather than at the subpersonal level, the level of mechanism. -/- Working with conceptual resources afforded by pre-existing theories of consciousness that take self-reference to be essential, several attempts have been made to explain seemingly (...) anomalous cases, especially instances of alien experience. These experiences are distinctive precisely because self-referencing is explicitly denied by the only person able to report them: those who experience them deny that certain actions, mental states, or body parts belong to self. The relevant actions, mental states, or body parts are sometimes attributed to someone or something other than self, and sometimes they are just described as not belonging to self. But all are referred away from self. -/- The cases under discussion here include somatoparaphrenia, schizophrenia, depersonalization, anarchic hand syndrome, and utilization behavior; the theories employed, Higher-Order Thought, Wide Intrinsicality, and Self-Representational. Below I argue that each of these attempts at explaining or explaining away the anomalies fails. Along the way, since each of these theories seeks at least compatibility with science, I sketch experimental approaches that could be used to adduce support for my position, or indeed for the positions of theorists with whom I disagree. -/- In a concluding section I first identify two presuppositions shared by all of the theorists considered here, and argue that both are either erroneous or misleading. Second, I call attention to divergent paths adopted when attempting to explain alienation experiences: some theorists choose to add a mental ingredient, while others prefer to subtract one. I argue that alienation from experience, action, or body parts could result from either addition or subtraction, and that the two can be incorporated within a comprehensive explanatory framework. Finally, I suggest that this comprehensive framework would require self-referencing of a sort, but self-referencing that occurs solely on the level of mechanism, or the subpersonal level. In adumbrating some features of this “subpersonal self,” I suggest that there might be one respect in which it is prior to conscious experience. (shrink)

In this paper, I give an explanation and defense of Kant’s claim that we cannot comprehend how freedom is possible. I argue that this is a significant point that has been underappreciated in the secondary literature. My conclusion has a variety of implications both for Kant scholars and for those interested in Kantian ideas more generally. Most notably, if Kant is right that there are principled reasons why freedom is beyond our comprehension, then this would release his ethical views from (...) an undesirable explanatory burden. It would be a boon for Kantians if they could ground their lofty claims about the unique, elevated status of rational agency without committing to an implausible view of libertarian freedom. I also suggest that there are certain debates concerning moral motivation and transcendental idealism that might have to change in response to Kant’s claims about the incomprehensibility of freedom. (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)

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted as being (...) centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...) logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

This article endeavors to identify the strongest versions of the two primary arguments against epistemic scientific realism: the historical argument—generally dubbed “the pessimistic meta-induction”—and the argument from underdetermination. It is shown that, contrary to the literature, both can be understood as historically informed but logically validmodus tollensarguments. After specifying the question relevant to underdetermination and showing why empirical equivalence is unnecessary, two types of competitors to contemporary scientific theories are identified, both of which are informed by science itself. With the (...) content and structure of the two nonrealist arguments clarified, novel relations between them are uncovered, revealing the severity of their collective threat against epistemic realism and its “no-miracles” argument. The final section proposes, however, that the realist’s axiological tenet “science seeks truth” is not blocked. An attempt is made to indicate the promise for a nonepistemic, purely axiological scientific realism—here dubbed “Socratic scientific realism.”. (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)

The axiological tenet of scientific realism, “science seeks true theories,” is generally taken to rest on a corollary epistemological tenet, “we can justifiably believe that our successful theories achieve (or approximate) that aim.” While important debates have centered on, and have led to the refinement of, the epistemological tenet, the axiological tenet has suffered from neglect. I offer what I consider to be needed refinements to the axiological postulate. After showing an intimate relation between the refined postulate and ten theoretical (...) desiderata, I argue that the axiological postulate does not depend on its epistemological counterpart; epistemic humility can accompany us in the quest for truth. Upon contrasting my axiological postulate against the two dominant non-realist alternatives and the standard realist postulate, I contend that its explanatory and justificatory virtues render it, among the axiologies considered, the richest account of the scientific enterprise. (shrink)

A natural extension of Heron's 2000 year old formula for the area of a triangle to the volume of a tetrahedron is presented. This gives the fourth power of the volume as a polynomial in six simple rational functions of the areas of its four faces and three medial parallelograms, which will be referred to herein as "interior faces." Geometrically, these rational functions are the areas of the triangles into which the exterior faces are divided by the points at which (...) the tetrahedron's in-sphere touches those faces. Part I presents an overview of these results and some necessary but little-known background in areal geometry. Part II derives the promised extension, and ends with a conjecture as to how the formula extends to n-dimensional simplices for all n>3. Part III explains how, for n=3, the zeros of the polynomial constitute a five-dimensional semi-algebraic variety consisting almost entirely of collinear tetrahedra with vertices separated by infinite distances, but with generically well-defined distance ratios; it further proves that these unconventional Euclidean configurations can be identified with a quotient of the Klein quadric by an action of a group of reflections isomorphic to ℤ42, wherein four-point configurations in the affine plane constitute a distinguished three-dimensional subvariety. Part IV consists of five appendices which show, among other things, that the algebraic structure of the zeros in the affine plane naturally defines the associated four-element, rank 3 chirotope, aka affine oriented matroid. (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 discussing the obligation to love everyone, Mary Astell (1666–1731) recognizes and responds to what I call the theocentric challenge: if humans are required to love God entirely, then they cannot fulfill the second requirement to love their neighbor. In exploring how Astell responds to this challenge, I argue that Astell is an astute metaphysician who does not endorse the metaphysical views she praises. This viewpoint helps us to understand the complicated relationship between her views and those of Descartes, Malebranche, (...) Henry More, and John Norris, as well as her sophisticated approach to biblical interpretation and theology. Attending to theocentrism opens up new avenues of research in the study of early modern philosophy. It also helps us to see connections between Astell and other theocentric philosophers such as Spinoza and Anne Conway. (shrink)

Hume’s criticisms of divine causation are insufficient because he does not respond to important philosophical positions that are defended by those whom he closely read. Hume’s arguments might work against the background of a Cartesian definition of body, or a Malebranchian conception of causation, or some defenses of occasionalism. At least, I will not here argue that they succeed or fail against those targets. Instead, I will lay out two major deficiencies in his arguments against divine causation. I call these (...) “deficiencies” because Hume does not adequately address live positions. This does not mean, of course, that there are not problems with these views or that Hume could not have given strong arguments against them. Rather, Hume’s arguments, which can seem comprehensive to the twenty-first century reader, are in fact not so. For the deficiencies discussed in this essay, I point to writers from Hume’s near context (many of whom we know he read carefully) who held the views not discussed, and I provide reasons why Hume seems not to have entertained these possibilities. I won’t distinguish between accidentally overlooking and actively ignoring. By drawing attention to these three deficiencies, I have two goals. The first is to demonstrate the diversity of seventeenth and early eighteenth century views on divine causation, especially among philosophers in England, Scotland, and Ireland, who are often ignored by philosophers today who, like Hume, focus on continental Cartesians while ignoring British dualists and vitalists. The second goal is to make today’s readers aware of shortcomings in Hume’s arguments to encourage productively contextual readings of Hume and his contemporaries. (shrink)

The scientific realism debate has now reached an entirely new level of sophistication. Faced with increasingly focused challenges, epistemic scientific realists have appropriately revised their basic meta-hypothesis that successful scientific theories are approximately true: they have emphasized criteria that render realism far more selective and, so, plausible. As a framework for discussion, I use what I take to be the most influential current variant of selective epistemic realism, deployment realism. Toward the identification of new case studies that challenge this form (...) of realism, I break away from the standard list and look to the history of celestial mechanics, with an emphasis on twentieth century advances. I then articulate two purely deductive arguments that, I argue, properly capture the historical threat to realism. I contend that both the content and form of these novel challenges seriously threaten selective epistemic realism. I conclude on a positive note, however, arguing for selective realism at a higher level. Even in the face of threats to its epistemic tenet, scientific realism need not be rejected outright: concern with belief can be bracketed while nonetheless advocating core realist tenets. I show that, in contrast with epistemic deployment realism, a purely axiological scientific realism can account for key scientific practices made salient in my twentieth century case studies. And embracing the realists favored account of inference, inference to the best explanation, while pointing to a set of the most promising alternative selective realist meta-hypothesis, I show how testing the latter can be immensely valuable to our understanding of science. (shrink)

It is not necessarily the case that we ever have experiences of self, but human beings do regularly report instances for which self is experienced as absent. That is there are times when body parts, mental states, or actions are felt to be alien. Here I sketch an explanatory framework for explaining these alienation experiences, a framework that also attempts to explain the “mental glue” whereby self is bound to body, mind, or action. The framework is a multi-dimensional model that (...) integrates personal and sub-personal components, psychological and neural processes. I then proceed to show how this model can be applied to explain the action-related passivity experiences of persons suffering from schizophrenia. I argue that a distinctive phenomenological mark of these experiences is that they are vividly felt, unlike ordinary actions (those taken to belong to self), and I seek to explain these heightened sensory experiences from within the proposed framework. I also propose hypotheses concerning such phenomena as thought insertion and anarchic hand syndrome that are motivated by this framework. Finally, I argue that the proposed model and view of self-experiences is consistent with several aspects of and theories of consciousness, especially theories which indicate that consciousness is more likely to be engaged when we are dealing with novelty or error—e.g. when self seems to have gone missing. I conclude by recommending that if we wish to learn about self, we would be well advised to attend closely to those times when it seems absent. (shrink)

Whit Stillman’s films depict characters attempting to gain relevant knowledge of their historical situation so that they can shape their lives. Through an analysis of scenes from each of Stillman’s films, this essay demonstrates that historical knowledge is presented as a kind of self-understanding in the films. That historical knowledge is useful for gaining control over one’s future as well as for properly evaluating one’s life reveals a philosophically interesting approach to self-knowledge. Stillman’s complex approach of layering contexts further suggests (...) an elusive account of the self. (shrink)

Teleosemantics has a problem: it holds that to have a mind one must have a history, often a long evolutionary history. The solution to the problem is for teleosemanticists to give up on natural selection as the source of natural norms (functions) for neural structures, and to find a different source of natural norms which is not essentially history-involving. Such a source in fact exists, in cybernetic governance. This paper argues for the existence of natural norms derived from cybernetic governance, (...) parallel to natural norms derived from natural selection but distinct from them, and shows how such norms could save teleosemantics from its over-emphasis on history. (shrink)

There are two primary arguments against scientific realism, one pertaining to underdetermination, the other to the history of science. While these arguments are usually treated as altogether distinct, P. Kyle Stanford's ‘problem of unconceived alternatives’ constitutes one kind of synthesis: I propose that Stanford's argument is best understood as a broad modus ponens underdetermination argument, into which he has inserted a unique variant of the historical pessimistic induction. After articulating three criticisms against Stanford's argument and the evidence that he offers, (...) I contend that, as it stands, Stanford's argument poses no threat to contemporary scientific realism. Nonetheless, upon identifying two useful insights present in Stanford's general strategy, I offer an alternative variant of the modus ponens underdetermination argument, one that, although historically informed by science, requires no inductive premises. I contend that this non-inductive but historically informed variant of the modus ponens clarifies and considerably strengthens the case against scientific realism. (shrink)

The shelves of film and philosophy books should have made it considerably easier to teach with films in introductory philosophy classes, and certainly many philosophers have found them useful. However, shortcomings of many of these pop culture volumes (which I discuss in the next section) make these works rarely useful in the classroom. I propose instead a new model for how to teach film in a philosophy class. The model develops the virtues inherent in cinephilia and connects those virtues to (...) the good life. (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)

In a recent issue of Faith and Philosophy, Steven Cowan calls into question our success in responding to what we called the “Problem of Heavenly Free- dom” in our earlier “Incompatibilism, Sin, and Free Will in Heaven.” In this reply, we defend our view against Cowan’s criticisms.