It is well known that the nature of consciousness is elusive, and that attempts to understand it generate problems in metaphysics, philosophy of mind, psychology, and neuroscience. Less appreciated are the important – even if still elusive – connections between consciousness and issues in ethics. In this chapter we consider three such connections. First, we consider the relevance of consciousness for questions surrounding an entity’s moral status. Second, we consider the relevance of consciousness for questions surrounding moral responsibility for action. (...) Third, we consider the relevance of consciousness for the acquisition of moral knowledge. (shrink)

A number of concerns have been raised about the possible future use of pharmaceuticals designed to enhance cognitive, affective, and motivational processes, particularly where the aim is to produce morally better decisions or behavior. In this article, we draw attention to what is arguably a more worrying possibility: that pharmaceuticals currently in widespread therapeutic use are already having unintended effects on these processes, and thus on moral decision making and morally significant behavior. We review current evidence on the moral effects (...) of three widely used drugs or drug types: propranolol, selective serotonin reuptake inhibitors, and drugs that effect oxytocin physiology. This evidence suggests that the alterations to moral decision making and behavior caused by these agents may have important and difficult-to-evaluate consequences, at least at the population level. We argue that the moral effects of these and other widely used pharmaceuticals warrant further empirical research and ethical analysis. (shrink)

The following is a transcript of the interview I (Yasuko Kitano) conducted with Neil Levy (The Centre for Applied Philosophy and Public Ethics, CAPPE) on the 23rd in July 2009, while he was in Tokyo to give a series of lectures on neuroethics at The University of Tokyo Center for Philosophy. I edited his words for publication with his approval.

Recent work in neuroimaging suggests that some patients diagnosed as being in the persistent vegetative state are actually conscious. In this paper, we critically examine this new evidence. We argue that though it remains open to alternative interpretations, it strongly suggests the presence of consciousness in some patients. However, we argue that its ethical significance is less than many people seem to think. There are several different kinds of consciousness, and though all kinds of consciousness have some ethical significance, different (...) kinds underwrite different kinds of moral value. Demonstrating that patients have phenomenal consciousness — conscious states with some kind of qualitative feel to them — shows that they are moral patients, whose welfare must be taken into consideration. But only if they are subjects of a sophisticated kind of access consciousness — where access consciousness entails global availability of information to cognitive systems — are they persons, in the technical sense of the word employed by philosophers. In this sense, being a person is having the full moral status of ordinary human beings. We call for further research which might settle whether patients who manifest signs of consciousness possess the sophisticated kind of access consciousness required for personhood. (shrink)

Actions performed in a state of automatism are not subject to moral evaluation, while automatic actions often are. Is the asymmetry between automatistic and automatic agency justified? In order to answer this question we need a model or moral accountability that does justice to our intuitions about a range of modes of agency, both pathological and non-pathological. Our aim in this paper is to lay the foundations for such an account.

This project has been supported by the Australian Government through the Australian Research Council (project number CS170100008); the Department of Industry, Innovation and Science; and the Department of Prime Minister and Cabinet. ACOLA collaborates with the Australian Academy of Health and Medical Sciences and the New Zealand Royal Society Te Apārangi to deliver the interdisciplinary Horizon Scanning reports to government. The aims of the project which produced this report are: 1. Examine the transformative role that artificial intelligence may play in (...) different sectors of the economy, including the opportunities, risks and challenges that advancement presents. 2. Examine the ethical, legal and social considerations and frameworks required to enable and support broad development and uptake of artificial intelligence. 3. Assess the future education, skills and infrastructure requirements to manage workforce transition and support thriving and internationally competitive artificial intelligence industries. (shrink)

In this chapter, we argue for three theses: (1) we lack the power to form beliefs at will (i.e., directly); at very least, we lack the power to form at will beliefs of the kind that proponents of doxastic voluntarism have in mind; but (2) we possess a propensity to form beliefs for non-epistemic reasons; and (3) these propensities—once we come to know we have them—entail that we have obligations similar to those we would have were doxastic voluntarism true. Specifically, (...) we will argue that we have obligations to avoid triggering these propensities to form beliefs that are unwarranted or even immoral. (shrink)

In her paper, The case for physician assisted suicide: not proven, Bonnie Steinbock argues that the experience with Oregon’s Death with Dignity Act fails to demonstrate that the benefits of legalising physician assisted suicide outweigh its risks. Given that her verdict is based on a small number of highly controversial cases that will most likely occur under any regime of legally implemented safeguards, she renders it virtually impossible to prove the case for physician assisted suicide. In this brief paper, we (...) suggest some ways that may enable us to weigh the risks and benefits of legalisation more fairly and, hopefully, allow us to close the case for physician assisted suicide. (shrink)

Response to commentary. We are grateful to Crockett and Craigie for their interesting remarks on our paper. We accept Crockett’s claim that there is a need for caution in drawing inferences about patient groups from work on healthy volunteers in the laboratory. However, we believe that the evidence we cited established a strong presumption that many of the patients who are routinely taking a medication, including many people properly prescribed the medication for a medical condition, have morally significant aspects of (...) their cognition and behavior modified in a way that is unintended and may sometimes be unwelcome. Crockett notes that in some cases the effects of long-term drug use may differ, sometimes markedly, from the effects of short-term use. However, if acute use of a drug affects a neural system involved in mediating moral cognition or behavior, this nevertheless provides some evidence that chronic use of the drug may affect that same system and thus have morally significant effects. It is also plausible, in some cases, that an acute moral effect would give rise to a chronic moral effect via cognitive mechanisms. ... (shrink)

In the wake of the spectacular success of Miranda Fricker's Epistemic Injustice, philosophers have paid a great deal of attention to testimonial injustice. Testimonial injustice occurs when recipients of testimony discount it in virtue of its source: usually, their social identity. The remedy for epistemic injustice is almost always listening better and giving greater weight to the testimony we hear, on most philosophers' implicit or explicit view. But Fricker identifies another kind of epistemic injustice: hermeneutical injustice. This kind of injustice (...) occurs when someone can't articulate their own experience or understand their situation for lack of the hermeneutical tools. There is a possible tension between these kinds of injustice, we suggest: sincere testimony may be misleading (may fail to identify significant harms the testfier is subject, or may fail to register its magnitude, or to categorize it as the kind of harm it is) in virtue of a lack of hermeneutical resources. This tension raises the possibility that there are situations in which experts - those who possess hermeneutical tools - may be able to correct the testimony of those who experience harms in virtue of their identity. In this paper, we identify possible cases in which epistemic injustice might be reduced through such correction: in which an increase in testimonial injustice might serve to decrease it in the longer run, for example. We also suggest how the obvious dangers of a too great readiness to see testimony as in need of expert correction might be mitigated, and how the expert might suggest corrections without ceasing to listen. (shrink)

Most philosophers believe that wrongdoers sometimes deserve to be punished by long prison sentences. They also believe that such punishments are justified by their consequences: they deter crime and incapacitate potential offenders. In this article, I argue that both these claims are false. No one deserves to be punished, I argue, because our actions are shot through with direct or indirect luck. I also argue that there are good reasons to think that punishing fewer people and much less harshly will (...) have better social consequences, at a reduced overall cost, then the long prison sentences that are usually seen as required for social protection. (shrink)

A key source of support for the view that challenging people’s beliefs about free will may undermine moral behavior is two classic studies by Vohs and Schooler (2008). These authors reported that exposure to certain prompts suggesting that free will is an illusion increased cheating behavior. In the present paper, we report several attempts to replicate this influential and widely cited work. Over a series of five studies (sample sizes of N = 162, N = 283, N = 268, N (...) = 804, N = 982) (four preregistered) we tested the relationship between (1) anti-free-will prompts and free will beliefs and (2) free will beliefs and immoral behavior. Our primary task was to closely replicate the findings from Vohs and Schooler (2008) using the same or highly similar manipulations and measurements as the ones used in their original studies. Our efforts were largely unsuccessful. We suggest that manipulating free will beliefs in a robust way is more difficult than has been implied by prior work, and that the proposed link with immoral behavior may not be as consistent as previous work suggests. (shrink)

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

In an earlier issue, I argue (2014) that psychology and epistemology should distinguish religious credence from factual belief. These are distinct cognitive attitudes. Levy (2017) rejects this distinction, arguing that both religious and factual “beliefs” are subject to “shifting” on the basis of fluency and “intuitiveness.” Levy’s theory, however, (1) is out of keeping with much research in cognitive science of religion and (2) misrepresents the notion of factual belief employed in my theory. So his claims don’t undermine (...) my distinction. I conclude by suggesting some approaches to empirically testing our views. (shrink)

One purpose for the field of consciousness studies may be to increase general understanding about consciousness and its place in human life, thereby possibly aiding us in living in better harmony within our societies and with our fellow humans. Neil Levy’s new work is a candidate for this latter purpose for the field. Consciousness studies may help us better understand how we function as conscious agents—or what role consciousness plays in our agency—and aid in our more just construction (...) of laws, especially those dealing with culpability. (shrink)

I defend hedonism about moral value by first presenting an argument for moral skepticism, and then showing that phenomenal introspection gives us a unique way to defeat the skeptical argument and establish pleasure's goodness.

This paper elaborates and defends an expressivist account of the claims of mind-independence embedded in ordinary moral thought. In response to objections from Zangwill and Jenkins it is argued that the expressivist 'internal reading' of such claims is compatible with their conceptual status and that the only 'external reading' available doesn't commit expressivisists to any sort of subjectivism. In the process a 'commitment-theoretic' account of the semantics of conditionals and negations is defended.

Causal theories of action, perception and knowledge are each beset by problems of so-called ‘deviant’ causal chains. For each such theory, counterexamples are formed using odd or co-incidental causal chains to establish that the theory is committed to unpalatable claims about some intentional action, about a case of veridical perception or about the acquisition of genuine knowledge. In this paper I will argue that three well-known examples of a deviant causal chain have something in common: they each violate Yablos proportionality (...) constraint on causation. I will argue that this constraint provides the key to saving causal theories from deviant chains. (shrink)

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

I explicate the conditions required for criminal responsibility, provide an overview of criminal defenses, distinguish criminal responsibility from both tort liability and moral responsibility, and explicate the current state of the insanity defense.

The external world sceptic tells some familiar narratives involving massive deception. Perhaps we are brains in vats. Perhaps we are the victim of a deceitful demon. You know the drill. The sceptic proceeds by observing first that victims of such deceptions know nothing about their external environment and that second, since we cannot rule out being a victim of such deceptions our- selves, our own external world beliefs fail to attain the status of knowledge. Discussions of global external world scepticism (...) tend to focus on the second step, where a number of well-known lines of resistance have been offered. But there has been little attention to the first, seemingly innocuous step. That will be the focus of this paper. Part one – sections 1, 2, and 3 – will explain why these standard narratives are not convincing examples of cases where there is no knowledge of the external world. In part two – section 4 – we shall undertake a useful case study. David Lewis’s ‘Elusive Knowledge’ is often thought of as presenting an epistemological vision that is somewhat friendly to external world scepticism: as Lewis himself presents things, there are contexts where external world knowledge ascriptions are uniformly false, and where true knowledge ascriptions are limited to either axiomatic truths or truths about our inner life. We examine his discussion in the light of the preceding reflections and show that the framework he presents is not so concessionary to global external world scepticism after all. (shrink)

How does our language relate to reality? This is a question that is especially pertinent in set theory, where we seem to talk of large infinite entities. Based on an analogy with the use of models in the natural sciences, we argue for a threefold correspondence between our language, models, and reality. We argue that so conceived, the existence of models can be underwritten by a weak notion of existence, where weak existence is to be understood as existing in virtue (...) of language. (shrink)

I defend ethical hedonism, the view that pleasure is the sole good thing, by arguing that it offers the only answer to an argument for moral skepticism. The skeptical problem arises from widespread fundamental moral disagreement, which entails the presence of enough moral error to undermine the reliability of most processes generating moral belief. We know that pleasure is good through the reliable process of phenomenal introspection, which reveals what our experiences are like. If knowing of pleasure’s goodness through phenomenal (...) introspection is the only reliable way to form our initial moral beliefs, we should accept ethical hedonism. (shrink)

To a large extent, the evidential base of claims in the philosophy of science has switched from thought experiments to case studies. We argue that abandoning thought experiments was a wrong turn, since they can effectively complement case studies. We make our argument via an analogy with the relationship between experiments and observations within science. Just as experiments and ‘natural’ observations can together evidence claims in science, each mitigating the downsides of the other, so too can thought experiments and case (...) studies be mutually supporting. After presenting the main argument, we look at potential concerns about thought experiments, suggesting that a judiciously applied mixed-methods approach can overcome them. (shrink)

Abstract: This entry elucidates causal and constitutive roles that various forms of imagining play in human action. Imagination influences more kinds of action than just pretend play. I distinguish different senses of the terms “imagining” and “imagination”: imagistic imagining, propositional imagining, and constructive imagining. Each variety of imagining makes its own characteristic contributions to action. Imagistic imagining can structure bodily movement. Propositional imagining interacts with desires to motivate pretend play and mimetic expressive action. And constructive imagination generates representations of possibilities (...) and actions on the basis of which we choose what to do. [Version archived here is a penultimate draft.]. (shrink)

Science and fiction seem to lie at opposite ends of the cognitive-epistemic spectrum. The former is typically seen as the study of hard, real-world facts in a rigorous manner. The latter is treated as an instrument of play and recreation, dealing in figments of the imagination. Initial appearances notwithstanding, several central features of scientific modeling in fact suggest a close connection with the imagination and recent philosophers have developed detailed accounts of models that treat them, in one way or another, (...) as akin to fictions. This chapter will critically discuss the fictions approach as an epistemology of scientific modeling. (shrink)

Thought experiments play a role in science and in some central parts of contemporary philosophy. They used to play a larger role in philosophy of science, but have been largely abandoned as part of the field’s “practice turn”. This chapter discusses possible roles for thought experimentation within a practice-oriented philosophy of science. Some of these roles are uncontroversial, such as exemplification and aiding discovery. A more controversial role is the reliance on thought experiments to justify philosophical claims. It is proposed (...) that if we adopt an underlying empiricist view of concepts, then thought experiments can be seen as affording us contact with scientific practice, despite their seemingly a priori character. The advantages and drawbacks of thought experiments are discussed via comparison with case studies, on the one, and simulations on the other hand. The chapter closes with some remarks on how to combine thought experiments with other methods. (shrink)

Pietro Gori dedicates Nietzsche’s Pragmatism “To the wanderers and Good Europeans,” and Anglophone wanderers into Sarah de Sanctis’s translation will indeed find good European Nietzsche scholarship. The table of contents is a helpful map of the book, with five chapters consisting of twenty-eight sections on a sequence of philosophical and interpretive topics. Perspectival thought, addressed in the subtitle, is the explicit topic of the third chapter. Pragmatism, mentioned in the title, is the explicit topic of the fifth and final chapter. (...) While both topics also are discussed in many other places, the overall focus is on Nietzsche’s views of epistemology and truth.The first chapter discusses Nietzsche’s views of... (shrink)

Epistemic akrasia can be rational. I consider a lonely pragmatist who believes that her imaginary friend doesn’t exist, and also believes on pragmatic grounds that she should believe in him. She rationally believes that her imaginary friend doesn’t exist, rationally follows various sources of evidence to the view that she should believe in him to end her loneliness, and rationally holds these attitudes simultaneously. Evidentialism suggests that her ambivalent epistemic state is rational, as considerations grounded in the value of truth (...) justify her beliefs. (shrink)

This paper claims that the standard characterization of the motivational role of belief should be supplemented. Beliefs do not only, jointly with desires, cause and rationalize actions that will satisfy the desires, if the beliefs are true; beliefs are also the practical ground of other cognitive attitudes, like imagining, which means beliefs determine whether and when one acts with those other attitudes as the cognitive inputs into choices and practical reasoning. In addition to arguing for this thesis, I take issue (...) with Velleman's argument that belief and imagining cannot be distinguished on the basis of motivational role. (shrink)

This essay presents an ideal for modern Western romantic love.The basic ideas are the following: people want to form a distinctive sort of plural subject with another, what Nozick has called a "We", they want to be loved for properties of certain kinds, and they want this love to establish and sustain a special sort of commitment to them over time.

The rightness and wrongness of actions fits on a continuous scale. This fits the way we evaluate actions chosen among a diverse range of options, even though English speakers don’t use the words “righter” and “wronger”. I outline and defend a version of scalar consequentialism, according to which rightness is a matter of degree, determined by how good the consequences are. Linguistic resources are available to let us truly describe actions simply as right. Some deontological theories face problems in accounting (...) for degrees of rightness, as they don't invoke continuous parameters among the right-making features of action. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

What is posthumanism and why does it matter? This book offers an introduction to the ways in which humanism's belief in the natural supremacy of the Family of Man has been called into question at different moments and from different theoretical positions. What is the relationship between posthumanism and technology? Can posthumanism have a politics—postcolonial or feminist? Are postmodernism and poststructuralism posthumanist? What happens when critical theory meets Hollywood cinema? What links posthumanism to science fiction. Posthumanism addresses these and other (...) questions in an attempt to come to terms with one of the most pressing issues facing contemporary society. (shrink)

Philosophers from Hart to Lewis, Johnston and Bennett have expressed various degrees of reservation concerning the doctrine of double effect. A common concern is that, with regard to many activities that double effect is traditionally thought to prohibit, what might at first look to be a directly intended bad effect is really, on closer examination, a directly intended neutral effect that is closely connected to a foreseen bad effect. This essay examines the extent to which the commonsense concept of intention (...) supports a reasonably consistent and coherent application of double effect. Two important conclusions are these: (1) a number of traditionally proscribed activities involve a kind of “targeting” of innocents that can be taken to exhibit a direct intention to harm them; (2) a direct intention to harm need not involve a desire to harm in any ordinary sense of the latter expression. (shrink)

How does valuing something for its own sake differ from valuing an entity for the sake of other things? Although numerous answers come to mind, many of them rule out substantive views about what is valuable for its own sake. I therefore seek to provide a more neutral way to distinguish the two valuing attitudes. Drawing from existing accounts of valuing, I argue that the two can be distinguished in terms of a conative-volitional feature. Focusing first on “non-final valuing”—i.e. valuing_ (...) x_ for the sake of something else—I argue that it involves adopting certain reasons on account of a desire for _x_ to contribute to other things. I then show how this contrasts final valuing. The result, I argue, is a plausible account of how the two modes of valuing differ that leaves open substantive views about what all can be valued for its own sake. This is helpful because it develops a popular methodology used to explore the value of a wide range of things, including natural entities, family heirlooms, and artworks, as well as, more broadly, entities that might have “extrinsic final value.”. (shrink)

This essay defends a strong version of the Humean theory of motivation on which desire is necessary both for motivation and for reasoning that changes our desires. Those who hold that moral judgments are beliefs with intrinsic motivational force need to oppose this view, and many of them have proposed counterexamples to it. Using a novel account of desire, this essay handles the proposed counterexamples in a way that shows the superiority of the Humean theory. The essay addresses the classic (...) objection that the Humean theory cannot explain the feeling of obligation, Stephen Darwall's example of motivationally potent reasoning that is not based on preexisting desires, Thomas Scanlon's criticism that the Humean theory fails to account for the structure and phenomenology of deliberation, and the phenomenon of akrasia as discussed by John Searle. In each case a Humean account explains the data at least as thoroughly as opposing views can, while fitting within a simpler total account of how we deliberate and act. (shrink)

Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account of (...) reference on the Multiversist conception, and the relativism that it implies. I argue that analysis of this central issue in the Philosophy of Mathematics indicates that Radical Multiversism must be algebraic, and cannot be viewed as an attempt to provide an account of reference without a softening of the position. (shrink)

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

Let's suppose you think that there are no uncountable sets. Have you adopted a restrictive position? It is certainly tempting to say yes---you've prohibited the existence of certain kinds of large set. This paper argues that this intuition can be challenged. Instead, I argue that there are some considerations based on a formal notion of restrictiveness which suggest that it is restrictive to hold that there are uncountable sets.

This paper derives from a broader project dealing with the notion of causal order. I use this term to signify two kinds of parts-whole dependence: Orderly systems have rich, decomposable, internal structure; specifically, parts play differential roles, and interactions are primarily local. Disorderly systems, in contrast, have a homogeneous internal structure, such that differences among parts and organizational features are less important. Orderliness, I suggest, marks one key difference between individuals and collectives. My focus here will be the connection between (...) order and robustness, i.e. functional resilience in the face of internal or environmental perturbations. I distinguish three varieties of robustness. Ordered robustness is grounded in the system’s specific organizational pattern. In contrast, disorderly robustness stems from the aggregate outcome of many similar parts. In between, we find semi-ordered robustness, wherein a messy ensemble of elements is subjected to a selection or stabilization mechanism. I give brief characterizations of each category, discuss examples and remark on the connection between the order/disorder axis and the notions of individual versus collective. (shrink)

Zero provides a challenge for philosophers of mathematics with realist inclinations. On the one hand it is a bona fide cardinal number, yet on the other it is linked to ideas of nothingness and non-being. This paper provides an analysis of the epistemology and metaphysics of zero. We develop several constraints and then argue that a satisfactory account of zero can be obtained by integrating an account of numbers as properties of collections, work on the philosophy of absences, and recent (...) work in numerical cognition and ontogenetic studies. (shrink)

This article articulates and assesses an imperatival approach to the foundations of mathematics. The core idea for the program is that mathematical domains of interest can fruitfully be viewed as the outputs of construction procedures. We apply this idea to provide a novel formalisation of arithmetic and set theory in terms of such procedures, and discuss the significance of this perspective for the philosophy of mathematics.

I argue that one intends that ϕ if one has a desire that ϕ and an appropriately related means-end belief. Opponents, including Setiya and Bratman, charge that this view can't explain three things. First, intentional action is accompanied by knowledge of what we are doing. Second, we can choose our reasons for action. Third, forming an intention settles a deliberative question about what to do, disposing us to cease deliberating about it. I show how the desire- belief view can explain (...) why these phenomena occur when they occur, and why they don't when they don't. (shrink)

Causal exclusion arguments are taken to threaten the autonomy of the special sciences, and the causal efficacy of mental properties. A recent line of response to these arguments has appealed to “independently plausible” and “well grounded” theories of causation to rebut key premises. In this paper I consider two papers which proceed in this vein and show that they share a common feature: they both require causes to be proportional to their effects. I argue that this feature is a bug, (...) and one that generalises: any attempt to rescue the autonomy of the special sciences, or the efficacy of the mental, from exclusion worries had better not look to proportionality for help. (shrink)

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...) and meta-theoretic properties when comparing first-order and second-order logic. (shrink)