Elizabeth Schechter explores the implications of the experience of people who have had the pathway between the two hemispheres of their brain severed, and argues that there are in fact two minds, subjects of experience, and intentional agents inside each split-brain human being: right and left. But each split-brain subject is still one of us.

This chapter discusses epistemic objections to non-naturalist moral realism. The goal of the chapter is to determine which objections are pressing and which objections can safely be dismissed. The chapter examines five families of objections: (i) one involving necessary conditions on knowledge, (ii) one involving the idea that the causal history of our moral beliefs reflects the significant impact of irrelevant influences, (iii) one relying on the idea that moral truths do not play a role in explaining our moral beliefs, (...) (iv) one involving the claim that if moral realism is true then our moral beliefs are unlikely to be reliable, and (v) one involving the claim that moral realism is incompatible with there being a plausible explanation of our reliability about morality. The overall conclusion of the chapter is that the final objection is by far the most pressing. (shrink)

There are several important arguments in metaethics that rely on explanatory considerations. Gilbert Harman has presented a challenge to the existence of moral facts that depends on the claim that the best explanation of our moral beliefs does not involve moral facts. The Reliability Challenge against moral realism depends on the claim that moral realism is incompatible with there being a satisfying explanation of our reliability about moral truths. The purpose of this chapter is to examine these and related arguments. (...) In particular, this chapter will discuss four kinds of arguments – Harman’s Challenge, evolutionary debunking arguments, irrelevant influence arguments, and the Reliability Challenge – understood as arguments against moral realism. The main goals of this chapter are (i) to articulate the strongest version of these arguments; (ii) to present and assess the central epistemological principles underlying these arguments; and (iii) to determine what a realist would have to do to adequately respond to these arguments. (shrink)

There are many domains about which we think we are reliable. When there is prima facie reason to believe that there is no satisfying explanation of our reliability about a domain given our background views about the world, this generates a challenge to our reliability about the domain or to our background views. This is what is often called the reliability challenge for the domain. In previous work, I discussed the reliability challenges for logic and for deductive inference. I argued (...) for four main claims: First, there are reliability challenges for logic and for deduction. Second, these reliability challenges cannot be answered merely by providing an explanation of how it is that we have the logical beliefs and employ the deductive rules that we do. Third, we can explain our reliability about logic by appealing to our reliability about deduction. Fourth, there is a good prospect for providing an evolutionary explanation of the reliability of our deductive reasoning. In recent years, a number of arguments have appeared in the literature that can be applied against one or more of these four theses. In this paper, I respond to some of these arguments. In particular, I discuss arguments by Paul Horwich, Jack Woods, Dan Baras, Justin Clarke-Doane, and Hartry Field. (shrink)

Since the publication of Timothy Williamson’s Knowledge and its Limits, knowledge-first epistemology has become increasingly influential within epistemology. This paper discusses the viability of the knowledge-first program. The paper has two main parts. In the first part, I briefly present knowledge-first epistemology as well as several big picture reasons for concern about this program. While this considerations are pressing, I concede, however, that they are not conclusive. To determine the viability of knowledge-first epistemology will require philosophers to carefully evaluate the (...) individual theses endorsed by knowledge-first epistemologists as well as to compare it with alternative packages of views. In the second part of the paper, I contribute to this evaluation by considering a specific thesis endorsed by many knowledge-first epistemologists – the knowledge norm of assertion. According to this norm, roughly speaking, one should assert that p only if one knows that p. I present and motivate this thesis. I then turn to a familiar concern with the norm: In many cases, it is intuitively appropriate for someone who has a strongly justified belief that p, but who doesn't know that p, to assert that p. Proponents of the knowledge norm of assertion typically explain away our judgments about such cases by arguing that the relevant assertion is improper but that the subject has an excuse and is therefore not blameworthy for making the assertion. I argue that that this response does not work. In many of the problem cases, it is not merely that the subject’s assertion is blameless. Rather, the subject positively ought to make the assertion. Appealing to an excuse cannot be used to adequately explain this fact. (Nor can we explain this fact by appealing to some other, quite different, consideration.) Finally, I conclude by briefly considering whether we should replace the knowledge norm of assertion with an alternative norm. I argue that the most plausible view is that there is no norm specifically tied to assertion. (shrink)

This article shows that there is a liar-like paradox that arises for rational credence that relies only on very weak logical and credal principles. The paradox depends on a weak rational reflection principle, logical principles governing conjunction, and principles governing the relationship between rational credence and proof. To respond to this paradox, we must either reject even very weak rational reflection principles or reject some highly plausible logical or credal principle.

We are justified in employing the rule of inference Modus Ponens (or one much like it) as basic in our reasoning. By contrast, we are not justified in employing a rule of inference that permits inferring to some difficult mathematical theorem from the relevant axioms in a single step. Such an inferential step is intuitively “too large” to count as justified. What accounts for this difference? In this paper, I canvass several possible explanations. I argue that the most promising approach (...) is to appeal to features like usefulness or indispensability to important or required cognitive projects. On the resulting view, whether an inferential step counts as large or small depends on the importance of the relevant rule of inference in our thought. (shrink)

A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of logical consequence according (...) to which α1, ..., αn entails β just in case □α1, ..., □αn entails □β in the modal logic S5. This raises a natural question: If we start with a different underlying modal logic, can we generate a strongly classical logic? This paper explores this question. In particular, it discusses four related technical issues: (1) Which base modal logics generate strongly classical logics and which generate weakly classical logics? (2) Which base logics generate themselves? (3) How can we directly characterize the logic generated from a given base logic? (4) Given a logic that can be generated, which base logics generate it? The answers to these questions have philosophical interest. They can help us to determine whether there is a plausible supervaluational approach to modelling vague language that yields the usual meta-rules. They can also help us to determine the feasibility of other philosophical projects that rely on an analogous formalism, such as the project of defining logical consequence in terms of the preservation of an epistemic status. (shrink)

In our thought, we employ rules of inference and belief-forming methods more generally. For instance, we (plausibly) employ deductive rules such as Modus Ponens, ampliative rules such as Inference to the Best Explanation, and perceptual methods that tell us to believe what perceptually appears to be the case. What explains our entitlement to employ these rules and methods? This chapter considers the motivations for broadly internalist answers to this question. It considers three such motivations—one based on simple cases, one based (...) on a general conception of epistemic responsibility, and one based on skeptical scenarios. The chapter argues that none of these motivations is successful. The first two motivations lead to forms of internalism—Extreme Method Internalism and Defense Internalism—that are too strong to be tenable. The third motivation motivates Mental Internalism (Mentalism), which does not fit with plausible accounts of entitlement. (shrink)

In recent years, several philosophers have argued that the a priori/a posteriori distinction is a legitimate distinction but does not carve at the epistemological joints and is theoretically unimportant. In this paper, I do two main things. First, I respond to the most prominent recent challenge to the significance of the a priori/a posteriori distinction – the central argument in Williamson (2013). Second, I discuss the question of what the theoretical significance of the a priori/a posteriori distinction is. -/- I (...) first present the a priori/a posteriori distinction as it is typically developed. I then turn to Williamson’s challenge to the significance of the distinction. Williamson points out that we often use the same cognitive mechanisms in coming to have a priori and a posteriori knowledge. So how could it be, asks Williamson, that there is a “deep epistemological difference” between the two? In response to this challenge, I argue that there is an important disanalogy between Williamson’s central example of a case of a priori knowledge and his central example of a case of a posteriori knowledge. Although the beliefs in the two cases are formed in similar ways, the ways in which their justification can be defeated are different. This suggests that there is an important epistemological difference between the two cases, one that cannot be captured in terms of the cognitive mechanisms used to form the beliefs. -/- Although Williamson’s argument is unsuccessful, there remains the question of just what the theoretical significance of the a priori/a posteriori distinction is. I argue that the point of the distinction is not to enable us to represent some joint in nature, but rather to help us to identify epistemological problem cases. We understand – more-or-less – the epistemology of simple perceptual knowledge. The epistemology of non-perceptual knowledge is far less clear. The purpose of labeling a case of knowledge as a priori is to claim that its epistemology should not be assimilated to the epistemology of perception. Instead, it is something of a puzzle case. -/- This proposal has an important implication. There are several ways in which a case of knowledge can be different from a simple case of perceptual knowledge. Two differences are perhaps the most important: (i) the justification of the belief does not involve phenomenality, and (ii) the belief does not stand in a causal relation to what the belief is about. When beliefs about some subject matter fit either (i) or (ii), an epistemological puzzle arises. So there is more than one kind of epistemological puzzle to solve. This suggests that there is an important theoretical role for (at least) two distinctions in the ballpark of the traditional a priori/a posteriori distinction. (shrink)

This paper discusses Ernest Sosa's account of knowledge and epistemic normativity. The paper has two main parts. The first part identifies places where Sosa's account requires supplementation if it is going to capture important epistemic phenomena. In particular, additional theoretical resources are needed to explain the way in which epistemic aims are genuinely good aims, and the way in which some forms of reasoning can be epistemically better than others even when they are equally conducive to attaining the truth. The (...) second part focuses on Sosa's claim that there is a kind of belief – judgmental belief – that doesn't merely aim at truth but also aims at aptness, and that this kind of belief is central to our mental lives. The paper raises several concerns about this part of Sosa's account, including the concern that aiming at aptness is overly self-directed, and so is more closely tied to vice than epistemic virtue. (shrink)

This paper concerns the epistemology of difficult moral cases where the difficulty is not traceable to ignorance about non-moral matters. The paper first argues for a principle concerning the epistemic status of moral beliefs about difficult moral cases. The basic idea behind the principle is that one’s belief about the moral status of a potential action in a difficult moral case is not justified unless one has some appreciation of what the relevant moral considerations are and how they bear on (...) the moral status of the potential action. The paper then argues that this principle has important ramifications for moral epistemology and moral metaphysics. It puts pressure on some views of the justification of moral belief, such as ethical intuitionism and reliabilism. It puts pressure on some antirealist views of moral metaphysics, including simple versions of relativism. It also provides some direct positive support for broadly realist views of morality. (shrink)

Closure for justification is the claim that thinkers are justified in believing the logical consequences of their justified beliefs, at least when those consequences are competently deduced. Many have found this principle to be very plausible. Even more attractive is the special case of Closure known as Single-Premise Closure. In this paper, I present a challenge to Single-Premise Closure. The challenge is based on the phenomenon of rational self-doubt – it can be rational to be less than fully confident in (...) one's beliefs and patterns of reasoning. In rough outline, the argument is as follows: Consider a thinker who deduces a conclusion from a justified initial premise via an incredibly long sequence of small competent deductions. Surely, such a thinker should suspect that he has made a mistake somewhere. And surely, given this, he should not believe the conclusion of the deduction even though he has a justified belief in the initial premise. (shrink)

We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I explicate the challenge (...) both in general and for the particular case of logic. I also argue that two seemingly attractive responses – appealing to a faculty of rational insight or to the nature of concept possession – are incapable of answering the challenge. (shrink)

In this paper, we develop an account of the justification thinkers have for employing certain basic belief-forming methods. The guiding idea is inspired by Reichenbach's work on induction. There are certain projects in which thinkers are rationally required to engage. Thinkers are epistemically justified in employing any belief-forming method such that "if it doesn't work, nothing will" for successfully engaging in such a project. We present a detailed account based on this intuitive thought and address objections to it. We conclude (...) by commenting on the implications that our account may have for other important epistemological issues and debates. (shrink)

While Spelke provides powerful support for concept nativism, her focus on understanding concept nativism through six innate core knowledge systems is too confining. There is also no reason to suppose that the curse of a compositional mind constitutes a principled reason for positing less innate structure in explaining the origins of concepts. Any solution to such problems must take into account poverty of the stimulus considerations, which argue for postulating more innate structure, not less.

We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason conferred a (...) heritable survival advantage upon our ancestors. However, there are several arguments that purport to show that evolutionary accounts cannot even in principle explain how it is that we are reliable about logic. In this paper, I address these arguments. I show that there is no general reason to think that evolutionary accounts are incapable of explaining our reliability about logic. (shrink)

How should we understand validity? A standard way to characterize validity is in terms of the preservation of truth (or truth in a model). But there are several problems facing such characterizations. An alternative approach is to characterize validity epistemically, for instance in terms of the preservation of an epistemic status. In this paper, I raise a problem for such views. First, I argue that if the relevant epistemic status is factive, such as being in a position to know or (...) having conclusive evidence for, then the account runs into trouble if we endorse certain familiar logical principles. Second, I argue that if the relevant epistemic status is non-factive, such as is rationally committed to or has justification for believing, then a similar problem arises if we endorse the logical principles as well as a sufficiently strong epistemic “level-bridging” principle. Finally, I argue that an analogous problem arises for the most natural characterization of validity in terms of rational credence. (shrink)

In virtue of what are we justified in employing the rule of inference Modus Ponens? One tempting approach to answering this question is to claim that we are justified in employing Modus Ponens purely in virtue of facts concerning meaning or concept-possession. In this paper, we argue that such meaning-based accounts cannot be accepted as the fundamental account of our justification.

In the first chapter of his Knowledge and Lotteries, John Hawthorne argues that thinkers do not ordinarily know lottery propositions. His arguments depend on claims about the intimate connections between knowledge and assertion, epistemic possibility, practical reasoning, and theoretical reasoning. In this paper, we cast doubt on the proposed connections. We also put forward an alternative picture of belief and reasoning. In particular, we argue that assertion is governed by a Gricean constraint that makes no reference to knowledge, and that (...) practical reasoning has more to do with rational degrees of belief than with states of knowledge. (shrink)

This paper, which is a homage to the life and work of Stephen Gaukroger, explores competing receptions of Spencer’s programmatic synthetic philosophy. In so doing, I show how T.H Huxley and C.S. Peirce reconfigured a familiar, long-standing debate about cosmogeny and cosmology in the early modern period.

I frame my argument by way of Hayek's tendency to treat Hume and Smith as central articulations of the rule of law. The rest of the paper explores their defense of clientelism. First, I introduce Hume’s ideas on the utility of patronage in his essay, “Of the Independency of Parliament.” I argue that in Hume clientelism just is a feature of parliamentary business. It seems ineliminable. I then contextualize Hume’s account by comparing it to Montesquieu’s account of this system of (...) patronage in Book XIX, chapter 27 of The Spirit of the Laws. Montesquieu primarily treats it as a species of bad corruption. However, he also sees some benefits to it. I then turn to Smith and I show that he echoes Hume’s analysis of corruption in an easily ignored passage in Wealth of Nations. I then show that for Smith one argument in favor of a kind of federal parliamentary union between Great Brittain and her American colonies lies in its ability to facilitate and make more efficient the system of patronage by the Crown. While Smith’s account of these matters is quite Humean, one can discern in Smith a distinct cost-benefit argument for the acceptance of the necessity of a system of patronage in the service of the peaceful expansion and entrenchment of the rule of law in his proposal for parliamentary union. (shrink)

Replicating or exceeding human intelligence, not just in particular domains but in general, has always been a major goal of Artificial Intelligence (AI). We argue here that “human intelligence” is not only ill-defined, but often conflated with broader aspects of human psychology. Standard arguments for replicating it are morally unacceptable. We then suggest a reframing: that the proper goal of AI is not to replicate humans, but to complement them by creating diverse intelligences capable of collaborating with humans. This goal (...) renders issues of theory of mind, empathy, and caring, or community engagement, central to AI. It also challenges AI to better understand the circumstances in which human intelligence, including human moral intelligence, fails. (shrink)

This paper develops a new framework for combining propositional logics, called "juxtaposition". Several general metalogical theorems are proved concerning the combination of logics by juxtaposition. In particular, it is shown that under reasonable conditions, juxtaposition preserves strong soundness. Under reasonable conditions, the juxtaposition of two consequence relations is a conservative extension of each of them. A general strong completeness result is proved. The paper then examines the philosophically important case of the combination of classical and intuitionist logics. Particular attention is (...) paid to the phenomenon of collapse. It is shown that there are logics with two stocks of classical or intuitionist connectives that do not collapse. Finally, the paper briefy investigates the question of which rules, when added to these logics, lead to collapse. (shrink)

Learning information about the etiology of one's beliefs can reduce the justification a thinker has for those beliefs. Learning information about the etiology of one's desires, emotions, or concepts can similarly have a debunking effect. In this chapter, I develop a unified account of etiological debunking that applies across these different kinds of cases. According to this account, etiological debunking arguments work by providing reason to think that there is no satisfying explanation of how it is that some part of (...) our mental life is fitting. The role that etiological information plays is to help to rule out (or render less plausible) potential explanations, given our background views about the world. This account suggests several potential morals for epistemology, the philosophy of mind, and metaethics. (shrink)

In the Laws, Plato argues that legislation must not only compel, but also persuade. This is accomplished by prefacing laws with preludes. While this procedure is central to the legislative project of the dialogue, there is little interpretative agreement about the strategy of the preludes. This paper defends an interpretation according to which the strategy is to engage with citizens in a way that anticipates their progress toward a more mature evaluative outlook, and helps them grow into it. This paper (...) shall refer to this strategy as proleptic engagement. While the virtuous ways of life required by law are intimately connected to happiness, the preludes do not persuade by spelling out this connection. Rather, they persuade by telling citizens what they need to hear so that they can come to appreciate this connection for themselves, in the context of their own lives. While the preludes are many and varied, this paper argues that all preambular material can be understood as proleptic engagement. (shrink)

Expanded version of a commentary on Adam Elga's "Lucky to be Rational" delivered at the 2008 Bellingham Summer Philosophy Conference.

There are well-known quasi-formal arguments that identity is a "strict" relation in at least the following three senses: (1) There is a single identity relation and a single distinctness relation; (2) There are no contingent cases of identity or distinctness; and (3) There are no vague or indeterminate cases of identity or distinctness. However, the situation is less clear cut than it at first may appear. There is a natural formal theory of identity that is very close to the standard (...) classical theory but which does not validate the formal analogues of (1)-(3). The core idea is simple: We weaken the Principle of the Indiscernibility of Identicals from a conditional to an entailment and we adopt a weakly classical logic. This paper investigates this weakly classical theory of identity (and related theories) and discusses its philosophical ramifications. It argues that we can accept a reasonable theory of identity without committing ourselves to the uniqueness, necessity, or determinacy of identity. (shrink)

One relatively neglected challenge in ethical artificial intelligence (AI) design is ensuring that AI systems invite a degree of emotional and moral concern appropriate to their moral standing. Although experts generally agree that current AI chatbots are not sentient to any meaningful degree, these systems can already provoke substantial attachment and sometimes intense emotional responses in users. Furthermore, rapid advances in AI technology could soon create AIs of plausibly debatable sentience and moral standing, at least by some relevant definitions. Morally (...) confusing AI systems create unfortunate ethical dilemmas for the owners and users of those systems, since it is unclear how those systems ethically should be treated. I argue here that, to the extent possible, we should avoid creating AI systems whose sentience or moral standing is unclear and that AI systems should be designed so as to invite appropriate emotional responses in ordinary users. (shrink)

An Artificially Intelligent system (an AI) has debatable moral personhood if it is epistemically possible either that the AI is a moral person or that it falls far short of personhood. Debatable moral personhood is a likely outcome of AI development and might arise soon. Debatable AI personhood throws us into a catastrophic moral dilemma: Either treat the systems as moral persons and risk sacrificing real human interests for the sake of entities without interests worth the sacrifice, or do not (...) treat the systems as moral persons and risk perpetrating grievous moral wrongs against them. The moral issues become even more perplexing if we consider cases of possibly conscious AI that are subhuman, superhuman, or highly divergent from us in their morally relevant properties. (shrink)

This paper takes up Bethesda Game Studios' Starfield (2023) as an aesthetic artefact, carefully attending to the thematics of the game's narrative in their operation as structuring "thought patterns" for the player's experience of the game, thought patterns that give form to the "sensible fabric" of the game and so constitute an imaginary or "distribution of the sensible" that requires critique (Rancière, 2013). Utilizing the aesthetic and material-economic theories of Nicolas Bourriaud, Jacques Rancière, Jussi Parikka, and David Graeber, this paper (...) examines the aesthetics of the techno-ecological imaginary that Starfield institutes, close reading the play of perspectives into which the game invites the player-character, and analysing this play in its problematic orientation to the key dramatic revelation of planetary catastrophe that occurs late in the game's main campaign. If, as climate and games scholar Benjamin Abraham writes (2022), "[b]ringing the climate crisis 'home' to all of our lives, all of our workplaces, all of our hobbies, is the necessary first step in acting to reverse climate action," then illuminating and critiquing Starfield's deployment of such a crisis will help players, scholars, and developers alike take the first step in learning to pay attention to the very "modes of perception" that prevent us from effecting real change in the global technological systems that have brought us to the brink of planetary collapse. (shrink)

I describe a phenomenon that has not yet been described in the epistemology literature. I label this phenomenon expression-style exclusion. Expression-style exclusion is an example of how s...

A quick introduction to category theory and topos theory, axiomatically. These notes are adapted from Prof. Pettigrew’s notes.

Resource rationality may explain suboptimal patterns of reasoning; but what of “anti-Bayesian” effects where the mind updates in a direction opposite the one it should? We present two phenomena — belief polarization and the size-weight illusion — that are not obviously explained by performance- or resource-based constraints, nor by the authors’ brief discussion of reference repulsion. Can resource rationality accommodate them?

This essay attempts to clarify the nature and structure of aliefs. First I distinguish between a robust notion of aliefs and a deflated one. A robust notion of aliefs would introduce aliefs into our psychological ontology as a hitherto undiscovered kind, whereas a deflated notion of aliefs would identify aliefs as a set of pre-existing psychological states. I then propose the following dilemma: one the one hand, if aliefs have propositional content, then it is unclear exactly how aliefs differ from (...) psychological states we already countenance, in which case there is no robust notion of aliefs; on the other, if aliefs just contain associative content, then they cannot do the explanatory work set out for them, in which case there is no reason to posit aliefs at all. Thus, it appears that we have little reason to posit the novel category of robust aliefs. (shrink)

I argue that Smith proposed a new kind of imperialism, which we would describe as a species of ‘federalism,’ and that his plan influenced Bentham and Kant in their federal projects, although they seem to have been unaware of each other’s proposals. In what follows, I outline Smith’s position. I then describe Kant’s and Bentham’s debts to Smith in turn. This will also allow for greater clarity about the nature of early liberalism.

I offer an interpretation of the puzzle posed by Greenberg’s failure to come to terms with the explosion of postmodernist experimentation in the 1960’s. Greenberg, one of the most influential critics of the immediately preceding period and a strong supporter of New York abstract expressionism and color field painting, is indelibly associated with modernist schools of painting. His short essay, “Modernist Painting”, valorized precisely these movements and was a tour de force catapulting Greenberg into critic superstar status; it is still (...) one of the central documents in debates about modernism. Because Greenberg there makes references to Kant’s aesthetics in identifying the virtues of modernism his account is usually interpreted in terms of the formalism of the period and Kant’s analytic of the beautiful. This offers a reading of Greenberg as a formalist and as identifying modernism with a concern for the formal properties of art, the flatness of the picture frame and the formal relations between the aesthetic properties. Greenberg was also celebrated as having a legendary acuteness of aesthetic appreciation—a critical eye penetrating immediately to a work’s aesthetic depth. (shrink)

This paper examines three cases of the clash between science and philosophy: Zeno’s paradoxes, the Frame Problem, and a recent attempt to experimentally refute skepticism. In all three cases, the relevant science claims to have resolved the purported problem. The sciences, construing the term broadly, are mathematics, artificial intelligence, and psychology. The goal of this paper is to show that none of the three scientific solutions work. The three philosophical problems remain as vibrant as ever in the face of robust (...) scientific attempts to dispel them. The paper concludes by examining some consequences of this persistence. (shrink)

Inquiry, Volume 57, Issue 1, Page 55-96, February 2014.

Whole Brain Emulation has been championed as the most promising, well-defined route to achieving both human-level artificial intelligence and superintelligence. It has even been touted as a viable route to achieving immortality through brain uploading. WBE is not a fringe theory: the doctrine of Computationalism in philosophy of mind lends credence to the in-principle feasibility of the idea, and the standing of the Human Connectome Project makes it appear to be feasible in practice. Computationalism is a popular, independently plausible theory, (...) and Connectomics a well-funded empirical research program, so optimism about WBE is understandable. However, this optimism may be misplaced. This article argues that WBE is, at best, no more compelling than any of the other far-flung routes to achieving superintelligence. Similarly skeptical conclusions are found regarding immortality. The essay concludes with some positive considerations in favor of the Biological Theory of consciousness, as well as morals about the limits of Computationalism in both artificial intelligence and the philosophy of mind more generally. (shrink)

The overwhelming majority of those who theorize about implicit biases posit that these biases are caused by some sort of association. However, what exactly this claim amounts to is rarely specified. In this paper, I distinguish between different understandings of association, and I argue that the crucial senses of association for elucidating implicit bias are the cognitive structure and mental process senses. A hypothesis is subsequently derived: if associations really underpin implicit biases, then implicit biases should be modulated by counterconditioning (...) or extinction but should not be modulated by rational argumentation or logical interventions. This hypothesis is false; implicit biases are not predicated on any associative structures or associative processes but instead arise because of unconscious propositionally structured beliefs. I conclude by discussing how the case study of implicit bias illuminates problems with popular dual-process models of cognitive architecture. (shrink)

We propose four policies of ethical design of human-grade Artificial Intelligence. Two of our policies are precautionary. Given substantial uncertainty both about ethical theory and about the conditions under which AI would have conscious experiences, we should be cautious in our handling of cases where different moral theories or different theories of consciousness would produce very different ethical recommendations. Two of our policies concern respect and freedom. If we design AI that deserves moral consideration equivalent to that of human beings, (...) that AI should be designed with self-respect and with the freedom to explore values other than those we might impose. We are especially concerned about the temptation to create human-grade AI pre-installed with the desire to cheerfully sacrifice itself for its creators’ benefit. (shrink)

Arguments from consciousness to God’s existence (ACs) contend that physicalism is too problematic to explain the mind’s ultimate source. They add that theism probably better explains this source in terms of God making us in his own image (with conscious, unified, rational minds). But ACs are problematic too. First, physicalism has various competitors beside theism. Russellian monism and dual-aspect theory are examples. Second, all these theories, including theism, are seriously flawed. For example, it’s tied to traditional dualism, which has causal (...) issues (according to Murphy, Churchland, and other physicalists). But we argue that this theistic dualism can be refined to avoid its issues—and the issues in all other theories. So, it probably explains the mind’s origin better than other theories. We rely here on Lowe’s dualism, where the mind’s subject exists immaterially yet spatially, and is a unified, simple entity (unlike neural aggregates with their quite separate parts). This turns the tables on Churchland, Murphy, and other advocates for scientism. -/- . (shrink)

“What is the structure of thought?” is as central a question as any in cognitive science. A classic answer to this question has appealed to a Language of Thought (LoT). We point to emerging research from disparate branches of the field that supports the LoT hypothesis, but also uncovers diversity in LoTs across cognitive systems, stages of development, and species. Our letter formulates open research questions for cognitive science concerning the varieties of rules and representations that underwrite various LoT-based systems (...) and how these variations can help researchers taxonomize cognitive systems. (shrink)

Except for a patina of twenty-first century modernity, in the form of logic and language, philosophy is exactly the same now as it ever was; it has made no progress whatsoever. We philosophers wrestle with the exact same problems the Pre-Socratics wrestled with. Even more outrageous than this claim, though, is the blatant denial of its obvious truth by many practicing philosophers. The No-Progress view is explored and argued for here. Its denial is diagnosed as a form of anosognosia, a (...) mental condition where the affected person denies there is any problem. The theories of two eminent philosophers supporting the No-Progress view are also examined. The final section offers an explanation for philosophy 's inability to solve any philosophical problem, ever. The paper closes with some reflections on philosophy 's future. (shrink)

Perceptual processes, in particular modular processes, have long been understood as being mandatory. But exactly what mandatoriness amounts to is left to intuition. This paper identifies a crucial ambiguity in the notion of mandatoriness. Discussions of mandatory processes have run together notions of automaticity and ballisticity. Teasing apart these notions creates an important tool for the modularist's toolbox. Different putatively modular processes appear to differ in their kinds of mandatoriness. Separating out the automatic from the ballistic can help the modularist (...) diagnose and explain away some putative counterexamples to multimodal and central modules, thereby helping us to better evaluate the evidentiary status of modularity theory. (shrink)

After presenting evidence about categorization behavior, this paper argues for the following theses: 1) that there is a border between perception and cognition; 2) that the border is to be characterized by perception being modular (and cognition not being so); 3) that perception outputs conceptualized representations, so views that posit that the output of perception is solely non-conceptual are false; and 4) that perceptual content consists of basic-level categories and not richer contents.

I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines and more). There (...) are physically and metaphysically possible machines. There is an iterative hierarchy of logically possible machines in the iterative hierarchy of sets. Some algorithms are such that machines that instantiate them are minds. So there is an iterative hierarchy of finitely and transfinitely complex minds. (shrink)