When the benefits of surgery do not outweigh the harms or where they do not clearly do so, surgical interventions become morally contested. Cutting to the Core examines a number of such surgeries, including infant male circumcision and cutting the genitals of female children, the separation of conjoined twins, surgical sex assignment of intersex children and the surgical re-assignment of transsexuals, limb and face transplantation, cosmetic surgery, and placebo surgery.

How is human social intelligence engaged in the course of ordinary conversation? Standard models of conversation hold that language production and comprehension are guided by constant, rapid inferences about what other agents have in mind. However, the idea that mindreading is a pervasive feature of conversation is challenged by a large body of evidence suggesting that mental state attribution is slow and taxing, at least when it deals with propositional attitudes such as beliefs. Belief attributions involve contents that are decoupled (...) from our own primary representation of reality; handling these contents has come to be seen as the signature of full-blown human mindreading. However, mindreading in cooperative communication does not necessarily demand decoupling. We argue for a theoretical and empirical turn towards “factive” forms of mentalizing here. In factive mentalizing, we monitor what others do or do not know, without generating decoupled representations. We propose a model of the representational, cognitive, and interactive components of factive mentalizing, a model that aims to explain efficient real-time monitoring of epistemic states in conversation. After laying out this account, we articulate a more limited set of conversational functions for nonfactive forms of mentalizing, including contexts of meta-linguistic repair, deception, and argumentation. We conclude with suggestions for further research into the roles played by factive versus nonfactive forms of mentalizing in conversation. (shrink)

This is a preprint draft. Please cite published version (DOI: 10.1111/mila.12385). The aim of this paper is to provide a novel analysis of anorexia nervosa (AN) in the context of the sense of agency literature. I first show that two accounts of anorexia nervosa that we ought to take seriously— i.e., the first personal reports of those who have experienced it firsthand as well as the research that seeks to explain anorexic behavior from an empirical perspective— appear to be thoroughly (...) in tension with one another in their descriptions of anorexic actions. Rather than proceeding at this point by way of disregarding anorexic testimony as meaningless or insincere, I instead offer a positive account of the sense of agency in anorexia nervosa that renders these two depictions compatible. The resultant picture of anorexic behavior is one that accommodates current empirical findings while also providing valuable insight into how it is that anorexics can sincerely report feeling fully in control over their food restriction. (shrink)

‘Virtue signaling’ is the practice of using moral talk in order to enhance one’s moral reputation. Many find this kind of behavior irritating. However, some philosophers have gone further, arguing that virtue signaling actively undermines the proper functioning of public moral discourse and impedes moral progress. Against this view, I argue that widespread virtue signaling is not a social ill, and that it can actually serve as an invaluable instrument for moral change, especially in cases where moral argument alone does (...) not suffice. Specifically, virtue signaling can change the broader public’s social expectations, which can in turn motivate the adoption of new, positive social norms. I also argue that the reputation-seeking motives underlying virtue signaling impose important constraints on virtue signalers’ behavior, which serve to keep the worst excesses of virtue signaling in check. (shrink)

Character judgments play an important role in our everyday lives. However, decades of empirical research on trait attribution suggest that the cognitive processes that generate these judgments are prone to a number of biases and cognitive distortions. This gives rise to a skeptical worry about the epistemic foundations of everyday characterological beliefs that has deeply disturbing and alienating consequences. In this paper, I argue that this skeptical worry is misplaced: under the appropriate informational conditions, our everyday character-trait judgments are in (...) fact quite trustworthy. I then propose a mindreading-based model of the socio-cognitive processes underlying trait attribution that explains both why these judgments are initially unreliable, and how they eventually become more accurate. (shrink)

To demarcate the limits of experimental knowledge, we probe the limits of what might be called an experiment. By appeal to examples of scientific practice from astrophysics and analogue gravity, we demonstrate that the reliability of knowledge regarding certain phenomena gained from an experiment is not circumscribed by the manipulability or accessibility of the target phenomena. Rather, the limits of experimental knowledge are set by the extent to which strategies for what we call ‘inductive triangulation’ are available: that is, the (...) validation of the mode of inductive reasoning involved in the source-target inference via appeal to one or more distinct and independent modes of inductive reasoning. When such strategies are able to partially mitigate reasonable doubt, we can take a theory regarding the phenomena to be well supported by experiment. When such strategies are able to fully mitigate reasonable doubt, we can take a theory regarding the phenomena to be established by experiment. There are good reasons to expect the next generation of analogue experiments to provide genuine knowledge of unmanipulable and inaccessible phenomena such that the relevant theories can be understood as well supported. This article is part of a discussion meeting issue ‘The next generation of analogue gravity experiments’. (shrink)

We can infer moral conclusions from nonmoral evidence using a three-step procedure. First, we distinguish the processes generating belief so that their reliability in generating true belief is statistically predictable. Second, we assess the processes’ reliability, perhaps by observing how frequently they generate true nonmoral belief or logically inconsistent beliefs. Third, we adjust our credence in moral propositions in light of the truth ratios of the processes generating beliefs in them. This inferential route involves empirically discovering truths of the form (...) “Process P, which generates belief in moral proposition M, has truth ratio T", and using them to discover probabilities for moral propositions. The inferential route is noncircular, and progress along it is driven fundamentally by induction. (shrink)

In both Metaphysics Γ 4 and 5 Aristotle argues that Protagoras is committed to the view that all contradictions are true. Yet Aristotle’s arguments are not transparent, and later, in Γ 6, he provides Protagoras with a way to escape contradictions. In this paper I try to understand Aristotle’s arguments. After examining a number of possible solutions, I conclude that the best way of explaining them is to (a) recognize that Aristotle is discussing a number of Protagorean opponents, and (b) (...) import another of Protagoras’ views, namely the claim that there are always two logoi opposed to one another. (shrink)

Nietzsche takes moral judgments to be false beliefs, and encourages us to pursue subjective nonmoral value arising from our passions. His view that strong and unified passions make one virtuous is mathematically derivable from this subjectivism and a conceptual analysis of virtue, explaining his evaluations of character and the nature of the Overman.

Clinical ethics consultants (CECs) are not moral authorities. Standardization of CECs’ professional role does not confer upon them moral authority. Certification of particular CECs does not confer upon them moral authority (nor does it reflect such authority). Or, so we will argue. This article offers a distinctly Orthodox Christian response to those who claim that CECs—or any other academically trained bioethicist—retain moral authority (i.e., an authority to know and recommend the right course of action). This article proceeds in three parts. (...) First, we discuss recent movements toward the certification of CECs in the United States, focusing primarily on proposals and programs put forth by the American Society for Humanities and Bioethics (ASBH). Second, we outline two secular reasons to be concerned about the relevant trends toward certification. For one thing, certification is currently being advanced via political dominance, rather than gaining authority by reliance on rigorous philosophical argument or reason. For another, the trends operate on the assumption that there exists a secular, content-full, canonical, morality. There is no such morality. Next, we argue that Orthodox Christians should resist the current trends toward certification of CECs. Specifically, we unpack ways in which the ASBH’s certification program (and those like it) conflict with Orthodox claims about moral authority and the moral life more generally. We conclude that Orthodox Christians should resist the current certification trends. (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)

Disputes over territory are a major contributing factor to the disruption of international relations. We believe that a cumulative, integrated, and continuously updated resource providing information about such disputes in an easily accessible form would be of benefit to intelligence analysts, military strategists, political scientists, and also to historians and others concerned with international disputes. We propose an ontology-based strategy for creating such a resource. The resource will contain information about territorial disputes, arguments for and against claims pertaining to sovereignty, (...) proffered evidence for such claims, political and military motives (overt or hidden), and associated conflicts. Our approach is designed to address several issues surrounding the representation of geopolitical conflict, including the tracking and individuation of disputes and the validation of disseminated information. (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)

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)

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.

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)

This factsheet presents findings from a quantitative study looking at adults’ experiences of sending and sharing potentially harmful digital communications in New Zealand. Typically research into harmful digital communications focuses on the experiences of those on the receiving end – the victims. However, to better address the distress and harm caused, information is needed about the people sending and sharing potentially harmful messages and posts. In this study we asked adult New Zealanders whether they had sent potentially harmful digital communications (...) in the previous year and if so, how often they had done this, who they were sent to, the channel(s) they used, and the reason for doing this. (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)

Plato's Theaetetus discusses and ultimately rejects Protagoras's famous claim that "man is the measure of all things." The most famous of Plato's arguments is the Self-Refutation Argument. But he offers a number of other arguments as well, including one that I call the 'Future Argument.' This argument, which appears at Theaetetus 178a−179b, is quite different from the earlier Self-Refutation Argument. I argue that it is directed mainly at a part of the Protagorean view not addressed before , namely, that all (...) beliefs concerning one's own future sensible qualities are true. This part of the view is found to be inconsistent with Protagoras's own conception of wisdom as expertise and with his own pretenses at expertise in teaching. (shrink)

Outside of philosophy, the idea that workers deserve to be paid according to their productive contributions is very popular. But political philosophers have given it relatively little attention. In this paper, I argue against the attempt to use this idea about desert and contribution to vindicate significant income inequality. I claim that the inegalitarian invocation of reward according to contribution fails on its own terms when the following condition holds: the size of each worker's contribution depends on what others only (...) together do. When workers only together make another more productive, that is not reflected in the sum of their own contributions. Thus reward according to contribution recognizes individual accomplishments without recognizing their dependence on collectives, dependence that is, in complex economies, ubiquitous. (shrink)

In recent years, there has been a heated debate about how to interpret findings that seem to show that humans rapidly and automatically calculate the visual perspectives of others. In the current study, we investigated the question of whether automatic interference effects found in the dot-perspective task (Samson, Apperly, Braithwaite, Andrews, & Bodley Scott, 2010) are the product of domain-specific perspective-taking processes or of domain-general “submentalizing” processes (Heyes, 2014). Previous attempts to address this question have done so by implementing inanimate (...) controls, such as arrows, as stimuli. The rationale for this is that submentalizing processes that respond to directionality should be engaged by such stimuli, whereas domain-specific perspective-taking mechanisms, if they exist, should not. These previous attempts have been limited, however, by the implied intentionality of the stimuli they have used (e.g. arrows), which may have invited participants to imbue them with perspectival agency. Drawing inspiration from “novel entity” paradigms from infant gaze-following research, we designed a version of the dot-perspective task that allowed us to precisely control whether a central stimulus was viewed as animate or inanimate. Across four experiments, we found no evidence that automatic “perspective-taking” effects in the dot-perspective task are modulated by beliefs about the animacy of the central stimulus. Our results also suggest that these effects may be due to the task-switching elements of the dot-perspective paradigm, rather than automatic directional orienting. Together, these results indicate that neither the perspective-taking nor the standard submentalizing interpretations of the dot-perspective task are fully correct. (shrink)

It has been over two decades since Miranda Fricker labeled epistemic injustice, in which an agent is wronged in their capacity as a knower. The philosophical literature has proliferated with variants and related concepts. By considering cases in popular music, we argue that it is worth distinguishing a parallel phenomenon of art-interpretive injustice, in which an agent is wronged in their creative capacity as a possible artist. In section 1, we consider the prosecutorial use of rap lyrics in court as (...) a central case of this injustice. In section 2, we distinguish art-interpretive injustice from other categories already discussed in recent literature. In section 3, we discuss the relationship between genre discourse and identity prejudice. The case for recognizing the category of art-interpretive injustice is that it allows one to recognize a class of harms as being importantly related in ways that one would otherwise overlook. (shrink)

Phillips and colleagues convincingly argue that knowledge attribution is a faster, more automatic form of mindreading than belief attribution. However, they do not explain what it is about knowledge attribution that lends it this cognitive advantage. I suggest an explanation of the knowledge-attribution advantage that would also help to distinguish it from belief-based and minimalist alternatives.

John McDowell claims that virtuous people recognize moral reasons using a perceptual capacity that doesn't include desire. I show that the phenomena he cites are better explained if desire makes us see considerations favoring its satisfaction as reasons. The salience of moral considerations to the virtuous, like the salience of food to the hungry, exemplifies the emotional and attentional effects of desire. I offer a desire-based account of how we can follow uncodifiable rules of common-sense morality and how some reasons (...) can be silenced in deliberation. I conclude by arguing that animals can be virtuous by having the right desires. (shrink)

Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing considerations of (...) perturbations in modal space to bear on the debate, we will suggest that a promising option for representing current set-theoretic thought is given by formulating set theory using quasi-weak second-order logic. These observations indicate that the usual division of structures into \particular (e.g. the natural number structure) and general (e.g. the group structure) is perhaps too coarse grained; we should also make a distinction between intentionally and unintentionally general structures. (shrink)

In the small but growing literature on the philosophy of country music, the question of how we ought to understand the genre’s notion of authenticity has emerged as one of the central questions. Many country music scholars argue that authenticity claims track attributions of cultural standing or artistic self-expression. However, careful attention to the history of the genre reveals that these claims are simply factually wrong. On the basis of this, we have grounds for dismissing these attributions. Here, I argue (...) for an alternative model of authenticity in which we take claims about the relative authenticity of country music to be evidence of ‘country’ being a dual character concept in the same way that it has been suggested of punk rock and hip-hop. Authentic country music is country music that embodies the core value commitments of the genre. These values form the basis of country artists’ and audiences’ practical identities. Part of country music’s aesthetic practice is that audiences reconnect with, reify, and revise this common practical identity through identification with artists and works that manifest these values. We should then think of authenticity discourse within country music as a kind of game within the genre’s practice of shaping and maintaining this practical identity. (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.

Gorgias’ On Not-Being survives only in two divergent summaries. Diels–Kranz's classic edition prints the better-preserved version that appears in Sextus’ Aduersus Mathematicos. Yet, in recent years there has been rising interest in a second summary that survives as part of the anonymous De Melisso, Xenophane, Gorgia. The text of MXG is more difficult; it contains substantial lacunae that often make it much harder to make grammatical let alone philosophical sense of. As Alexander Mourelatos reports, one manuscript has a scribal note (...) that reads: "The original contains many errors; no one should blame me; I just copy what I see.". The treatise's state of preservation has aptly prompted Michael Gagarin to liken it to a black hole: "something we cannot see directly but know must exist because of certain effects it has on other objects.". (shrink)

Let mathematical justification be the kind of justification obtained when a mathematician provides a proof of a theorem. Are Gettier cases possible for this kind of justification? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I argue that Gettier cases are possible (and indeed actual) in mathematical (...) reasoning. By analysing these cases, I suggest that the Gettier phenomenon indicates some upshots for actual mathematical practice. (shrink)

This article addresses two areas of continuing controversy about consent in clinical research: the question of when consent to low risk research is necessary, and the question of when consent to research is valid. The article identifies a number of considerations relevant to determining whether consent is necessary, chief of which is whether the study would involve subjects in ways that would (otherwise) infringe their rights. When consent is necessary, there is a further question of under what conditions consent is (...) valid or successful in waiving a right. The most influential account of validity conditions is non-moralized, in the sense that the conditions make no essential reference to whether the researcher soliciting consent has obtained it in a way that wrongs the subject. The article examines the implications of this account, and compares it with recent accounts that moralize some of the validity conditions. -/- . (shrink)

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (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.

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 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.

Both mindreading and stereotyping are forms of social cognition that play a pervasive role in our everyday lives, yet too little attention has been paid to the question of how these two processes are related. This paper offers a theory of the influence of stereotyping on mental-state attribution that draws on hierarchical predictive coding accounts of action prediction. It is argued that the key to understanding the relation between stereotyping and mindreading lies in the fact that stereotypes centrally involve character-trait (...) attributions, which play a systematic role in the action–prediction hierarchy. On this view, when we apply a stereotype to an individual, we rapidly attribute to her a cluster of generic character traits on the basis of her perceived social group membership. These traits are then used to make inferences about that individual’s likely beliefs and desires, which in turn inform inferences about her behavior. (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)

In Thus Spoke Zarathustra, Nietzsche presents passion as constituting human agency. He encountered this Humean view in Schopenhauer, and recognized its explanatory advantages over Platonic and Kantian rationalism. Zarathustra's poetic speeches anticipate and address contemporary objections to the view that passion constitutes agency. "On the Despisers of the Body" explains why understanding the self as constituted by passion provides better explanations of reasoning, value judgment, and the unity of the self than Christine Korsgaard's neo-Kantian view. "On Enjoying and Suffering the (...) Passions" explains why understanding virtues as constituted by passions provides a better explanation of moral phenomenology than John McDowell's rationalism. (shrink)

In this article, I survey some philosophical attitudes to talk concerning `the' universe of sets. I separate out four different strands of the debate, namely: (i) Universism, (ii) Multiversism, (iii) Potentialism, and (iv) Pluralism. I discuss standard arguments and counterarguments concerning the positions and some of the natural mathematical programmes that are suggested by the various views.

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)

The current industrial revolution is said to be driven by the digitization that exploits connected information across all aspects of manufacturing. Standards have been recognized as an important enabler. Ontology-based information standard may provide benefits not offered by current information standards. Although there have been ontologies developed in the industrial manufacturing domain, they have been fragmented and inconsistent, and little has received a standard status. With successes in developing coherent ontologies in the biological, biomedical, and financial domains, an effort called (...) Industrial Ontologies Foundry (IOF) has been formed to pursue the same goal for the industrial manufacturing domain. However, developing a coherent ontology covering the entire industrial manufacturing domain has been known to be a mountainous challenge because of the multidisciplinary nature of manufacturing. To manage the scope and expectations, the IOF community kicked-off its effort with a proof-of-concept (POC) project. This paper describes the developments within the project. It also provides a brief update on the IOF organizational set up. (shrink)

Nietzsche and Hume agree that desire drives all human action and practical reasoning. This shared view helps them appreciate continuities between human and animal motivation and sets them against a long tradition of rationalist rivals including Kant and Plato. In responding to Kant, Nietzsche further developed the Humean views that Kant himself was responding to. Kantians like Christine Korsgaard argue that reflective endorsement and rejection of options presented by desire demonstrates reason’s ability to independently drive reasoning and action. In Daybreak (...) 109, Nietzsche provides a simpler Humean explanation: reflective endorsement and rejection involve reflecting on one desire from the viewpoint of another, with desire as the only motivational force. This explains the attentional and hedonic phenomenology of reflective endorsement without ascribing any motivational force to rational processes independent of desire. (shrink)

This essay argues that there are theoretical benefits to keeping distinct—more pervasively than the literature has done so far—the psychological states of imagining that p versus believing that in-the-story p, when it comes to cognition of fiction and other forms of narrative. Positing both in the minds of a story’s audience helps explain the full range of reactions characteristic of story consumption. This distinction also has interesting conceptual and explanatory dimensions that haven’t been carefully observed, and the two mental state (...) types make distinct contributions to generating emotional responses to stories. Finally, the differences between the mental states illuminate how a given story can be both shared with others and at the same time experienced as personal. (shrink)

I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some questions (...) about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

Social norms are commonly understood as rules that dictate which behaviors are appropriate, permissible, or obligatory in different situations for members of a given community. Many researchers have sought to explain the ubiquity of social norms in human life in terms of the psychological mechanisms underlying their acquisition, conformity, and enforcement. Existing theories of the psychology of social norms appeal to a variety of constructs, from prediction-error minimization, to reinforcement learning, to shared intentionality, to domain-specific adaptations for norm acquisition. In (...) this paper, we propose a novel methodological and conceptual framework for the cognitive science of social norms that we call normative pluralism. We begin with an analysis of the explanatory aims of the cognitive science of social norms. From this analysis, we derive a recommendation for a reformed conception of its explanandum: a minimally psychological construct that we call normative regularities. Our central empirical proposal is that the psychological underpinnings of social norms are most likely realized by a heterogeneous set of cognitive, motivational, and ecological mechanisms that vary between norms and between individuals, rather than by a single type of process or distinctive norm system. This pluralistic approach, we suggest, offers a methodologically sound point of departure for a fruitful and rigorous science of social norms. (shrink)

Keeping track of what others believe is a central part of human social cognition. However, the social relevance of those beliefs can vary a great deal. Some belief attributions mostly tell us about what a person is likely to do next. Other belief attributions tell us more about a person's social identity. In this paper, I argue that we cope with this challenge by employing two distinct concepts of belief in our everyday social interactions. The epistemic concept of belief is (...) primarily used to keep track of what other people take to be true, and this informs how we predict and interpret their behaviors. The symbolic concept of belief, in contrast, is primarily used as a means of signaling one's social identity to other members of one's community. In turn, community members closely monitor each other's symbolic beliefs as a means of enforcing social norms. (shrink)

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 long tradition in theology holds that the divine is in some sense incomprehensible, ineffable, or indescribable. This is mirrored in the set-theoretic literature by those who hold that the universe of sets is incomprehensible, ineffable, or indescribable. In this latter field, set theorists often study reflection principles; axioms that posit indescribability properties of the universe. This paper seeks to examine a theological reflection principle, which can be used to deliver a very rich ontology. I argue that in analogy with (...) set-theoretic reflection principles, we should understand theological reflection via schematic commitment. (shrink)