After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.

We describe and try to motivate our project to build systems using both a knowledge based and a neural network approach. These two approaches are used at different stages in the solution of a problem, instead of using knowledge bases exclusively on some problems, and neural nets exclusively on others. The knowledge base (KB) is defined first in a declarative, symbolic language that is easy to use. It is then compiled into an efficient neural network (NN) representation, run, and (...) the results from run time and (eventually) from learning are decompiled to a symbolic description of the knowledge contained in the network. After inspecting this recovered knowledge, a designer would be able to modify the KB and go through the whole cycle of compiling, running, and decompiling again. The central question with which this project is concerned is, therefore, How do we go from a KB to an NN, and back again? We are investigating this question by building tools consisting of a repertoire of language/translation/network types, and trying them on problems in a variety of domains. (shrink)

The problems divulged, analyzed and allegedly solved in Science, Order & Creativity are not scientific problems. They attest to a fundamental failure of science but not to scientific failure per se. Bohm and Peat's meta-scientific undertaking cannot afford, therefore, to remain negative. However, neither science itself nor current professional philosophy are capable of the radical positive rethinking required, in their view, in order to restore and ensure scientific creativity.

How can we be moved by the fate of Anna Karenina? By asking this question, Colin Radford introduced the paradox of fiction, or the problem that we are often emotionally moved by characters and events which we know don’t really exist (1975). A puzzling element of these emotions that always resurfaced within discussions on the paradox is the fact that, although these emotions feel real to the people who have them, their difference from ›real‹ emotions is that they cannot (...) motivate us to perform any actions. The idea that actions towards fictional particulars are impossible still underlies recent work within the philosophy of fiction (cf. Matravers 2014, 26 sqq.; Friend 2017, 220; Stock 2017, 168). In the past decennia, however, the medium of interactive fiction has challenged this idea. Videogames, especially augmented and virtual reality games, offer us agency in their fictional worlds: players of computer games can interact with fictional objects, save characters that are invented, and kill monsters that are clearly non-existent within worlds that are mere representations on a screen. In a parallel to Radford’s original question, we might ask: how can we be moved to shoot zombies, when we know they aren’t real? The purpose of this article is to examine the new paradox of interactive fiction, which questions how we can be moved to act on objects we know to be fictional, its possible solutions, and its connection to the traditional paradox of fictional emotions. (shrink)

Nobody claims to be a proponent of white feminism, but according to the critique presented in this article, many in fact are. I argue that feminism that does not take multiple axes of oppression into account is bad in three ways: it strategically undermines solidarity between women; it risks inconsistency by advocating justice and equality for some women but not all; and it impedes the ultimate function of feminism function by employing epistemological “master’s tools” that stand in antithesis to feminist (...) emancipatory work. In investigating ethnocentrism in feminism, I develop the idea of latent ethnocentrism, which occupies the space between meaning that is generated from reference to the self and overt racism. I identify an epistemological prong in the ethnocentrism charge against feminism, where I draw on bell hooks’ interlocking axes-model of oppression to answer why the ethnocentrism problem is important for feminism and what its underlying epistemological causes are. I draw on Uma Narayan’s destabilization of cultural dualisms to argue that they do not serve emancipatory agendas. There is a mutually constitutive relation between language that informs our understanding, on the one hand, and the political agendas that produce this language to sustain the male and the western norm as center, on the other hand. I call this circular and reciprocally reinforcing mechanism the episteme-politic. I conclude that the ethnocentrism problem is not merely an issue of strategy or feminist consistency but of shooting oneself in the foot by uncritically accepting patriarchal concepts for feminist politics. (shrink)

A gunman intends to shoot and kill Victim. He shoots and misses his target, but the gunshot startles a group of water buffalo, causing them to trample the victim to death. The gunman brings about the intended effect, Victim’s death, but in a “deviant” way rather than the one planned. This paper argues that such causal structures, deviant causal chains, pose serious problems for several key legal concepts. -/- I show that deviant causal chains pose problems for the legal distinction (...) between attempts and completed crimes, and also for the distinction between attempts and mere preparations. I then suggest that cases of deviant causation undermine notions of legal liability for completed crimes in terms of actus reus and mens rea, and argue that natural accounts of negligence misclassify some cases involving deviant causal chains. After diagnosing several conceptual vulnerabilities in the law revealed by deviant causal chains, I show that natural strategies for shoring up legal theories in the face of these examples are unpromising. (shrink)

In his article “Beyond Point-and-Shoot Morality,” Joshua Greene argues that the empirical findings of cognitive neuroscience have implications for ethics. Specifically, he contends that we ought to trust our manual, conscious reasoning system more than our automatic, emotional system when confronting unfamiliar problems; and because cognitive neuroscience has shown that consequentialist judgments are generated by the manual system and deontological judgments are generated by the automatic system, we ought to trust the former more than the latter when facing unfamiliar moral (...) problems. In the present article, I analyze one of the premises of Greene’s argument. In particular, I ask what exactly an unfamiliar problem is and whether moral problems can be classified as unfamiliar. After exploring several different possible interpretations of familiarity and unfamiliarity, I conclude that the concepts are too problematic to be philosophically compelling, and thus should be abandoned. (shrink)

Formalizing commonsense knowledge for reasoning about time has long been a central issue in AI. It has been recognized that the existing formalisms do not provide satisfactory solutions to some fundamental problems, viz. the frame problem. Moreover, it has turned out that the inferences drawn do not always coincide with those one had intended when one wrote the axioms. These issues call for a well-defined formalism and useful computational utilities for reasoning about time and change. Yoav Shoham of Stanford (...) University introduced in his 1986 Yale doctoral thesis an appealing temporal nonmonotonic logic and identified a class of theories, causal theories, which have computationally simple model-theoretic properties. This paper is a study towards building upon Shoham's work on causal theories. We concentrate on improving computational aspects of causal theories while preserving their model-theoretic properties. (shrink)

This paper works out the scheme of “institutional competences” that underlies the famous Hart and Sacks Legal Process Materials first distributed in final mimeographed form in1958. The Materials were not published during the life times of their authors but were nonetheless a major influence on American legal thought from their first distribution as course materials at Harvard Law School until their abrupt fall from prominence in the early 1970s. The Materials offer the scheme as a solution to the apparent anomaly (...) in a democracy of the law making power in both public and private law of unelected judges serving long terms. The paper critiques the Hart and Sacks solution, called law making through “reasoned elaboration,” which they claimed was sharply distinct from legislative law making or administrative fiat. The paper argues that in both public and private law the materials the judge is to elaborate are characterized by contradictory internal logics. The judge has to choose between them without a meta-criterion. In cases with high stakes, extra-juristic normative orientations, whether moral theories or political ideologies, will come into play, regardless of the judge’s commitment to excluding them. The second part of the paper places Hart and Sacks in a larger historical and comparative context of efforts to solve the problem of social order by way of legal rationality. These two parts were preceded in the original paper by a long discussion, now lost but never very satisfying to me, of the Hart and Sacks theory of “private ordering” in relation to state regulatory power. I wrote the paper for extra credit in the spring of 1970 as a third year student at the Yale Law School. I’ve corrected a few typos but haven’t changed it in any other way. I never published it but it was circulated to a limited extent among Legal Process devotees. Eskridge and Frickey, editors of the Materials as published finally in 1994, credit it, along with another unpublished student paper by Roberto Unger, with hastening the demise of the Materials as a master text. The first part of this version of the paper was recently published in Droit et Philosophie, no. 13, p. 97-117 (2021). (shrink)

In his Moderate Realism and Its Logic (Yale, 1996), Donald Mertz argues that the traditional ontology of nonpredicable substances and predicable universals is beset by “intractable problems,” “harbors an insidious error,” and constitutes a “stumbling block” for the ontologist. By contrast, a onecategory ontology consisting of relation instances (and combinations thereof) is sustainable, and indeed the only way of avoiding commitment to bare particulars. The success of the project turns on Mertz’s claim that every relation instance has a linking (...) aspect, so that (in a sense) even Socrates is a predicate. I argue that, ironically, it is this very feature of a relation instance that undermines Mertz’s entire theory of predication, effectively preventing any connections from being formed between the instances that allegedly compose an ordinary individual such as Socrates. (shrink)

This article would appeal to people interested in new ideas in sciences like physics, astronomy and mathematics that are not presented in a formal manner. -/- Biologists would also find the paragraphs about evolution interesting. I was afraid they'd think my ideas were a bit "out there". But I sent a short email about them last year to a London biologist who wrote an article for the journal Nature. She replied that it was "very interesting". -/- The world is fascinated (...) by electronics. Computer scientists, as well as computer buyers, would be intrigued by the fundamental role given to human electronics in creation of the universe. This obviously can only be done if time travel to the past is possible. I explain in scientific terms how it could be done (the world is also fascinated by the prospect of time travel). -/- My ideas on trips through time grew from the related topic of interstellar, and even intergalactic, travel (and those ideas are inspired by an electrical-engineering experiment at Yale University in 2009). After the ideas on time travel came the realization that this technology could be used to totally eliminate the problems of muscle and bone weakness, radiation exposure etc associated with a lengthy journey to Mars. -/- The exquisitely ordered cosmos proposed would have great appeal to religion and philosophy. Dealing as it does with time that does not exclusively operate in a straight line, the book could not only present a new view of evolution (present theory assumes time is always a straight line from past to future). Nonlinear time might also give religionists a new concept of who God is. This could possibly be that of humans from the remote future who are quantum entangled with all past, present and future states of the whole - infinite and eternal - universe; and thus have all God's powers. Such infinite power could be pantheistic but would naturally include the ability to manifest as an individual. (I know this article is very far removed from what is traditionally considered scientific. Just remember: science is the search for knowledge of how this universe works, and that search must be pursued wherever it leads - even if it leads into traditionally nonscientific areas such as religion.) -/- Finally - if we're entangled with the whole universe, we'd have to be entangled with each other. On a mundane level, this gives us extrasensory and telekinetic abilities. On a higher level, it eliminates crime and war and domestic violence since people don't normally desire to harm themselves in any way. (shrink)

In her recent book, Russell (2023) examines various so-called “barriers to entailment,” including Hume’s law, roughly the thesis that an ‘ought’ cannot be derived from an ‘is.’ Hume’s law bears an obvious resemblance to the proscription on fallacies of modality in relevance logic, which has traditionally formally been captured by the so-called Ackermann property. In the context of relevant modal logic, this property might be articulated thus: no conditional whose antecedent is box-free and whose consequent is box-prefixed is valid (for (...) the connection, interpret box deontically). While the deontic significance of Ackermann-like properties has been observed before, Russell’s new book suggests a more broad-scoped formal investigation of the relationship between barrier theses of various kinds and corresponding Ackermann-like properties. In this paper, I undertake such an investigation by elaborating a general relevant bimodal logical framework in which several of the barriers Russell examines can be given formal expression. I then consider various Ackermann-like properties corresponding to these barriers and prove that certain systems satisfy them. Finally, I respond to some objections Russell makes against the use of relevance logic to formulate Hume’s law and related barriers. (shrink)

Among Dunn’s many important contributions to relevance logic was his work on the system RM (R-mingle). Although RM is an interesting system in its own right, it is widely considered to be too strong. In this chapter, I revisit a closely related system, RM0 (sometimes known as ‘constructive mingle’), which includes the mingle axiom while not degenerating in the way that RM itself does. My main interest will be in examining this logic from two related semantical perspectives. First, I give (...) a purely operational bisemilattice semantics for it by adapting previous work of Humberstone. Second, I examine a more conventional algebraic semantics for it and discuss how this relates to the operational semantics. A novel operational semantics for J (intuitionistic logic) as well as its conventional Heyting algebraic semantics emerge as special cases of the corresponding semantics for RM0. The results of this chapter suggest that RM0 is a more interesting logic than has been appreciated and that Humberstone’s operational semantic framework similarly deserves more attention than it has received. (shrink)

The dialogue in this book contains cuts from different non-protocolar conversations, initially not intended for publication, held by the authors by email during the beginning of 2015 – on Neutrosophy and related topics.

Lying is one of the characteristic features of psychopathy, and has been recognized in clinical and diagnostic descriptions of the disorder, yet individuals with psychopathic traits have been found to have reduced neural activity in many of the brain regions that are important for lying. In this study, we examine brain activity in sixteen individuals with varying degrees of psychopathic traits during a task in which they are instructed to falsify information or tell the truth about autobiographical and non-autobiographical facts, (...) some of which was related to criminal behavior. We found that psychopathic traits were primarily associated with increased activity in the anterior cingulate, various regions of the prefrontal cortex, insula, angular gyrus, and the inferior parietal lobe when participants falsified information of any type. Associations tended to be stronger when participants falsified information about criminal behaviors. Although this study was conducted in a small sample of individuals and the task used has limited ecological validity, these findings support a growing body of literature suggesting that in some contexts, individuals with higher levels of psychopathic traits may demonstrate heightened levels of brain activity. (shrink)

Criminal law theory made a significant advance roughly thirty years ago when George Fletcher popularized the important conceptual distinction between justifications and excuses. In the intervening years, however, very little progress has been made in exploring the structure and function of justification defenses. The reason for this failure, I suggest, is a widely shared misconception about their place within the criminal law’s institutional structure. Contrary to what is generally believed, it is not up to trial courts to decide ex post (...) facto what conduct is justified and what is not. This determination is made ex ante by other institutional actors such as private fiduciaries, public officials, and sometimes, ordinary citizens caught in extraordinary circumstances. The court’s role is simply to review the validity of that prior exercise of decision-making discretion. More broadly, my study is intended to serve as a reminder of the importance of institutional structure in criminal law. It is almost always misleading to address issues in criminal law by way of abstract moral theorizing, as is often done, because this leaves out the crucial question of institutional division of labor. Before addressing the substantive aspect of particular questions—what conduct should be prohibited, justified, or excused—we must first address ourselves to the institutional questions that I have called the problems of authority, discretion, and legality. These institutional questions receive their most thorough treatment in two other areas of law: the private law of fiduciaries and public administrative law. If we wish to make progress in understanding justification defenses—and the institutional structure of criminal law more generally—I argue that it is to these areas of law that we should attend. (shrink)

The Article addresses itself to immigration law governing the admission and expulsion of aliens, exploring the gap between the "plenary power" doctrine––the notion that Congress and the executive branch have broad and often exclusive authority over immigration decisions––and the actual practice of many federal courts in the immigration field. Federal courts, the author argues, often apply two distinct sets of constitutional norms in immigration cases, one set drawn from immigration law proper and applied directly to constitutional cases, and a second, (...) "phantom norm" set, borrowed from mainstream public law and applied in the interpretation of immigration statutes. The result is an immigration law regime in which the plenary power doctrine has been undermined, but not reversed, through statutory interpretation. The Article explores the reasons for the application of "phantom norms" to immigration statutes and the problems created by that practice, ultimately recommending a direct reassessment of plenary power as a constitutional doctrine. In so doing, the Article serves not only as an examination of the interpretive dynamics peculiar to immigration law but also as an exemplary study of a general problem of legal process––the relationship between statutory interpretation and constitutional law. (shrink)

In this article, I discuss a trivialization worry for Hartry Field’s official formulation of the access problem for mathematical realists, which was pointed out by Øystein Linnebo (and has recently been made much of by Justin Clarke-Doane). I argue that various attempted reformulations of the Benacerraf problem fail to block trivialization, but that access worriers can better defend themselves by sticking closer to Hartry Field’s initial informal characterization of the access problem in terms of (something like) general (...) epistemic norms of coincidence avoidance. (shrink)

This chapter proposes a solution to the Trolley Problem in terms of the Kantian prohibition on using a person ‘merely as a means.’ A solution of this type seems impossible due to the difficulties it is widely thought to encounter in the scenario known as the Loop case. The chapter offers a conception of ‘using merely as a means’ that explains the morally relevant difference between the classic Bystander and Footbridge cases. It then shows, contrary to the standard view, (...) that a bystander who diverts the trolley in the Loop case need not be using someone ‘merely as a means’ in doing so. This makes it possible to show why the Loop scenario does not undermine the explanation of the salient moral difference between the Bystander and Footbridge cases. (shrink)

This Open Access book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if knowing requires having good reasons, and reasons can only be good if they are backed by good reasons in turn? The problem has puzzled philosophers ever since antiquity, giving rise to what is often called Agrippa's Trilemma. The current volume approaches the old problem in a provocative and thoroughly contemporary way. Taking seriously the idea that (...) good reasons are typically probabilistic in character, it develops and defends a new solution that challenges venerable philosophical intuitions and explains why they were mistakenly held. Key to the new solution is the phenomenon of fading foundations, according to which distant reasons are less important than those that are nearby. The phenomenon takes the sting out of Agrippa's Trilemma; moreover, since the theory that describes it is general and abstract, it is readily applicable outside epistemology, notably to debates on infinite regresses in metaphysics. (shrink)

My primary aim is to defend a nonreductive solution to the problem of action. I argue that when you are performing an overt bodily action, you are playing an irreducible causal role in bringing about, sustaining, and controlling the movements of your body, a causal role best understood as an instance of agent causation. Thus, the solution that I defend employs a notion of agent causation, though emphatically not in defence of an account of free will, as most theories (...) of agent causation are. Rather, I argue that the notion of agent causation introduced here best explains how it is that you are making your body move during an action, thereby providing a satisfactory solution to the problem of action. (shrink)

In the Prolegomena to De Jure Belli ac Pacis, Hugo Grotius expounds his theory of natural law by way of reply to a skeptical challenge from the Greek Academic Carneades. Though this dialectical context is undeniably important for understanding Grotian natural law, commentators disagree about the substance of Carneades’s challenge. This paper aims to give a definitive reading of Carneades’s skeptical argument, and, by reconstructing Grotius’s reply, to settle some longstanding debates about Grotius’s conception of natural law. I argue that (...) Grotius held a Stoic view of natural law, endorsing both the doctrine of eudaimonism and the claim that moral obligations are natural, not grounded in divine command. Consequently, Grotius’s view of natural law has more continuity with pre-modern, indeed ancient, morality than is usually supposed. However, I argue that we can still understand Grotius as a founder of modern moral philosophy. (shrink)

ABSTRACT On the traditional picture, accidents must inhere in substances in order to exist. Berkeley famously argues that a particular class of accidents—the sensible qualities—are mere ideas—entities that depend for their existence on minds. To defend this view, Berkeley provides us with an elegant alternative to the traditional framework: sensible qualities depend on a mind, not in virtue of inhering in it, but in virtue of being perceived by it. This metaphysical insight, once correctly understood, gives us the resources to (...) solve a central problem that still plagues the philosophy of perception—the problem of how, given the power of the mind to create phenomenally rich experiences, ordinary perception can nonetheless be said to acquaint us with the mind-independent world. (shrink)

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)

Panpsychism is the view that every concrete and unified thing has some form of phenomenal consciousness or experience. It is an age-old doctrine, which, to the surprise of many, has recently taken on new life. In philosophy of mind, it has been put forth as a simple and radical solution to the mind–body problem (Chalmers 1996, 2003;Strawson 2006; Nagel 1979, 2012). In metaphysics and philosophy of science, it has been put forth as a solution to the problem of (...) accounting for the intrinsic nature of the physical itself (Strawson 2006, Seager 2006). In this thesis, I show that panpsychism can also be defended on the basis of an argument from our (arguable) acquaintance with the nature of causation in agency. This argument has made frequent appearances throughout the history of philosophy, with philosophers such as Leibniz, Schopenhauer and James, and I construct and defend an updated version of it. Furthermore, I offer a solution to the combination problem: how can complex (human and animal-type) consciousness result from simple (fundamental particle-type) consciousness? This is generally regarded as the most serious problem facing contemporary panpsychism. I propose that mental combination can be construed as kind causal process culminating in a fusion, and show how this avoids the main difficulties with accounting for mental combination. (shrink)

Marr’s seminal distinction between computational, algorithmic, and implementational levels of analysis has inspired research in cognitive science for more than 30 years. According to a widely-used paradigm, the modelling of cognitive processes should mainly operate on the computational level and be targeted at the idealised competence, rather than the actual performance of cognisers in a specific domain. In this paper, we explore how this paradigm can be adopted and revised to understand mathematical problem solving. The computational-level approach applies methods (...) from computational complexity theory and focuses on optimal strategies for completing cognitive tasks. However, human cognitive capacities in mathematical problem solving are essentially characterised by processes that are computationally sub-optimal, because they initially add to the computational complexity of the solutions. Yet, these solutions can be optimal for human cognisers given the acquisition and enactment of mathematical practices. Here we present diagrams and the spatial manipulation of symbols as two examples of problem solving strategies that can be computationally sub-optimal but humanly optimal. These aspects need to be taken into account when analysing competence in mathematical problem solving. Empirically informed considerations on enculturation can help identify, explore, and model the cognitive processes involved in problem solving tasks. The enculturation account of mathematical problem solving strongly suggests that computational-level analyses need to be complemented by considerations on the algorithmic and implementational levels. The emerging research strategy can help develop algorithms that model what we call enculturated cognitive optimality in an empirically plausible and ecologically valid way. (shrink)

The Generality Problem is widely recognized to be a serious problem for reliabilist theories of justification. James R. Beebe's Statistical Solution is one of only a handful of attempted solutions that has garnered serious attention in the literature. In their recent response to Beebe, Julien Dutant and Erik J. Olsson successfully refute Beebe's Statistical Solution. This paper presents a New Statistical Solution that countenances Dutant and Olsson's objections, dodges the serious problems that trouble rival solutions, and retains the (...) theoretical virtues that made Beebe's solution so attractive in the first place. There indeed exists a principled, rigorous, conceptually sparse, and plausible solution to the Generality Problem: it is the New Statistical Solution. (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)

Many of us agree that we ought not to wrong future people, but there remains disagreement about which of our actions can wrong them. Can we wrong individuals whose lives are worth living by taking actions that result in their very existence? The problem of justifying an answer to this question has come to be known as the non-identity problem.[1] While the literature contains an array of strategies for solving the problem,[2] in this paper I will take (...) what I call the harm-based approach, and I will defend an account of harming—which I call the existence account of harming—that can vindicate this approach. -/- Roughly put, the harm-based approach holds that, by acting in ways that result in the existence of individuals whose lives are worth living, we can harm and thereby wrong those individuals. An initially plausible way to try to justify this approach is to endorse the non-comparative account of harming, which holds that an event harms an individual just in case it causes her to be in a bad state, such that the state’s badness does not derive from a comparison between that state and some alternative state that the individual would or could have been in. However, many philosophers argue that the non-comparative account of harming is inadequate,[3] and one might be tempted to infer from this that any harm-based approach to the non-identity problem will fail. My proposal, which I call the existence account of harming, will show that this inference is faulty: we can vindicate the harm-based approach without relying on the non-comparative account of harming. (shrink)

Hutto and Myin claim that teleosemantics cannot account for mental content. In their view, teleosemantics accounts for a poorer kind of relation between cognitive states and the world but lacks the theoretical tools to account for a richer kind. We show that their objection imposes two criteria on theories of content: a truth-evaluable criterion and an intensionality criterion. For the objection to go through, teleosemantics must be subject to both these criteria and must fail to satisfy them. We argue that (...) teleosemantics meets the truth-evaluable criterion and is not required to meet the intensionality criterion. We conclude that Hutto and Myin’s objection fails. (shrink)

Moral non-cognitivists hope to explain the nature of moral agreement and disagreement as agreement and disagreement in non-cognitive attitudes. In doing so, they take on the task of identifying the relevant attitudes, distinguishing the non-cognitive attitudes corresponding to judgements of moral wrongness, for example, from attitudes involved in aesthetic disapproval or the sports fan’s disapproval of her team’s performance. We begin this paper by showing that there is a simple recipe for generating apparent counterexamples to any informative specification of the (...) moral attitudes. This may appear to be a lethal objection to non-cognitivism, but a similar recipe challenges attempts by non-cognitivism’s competitors to specify the conditions underwriting the contrast between genuine and merely apparent moral disagreement. Because of its generality, this specification problem requires a systematic response, which, we argue, is most easily available for the non-cognitivist. Building on premisses congenial to the non-cognitivist tradition, we make the following claims: (1) In paradigmatic cases, wrongness-judgements constitute a certain complex but functionally unified state, and paradigmatic wrongness-judgements form a functional kind, preserved by homeostatic mechanisms. (2) Because of the practical function of such judgements, we should expect judges’ intuitive understanding of agreement and disagreement to be accommodating, treating states departing from the paradigm in various ways as wrongness-judgements. (3) This explains the intuitive judgements required by the counterexample-generating recipe, and more generally why various kinds of amoralists are seen as making genuine wrongness-judgements. (shrink)

Keith DeRose’s solution to the skeptical problem is based on his indirect sensitivity account. Sensitivity is not a necessary condition for any kind of knowledge, as direct sensitivity accounts claim, but the insensitivity of our beliefs that the skeptical hypotheses are false explains why we tend to judge that we do not know them. The orthodox objection line against any kind of sensitivity account of knowledge is to present instances of insensitive beliefs that we still judge to constitute knowledge. (...) This objection line offers counter-examples against the claim of direct sensitivity accounts that sensitivity is necessary for any kind of knowledge. These examples raise an easy problem for indirect sensitivity accounts that claim that there is only a tendency to judge that insensitive beliefs do not constitute knowledge, which still applies to our beliefs that the skeptical hypotheses are false. However, a careful analysis reveals that some of our beliefs that the skeptical hypotheses are false are sensitive; nevertheless, we still judge that we do not know them. Therefore, the fact that some of our beliefs that the skeptical hypotheses are false are insensitive cannot explain why we tend to judge that we do not know them. Hence, indirect sensitivity accounts cannot fulfill their purpose of explaining our intuitions about skepticism. This is the hard problem for indirect sensitivity accounts. (shrink)

In the last 20 years, a stream of research emerged under the label of „complex problem solving“ (CPS). This research was intended to describe the way people deal with complex, dynamic, and intransparent situations. Complex computer-simulated scenarios were as stimulus material in psychological experiments. This line of research lead to subtle insights into the way how people deal with complexity and uncertainty. Besides these knowledge-rich, realistic, intransparent, complex, dynamic scenarios with many variables, a second line of research used more (...) simple, knowledge-lean scenarios with a low number of variables („minimal complex systems“, MCS) that have been proposed recently in problem-solving research for the purpose of educational assessment. In both cases, the idea behind the use of microworlds is to increase validity of problem solving tasks by presenting interactive environments that can be explored and controlled by participants while pursuing certain action goals. The main argument presented here is: both types of systems - CPS and MCS – can only be dealt with successfully if causal dependencies between input and output variables are identified and used for system control. System knowledge is necessary for control and intervention. But CPS and MCS differ in their way of how causal dependencies are identified and how the mental model is constructed; therefore, they cannot be compared directly to each other with respect to the cognitive processes that are necessary for solving the tasks. Knowledge-poor MCS tasks address only a small fraction of the cognitive processes and structures needed for knowledge-rich CPS situations. (shrink)

Our pollution of the environment seems set to lead to widespread problems in the future, including disease, scarcity of resources, and bloody conflicts. It is natural to think that we are required to stop polluting because polluting harms the future individuals who will be faced with these problems. This natural thought faces Derek Parfit’s famous Non-Identity Problem ( 1984 , pp. 361–364). The people who live on the polluted earth would not have existed if we had not polluted. Our (...) polluting behaviour does not make these individuals worse off. It may therefore seem that we do not harm them by polluting. Parfit argues that we should replace person-affecting principles with an impersonal principle of beneficence, Principle Q ( 1984 , p. 360.). I argue that Principle Q cannot give an adequate account of our duties to refrain from polluting. I consider attempts to solve the Non-Identity Problem by denying that to harm someone an agent must make them worse off. I argue that such responses provide a partial solution to the Non-Identity Problem. They do show that we harm future individuals in a morally relevant sense by polluting. Nonetheless, this is only a partial solution. The Non-Identity Problem still suggests that our harm-based reasons not to pollute are less strong than we intuitively believe. Thus on its own an appeal to the claim that we harm future individuals is not able to give a fully satisfactory account of why we are required not to pollute. (shrink)

Fetal reduction is the practice of reducing the number of fetuses in a multiple pregnancy, such as quadruplets, to a twin or singleton pregnancy. Use of assisted reproductive technologies increases the likelihood of multiple pregnancies, and many fetal reductions are done after in vitro fertilisation and embryo transfer, either because of social or health-related reasons. In this paper, I apply Joe Horton’s all or nothing problem to the ethics of fetal reduction in the case of a twin pregnancy. I (...) argue that in the case of a twin pregnancy, there are two intuitively plausible claims: abortion is morally permissible, and it is morally wrong to abort just one of the fetuses. But since we should choose morally permissible acts rather than impermissible ones, the two claims lead to another highly implausible claim: the woman ought to abort both fetuses rather than only one. Yet, this does not seem right. A plausible moral theory cannot advocate such a pro-death view. Or can it? I suggest ways to solve this problem and draw implications for each solution. There are no data in this work. (shrink)

This paper develops a novel problem for representationalism (also known as "intentionalism"), a popular contemporary account of perception. We argue that representationalism is incompatible with supervaluationism, the leading contemporary account of vagueness. The problem generalizes to naive realism and related views, which are also incompatible with supervaluationism.

There is a large gap between the specialized knowledge of scientists and laypeople’s understanding of the sciences. The novice-expert problem arises when non-experts are confronted with (real or apparent) scientific disagreement, and when they don’t know whom to trust. Because they are not able to gauge the content of expert testimony, they rely on imperfect heuristics to evaluate the trustworthiness of scientists. This paper investigates why some bodies of scientific knowledge become polarized along political fault lines. Laypeople navigate conflicting (...) epistemic and social demands in their acceptance of scientific testimony; this might explain their deference to scientific fringe theories, which often goes together with denying established scientific theories. I evaluate three approaches to mitigate denialism: improving the message, improving the messenger, and improving the environment in which the message is conveyed. (shrink)

As ever more advanced digital systems are created, it becomes increasingly likely that some of these systems will be digital minds, i.e. digital subjects of experience. With digital minds comes the risk of digital suffering. The problem of digital suffering is that of mitigating this risk. We argue that the problem of digital suffering is a high stakes moral problem and that formidable epistemic obstacles stand in the way of solving it. We then propose a strategy for (...) solving it: Access Monitor Prevent (AMP). AMP uses a ‘dancing qualia’ argument to link the functional states of certain digital systems to their experiences—this yields epistemic access to digital minds. With that access, we can prevent digital suffering by only creating advanced digital systems that we have such access to, monitoring their functional profiles, and preventing them from entering states with functional markers of suffering. After introducing and motivating AMP, we confront limitations it faces and identify some options for overcoming them. We argue that AMP fits especially well with—and so provides a moral reason to prioritize—one approach to creating such systems: whole brain emulation. We also contend that taking other paths to digital minds would be morally risky. (shrink)

One of the more intractable problems in the debate over autonomy is how we should distinguish autonomy-enhancing from autonomy-compromising forms of socialization. In this paper I first survey a range of theories of autonomy, from the procedural through to the substantive, and argue that none offers sufficient resources to resolve the problem of socialization. In the second half of the paper I develop an alternative theory that can both differentiate benign from pernicious socialization and, more importantly, provide an explanation (...) for the means by which pernicious socialization compromises autonomy. (shrink)

Despite its many advantages as a metaethical theory, moral expressivism faces difficulties as a semantic theory of the meaning of moral claims, an issue underscored by the notorious Frege-Geach problem. I consider a distinct metaethical view, inferentialism, which like expressivism rejects a representational account of meaning, but unlike expressivism explains meaning in terms of inferential role instead of expressive function. Drawing on Michael Williams’ recent work on inferential theories of meaning, I argue that an appropriate understanding of the pragmatic (...) role of moral discourse—the facilitation of coordinated social behavior—suggests the kind of inferences we should expect terms with this function to license. I offer a sketch of the inferential roles the moral ‘ought’ plays, and argue that if we accept that the relevant inferential roles are meaning-constitutive, we will be in a position to solve the Frege-Geach problem. Such an inferentialist solution has advantages over those forwarded by expressivists such as Blackburn and Gibbard. First, it offers a more straightforward explanation of the meaning of moral terms. It also gives simple answers to at least two semantic worries that have vexed contemporary expressivists—the “problem of permissions” and the commitment to “mentalism”, both of which I argue are problems that don’t get traction with an inferentialist approach. I conclude by considering ways in which this approach can be expanded into a more robust semantic account. (shrink)

The relationship between the physical body and the conscious human mind has been a deeply problematic topic for centuries. Physicalism is the 'orthodox' metaphysical stance in contemporary Western thought, according to which reality is exclusively physical/material in nature. However, in the West, theoretical dissatisfaction with this type of approach has historically lead to Cartesian-style dualism, wherein mind and body are thought to belong to distinct metaphysical realms. In the current discussion I compare and contrast this standard Western approach with an (...) alternative form of dualism developed in the Sāṃkhya-Yoga philosophical tradition, where matter and pure consciousness are held to belong to distinct and independent realms, but where the mind is placed on the material side of the ontological divide. I argue that this model possesses a number of theoretical advantages over Cartesian-style dualism, and constitutes a compelling theoretical framework for re-conceptualizing the mind-body problem. (shrink)

The new evil demon problem is often considered to be a serious obstacle for externalist theories of epistemic justification. In this paper, I aim to show that the new evil demon problem also afflicts the two most prominent forms of internalism: moderate internalism and historical internalism. Since virtually all internalists accept at least one of these two forms, it follows that virtually all internalists face the NEDP. My secondary thesis is that many epistemologists – including both internalists and (...) externalists – face a dilemma. The only form of internalism that is immune to the NEDP, strong internalism, is a very radical and revisionary view – a large number of epistemologists would have to significantly revise their views about justification in order to accept it. Hence, either epistemologists must accept a theory that is susceptible to the NEDP or accept a very radical and revisionary view. (shrink)

Religious pluralism is the view that more than one religion is correct, and that no religion enjoys a special status in relation to the ultimate. Yet the world religions appear to be incompatible. How, then, can more than one be correct? Discussions and critiques of religious pluralism usually focus on the work of John Hick, yet there are a number of other pluralists whose responses to this incompatibility problem are importantly different from Hick’s. This article surveys the solutions of (...) Hick, Harrison, Heim, Byrne, and Knitter to the incompatibility problem. I conclude that, while none of these views is without weakness, there are several promising pluralist solutions to this problem. Moreover, confessionalists (i.e. exclusivists and inclusivists) must also address issues related to incompatibility. (shrink)

Because harm is an important notion in ethics, it’s worth investigating what it amounts to. The counterfactual comparative account of harm, commonly thought to be the most promising account of harm, analyzes harm by comparing what actually happened with what would have happened in some counterfactual situation. But it faces the preemption problem, a problem so serious that it has driven some to suggest we abandon the counterfactual comparative account and maybe even abandon the notion of harm altogether. (...) This paper defends a version of the counterfactual comparative account that solves the preemption problem, a version called the “worse than nothing account.” It says that you harm someone just in case you leave them worse off than if you’d done nothing at all. (shrink)

Daniel Dennett (1996) has disputed David Chalmers' (1995) assertion that there is a "hard problem of consciousness" worth solving in the philosophy of mind. In this paper I defend Chalmers against Dennett on this point: I argue that there is a hard problem of consciousness, that it is distinct in kind from the so-called easy problems, and that it is vital for the sake of honest and productive research in the cognitive sciences to be clear about the difference. (...) But I have my own rebuke for Chalmers on the point of explanation. Chalmers (1995, 1996) proposes to "solve" the hard problem of consciousness by positing qualia as fundamental features of the universe, alongside such ontological basics as mass and space-time. But this is an inadequate solution: to posit, I will urge, is not to explain. To bolster this view, I borrow from an account of explanation by which it must provide "epistemic satisfaction" to be considered successful (Rowlands, 2001; Campbell, 2009), and show that Chalmers' proposal fails on this account. I conclude that research in the science of consciousness cannot move forward without greater conceptual clarity in the field. (shrink)

Spacetime functionalism is the view that spacetime is a functional structure implemented by a more fundamental ontology. Lam and Wüthrich have recently argued that spacetime functionalism helps to solve the epistemological problem of empirical coherence in quantum gravity and suggested that it also (dis)solves the hard problem of spacetime, namely the problem of offering a picture consistent with the emergence of spacetime from a non-spatio-temporal structure. First, I will deny that spacetime functionalism solves the hard problem (...) by showing that it comes in various species, each entailing a different attitude towards, or answer to, the hard problem. Second, I will argue that the existence of an explanatory gap, which grounds the hard problem, has not been correctly taken into account in the literature. (shrink)

The paper has two aims. The first is to propose a general framework for organizing some central questions about normative practical reasons in a way that separates importantly distinct issues that are often run together. Setting out this framework provides a snapshot of the leading types of view about practical reasons as well as a deeper understanding of what are widely regarded to be some of their most serious difficulties. The second is to use the proposed framework to uncover and (...) diagnose what I believe is a structural problem that plagues the debate about practical reasons. A common move in the debate involves a proponent of one type of view offering what she and others proposing that type consider to be a devastating criticism of an opposing type of view, only to find that her criticism is shrugged off by her opponents as easy to answer, misguided, or having little significance for their view. This isn’t due to conceptual blindness or mere slavish devotion to a theory but something fundamental about the argumentative structure of a debate over genuinely shared issues. Hence, the debate about practical reasons suffers from argumentative gridlock. The proposed framework helps us to see why this is so, and what we might do to move beyond it. (shrink)

I extend my direct virtue epistemology to explain how a knowledge-first framework can account for two kinds of positive epistemic standing, one tracked by externalists, who claim that the virtuous duplicate lacks justification, the other tracked by internalists, who claim that the virtuous duplicate has justification, and moreover that such justification is not enjoyed by the vicious duplicate. It also explains what these kinds of epistemic standing have to do with each other. I argue that all justified beliefs are good (...) candidates for knowledge, and are such because they are exercises of competences to know. However, there are two importantly different senses in which a belief may be a good candidate for knowledge, one corresponding to an externalist kind of justification and the other corresponding to an internalist one. I show how the account solves the new evil demon problem in a more satisfactory way than existing accounts. We end up with a view of knowledge, justification, and rationality that is plausible, motivated, and theoretically unified. (shrink)

According to fitting-attitude (FA) accounts of value, X is of final value if and only if there are reasons for us to have a certain pro-attitude towards it. FA accounts supposedly face the wrong kind of reason (WKR) problem. The WKR problem is the problem of revising FA accounts to exclude so called wrong kind of reasons. And wrong kind of reasons are reasons for us to have certain pro-attitudes towards things that are not of value. I (...) argue that the WKR problem can be dissolved. I argue that (A) the view that there are wrong kind of reasons for the pro-attitudes that figure in FA accounts conflicts with the conjunction of (B) an extremely plausible and extremely weak connection between normative and motivating rea- sons and (C) an extremely plausible generality constraint on the reasons for pro- attitudes that figure in FA accounts. I argue that when confronted with this trilemma we should give up (A) rather than (B) or (C) because there is a good explanation of why (A) seems so plausible but is in fact false, but there is no good explanation of why (B) and (C) seem so plausible but are in fact false. (shrink)