I explain the shutdown problem: the problem of designing artificial agents that (1) shut down when a shutdown button is pressed, (2) don’t try to prevent or cause the pressing of the shutdown button, and (3) otherwise pursue goals competently. I prove three theorems that make the difficulty precise. These theorems show that agents satisfying some innocuous-seeming conditions will often try to prevent or cause the pressing of the shutdown button, even in cases where (...) it’s costly to do so. And patience trades off against shutdownability: the more patient an agent, the greater the costs that agent is willing to incur to manipulate the shutdown button. I end by noting that these theorems can guide our search for solutions. (shrink)

I explain and motivate the shutdown problem: the problem of creating artificial agents that (1) shut down when a shutdown button is pressed, (2) don’t try to prevent or cause the pressing of the shutdown button, and (3) otherwise pursue goals competently. I then propose a solution: train agents to have incomplete preferences. Specifically, I propose that we train agents to lack a preference between every pair of different-length trajectories. I suggest a way to train (...) such agents using reinforcement learning: we give the agent lower reward for repeatedly choosing same-length trajectories. (shrink)

Background Retraction is a mechanism for alerting readers to unreliable material and other problems in the published scientific and scholarly record. Retracted publications generally remain visible and searchable, but the intention of retraction is to mark them as “removed” from the citable record of scholarship. However, in practice, some retracted articles continue to be treated by researchers and the public as valid content as they are often unaware of the retraction. Research over the past decade has identified a number of (...) factors contributing to the unintentional spread of retracted research. The goal of the Reducing the Inadvertent Spread of Retracted Science: Shaping a Research and Implementation Agenda (RISRS) project was to develop an actionable agenda for reducing the inadvertent spread of retracted science. This included identifying how retraction status could be more thoroughly disseminated, and determining what actions are feasible and relevant for particular stakeholders who play a role in the distribution of knowledge. -/- Methods These recommendations were developed as part of a year-long process that included a scoping review of empirical literature and successive rounds of stakeholder consultation, culminating in a three-part online workshop that brought together a diverse body of 65 stakeholders in October–November 2020 to engage in collaborative problem solving and dialogue. Stakeholders held roles such as publishers, editors, researchers, librarians, standards developers, funding program officers, and technologists and worked for institutions such as universities, governmental agencies, funding organizations, publishing houses, libraries, standards organizations, and technology providers. Workshop discussions were seeded by materials derived from stakeholder interviews (N = 47) and short original discussion pieces contributed by stakeholders. The online workshop resulted in a set of recommendations to address the complexities of retracted research throughout the scholarly communications ecosystem. -/- Results The RISRS recommendations are: (1) Develop a systematic cross-industry approach to ensure the public availability of consistent, standardized, interoperable, and timely information about retractions; (2) Recommend a taxonomy of retraction categories/classifications and corresponding retraction metadata that can be adopted by all stakeholders; (3) Develop best practices for coordinating the retraction process to enable timely, fair, unbiased outcomes; and (4) Educate stakeholders about pre- and post-publication stewardship, including retraction and correction of the scholarly record. -/- Conclusions Our stakeholder engagement study led to 4 recommendations to address inadvertent citation of retracted research, and formation of a working group to develop the Communication of Retractions, Removals, and Expressions of Concern (CORREC) Recommended Practice. Further work will be needed to determine how well retractions are currently documented, how retraction of code and datasets impacts related publications, and to identify if retraction metadata (fails to) propagate. Outcomes of all this work should lead to ensuring retracted papers are never cited without awareness of the retraction, and that, in public fora outside of science, retracted papers are not treated as valid scientific outputs. (shrink)

The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. This (...) undecidability result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

In this article, we discuss the continued circulation and use of retracted science as a complex problem: Multiple stakeholders throughout the publishing ecosystem hold competing perceptions of this problem and its possible solutions. We describe how we used a participatory design process model to co-develop recommendations for addressing this problem with stakeholders in the Alfred P. Sloan-funded project, Reducing the Inadvertent Spread of Retracted Science (RISRS). After introducing the four core RISRS recommendations, we discuss how the issue (...) of retraction-related stigma gives rise to recommendation #4, Educate stakeholders about retraction and pre- and post-publication stewardship of the scholarly record. This recommendation is important for training publishing professionals and realizing this recommendation will require further collaborative design work across scholarly communications. We highlight ongoing stakeholder work which is now re-starting the design cycle. We conclude with a discussion of ongoing activities facilitating uptake and refinement of RISRS research and the implementation agenda. (shrink)

This paper addresses what we consider to be the most pressing challenge for the emerging science of consciousness: the measurement problem of consciousness. That is, by what methods can we determine the presence of and properties of consciousness? Most methods are currently developed through evaluation of the presence of consciousness in humans and here we argue that there are particular problems in application of these methods to nonhuman cases—what we call the indicator validity problem and the extrapolation (...) class='Hi'>problem. The first is a problem with the application of indicators developed using the differences between conscious and unconscious processing in humans to the identification of other conscious vs. nonconscious organisms or systems. The second is a problem in extrapolating any indicators developed in humans or other organisms to artificial systems. However, while pressing ethical concerns add urgency to the attribution of consciousness and its attendant moral status to nonhuman animals and intelligent machines, we cannot wait for certainty and we advocate the use of a precautionary principle to avoid causing unintentional harm. We also intend that the considerations and limitations discussed in this paper can be used to further analyze and refine the methods of consciousness science with the hope that one day we may be able to solve the measurement problem of consciousness. (shrink)

This paper presents a preliminary analysis of homeopathy from the perspective of the demarcation problem in the philosophy of science. In this context, Popper, Kuhn and Feyerabend’s solution to the problem will be given respectively and their criteria will be applied to homeopathy, aiming to shed some light on the controversy over its scientific status. It then examines homeopathy under the lens of demarcation criteria to conclude that homeopathy is regarded as science by Feyerabend and is considered as (...) pseudoscience by Popper and Kuhn. By offering adequate tools for the analysis of the foundations, structure and implications of homeopathy, demarcation issue can help to clarify this medical controversy. The main argument of this article is that a final decision on homeopathy, whose scientific status changes depending on the criteria of the philosophers mentioned, cannot be given. (shrink)

In this chapter, we will explore the luck at issue in Gettier-styled counterexamples and the subsequent problem it poses to any viable reductive analysis of knowledge. In the 1st section, we will consider the specific species of luck that is at issue in Gettier counterexamples, then, in the next section, I will briefly sketch a diagnosis of the Gettier Problem and try to explain why the relevant species of luck has proven to be extremely difficult to avoid. And (...) finally, I will consider a prominent objection to the proposed diagnosis of the Problem. (shrink)

Arguments against the Russellian theory of definite descriptions based on cases that involve failures of uniqueness are a recurrent theme in the relevant literature. In this paper, I discuss a number of such arguments, from Strawson (1950), Ramachandran (1993) and Szabo (2005). I argue that the Russellian has resources to account for these data by deploying a variety of mechanisms of quantifier domain restrictions. Finally, I present a case that is more problematic for the Russellian. While the previous cases all (...) involve referential uses of descriptions (or some variations of such uses), the most effective objection to the uniqueness condition draws on genuine attributive uses. (shrink)

consciousness comes about as a result of irritating nervous tissue, is just as unaccountable as the appearance of Djin when Aladdin rubbed his lamp.

Philosophers and cognitive scientists have worried that research on animal mind-reading faces a ‘logical problem’: the difficulty of experimentally determining whether animals represent mental states (e.g. seeing) or merely the observable evidence (e.g. line-of-gaze) for those mental states. The most impressive attempt to confront this problem has been mounted recently by Robert Lurz. However, Lurz' approach faces its own logical problem, revealing this challenge to be a special case of the more general problem of distal content. (...) Moreover, participants in this debate do not agree on criteria for representation. As such, future debate should either abandon the representational idiom or confront underlying semantic disagreements. (shrink)

The Negation Problem states that expressivism has insufficient structure to account for the various ways in which a moral sentence can be negated. We argue that the Negation Problem does not arise for expressivist accounts of all normative language but arises only for the specific examples on which expressivists usually focus. In support of this claim, we argue for the following three theses: 1) a problem that is structurally identical to the Negation Problem arises in non-normative (...) cases, and this problem is solved once the hidden quantificational structure involved in such cases is uncovered; 2) the terms ‘required’, ‘permissible’, and ‘forbidden’ can also be analyzed in terms of hidden quantificational structure, and the Negation Problem disappears once this hidden structure is uncovered; 3) the Negation Problem does not arise for normative language that has no hidden quantificational structure. We conclude that the Negation Problem is not really a problem about expressivism at all but is rather a feature of the quantificational structure of the required, permitted, and forbidden. (shrink)

For more than fifty years, taxonomists have proposed numerous alternative definitions of species while they searched for a unique, comprehensive, and persuasive definition. This monograph shows that these efforts have been unnecessary, and indeed have provably been a pursuit of a will o’ the wisp because they have failed to recognize the theoretical impossibility of what they seek to accomplish. A clear and rigorous understanding of the logic underlying species definition leads both to a recognition of the inescapable ambiguity that (...) affects the definition of species, and to a framework-relative approach to species definition that is logically compelling, i.e., cannot not be accepted without inconsistency. An appendix reflects upon the conclusions reached, applying them in an intellectually whimsical taxonomic thought experiment that conjectures the possibility of an emerging new human species. (shrink)

The disconnect problem arises wherever there is ongoing and severe discordance between the scientific assessment of a politically relevant issue, and the politics and legislation of said issue. Here, we focus on the disconnect problem as it arises in the case of climate change, diagnosing a failure to respect the necessary tradeoff between authority and autonomy within a public institution like science. After assessing the problematic deployment of scientific authority in this arena, we offer suggestions for how to (...) mitigate climate change’s particular disconnect problem, as well as more general proposals for reforming science advising. (shrink)

Solving the meta-problem of consciousness requires, among other things, explaining why we are so reluctant to endorse various forms of illusionism about the phenomenal. I will try to tackle this task in two steps. The first consists in clarifying how the concept of consciousness precludes the possibility of any distinction between 'appearance' and 'reality'. The second consists in spelling out our reasons for recognizing the existence of something that satisfies that concept.

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of (...) molecular structure cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

The doctrine of the Trinity is central to mainstream Christianity. But insofar as it posits “three persons” (Father, Son and Holy Spirit), who are “one God,” it appears as inconsistent as the claim that 1+1+1=1. -/- Much of the literature on “The Logical Problem of the Trinity,” as this has been called, attacks or defends Trinitarianism with little regard to the fourth century theological controversies and the late Hellenistic and early Medieval philosophical background in which it took shape. I (...) argue that this methodol- ogy, which I call “the Puzzle Approach,” produces obviously invalid arguments, and it is unclear how to repair it without collapsing into my preferred method- ology, “the Historical Approach,” which sees history as essential to the debate. I also discuss “mysterianism,” arguing that, successful or not, it has a different goal from the other approaches. I further argue that any solution from the His- torical Approach satisfies the concerns of the Puzzle Approach and mysterianism anyway. -/- I then examine the solution to the Logical Problem of the Trinity found in St. Gregory of Nyssa’s writings, both due to his place in the history of the doctrine, and his clarity in explicating what I call “the metaphysics of synergy.” I recast his solution in standard predicate logic and provide a formal proof of its consistency. I end by considering the possibilities for attacking the broader philosophical context of his defense and conclude that the prospects for doing so are dim. In any case, if there should turn out to be any problem with the doctrine of the Trinity at all, it will not be one of mere logical inconsistency in saying that “These Three are One.”. (shrink)

The “demarcation problem,” the issue of how to separate science from pseu- doscience, has been around since fall 1919—at least according to Karl Pop- per’s (1957) recollection of when he first started thinking about it. In Popper’s mind, the demarcation problem was intimately linked with one of the most vexing issues in philosophy of science, David Hume’s problem of induction (Vickers 2010) and, in particular, Hume’s contention that induction cannot be logically justified by appealing to the fact (...) that “it works,” as that in itself is an inductive argument, thereby potentially plunging the philosopher straight into the abyss of a viciously circular argument. (shrink)

This article brings to bear findings from the debate on the boundary problem in democratic theory on discussions of workplace democracy to argue that workplace democrats’ focus on workers is unjustified and that more constituencies will have to be included in any prospective scheme of workplace democracy. It thereby provides a valuable and underdiscussed perspective on workplace democracy that goes beyond the debate’s usual focus on the clarification and justification of workplace democrats’ core claim. It also goes beyond approaches (...) like stakeholder theory in law and economics that determine decision-making rights without taking into account genuinely democratic considerations. My discussion proceeds by considering three principles for inclusion from democratic theory for the specific case of the corporation. I submit that two of them, the all-coerced and the all-subjected principle, are not appropriate for this specific case, because they cannot capture the distinguishing features of the corporation. The all-affected principle however is appropriate but has a very wide range. I further argue that this is not as big of a problem as it first might seem and that this principle is still the most appropriate for defining the demos of the democratic corporation. The article closes by pointing out the consequences of this result for the workplace democracy debate and for the legitimacy of the market as a coordination mechanism. (shrink)

Some epistemologists think that the Bayesian ideals matter because we can approximate them. That is, our attitudes can be more or less close to the ones of our ideal Bayesian counterpart. In this paper, I raise a worry for this justification of epistemic ideals. The worry is this: In order to correctly compare agents to their ideal counterparts, we need to imagine idealized agents who have the same relevant information, knowledge, or evidence. However, there are cases in which one’s ideal (...) counterpart cannot have one’s information, knowledge, or evidence. In these situations, agents cannot compare themselves to their ideal counterpart. (shrink)

The existence of evil is often held to pose philosophical problems only for theists. I argue that the existence of evil gives rise to a philosophical problem which confronts theist and atheist alike. The problem is constituted by the following claims: (1) Successful human beings (i.e., those meeting their basic prudential interests) are committed to a good-enough world; (2) the actual world is not a good-enough world (i.e., sufficient evil exists). It follows that human beings must either (3a) (...) maintain a state of epistemic ignorance regarding the nature of the actual world or (3b) abandon their basic prudential interests. Theists resolve this problem by rejecting (2), only to confront the problem of evil as it is traditionally understood. Successful atheists also reject (2), but without adequate grounds for doing so. (shrink)

When it comes to second-order knowledge (i.e. knowing that one knows), internalists typically contend that when we know that p, we can, by reflecting, directly know that we are knowing it. Gettier considerations are employed to challenge this internalistic contention and to make out a prima facie case for internalistic metaepistemological skepticism, the thesis that no one ever intemalistically knows that one internalistically knows that p. In particular, I argue that at the metaepistemological second-order level, the Gettier problem generates (...) three distinct problems which, taken together, seriously undermine the possibility of anyone possessing second-order internalistic knowledge. (shrink)

In this paper, I identify the hard problem of access for epistemological disjunctivism (ED): given that perceptual experience E is opaque with respect to its own epistemic properties, subject S is not in a position to know epistemic proposition (i) (that E is factive with respect to empirical proposition p) just by having E and/or reflecting on E. This is the case even if (i) is true. I first motivate the hard problem of access (Section 2) and then (...) reconstruct and analyze three of the ways in which EDists have argued for the internal accessibility of the factive character of perceptual experience. These arguments explain internal access in terms of the unity of perceptual and rational capacities (Section 3), favoring support (Section 4), and the outward-looking model of self-knowledge (Section 5). My conclusion (Section 6) is that none of these responses works. I then suggest how ED might be modified to succeed as an access internalist epistemology. (shrink)

The chapter unfolds in the following sections. The first section exam- ines the reasons for claiming that olfactory perception is spatially unstruc- tured and our experience of smells has an abstract structure. The second section elucidates the further arguments that olfaction cannot generate figure-ground segregation. The third section assesses the conclusion that olfactory perception and experience cannot solve the MPP. Following the overview of the many problems inherent to distal olfactory percep- tion, MST will be introduced as an alternative perspective (...) that allows for figure-ground segregation and perceiving multiple olfactory objects within an array. The chapter then concludes by replying to the shared argument that olfactory distal perception does not have the requisite res- olution to resolve the many properties problem. (shrink)

Anti-exceptionalism about logic takes logic to be, as the name suggests, unexceptional. Rather, in naturalist fashion, the anti-exceptionalist takes logic to be continuous with science, and considers logical theories to be adoptable and revisable accordingly. On the other hand, the Adoption Problem aims to show that there is something special about logic that sets it apart from scientific theories, such that it cannot be adopted in the way the anti-exceptionalist proposes. In this paper I assess the damage the Adoption (...) Problem causes for anti-exceptionalism, and show that it is also problematic for exceptionalist positions too. My diagnosis of why the Adoption Problem affects both positions is that the self-governance of basic logical rules of inference prevents them from being adoptable, regardless of whether logic is exceptional or not. (shrink)

ABSTRACT Constitutive panpsychism is the doctrine that macro-level consciousness—that is, consciousness of the sort possessed by certain composite things such as humans—is built out of irreducibly mental features had by some or all of the basic physical constituents of reality. On constitutive panpsychism, changes in macro-level consciousness amount to changes in either the way that micro-conscious entities ‘bond’ or the way that micro-conscious qualities ‘blend’. I pose the ‘Selection Problem’ for constitutive panpsychism—the problem of explaining how high-level functional (...) states of the brain ‘select’ micro-conscious qualities for bonding or blending. I argue that there are no empirically plausible solutions to this problem. (shrink)

Libertarian self-ownership views in the tradition of Locke, Nozick, and the left-libertarians have supposed that we enjoy very powerful deontological protections against infringing upon our property. Such a conception makes sense when we are focused on property that is very important to its owner, such as a person’s kidney. However, this stringency of our property rights is harder to credit when we consider more trivial infringements such as very mildly toxic pollution or trivial risks such having planes fly overhead. Maintaining (...) that our rights against all infringements are very powerful threatens to implausibly make such pollution and trivial risk broadly impermissible. This paper suggests that self-ownership views have tended to inappropriately conflate the seriousness of different types of infringements and that treating all infringements so seriously is implausible because it would make too much impermissible. I consider several ways to avoid this result within a self-ownership framework and conclude that the best approach is to allow that the strength of the protection against infringements should be tied to the seriousness of the harm of the infringement. (shrink)

These are some responses to an early version of Johnston's paper "The Personite Problem" (now published in Nous).

Chalmers’ meta-problem of consciousness is the problem of explaining “problem reports”; i.e. reports to the effect that phenomenal consciousness has the various features that give rise to the hard problem. Chalmers suggests that solving the meta-problem will likely “shed significant light on the hard problem.” Against this, I argue that work on the meta-problem will likely fail to make the hard problem any easier. For each of the main stances on the hard (...) problem can provide an account of problem reports, and we have no way of deciding which of these accounts gives the correct explanation of an individual’s problem reports without presupposing a stance on the hard problem. We thus cannot determine which of the available solutions to the meta-problem is correct without having already solved the hard problem. (shrink)

In this paper, I argue that even if the Hard Problem of Content, as identified by Hutto and Myin, is important, it was already solved in natu- ralized semantics, and satisfactory solutions to the problem do not rely merely on the notion of information as covariance. I point out that Hutto and Myin have double standards for linguistic and mental representation, which leads to a peculiar inconsistency. Were they to apply the same standards to basic and linguistic minds, (...) they would either have to embrace representationalism or turn to semantic nihilism, which is, as I argue, an unstable and unattractive position. Hence, I conclude, their book does not offer an alternative to representation- alism. At the same time, it reminds us that representational talk in cognitive science cannot be taken for granted and that information is different from men- tal representation. Although this claim is not new, Hutto and Myin defend it forcefully and elegantly. (shrink)

The Newman problem is a fundamental problem that threatens to undermine structural assumptions and structural theories throughout philosophy and science. Here, we consider the problem in the context of consciousness science. We introduce and discuss the problem, and explain why it is detrimental not only to structuralist assumptions, but also to theories of consciousness, if left unconsidered. However, we show that if phenomenal spaces, and mathematical structures of conscious experience more generally, are understood in the right (...) way, the Newman problem does not arise. The upshot of our paper is that consciousness science needs to be careful in which definition of structure to consider, but if it is, the Newman problem disappears. (shrink)

According to Intellectualism knowing how to V is a matter of knowing a suitable proposition about a way of V-ing. In this paper, I consider the question of which ways of acting might figure in the propositions which Intellectualists claim constitute the object of knowledge-how. I argue that Intellectualists face a version of the Generality Problem – familiar from discussions of Reliabilism – since not all ways of V-ing are such that knowledge about them suffices for knowledge-how. I consider (...) various responses to this problem, and argue that none are satisfactory. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic (...) of knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

In 'Fiction and Fictionalism', Mark Sainsbury has recently dubbed “Selection Problem” a serious trouble for Meinongian object theories. Typically, Meinongianism has been phrased as a kind of realism on nonexistent objects : these are mind-independent things, not mental simulacra, having the properties they have independently from the activity of any cognitive agent. But how can one single out an object we have no causal acquaintance with, and which is devoid of spatiotemporal location, picking it out from a pre-determined, mind-independent (...) set ? In this paper, I set out a line of response by distinguishing different ways in which a thing may not exist. I show that the selection problem (a) does not arise for past, currently nonexistent objects ; (b) may not arise also for future existents (provided one massages naïve intuitions a bit) ; and (c) even for mere possibilia ; but (d) is a real snag for purely fictional objects, such as Holmes or Gandalf. As for (d), I propose a solution that forces Meinongianism to introduce a kind of ontological dependence of purely fictional nonexistents upon existents. The strategy complicates the intuitively simple, naïve Meinongian framework a bit, but looks quite promising. (shrink)

Illusionism about phenomenal properties has the potential to leave us with all the benefit of taking consciousness seriously and far fewer problems than those accompanying phenomenal realism. The particular problem I explore here is an epistemological puzzle that leaves the phenomenal realist with a dilemma but causes no trouble for the illusionist: how can we account for false beliefs about our own phenomenal properties? If realism is true, facts about our phenomenal properties must hold independent of our beliefs about (...) those properties, so mistaken phenomenal beliefs must always remain an open possibility. But there is no way to identify the phenomenal facts that make these beliefs false other than by mere stipulation. If illusionism is true, then the state of affairs regarding what a subject's experience seems like is just the illusion itself; there are no further facts of the matter about which the subject might have mistaken beliefs, so the problem does not arise. (shrink)

In "Mathematical Truth", Paul Benacerraf articulated an epistemological problem for mathematical realism. His formulation of the problem relied on a causal theory of knowledge which is now widely rejected. But it is generally agreed that Benacerraf was onto a genuine problem for mathematical realism nevertheless. Hartry Field describes it as the problem of explaining the reliability of our mathematical beliefs, realistically construed. In this paper, I argue that the Benacerraf Problem cannot be made out. There (...) simply is no intelligible problem that satisfies all of the constraints which have been placed on the Benacerraf Problem. The point generalizes to all arguments with the structure of the Benacerraf Problem aimed at realism about a domain meeting certain conditions. Such arguments include so-called "Evolutionary Debunking Arguments" aimed at moral realism. I conclude with some suggestions about the relationship between the Benacerraf Problem and the Gettier Problem. (shrink)

Bishop sentences such as “If a bishop meets a bishop, he blesses him” have long been considered problematic for the descriptivist (or E-type) approach of donkey anaphora (e.g. Evans, 1977; Heim, 1990; and Neale, 1990). Elbourne (2005) offers a situational descriptivist analysis that allegedly solves the problem, and furthermore extends its explanatory coverage to bishop sentence with coordinate subjects. However, I throw serious doubts on Elbourne’s analysis. Specifically, I argue that the purported solution is committed to the use of (...) unbound anaphora, and it cannot sustain the claimed empirical adequacy. (shrink)

The generality problem is widely considered to be a devastating objection to reliabilist theories of justification. My goal in this paper is to argue that a version of the generality problem applies to all plausible theories of justification. Assume that any plausible theory must allow for the possibility of reflective justification—S's belief, B, is justified on the basis of S's knowledge that she arrived at B as a result of a highly (but not perfectly) reliable way of reasoning, (...) R. The generality problem applies to all cases of reflective justification: Given that is the product of a process-token that is an instance of indefinitely many belief-forming process-types (or BFPTs), why is the reliability of R, rather than the reliability of one of the indefinitely many other BFPTs, relevant to B's justificatory status? This form of the generality problem is restricted because it applies only to cases of reflective justification. But unless it is solved, the generality problem haunts all plausible theories of justification, not just reliabilist ones. (shrink)

This paper provides a principled and elegant solution to the Gettier problem. The key move is to draw a general metaphysical distinction and conscript it for epistemological purposes. Section 1 introduces the Gettier problem. Sections 2–5 discuss instructively wrong or incomplete previous proposals. Section 6 presents my solution and explains its virtues. Section 7 answers the most common objection.

J.L. Mackie’s version of the logical problem of evil is a failure, as even he came to recognize. Contrary to current mythology, however, its failure was not established by Alvin Plantinga’s Free Will Defense. That’s because a defense is successful only if it is not reasonable to refrain from believing any of the claims that constitute it, but it is reasonable to refrain from believing the central claim of Plantinga’s Free Will Defense, namely the claim that, possibly, every essence (...) suffers from transworld depravity. (shrink)

When considering potential solutions to meaning-scepticism, Kripke (1982) did not consider a causal-theoretic approach. Kusch (2006) has argued that this is due to the qua-problem. I consider Kusch’s criticism of Maddy (1984) and McGinn (1984) before offering a different way to solve the qua-problem, one that is not susceptible to sceptical attack. If this solution is successful, at least one barrier to using a causal theory to refute Kripke’s scepticism is removed.

Some experiences—like the experience of eating cheesecake—are good experiences to have. But when we try to explain why they are good, we encounter a clash of intuitions. First, we have an objectivist intuition: plausibly, the experiences are good because they feel the way that they do. Second, we have a subjectivist intuition: if a person were indifferent to that kind of experience, then it might fail to be good for that person. Third, we have a possibility intuition: for any kind (...) of experience, possibly there is a subject who is indifferent to that kind of experience. The pleasure problem is the problem we face in reconciling these three claims. I explain the problem and argue for a solution. I argue that we ought to reject the most common solutions: rejecting the objectivist or subjectivist intuitions. Instead, we ought to follow Timothy Sprigge in rejecting the possibility claim. We should embrace the view that experiences bear necessary connections to our attitudes. (shrink)

I present and I implement what I take to be the best approach to solve the meta-problem: the evidential approach. The main tenet of this approach is to explain our problematic phenomenal intuitions by putting our representations of phenomenal states in perspective within the larger frame of the cognitive processes we use to conceive of evidence.

According to process reliabilism, a belief produced by a reliable belief-forming process is justified. I introduce problems for this theory on any account of reliability. Does the performance of a process in some domain of worlds settle its reliability? The theories that answer “Yes” typically fail to state the temporal parameters of this performance. I argue that any theory paired with any plausible parameters has implausible implications. The theories that answer “No,” I argue, thereby lack essential support and exacerbate familiar (...) problems. There are new reasons to avoid any reliability conditions on justification. (shrink)

Opponents of presentism have often argued that the presentist has difficulty in accounting for what makes true past-tensed propositions true in a way that is compatible with her metaphysical view of time and reality. The problem is quite general and concerns not only strong truth-maker principles, but also the requirement that truth be grounded in reality. In order to meet the challenge, presentists have proposed many peculiar present aspects of the world as grounds for truths concerning the past, such (...) as uninstantiated haecceities, Meinongian non-existents, ersatz times, and dispositional and distributional properties. The main problem with all such solutions is that any explanation of what grounds a TptP that involves the past is eo ipso a better explanation than any that involves only the present. Thus, the quest for an account of grounding for TptP that is compatible with the presentist ontology and ideology is doomed to be explanatorily deficient with respect to eternalism. In a recent article, Ben Caplan and David Sanson have claimed that presentists should change their strategy and, rather than seeking for exotic grounds for TptP, should adopt a more liberal view of explanation. That is, they should allow themselves to resort to “past directed” explanations, even if they do not accept the past in their ontology and ideology. I argue that such a proposal is not compatible with the tenet that there is a substantial distinction between the ideology of such a version of presentism and that of eternalism. Therefore, the presentist cannot endorse such “deflationist” explanations as an easy way out to the problem of the grounding of TptP. (shrink)

Endowing artificial systems with explanatory capacities about the reasons guiding their decisions, represents a crucial challenge and research objective in the current fields of Artificial Intelligence (AI) and Computational Cognitive Science [Langley et al., 2017]. Current mainstream AI systems, in fact, despite the enormous progresses reached in specific tasks, mostly fail to provide a transparent account of the reasons determining their behavior (both in cases of a successful or unsuccessful output). This is due to the fact that the classical (...) class='Hi'>problem of opacity in artificial neural networks (ANNs) explodes with the adoption of current Deep Learning techniques [LeCun, Bengio, Hinton, 2015]. In this paper we argue that the explanatory deficit of such techniques represents an important problem, that limits their adoption in the cognitive modelling and computational cognitive science arena. In particular we will show how the current attempts of providing explanations of the deep nets behaviour (see e.g. [Ritter et al. 2017] are not satisfactory. As a possibile way out to this problem, we present two different research strategies. The first strategy aims at dealing with the opacity problem by providing a more abstract interpretation of neural mechanisms and representations. This approach is adopted, for example, by the biologically inspired SPAUN architecture [Eliasmith et al., 2012] and by other proposals suggesting, for example, the interpretation of neural networks in terms of the Conceptual Spaces framework [Gärdenfors 2000, Lieto, Chella and Frixione, 2017]. All such proposals presuppose that the neural level of representation can be considered somehow irrelevant for attacking the problem of explanation [Lieto, Lebiere and Oltramari, 2017]. In our opinion, pursuing this research direction can still preserve the use of deep learning techniques in artificial cognitive models provided that novel and additional results in terms of “transparency” are obtained. The second strategy is somehow at odds with respect to the previous one and tries to address the explanatory issue by avoiding to directly solve the “opacity” problem. In this case, the idea is that one of resorting to pre-compiled plausible explanatory models of the word used in combination with deep-nets (see e.g. [Augello et al. 2017]). We argue that this research agenda, even if does not directly fits the explanatory needs of Computational Cognitive Science, can still be useful to provide results in the area of applied AI aiming at shedding light on the models of interaction between low level and high level tasks (e.g. between perceptual categorization and explanantion) in artificial systems. (shrink)

The center of this investigation is the hard problem of phenomenal perception. To be clear, hereby it is thought of higher animals; accordingly the problem of Human consciousness will explicitly not be treated. The so-called explanatory gap (Levine), i.e. missing a neural explanation of experiences, here is emergence-theoretically countered: It is argued that systems own properties and laws different from those of their components. Applied to the brain the phenomenal character of perception is explained as an emergence effect (...) from the systemic cooperation of perception, valuation and behavior, whereby also an interpretation is opened to Davidson’s anomal monism. As is further shown, feelings are to be understood as a necessary completion of perception when, as in the case of higher animals, the behavior is primarily controlled by phenomenal perception. (shrink)