This paper explores connections between theories of morality and theories of properties. It argues that (1) moral realism is in tension with predicate, class and mereological nominalism; (2) moral non-naturalism is incompatible with standard versions of resemblance nominalism, immanent realism and trope theory; and (3) the standard semantic arguments for property realism do not support moral realism. I also raise doubts about trope-theoretic explanations of moral supervenience and argue against one version of the principle that we should accept theories that (...) maintain neutrality. (shrink)

Getting physical: Empiricism’s medical History Content Type Journal Article DOI 10.1007/s11016-010-9474-4 Authors John Gascoigne, School of History and Philosophy, University of New South Wales, Sydney, NSW 2056, Australia Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

Awarding rights to rivers, forests, and other environmental entities (EEs) is a new and increasingly popular approach to environmental protection. The distinctive feature of such rights of nature (RoN) legislation is that direct duties are owed to the EEs. This paper presents a novel rebuttal of the strongest argument against RoN: the no interest argument. The crux of this argument is that because EEs are not sentient, they cannot possess the kinds of interests necessary to ground direct duties. Therefore, they (...) cannot be legitimate rights-bearers. After considering and rejecting standard responses to this argument, the paper challenges its fundamental assumption: that rights-correlative duties must be grounded in the interests of the rights-bearer. The paper then presents the RoN critic with a dilemma. The critic must either accept that EEs are legitimate rights-bearers, or delegitimise many well-established rights-bearers along with EEs. Either way, the no interest argument loses its force. (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.

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.

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)

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)

Parents play a critical role in their child’s personal development and day-to-day experiences. However, as digital technologies are increasingly embedded in most New Zealand children’s everyday life activities parents face the task of ensuring their child’s online safety. To do so, they need to understand the way their child engages with and through these tools and make sense of the rapidly changing, and more technically complex, nature of digital devices. This presents a digital parenting dilemma: maximising children’s online opportunities while (...) minimising online risks and potential harm. This factsheet presents evidence about digital parenting in New Zealand based on nationally representative data collected from parents, caregivers and whānau and their children aged 9-17. It uses measures from the Global Kids Online project to explore the prevalence of different practices used by New Zealand parents to influence or mediate children’s internet use. (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)

This chapter considers the nature of imagination and belief, exploring how deeply these two states of mind differ. It first addresses a range of cognitive and motivational differences between imagination and belief which suggest that they're fundamentally different states of mind. Then it addresses imaginative immersion, delusions, and the different norms we apply to the two mental states, which some theorists regard as providing support for a more unified picture of imagination and belief.

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)

This paper argues that a counterpart-theoretic treatment of events, combined with a counterfactual theory of causation, can help resolve three puzzles from the causation literature. First, CCT traces the apparent contextual shifts in our causal attributions to shifts in the counterpart relation which obtains in those contexts. Second, being sensitive to shifts in the counterpart relation can help diagnose what goes wrong in certain prominent examples where the transitivity of causation appears to fail. Third, CCT can help us resurrect the (...) much-maligned fragility response to the problems of late pre-emption by understanding fragility in counterpart-theoretic terms. Some reasons to prefer this CCT approach to rivals are discussed. (shrink)

In this paper I argue that the common practice of employing moral predicates as explaining phrases can be accommodated on an expressivist account of moral practice. This account does not treat moral explanations as in any way second-rate or derivative, since it subsumes moral explanations under the general theory of program explanations (as defended by Jackson and Pettit). It follows that the phenomenon of moral explanations cannot be used to adjudicate the debate between expressivism and its rivals.

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)

This paper argues that qualia share their physical correlates' locations. The first premise comes from the theory of relativity: If something shares a time with a physical event in all reference frames, it shares that physical event’s location. The second premise is that qualia share times with their correlates in all reference frames. Having qualia and correlates share locations makes relations between them easier to explain, improving both physicalist and dualist theories.

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.

It is commonly assumed that causation is transitive and in this paper I aim to reconcile this widely-held assumption with apparent evidence to the contrary. I will discuss a familiar approach to certain well-known counterexamples, before introducing a more resistant sort of case of my own. I will then offer a novel solution, based on Yablo’s proportionality principle, that succeeds in even these more resistant cases. There is a catch, however. Either proportionality is a constraint on which causal claims are (...) true, and the solution works, or it is not and causation is not transitive after all. I will argue that the first horn has unacceptable consequences and should be rejected, but that the second horn is less costly than it might initially appear. (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)

Here I advance a unified account of the structure of the epistemic normativity of assertion, action, and belief. According to my Teleological Account, all of these are epistemically successful just in case they fulfill the primary aim of knowledgeability, an aim which in turn generates a host of secondary epistemic norms. The central features of the Teleological Account are these: it is compact in its reliance on a single central explanatory posit, knowledge-centered in its insistence that knowledge sets the fundamental (...) epistemic norm, and yet fiercely pluralistic in its acknowledgment of the legitimacy and value of a rich range of epistemic norms distinct from knowledge. Largely in virtue of this pluralist character, I argue, the Teleological Account is far superior to extant knowledge-centered accounts. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing the (...) BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. (shrink)

Propositionalism is the view that the contents of intentional attitudes have a propositional structure. Objectualism opposes propositionalism in allowing the contents of these attitudes to be ordinary objects or properties. Philosophers including Talbot Brewer, Paul Thagard, Michelle Montague, and Alex Grzankowski attack propositionalism about such attitudes as desire, liking, and fearing. This article defends propositionalism, mainly on grounds that it better supports psychological explanations.

In this paper we sketch a new version of aesthetic expressivism. We argue that one advantage of this view is that it explains various putative norms on the formation and revision of aesthetic judgement. We begin by setting out our proposed explananda and a sense in which they can be understood as governing the correct response to putative higher-order evidence in aesthetics. We then summarise some existing discussions of expressivist attempts to explain these norms, and objections raised to them. This (...) will allow us to identify the pitfalls that a good expressivist explanation needs to avoid. Finally, we sketch our preferred version of aesthetic expressivism which includes as a crucial part a hypothesis concerning the distinctive expressive function of aesthetic practice. We then consider how this theory can explain the putative aesthetic norms whilst avoiding the previous objections. (shrink)

This paper presents the Universality Argument that pleasure is goodness. The first premise defines goodness as what should please all. The second premise reduces 'should' to perceptual accuracy. The third premise invokes a universal standard of accuracy: qualitative identity. Since the pleasure of all is accurate solely about pleasure, pleasure is goodness, or universal moral value. The argument proceeds from a moral sense theory that analyzes moral concepts as concerned with what all should hope for, feel guilty about, and admire. (...) This requires rejecting practical anti-empiricism, the view that moral judgment concerns empirically inaccessible norms governing action. (shrink)

Some philosophers (including Urmson, Humberstone, Shah, and Velleman) hold that believing that p distinctively involves applying a norm according to which the truth of p is a criterion for the success or correctness of the attitude. On this view, imagining and assuming differ from believing in that no such norm is applied. I argue against this view with counterexamples showing that applying the norm of truth is neither necessary nor sufficient for distinguishing believing from imagining and assuming. Then I argue (...) that the different functional properties of these mental states are enough to distinguish them, and that norm-application doesn't help us draw the functional distinctions. (shrink)

Ethical reductionism is the best version of naturalistic moral realism. Reductionists regard moral properties as identical to properties appearing in successful scientific theories. Nonreductionists, including many of the Cornell Realists, argue that moral properties instead supervene on scientific properties without identity. I respond to two arguments for nonreductionism. First, nonreductionists argue that the multiple realizability of moral properties defeats reductionism. Multiple realizability can be addressed in ethics by identifying moral properties uniquely or disjunctively with properties of the special sciences. Second, (...) nonreductionists argue that irreducible moral properties explain empirical phenomena, just as irreducible special-science properties do. But since irreducible moral properties don't successfully explain additional regularities, they run the risk of being pseudoscientific properties. Reductionism has all the benefits of nonreductionism, while also being more secure against anti-realist objections because of its ontological simplicity. (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)

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)

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.

This paper applies the theory of teleosemantics to the issue of moral content. Two versions of teleosemantics are distinguished: input-based and output-based. It is argued that applying either to the case of moral judgements generates the conclusion that such judgements have both descriptive (belief-like) and directive (desire-like) content, intimately entwined. This conclusion directly validates neither descriptivism nor expressivism, but the application of teleosemantics to moral content does leave the descriptivist with explanatory challenges which the expressivist does not face. Since teleosemantics (...) ties content to function, the paper also offers an account of the evolutionary function of moral judgements. (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)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

This paper is a concise survey of recent expressivist theories of discourse, focusing on the ethical case. For each topic discussed recent trends are summarised and suggestions for further reading provided. Issues covered include: the nature of the moral attitude; ‘hybrid’ views according to which moral judgements express both beliefs and attitudes; the quasi-realist programmes of Simon Blackburn and Allan Gibbard; the problem of creeping minimalism; the nature of the ‘expression’ relation; the Frege-Geach problem; the problem of wishful thinking; the (...) role of moral intuitions; expressivism in aesthetics. (shrink)

This paper outlines a new metasemantic theory of moral reason statements, focused on explaining how the reasons thus stated can be inescapable. The motivation for the theory is in part that it can explain this and other phenomena concerning moral reasons. The account also suggests a general recipe for explanations of conceptual features of moral reason statements. (Published with Open Access.).

The moral belief problem is that of reconciling expressivism in ethics with both minimalism in the philosophy of language and the syntactic discipline of moral sentences. It is argued that the problem can be solved by distinguishing minimal and robust senses of belief, where a minimal belief is any state of mind expressed by sincere assertoric use of a syntactically disciplined sentence and a robust belief is a minimal belief with some additional property R. Two attempts to specify R are (...) discussed, both based on the thought that beliefs are states that aim at truth. According to the first, robust beliefs are criticisable to the extent that their content fails to match the state of the world. This sense fails to distinguish robust beliefs from minimal beliefs. According to the second, robust beliefs function to have their content match the state of the world. This sense succeeds in distinguishing robust beliefs from minimal beliefs. The conclusion is that the debate concerning the cognitive status of moral convictions needs to address the issue of the function of moral convictions. Evolutionary theorising may be relevant, but will not be decisive, in answering this question. (shrink)

Many philosophers argue that the face-value of moral practice provides presumptive support to moral realism. This paper analyses such arguments into three steps. (1) Moral practice has a certain face-value, (2) only realism can vindicate this face value, and (3) the face-value needs vindicating. Two potential problems with such arguments are discussed. The first is taking the relevant face-value to involve explicitly realist commitments; the second is underestimating the power of non-realist strategies to vindicate that face-value. Case studies of each (...) of these errors are presented, drawn from the writings of Shafer-Landau, Brink and McNaughton, and from recent work in experimental metaethics. The paper then considers weak presumptive arguments, according to which both realist and non-realist vindications of moral practice are possible, but the realist vindications are more natural. It is argued that there is no sense of ‘natural’ available that can make these arguments work. The conclusion is that all extant presumptive arguments for moral realism fail. (shrink)

I argue that if David Lewis’ modal realism is true, modal realists from different possible worlds can fall in love with each other. I offer a method for uniquely picking out possible people who are in love with us and not with our counterparts. Impossible lovers and trans-world love letters are considered. Anticipating objections, I argue that we can stand in the right kinds of relations to merely possible people to be in love with them and that ending a trans-world (...) relationship to start a relationship with an actual person isn't cruel to one's otherworldly lover. (shrink)

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)

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.

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)

Consider two deeply appealing thoughts: first, that we experience external particulars, and second, that what it’s like to have an experience – the phenomenal character of an experience – is somehow independent of external particulars. The first thought is readily captured by phenomenal particularism, the view that external particulars are sometimes part of the phenomenal character of experience. The second thought is readily captured by phenomenal generalism, the view that external particulars are never part of phenomenal character. -/- Here I (...) show that a novel version of phenomenal generalism can capture both thoughts in a satisfying fashion. Along the way, I reveal severe problems facing phenomenal particularism and also shed light on the mental kinds under which experiences fall. (shrink)

This paper advances three necessary conditions on a successful account of sentential negation. First, the ability to explain the constancy of sentential meaning across negated and unnegated contexts (the Fregean Condition). Second, the ability to explain why sentences and their negations are inconsistent, and inconsistent in virtue of the meaning of negation (the Semantic Condition). Third, the ability of the account to generalize regardless of the topic of the negated sentence (the Generality Condition). The paper discusses three accounts of negation (...) available to moral expressivists. The first—the dominant commitment account—fails to meet the Fregean Condition. The two remaining accounts—commitment semantics and the expression account—satisfy all three conditions. A recent argument that the dominant commitment account is the only option available to expressivists is considered and rejected. (shrink)

In this paper I argue that the explanationist argument in favour of moral realism fails. According to this argument, the ability of putative moral properties to feature in good explanations provides strong evidence for, or entails, the metaphysical claims of moral realism. Some have rejected this argument by denying that moral explanations are ever good explanations. My criticism is different. I argue that even if we accept that moral explanations are (sometimes) good explanations the metaphysical claims of realism do not (...) follow. (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)

Christine Korsgaard argues that Humean views of both action and rationality jointly imply the impossibility of irrational action, allowing us only to perform actions that we deem rational. Humeans can answer Korsgaard’s objection if their views of action and rationality measure agents’ actual desires differently. What determines what the agent does are the motivational forces that desires produce in the agent at the moment when she decides to act, as these cause action. What determines what it is rational to do (...) should be the agent’s dispositional desire strengths, as our normative intuitions respond to these. (shrink)

Trust not only disposes us to feel betrayed, trust can be betrayed. Understanding what a betrayal of trust is requires understanding how trust can ground an obligation on the part of the trusted person to act specifically as trusted. This essay argues that, since trust cannot ground an appropriate obligation where there is no prior obligation, a betrayal of trust should instead be conceived as the violation of a trust-based obligation to respect an already existing obligation. Two forms of trust (...) are evaluated for their potential to ground such a second-order obligation. One form counts as a gift to the trusted person only because it does not involve an expectation of trustworthiness; the other form cannot count as a gift but confers an honor because it does include an expectation of trustworthiness. Only trust that confers an honor generates a second-order obligation whose violation would be a betrayal of trust. -/- . (shrink)

I present a novel objection to fine-tuning arguments for God's existence. On any values of the physical constants, the psychophysical laws could be set to permit intelligent and happy beings, so the specific values of the physical constants in our world provide little evidence for God's existence. For example, even if the physical constants didn't allow carbon or any atoms larger than hydrogen, the psychophysical laws could be set so that charge is sufficient to realize romantic desire. Then every hydrogen (...) atom would be a proton and electron in love. (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.

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)