The view that phenomenally conscious robots are on the horizon often rests on a certain philosophical view about consciousness, one we call “nomological behaviorism.” The view entails that, as a matter of nomological necessity, if a robot had exactly the same patterns of dispositions to peripheral behavior as a phenomenally conscious being, then the robot would be phenomenally conscious; indeed it would have all and only the states of phenomenal consciousness that the phenomenally conscious being in question has. We experimentally (...) investigate whether the folk think that certain (hypothetical) robots made of silicon and steel would have the same conscious states as certain familiar biological beings with the same patterns of dispositions to peripheral behavior as the robots. Our findings provide evidence that the folk largely reject the view that silicon-based robots would have the sensations that they, the folk, attribute to the biological beings in question. (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)

Is perception cognitively penetrable, and what are the epistemological consequences if it is? I address the latter of these two questions, partly by reference to recent work by Athanassios Raftopoulos and Susanna Seigel. Against the usual, circularity, readings of cognitive penetrability, I argue that cognitive penetration can be epistemically virtuous, when---and only when---it increases the reliability of perception.

The paper offers a solution to the generality problem for a reliabilist epistemology, by developing an “algorithm and parameters” scheme for type-individuating cognitive processes. Algorithms are detailed procedures for mapping inputs to outputs. Parameters are psychological variables that systematically affect processing. The relevant process type for a given token is given by the complete algorithmic characterization of the token, along with the values of all the causally relevant parameters. The typing that results is far removed from the typings of folk (...) psychology, and from much of the epistemology literature. But it is principled and empirically grounded, and shows good prospects for yielding the desired epistemological verdicts. The paper articulates and elaborates the theory, drawing out some of its consequences. Toward the end, the fleshed-out theory is applied to two important case studies: hallucination and cognitive penetration of perception. (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)

The New Evil Demon Problem is supposed to show that straightforward versions of reliabilism are false: reliability is not necessary for justification after all. I argue that it does no such thing. The reliabilist can count a number of beliefs as justified even in demon worlds, others as unjustified but having positive epistemic status nonetheless. The remaining beliefs---primarily perceptual beliefs---are not, on further reflection, intuitively justified after all. The reliabilist is right to count these beliefs as unjustified in demon worlds, (...) and it is a challenge for the internalist to be able to do so as well. (shrink)

Simple idealized models seem to provide more understanding than opaque, complex, and hyper-realistic models. However, an increasing number of scientists are going in the opposite direction by utilizing opaque machine learning models to make predictions and draw inferences, suggesting that scientists are opting for models that have less potential for understanding. Are scientists trading understanding for some other epistemic or pragmatic good when they choose a machine learning model? Or are the assumptions behind why minimal models provide understanding misguided? In (...) this paper, using the case of deep neural networks, I argue that it is not the complexity or black box nature of a model that limits how much understanding the model provides. Instead, it is a lack of scientific and empirical evidence supporting the link that connects a model to the target phenomenon that primarily prohibits understanding. (shrink)

Cognitive penetration of perception is the idea that what we see is influenced by such states as beliefs, expectations, and so on. A perceptual belief that results from cognitive penetration may be less justified than a nonpenetrated one. Inferentialism is a kind of internalist view that tries to account for this by claiming that some experiences are epistemically evaluable, on the basis of why the perceiver has that experience, and the familiar canons of good inference provide the appropriate standards by (...) which experiences are evaluated. I examine recent defenses of inferentialism by Susanna Siegel, Peter Markie, and Matthew McGrath and argue that the prospects for inferentialism are dim. (shrink)

Can beliefs that are not consciously formulated serve as part of an agent's evidence for other beliefs? A common view says no, any belief that is psychologically immediate is also epistemically immediate. I argue that some unconscious beliefs can serve as evidence, but other unconscious beliefs cannot. Person-level beliefs can serve as evidence, but subpersonal beliefs cannot. I try to clarify the nature of the personal/subpersonal distinction and to show how my proposal illuminates various epistemological problems and provides a principled (...) framework for solving other problems. (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)

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)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (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)

A general insight of 20th-century philosophy of science is that the acceptance of a scientific theory is grounded, not merely on a theory's relation to data, but on its status as having no, or being superior to its, competitors. I explore the ways in which scientific realists might be thought to utilise this insight, have in fact utilised it, and can legitimately utilise it. In more detail, I point out that, barring a natural but mistaken characterisation of scientific realism, traditional (...) realism has not utilised that insight regarding scientific theories, i.e., has not explicitly factored that insight into, and invoked it as justification for, what realists believe. Nonetheless, a new form of realism has. In response to a key historical threat, two of the most thoroughly developed contemporary versions of realism—one put forward by Jarrett Leplin, another by Stathis Psillos—are anchored on the sensible tactic of requiring that the theories to which realists commit themselves have no competitors. I argue, however, that the particular kind of non-competitor condition they invoke is illegitimate in the context of the realism debate. I contend further that invoking a non-competitor condition that is legitimate, sensible, and even, as it turns out, required in the context of the debate threatens to eliminate the possibility of scientific realism altogether. (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)

Outside of philosophy, ‘intuition’ means something like ‘knowing without knowing how you know’. Intuition in this broad sense is an important epistemological category. I distinguish intuition from perception and perception from perceptual experience, in order to discuss the distinctive psychological and epistemological status of evaluative property attributions. Although it is doubtful that we perceptually experience many evaluative properties and also somewhat unlikely that we perceive many evaluative properties, it is highly plausible that we intuit many instances of evaluative properties as (...) such. The resulting epistemological status of evaluative property attributions is very much like it would be if we literally perceived such properties. (shrink)

In this paper I challenge and adjudicate between the two positions that have come to prominence in the scientific realism debate: deployment realism and structural realism. I discuss a set of cases from the history of celestial mechanics, including some of the most important successes in the history of science. To the surprise of the deployment realist, these are novel predictive successes toward which theoretical constituents that are now seen to be patently false were genuinely deployed. Exploring the implications for (...) structural realism, I show that the need to accommodate these cases forces our notion of “structure” toward a dramatic depletion of logical content, threatening to render it explanatorily vacuous: the better structuralism fares against these historical examples, in terms of retention, the worse it fares in content and explanatory strength. I conclude by considering recent restrictions that serve to make “structure” more specific. I show however that these refinements will not suffice: the better structuralism fares in specificity and explanatory strength, the worse it fares against history. In light of these case studies, both deployment realism and structural realism are significantly threatened by the very historical challenge they were introduced to answer. (shrink)

Much of the intuitive appeal of evidentialism results from conflating two importantly different conceptions of evidence. This is most clear in the case of perceptual justification, where experience is able to provide evidence in one sense of the term, although not in the sense that the evidentialist requires. I argue this, in part, by relying on a reading of the Sellarsian dilemma that differs from the version standardly encountered in contemporary epistemology, one that is aimed initially at the epistemology of (...) introspection but which generalizes to theories of perceptual justification as well. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

Four Challenges to Epistemic Scientific Realism—and the Socratic Alternative.

Stewart Cohen argues that much contemporary epistemological theorizing is hampered by the fact that ‘epistemic justification’ is a term of art and one that is never given any serious explication in a non-tendentious, theory-neutral way. He suggests that epistemologists are therefore better off theorizing in terms of rationality, rather than in terms of ‘epistemic justification’. Against this, I argue that even if the term ‘epistemic justification’ is not broadly known, the concept it picks out is quite familiar, and partly because (...) it’s a term of art, justification talk is a better vehicle for philosophical theorizing. ‘Rational’ is too unclear for our philosophical purposes, and the fact that ‘epistemic justification’ gets fleshed out by appeal to substantive, controversial theses is no obstacle to its playing the needed role in epistemological theorizing. (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)

Standpoint theorists have long been clear that marginalization does not make better understanding a given. They have been less clear, though, that social dominance does not make ignorance a given. Indeed, many standpoint theorists have implicitly committed themselves to what I call the strong epistemic disadvantage thesis. According to this thesis, there are strong, substantive limits on what the socially dominant can know about oppression that they do not personally experience. I argue that this thesis is not just implausible but (...) politically pernicious; it is an excuse for ignorance and silence that stifles our ability to address many injustices. Moreover, I argue that if we are to avoid lending support to the SEDT while working within a standpoint theory framework, we must hold that the socially dominant can achieve marginalized standpoints. So, we must hold that men can achieve feminist standpoints, that white women (and men) can achieve black feminist standpoints, and so on. (shrink)

To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...) is sometimes thought. (shrink)

Part of a book symposium with Terry Horgan, Alvin Goldman, and Peter Graham.

Explainable AI (xAI) methods are important for establishing trust in using black-box models. However, recent criticism has mounted against current xAI methods that they disagree, are necessarily false, and can be manipulated, which has started to undermine the deployment of black-box models. Rudin (2019) goes so far as to say that we should stop using black-box models altogether in high-stakes cases because xAI explanations ‘must be wrong’. However, strict fidelity to the truth is historically not a desideratum in science. Idealizations (...) – the intentional distortions introduced to scientific theories and models – are commonplace in the natural sciences and are seen as a successful scientific tool. Thus, it is not falsehood qua falsehood that is the issue. In this paper, I outline the need for xAI research to engage in idealization evaluation. Drawing on the use of idealizations in the natural sciences and philosophy of science, I introduce a novel framework for evaluating whether xAI methods engage in successful idealizations or deceptive explanations (SIDEs). SIDEs evaluates whether the limitations of xAI methods, and the distortions that they introduce, can be part of a successful idealization or are indeed deceptive distortions as critics suggest. I discuss the role that existing research can play in idealization evaluation and where innovation is necessary. Through a qualitative analysis we find that leading feature importance methods and counterfactual explanations are subject to idealization failure and suggest remedies for ameliorating idealization failure. (shrink)

An examination of the role played by general rules in Hume's positive (nonskeptical) epistemology. General rules for Hume are roughly just general beliefs. The difference between justified and unjustified belief is a matter of the influence of good versus bad general rules, the good general rules being the "extensive" and "constant" ones.

There is an undeniable tendency to dismiss women’s sexual assault allegations out of hand. However, this tendency is not monolithic—allegations that black men have raped white women are often met with deadly seriousness. I argue that contemporary rape culture is characterized by the interplay between rape myths that minimize rape, and myths that catastrophize rape. Together, these two sets of rape myths distort the epistemic resources that people use when assessing rape allegations. These distortions result in the unjust exoneration of (...) people we cannot conceive of as monstrous, while making it too easy to believe that some marginalized people could be rapists. I also argue that rape myths enable a novel kind of epistemic injustice. This injustice concerns how our assessments of trustworthiness and our assessments of plausibility interact. I argue that rape myths can result in runaway credibility deflations that can explain both why people fail to believe most women, and also why people may unjustly believe false allegations that white women have been raped by black men. (shrink)

Goldman, though still a reliabilist, has made some recent concessions to evidentialist epistemologies. I agree that reliabilism is most plausible when it incorporates certain evidentialist elements, but I try to minimize the evidentialist component. I argue that fewer beliefs require evidence than Goldman thinks, that Goldman should construe evidential fit in process reliabilist terms, rather than the way he does, and that this process reliabilist understanding of evidence illuminates such important epistemological concepts as propositional justification, ex ante justification, and defeat.

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

Under what conditions does machine learning (ML) model opacity inhibit the possibility of explaining and understanding phenomena? In this article, I argue that nonepistemic values give shape to the ML opacity problem even if we keep researcher interests fixed. Treating ML models as an instance of doing model-based science to explain and understand phenomena reveals that there is (i) an external opacity problem, where the presence of inductive risk imposes higher standards on externally validating models, and (ii) an internal opacity (...) problem, where greater inductive risk demands a higher level of transparency regarding the inferences the model makes. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

I argue that ML models used in science function as highly idealized toy models. If we treat ML models as a type of highly idealized toy model, then we can deploy standard representational and epistemic strategies from the toy model literature to explain why ML models can still provide epistemic success despite their lack of similarity to their targets.

Systematicity theory—developed and articulated by Paul Hoyningen-Huene—and scientific realism constitute separate encompassing and empirical accounts of the nature of science. Standard scientific realism asserts the axiological thesis that science seeks truth and the epistemological thesis that we can justifiably believe our successful theories at least approximate that aim. By contrast, questions pertaining to truth are left “outside” systematicity theory’s “intended scope” ; the scientific realism debate is “simply not” its “focus”. However, given the continued centrality of that debate in the (...) general philosophy of science literature, and given that scientific realists also endeavor to provide an encompassing empirical account of science, I suggest that these two contemporary accounts have much to offer one another. Overlap for launching a discussion of their relations can be found in Nicholas Rescher’s work. Following through on a hint from Rescher, I embrace a non-epistemic, purely axiological scientific realism—what I have called, Socratic scientific realism. And, bracketing the realist’s epistemological thesis, I put forward the axiological tenet of scientific realism as a needed supplement to systematicity theory. There are two broad components to doing this. First, I seek to make clear that axiological realism and systematicity theory accord with one another. Toward that end, after addressing Hoyningen-Huene’s concerns about axiological analysis, I articulate a refined axiological realist meta-hypothesis: it is, in short, that the end toward which scientific inquiry is directed is an increase in a specific subclass of true claims. I then identify a key feature of scientific inquiry, not generally flagged explicitly, that I take to stand as shared terrain for the two empirical meta-hypotheses. And I argue that this feature can be informatively accounted for by my axiological meta-hypothesis. The second broad component goes beyond mere compatibility between the two positions: I argue that, in want of a systematic account of science, we are prompted to find an end toward which scientific inquiry is directed that is deeper than what systematicity theory offers. Specifically, I argue that my refined axiological realist meta-hypothesis is required to both explain and justify key dimensions of systematicity in science. To the quick question, what is it that the scientific enterprise is systematically doing? My quick answer is that it is systematically seeking to increase a particular subclass of true claims. (shrink)

Standpoint epistemology has been linked with increasing calls for deference to the socially marginalized. As we understand it, deference involves recognizing someone else as better positioned than we are, either to investigate or to answer some question, and then accepting their judgment as our own. We connect contemporary calls for deference to old objections that standpoint epistemology wrongly reifies differences between groups. We also argue that while deferential epistemic norms present themselves as a solution to longstanding injustices, habitual deference prevents (...) the socially dominant from developing for themselves the skills necessary to expand their capacity for empathy, to deftly probe for evidence, and to ask critical questions. Consequently, we argue that standpoint epistemology must be understood as calling for inclusion, not deference. (shrink)

Social epistemologists should be well-equipped to explain and evaluate the growing vulnerabilities associated with filter bubbles, echo chambers, and group polarization in social media. However, almost all social epistemology has been built for social contexts that involve merely a speaker-hearer dyad. Filter bubbles, echo chambers, and group polarization all presuppose much larger and more complex network structures. In this paper, we lay the groundwork for a properly social epistemology that gives the role and structure of networks their due. In particular, (...) we formally define epistemic constructs that quantify the structural epistemic position of each node within an interconnected network. We argue for the epistemic value of a structure that we call the (m,k)-observer. We then present empirical evidence that (m,k)-observers are rare in social media discussions of controversial topics, which suggests that people suffer from serious problems of epistemic vulnerability. We conclude by arguing that social epistemologists and computer scientists should work together to develop minimal interventions that improve the structure of epistemic networks. (shrink)

According to standard scientific realism, science seeks truth and we can justifiably believe that our successful theories achieve, or at least approximate, that goal. In this paper, I discuss the implications of the following competitor thesis: Any theory we may favor has competitors such that we cannot justifiably deny that they are approximately true. After defending that thesis, I articulate three specific threats it poses for standard scientific realism; one is epistemic, the other two are axiological (that is, pertaining to (...) the claim that science seeks truth). I also flag an additional axiological “challenge,” that of how one might justify the pursuit of a primary aim, such as truth. Bracketing epistemic realism, I argue that the axiological threats can be addressed by embracing a refined realist axiological hypothesis, one that specifies a specific subclass of true claims sought in science. And after identifying three potential responses to the axiological “challenge,” I contend that, while standard axiological realism appears to lack the resources required to utilize any of the responses, the refined realist axiology I embrace is well suited to each. (shrink)

In this paper I distinguish between two kinds of meta-hypotheses, or hypotheses about science, at issue in the scientific realism debate. The first are descriptive empirical hypotheses regarding the nature of scientific inquiry. The second are epistemological theories about what individuals should / can justifiably believe about scientific theories. Favoring the realist Type-D meta-hypotheses, I argue that a particular set of realist and non-realist efforts in the debate over Type-E’s have been valuable in the quest to describe and understand the (...) nature of scientific inquiry. For the realism debate itself has inadvertently and indirectly laid the foundations for an important kind of Type-D meta-hypothesis, one regarding creativity in the history of science—which, in turn, is relevant to refining our descriptions of inference. After illustrating this result with regard to the historical argument against realism, I suggest that these empirically attained meta-hypotheses pertaining to scientific creativity can, in turn, be made methodologically prescriptive. (shrink)

Response to Horgan, Goldman, and Graham. Part of a book symposium on my _Perception and Basic Beliefs_.

Some people oppose abortion on the grounds that fetuses have full moral status and thus a right to not be killed. We argue that special obligations that hold between mother and fetus also hold between parents and their children. We argue that if these special obligations necessitate the sacrifice of bodily autonomy in the case of abortion, then they also necessitate the sacrifice of bodily autonomy in the case of organ donation. If we accept the argument that it is obligatory (...) to override a woman’s bodily autonomy for the sake of an unborn child’s survival, we must continue to override the bodily autonomy of parents to ensure the survival of their living children, until the parent no longer has a special obligation to their child to the same degree as their special obligation to the fetus. And if the life of a child is truly more important than the bodily autonomy of its parents, as must be the case to force women to carry unwanted pregnancies to term, this should remain true until such a time that their children are no longer considered their responsibility. Thus, parity of reasoning suggests that policies compelling the gestation of a fetus should be accompanied by policies compelling organ donation. (shrink)

Deception sometimes results in nonconsensual sex. A recent body of literature diagnoses such violations as invalidating consent: the agreement is not morally transformative, which is why the sexual contact is a rights violation. We pursue a different explanation for the wrongs in question: there is valid consent, but it is not consent to the sex act that happened. Semantic conventions play a key role in distinguishing deceptions that result in nonconsensual sex (like stealth condom removal) from those that don’t (like (...) white lies). Our framework is also applicable to more controversial cases, like those implicated in so-called “gender fraud” complaints. (shrink)

Research on the specific features of daydreaming compared with mind-wandering and night dreaming is a neglected topic in the philosophy of mind and the cognitive neuroscience of spontaneous thought. The extant research either conflates daydreaming with mind-wandering (whether understood as task-unrelated thought, unguided attention, or disunified thought), characterizes daydreaming as opposed to mind-wandering (Dorsch, 2015), or takes daydreaming to encompass any and all “imagined events” (Newby-Clark & Thavendran, 2018). These dueling definitions obstruct future research on spontaneous thought, and are insufficiently (...) precise to guide empirical studies. They also fail to illuminate the phenomenal core of daydreaming, namely, its dreamlike qualities. Although daydreaming is related to both mind-wandering and narrative imagination, it is not reducible to either. We argue that daydreams are experiences of spontaneous, immersive imagination in the waking state. The main task of our investigation is to distinguish daydreaming, conceptually and phenomenologically, from mind-wandering, on the one hand, and night dreaming, on the other. Although daydream experiences can vary widely, we distinguish prototypical experiences of daydreaming from adjacent imaginative activity, including fleeting imagery and “focused daydreaming,” or crafted visualization. We consider our phenomenological analysis as preparatory work for conceptually distinguishing different spontaneous and imaginative states so that they can be investigated accordingly with questionnaires and qualitative methods. We argue that precision about the phenomenal character of daydreaming can guide neurophenomenological investigations, help delimit studies on individual variance in daydreaming features, and identify differences among daydreaming, mind-wandering, and night dreaming conceptually and phenomenologically, and possibly eventually in terms of neural correlates. (shrink)

Nearly everyone agrees that perception gives us justification and knowledge, and a great number of epistemologists endorse a particular two-part view about how this happens. The view is that perceptual beliefs get their justification from perceptual experiences, and that they do so by being based on them. Despite the ubiquity of these two views, I think that neither has very much going for it; on the contrary, there’s good reason not to believe either one of them.

Disturbances to one's sense of self, the feeling that one has ‘lost a part of oneself’ or that one ‘no longer feels like oneself,’ are frequently recounted throughout the bereavement literature. Engaging Allan Køster's important contribution to this issue, this article reinforces his suggestion that, by rupturing the existential texture of self-familiarity, bereavement can result in experiences of estrangement that can be meaningfully understood according to the concept of self-alienation. Nevertheless, I suggest that whilst Køster's relational interpretation of alienation as (...) the withdrawal of heteronomy can be applied to the experience of world-collapse in bereavement, what sets bereavement apart from other limit situations is the fact that it involves an intersubjective relation between the living and the dead. In contrast to Køster, therefore, I suggest that the experience of self-alienation that is distinctive to bereavement results from the fact that the bereaved is exposed to, and co-opted by, the absolute alterity of death itself. (shrink)

When a loved one dies, it is common for the bereaved to feel profoundly lonely, disconnected from the world with the sense that they no longer belong. In philosophy, this experience of ‘loss and loneliness’ has been interpreted according to both a loss of possibilities and a loss of the past. But it is unclear how these interpretations apply to the distinctive way in which loss and loneliness manifest in old age. Drawing on the phenomenological analyses of old age given (...) by de Beauvoir and Améry, I consider how the diminishment of the capacity for projection and recollection complicate recent interpretations of loss and loneliness, whilst nevertheless reinforcing the conclusion that in old age subjectivity is necessarily impoverished. Developing a critical stance on de Beauvoir and Améry’s underlying conception of subjectivity, I turn to Levinas in considering whether or not there is a way to reimagine subjectivity such that the estrangement and alienation of older adults might be ameliorated rather than exacerbated. Grounded in the passive body-in-itself rather than the self-transcending capacity of the body-for-itself, I suggest it becomes possible to reconceptualise the experience of loss and loneliness in old age; both in terms of what is lost and what needs to be restored if older adults are to be helped to find themselves at home in the world in the midst of, and indeed because of, manifold loss. (shrink)

Boredom is an affective experience that can involve pervasive feelings of meaninglessness, emptiness, restlessness, frustration, weariness and indifference, as well as the slowing down of time. An increasing focus of research in many disciplines, interest in boredom has been intensified by the recent Covid-19 pandemic, where social distancing measures have induced both a widespread loss of meaning and a significant disturbance of temporal experience. This article explores the philosophical significance of this aversive experience of ‘pandemic boredom.’ Using Heidegger’s work as (...) a unique vantage point, this article draws on survey data collected by researchers in an ongoing project titled ‘Experiences of Social Distancing During the Covid-19 Pandemic’ to give an original phenomenological interpretation of the meaninglessness and monotony of pandemic boredom. On a Heideggerian interpretation, pandemic boredom involves either a situative confrontation with relative meaninglessness that upholds our absorption in the everyday world, or an existential confrontation with absolute meaninglessness that forces us to take up the question of our existence. Arguing that boredom during the pandemic makes this distinction difficult to sustain, I consider some of the ways in which pandemic boredom might be seen to expose and then exceed the distinctive methodological limitations of Heidegger’s philosophical interpretation of boredom. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated (...) labelled calculus. (shrink)

This paper is part of a larger project about the relation between mathematics and transcendental philosophy that I think is the most interesting feature of Kant’s philosophy of mathematics. This general view is that in the course of arguing independently of mathematical considerations for conditions of experience, Kant also establishes conditions of the possibility of mathematics. My broad aim in this paper is to clarify the sense in which this is an accurate description of Kant’s view of the relation between (...) mathematics and transcendental philosophy. (shrink)