This essay examines the possibility that phenomenological laws might be implemented by a computational mechanism by carefully analyzing key passages from the Prolegomena to Pure Logic. Part I examines the famous Denkmaschine passage as evidence for the view that intuitions of evidence are causally produced by computational means. Part II connects the less famous criticism of Avenarius & Mach on thought-economy with Husserl's 1891 essay 'On the Logic of Signs (Semiotic).' Husserl is shown to reaffirm his earlier opposition to associationist (...) (Humean) and adaptationist (Darwinian) explanations of our thought-machine on the ground that they cannot reconstruct the notion of truth and its syntactic mental preservation in symbolic thought-trains. Part III reveals Husserl's interesting commitment to the idea that descriptive sciences necessarily transform into explanatory sciences on pain of contradicting the essence of science as a rational ideal. Since explanation in relation to phenomenology means causal explanation, and causal explanation in the form of the Denkmaschine accounts for phenomenological intuition, it is inferred that the rationally compelling ideal of explanatory science requires a computationalist reading of the subsequent logical investigations. (shrink)

This essay examines Qoheleth’s Catalogue of the Times poem in Eccl 3:2–8. I argue that the two most common scholarly interpretations of the poem’s overall meaning fail to sufficiently account for its literary context and that an underdeveloped alternative reading is to be preferred. When we read the poem in light of two other closely related passages, 1:4–11 and 3:9–15, it becomes clear that a poem ostensibly about “time” is much less concerned with “timing” than is typically thought, but instead (...) signifies Qoheleth’s frustration with the inevitable equilibrating tendency embedded into every human task. (shrink)

Following neo-Aristotelians Alasdair MacIntyre and Martha Nussbaum, we claim that humans are story-telling animals who learn from the stories of diverse others. Moral agents use rational emotions, such as compassion which is our focus here, to imaginatively reconstruct others’ thoughts, feelings and goals. In turn, this imaginative reconstruction plays a crucial role in deliberating and discerning how to act. A body of literature has developed in support of the role narrative artworks (i.e. novels and films) can play in allowing us (...) the opportunity to engage imaginatively and sympathetically with diverse characters and scenarios in a safe protected space that is created by the fictional world. By practising what Nussbaum calls a ‘loving attitude’, her version of ethical attention, we can form virtuous habits that lead to phronesis (practical wisdom). In this paper, and taking compassion as an illustrative focus, we examine the ways that students’ moral education might usefully develop from engaging with narrative artworks through Philosophy for Children (P4C), where philosophy is a praxis, conducted in a classroom setting using a Community of Inquiry (CoI). We argue that narrative artworks provide useful stimulus material to engage students, generate student questions, and motivate philosophical dialogue and the formation of good habits which, in turn, supports the argument for philosophy to be taught in schools. (shrink)

Contemporary philosopher David Benatar has advanced the self-evidently controversial claim that “coming into existence is always a harm.” Benatar’s argument turns on the basic asymmetry between pleasure and pain, an asymmetry he seeks to explain by the principle that those who never exist cannot be deprived. Benatar’s import is almost incredible: humans should cease to procreate immediately, thereby engendering the extinction of the species—a view known as “anti-natalism.” According to many of his readers, the ancient Hebrew sage Qoheleth expresses a (...) pessimistic nihilism that runs as thick as Benatar’s. Prima facie grounding for this assertion is that Qoheleth, like Benatar, raises the issue of whether coming into existence may be a harm—and gives an affirmative answer. In two passages, Ecclesiastes 6:1-6 and 4:1-3, Qoheleth declares that an unborn hypothetical person is “better off” than their existent counterpart. Yet the meaning and implication of these words is far from obvious. Does Qoheleth imply that the non-exister’s state, and non-existence in general, is universally superior to existence? Or is he instead speaking exceptionally, of particular persons in rare circumstances? By examining the two “better”-statements in their literary context, I will argue that Qoheleth intends these examples as exceptions. He does not go so far as to make the supremely nihilistic claim that coming into existence is always, or even generally, a net harm; yet, he does concede that in certain cases, it can be. Beyond this, I will explore how the two thinkers’ divergent conclusions can be traced to a deeper difference of philosophical method. This question concerning non-existence opens a window to Qoheleth’s broader scheme of values and therefore serves as a surprisingly useful entry point by which to engage his philosophy. The paper utilizes the methodology Jaco Gericke has recently termed “philosophical criticism,” but specifically applied to Qoheleth. (shrink)

Functional diversity holds the promise of understanding ecosystems in ways unattainable by taxonomic diversity studies. Underlying this promise is the intuition that investigating the diversity of what organisms actually do—i.e. their functional traits—within ecosystems will generate more reliable insights into the ways these ecosystems behave, compared to considering only species diversity. But this promise also rests on several conceptual and methodological—i.e. epistemic—assumptions that cut across various theories and domains of ecology. These assumptions should be clearly addressed, notably for the sake (...) of an effective comparison and integration across domains, and for assessing whether or not to use functional diversity approaches for developing ecological management strategies. The objective of this contribution is to identify and critically analyze the most salient of these assumptions. To this aim, we provide an “epistemic roadmap” that pinpoints these assumptions along a set of historical, conceptual, empirical, theoretical, and normative dimensions. (shrink)

We analyse Hutto & Myin's three arguments against computationalism [Hutto, D., E. Myin, A. Peeters, and F. Zahnoun. Forthcoming. “The Cognitive Basis of Computation: Putting Computation In Its Place.” In The Routledge Handbook of the Computational Mind, edited by M. Sprevak, and M. Colombo. London: Routledge.; Hutto, D., and E. Myin. 2012. Radicalizing Enactivism: Basic Minds Without Content. Cambridge, MA: MIT Press; Hutto, D., and E. Myin. 2017. Evolving Enactivism: Basic Minds Meet Content. Cambridge, MA: MIT Press]. The Hard Problem (...) of Content targets computationalism that relies on semantic notion of computation, claiming that it cannot account for the natural origins of content. The Intentionality Problem is targeted against computationalism using non-semantic accounts of computation, arguing that it fails in explaining intentionality. Theion Problem claims that causal interaction between concrete physical processes and abstract computational properties is problematic. We argue that these a... (shrink)

In this short paper, we show that a popular view in information science, information-as-thing, fails to account for a common example of information that seems physical. We then demonstrate how the distinction between types and tokens, recently used to analyse Shannon information, can account for this same example by viewing information as abstract, and discuss existing definitions of information that are consistent with this approach. -/- Dans ce court article nous montrons qu'une vision populaire en sciences de l'information, l'information en (...) tant qu’une chose, échoue à rendre compte d'un exemple commun d'information qui semble physique. Nous démontrons ensuite comment la distinction type/token, utilisée récemment pour analyser l'information de Shannon, peut rendre compte de ce même exemple en considérant l'information comme abstraite, et nous discutons des définitions existantes de l’information qui sont compatibles avec cette approche. (shrink)

Je défends ici la nécessité, et ébauche une première version, d’une théorie iconique des propositions. Selon celle-ci, les propositions sont comme les objets de représentation, ou similaires à eux. Les propositions, suivant cette approche, sont des propriétés que l’esprit instancie lorsqu’il modélise le monde. Je connecte cette théorie aux récents développements de la littérature académique sur les propositions, ainsi qu’à une branche de recherches en sciences cognitives, qui explique certains types de représentations mentales en termes d’iconicité. I motivate the need (...) for, and then sketch, an iconic theory of propositions according to which propositions are like or similar to their objects of representation. Propositions on this theory are properties that the mind instantiates when it models the world. I connect the theory to recent developments in the propositions literature as well as to a strain of cognitive science that explains some kinds of mental representation in terms of iconicity. (shrink)

In his book, The Grounds of Moral Judgment, Russell Grice argues for a thesis he calls "the contract ground thesis," which connects the interest of members of a group in making a contract to the existence of an obligation and reason to abide by that contract. This thesis has been challenged by Jesse Kalin and subsequently defended by Grice. We show that Grice's defense fails--the contract ground thesis is without justification.

Hume once argued the basic science to be not physics but “the science of man” and the foundation of this science to be the empiricist mechanism of association governed by the law of similarity in appearance—now more popular than ever in the form of artificial neural networks. I update Hume’s picture by showing phenomenology to be centrally concerned with providing a unifying basis for all the sciences (including physics) by going beyond the psychology of associationism (passive synthesis) to reveal phenomena (...) that are irreducibly syntactic (not associative) in structure. I therefore argue that the language of thought (LOT) is the necessary mechanism at the basis of these descriptive phenomena. I conclude by sketching a new picture of all the sciences unified by LOT based on Husserl’s opposition to Galilean “physicomathematical” science vis-à-vis the life-world (Lebenswelt). (shrink)

This paper explores an emerging sub-field of both empirical bioethics and experimental philosophy, which has been called “experimental philosophical bioethics” (bioxphi). As an empirical discipline, bioxphi adopts the methods of experimental moral psychology and cognitive science; it does so to make sense of the eliciting factors and underlying cognitive processes that shape people’s moral judgments, particularly about real-world matters of bioethical concern. Yet, as a normative discipline situated within the broader field of bioethics, it also aims to contribute to substantive (...) ethical questions about what should be done in a given context. What are some of the ways in which this aim has been pursued? In this paper, we employ a case study approach to examine and critically evaluate four strategies from the recent literature by which scholars in bioxphi have leveraged empirical data in the service of normative arguments. (shrink)

In this paper I develop an argument against a type of Non-Analytic Normative Naturalism. This argument, the Normative Property Dualism Argument, suggests that, if Non-Analytic Normative Naturalists posit that normative properties are identical to natural properties and that such identities are a posteriori, they will be forced to posit that these properties which are both normative and natural have higher-order normative properties of their own.

In this paper I develop an argument against applying a causal theory of mental content to normative concepts. This argument—which I call the Intrapersonal Normative Twin Earth Argument—is inspired by Terry Horgan and Mark Timmons’ Moral Twin Earth Argument. The focus of Horgan and Timmons’ argument is showing that causal theories of mental content conflict with plausible claims about interpersonal normative disagreement. The Intrapersonal Normative Twin Earth Argument, by contrast, is focused on showing that such theories struggle to vindicate plausible (...) claims concerning whether two of an agent’s token normative thoughts have the same or distinct content. (shrink)

The paper points out that the modern formulation of Bohm’s quantum theory known as Bohmian mechanics is committed only to particles’ positions and a law of motion. We explain how this view can avoid the open questions that the traditional view faces according to which Bohm’s theory is committed to a wave-function that is a physical entity over and above the particles, although it is defined on configuration space instead of three-dimensional space. We then enquire into the status of the (...) law of motion, elaborating on how the main philosophical options to ground a law of motion, namely Humeanism and dispositionalism, can be applied to Bohmian mechanics. In conclusion, we sketch out how these options apply to primitive ontology approaches to quantum mechanics in general. (shrink)

In the article "What Sin Is: A Differential Analysis," Jesse Couenhoven delves into the definitions and categorizations of sin according to various Christian doctrines. The author critically examines traditional definitions, such as those provided by the Westminster Confession and catechisms, and argues that they fail to adequately distinguish between sin and evil, often conflating natural evils with sinful acts. Couenhoven also considers gray areas of ethical behavior, such as the actions of a schizophrenic who curses against God or the (...) mistakes made by medical residents that result in harm to patients, and questions whether these actions should be classified as sin. The primary question driving the article is how sin is differentiated from that which is "merely" evil. To address this, Couenhoven analyzes and evaluates three views of sin, testing their coherence with Christian beliefs and practices. The article aims to provide a more nuanced and sufficient understanding of sin within the Christian tradition, going beyond the necessary elements of the doctrine of sin to better identify and differentiate sin from evil. (shrink)

Metaethical constructivism aims to explain morality’s authority and relevance by basing it in agency, in a capacity of the creatures who are in fact morally bound. But constructivists have struggled to wring anything recognizably moral from an appropriately minimal conception of agency. Even if they could, basing our reasons in our individual agency seems to make other people reason-giving for us only indirectly. This paper argues for a constructivism based on a social conception of agency, on which our capacity to (...) recognize ourselves as having reasons ties us inescapably to others. It argues that mutual recognition is a pervasive feature of linguistic concepts, and builds this into a view called transformative expressivism. (shrink)

The modal account of luck is the predominant account of luck in epistemology and ethics. In the first half of this paper, I discuss three possible interpretations of the modal account and raise objections to each. I then raise an objection to all plausible versions of the modal account, that is, that whether an event is lucky or the extent to which it is a matter of luck will depend on what initial conditions or features of the event one holds (...) constant across nearby possible worlds. However, there is often reasonable disagreement about what the relevant initial conditions of an event are, and the modal account of luck has no means of determining which description of the event is correct. As such, the modal account is subject to a kind of reference class problem, and the view cannot actually tell us the extent to which certain events are a matter of luck. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...) theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

Some feminists hold that surrogacy contracts should be unenforceable or illegal because they contribute to and perpetuate unjust gender inequalities. I argue that in developed countries, surrogacy contracts either wouldn't have these negative effects or that these effects could be mitigated via regulation. Furthermore, the existence of a regulated surrogacy market is preferable on consequentialist grounds.

Moral metasemantic theories explain how our moral thought and talk are about certain properties. Given the connection between what our moral terms are about and which moral claims are true, it might be thought that metasemantic theorising can justify first-order ethical conclusions, thus providing a novel way of doing moral epistemology. In this paper, we spell out one kind of argument from metasemantic theories to normative ethical conclusions, and argue that it fails to transmit justification from premises to conclusion. We (...) give three reasons for this transmission failure, which together pose a serious challenge to such metasemantic arguments. (shrink)

The representations of deep convolutional neural networks (CNNs) are formed from generalizing similarities and abstracting from differences in the manner of the empiricist theory of abstraction (Buckner, Synthese 195:5339–5372, 2018). The empiricist theory of abstraction is well understood to entail infinite regress and circularity in content constitution (Husserl, Logical Investigations. Routledge, 2001). This paper argues these entailments hold a fortiori for deep CNNs. Two theses result: deep CNNs require supplementation by Quine’s “apparatus of identity and quantification” in order to (1) (...) achieve concepts, and (2) represent objects, as opposed to “half-entities” corresponding to similarity amalgams (Quine, Quintessence, Cambridge, 2004, p. 107). Similarity amalgams are also called “approximate meaning[s]” (Marcus & Davis, Rebooting AI, Pantheon, 2019, p. 132). Although Husserl inferred the “complete abandonment of the empiricist theory of abstraction” (a fortiori deep CNNs) due to the infinite regress and circularity arguments examined in this paper, I argue that the statistical learning of deep CNNs may be incorporated into a Fodorian hybrid account that supports Quine’s “sortal predicates, negation, plurals, identity, pronouns, and quantifiers” which are representationally necessary to overcome the regress/circularity in content constitution and achieve objective (as opposed to similarity-subjective) representation (Burge, Origins of Objectivity. Oxford, 2010, p. 238). I base myself initially on Yoshimi’s (New Frontiers in Psychology, 2011) attempt to explain Husserlian phenomenology with neural networks but depart from him due to the arguments and consequently propose a two-system view which converges with Weiskopf’s proposal (“Observational Concepts.” The Conceptual Mind. MIT, 2015. 223–248). (shrink)

Background: Recent literature on addiction and judgments about the characteristics of agents has focused on the implications of adopting a ‘brain disease’ versus ‘moral weakness’ model of addiction. Typically, such judgments have to do with what capacities an agent has (e.g., the ability to abstain from substance use). Much less work, however, has been conducted on the relationship between addiction and judgments about an agent’s identity, including whether or to what extent an individual is seen as the same person after (...) becoming addicted. Methods: We conducted a series of vignette-based experiments (total N = 3,620) to assess lay attitudes concerning addiction and identity persistence, systematically manipulating key characteristics of agents and their drug of addiction. Conclusions: In Study 1, we found that US participants judged an agent who became addicted to drugs as being closer to ‘a completely different person’ than ‘completely the same person’ as the agent who existed prior to the addiction. In Studies 2-6, we investigated the intuitive basis for this result, finding that lay judgments of altered identity as a consequence of drug use and addiction are driven primarily by perceived negative changes in the moral character of drug users, who are seen as having deviated from their good true selves. (shrink)

Nicholas Agar, Jeff McMahan and Allen Buchanan have all expressed concerns about enhancing humans far outside the species-typical range. They argue radically enhanced beings will be entitled to greater and more beneficial treatment through an enhanced moral status, or a stronger claim to basic rights. I challenge these claims by first arguing that emerging technologies will likely give the enhanced direct control over their mental states. The lack of control we currently exhibit over our mental lives greatly contributes to our (...) sense of vulnerability. I then argue moral status should be viewed in terms of vulnerability. The enhanced will slowly gain the ability to command their mental states, reducing their vulnerability. These radically enhanced beings will have greater capacities, and possibly an inner life more valuable than our own. They will also be less vulnerable, and as a result, their moral status will be subordinate to our own. (shrink)

This paper demonstrates the practical and philosophical strengths of adopting Luciano Floridi’s “general definition of information” (GDI) for use in the information sciences (IS). Many definitions of information have been proposed, but little work has been done to determine which definitions are most coherent or useful. Consequently, doubts have been cast on the necessity and possibility of finding a definition. In response to these doubts, the paper shows how items and events central to IS are adequately described by Floridi’s conception (...) of information, and demonstrates how it helps clarify the muddy theoretical framework resulting from the many previous definitions. To this end, it analyzes definitions, popular in IS, that conceive of information as energy, processes, knowledge, and physical objects. The paper finds that each of these definitions produces problematic or counterintuitive implications that the GDI suitably accounts for. It discusses the role of truth in IS, notes why the GDI is preferable to its truth-requiring variant, and ends with comments about the import of such a theory for IS research and practice. (shrink)

It is surprisingly hard to define presentism. Traditional definitions of the view, in terms of tensed existence statements, have turned out not to to be capable of convincingly distinguishing presentism from eternalism. Picking up on a recent proposal by Tallant, I suggest that we need to locate the break between eternalism and presentism on a much more fundamental level. The problem is that presentists have tried to express their view within a framework that is inherently eternalist. I call that framework (...) the Fregean nexus, as it is defined by Frege’s atemporal understanding of predication. In particular, I show that the tense-logical understanding of tense which is treated as common ground in the debate rests on this very same Fregean nexus, and is thus inadequate for a proper definition of presentism. I contrast the Fregean nexus with what I call the original temporal nexus, which is based on an alternative, inherently temporal form of predication. Finally, I propose to define presentism in terms of the original temporal nexus, yielding original presentism. According to original presentism, temporal propositions are distinguished from atemporal ones not by aspects of their content, as they are on views based on the Fregean nexus, but by their form—in particular, by their form of predication. (shrink)

Chalmers (Mind 120(479): 587–636, 2011a) presents an argument against “referentialism” (and for his own view) that employs Bayesianism. He aims to make progress in a debate over the objects of belief, which seems to be at a standstill between referentialists and non-referentialists. Chalmers’ argument, in sketch, is that Bayesianism is incompatible with referentialism, and natural attempts to salvage the theory, Chalmers contends, requires giving up referentialism. Given the power and success of Bayesianism, the incompatibility is prima facie evidence against referentialism. (...) In this paper, I review Chalmers’ arguments and give some responses on behalf of the referentialist. (shrink)

In response to Petitmengin and Bitbol's recent account of first-person methodologies in the study of consciousness, I provide a revised model of our introspective knowledge of our own conscious experience. This model, which I call the existential constitution model of phenomenal knowledge, avoids the problems that Petitmengin and Bitbol identify with standard observational models of introspection while also avoiding an underlying metaphorical misconception in their own proximity model, which misconstrues first-person knowledge of consciousness in terms of a dichotomous epistemic relationship. (...) The end result is a clearer understanding of the unique nature and epistemic properties of our knowledge of consciousness, as well as the epistemic status of subsequent first-person reports on conscious experience. (shrink)

In this paper I offer an argument against one important version of panentheism, that is, mereological panentheism. Although panentheism has proven difficult to define, I provide a working definition of the view, and proceed to argue that given this way of thinking about the doctrine, mereological accounts of panentheism have serious theological drawbacks. I then explore some of these theological drawbacks. In a concluding section I give some reasons for thinking that the classical theistic alternative to panentheism is preferable, all (...) things considered. (shrink)

In September 2015 a well-publicised Campaign Against Sex Robots (CASR) was launched. Modelled on the longer-standing Campaign to Stop Killer Robots, the CASR opposes the development of sex robots on the grounds that the technology is being developed with a particular model of female-male relations (the prostitute-john model) in mind, and that this will prove harmful in various ways. In this chapter, we consider carefully the merits of campaigning against such a technology. We make three main arguments. First, we argue (...) that the particular claims advanced by the CASR are unpersuasive, partly due to a lack of clarity about the campaign’s aims and partly due to substantive defects in the main ethical objections put forward by campaign’s founder(s). Second, broadening our inquiry beyond the arguments proferred by the campaign itself, we argue that it would be very difficult to endorse a general campaign against sex robots unless one embraced a highly conservative attitude towards the ethics of sex, which is likely to be unpalatable to those who are active in the campaign. In making this argument we draw upon lessons from the campaign against killer robots. Finally, we conclude by suggesting that although a generalised campaign against sex robots is unwarranted, there are legitimate concerns that one can raise about the development of sex robots. (shrink)

In this paper I argue against Analytic Normative Naturalism by suggesting that the view cannot capture the way that normative concepts figure in advice. To establish this conclusion, I identify several links between normative concepts and advice and argue that, if Analytic Normative Naturalism were true, these links would not obtain.

It is often assumed that all lucky events are significant. The thought is that a chancy event such as winning the lottery is lucky for you in part because it affects your interests or well-being. But whether you win an Absurdist Raffle in which there are no prizes, is, intuitively, not a matter of luck. This is because this event—even if chancy—is not significant for any subject. However, a few philosophers have recently claimed not only that luck does not necessarily (...) involve a significance condition but that we should not view luck involving claims in terms of significance. After reviewing the literature on this topic, I argue that lucky events are significant. A significance condition is necessary to distinguish between different kinds of luck: practical, epistemic, and moral. All lucky events are significant and chancy, but they can be significant for subjects in different ways. For example, an event is epistemically lucky for you if it is epistemically significant and chancy, but such events need not affect your practical interests or moral standing. Furthermore, I argue that events that are chancy but not significant should be thought of in terms of chance and not luck. (shrink)

The practice of Emergency Management in Michigan raises anew the question of whose knowledge matters to whom and for what reasons, against the background of what projects, challenges, and systemic imperatives. In this paper, I offer a historical overview of state intervention laws across the United States, focusing specifically on Michigan’s Emergency Manager laws. I draw on recent analyses of these laws to develop an account of a phenomenon that I call epistemic redlining, which, I suggest, is a form of (...) group-based credibility discounting not readily countenanced by existing, ‘culprit-based’ accounts of epistemic injustice. I argue that epistemic redlining plays a crucial role in ongoing projects of racialized subordination and dispossession in Michigan, and that such discounting tends to have structural causes that can be difficult to identify and uproot. Contrary to the general thrust of recent work on the topic, I argue that epistemic redlining ought to be understood as a form of epistemic injustice. (shrink)

In this issue, Ahmadi1 reports on the practice of hymenoplasty—a surgical intervention meant to restore a presumed physical marker of virginity prior to a woman's marriage. As Mehri and Sills2 have stated, these women ‘want to ensure that blood is spilled on their wedding night sheets.’ Although Ahmadi's research was carried out in Iran specifically, this surgery is becoming increasingly popular in a number of Western countries as well, especially among Muslim populations.3 What are the ethics of hymen restoration?Consider the (...) role of the physician. Two of the doctors interviewed by Ahmadi reported being in ‘a perpetual state of guilt because of the surgery's inherent aim at deceiving the groom’ and noted their ‘personal conflict’ at being involved in this deception. Yet: "None of the doctors believed that the surgery was unethical, arguing that the girl could be ‘abused’ and ‘can even die’ if she is discovered not … ". (shrink)

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

It is sometimes argued that the non-therapeutic, non-consensual alteration of children‘s genitals should be discussed in two separate ethical discourses: one for girls (in which such alterations should be termed 'female genital mutilation' or FGM), and one for boys (in which such alterations should be termed 'male circumcision‘). In this article, I call into question the moral and empirical basis for such a distinction, and argue that all children - whether female, male, or indeed intersex - should be free from (...) having parts of their genitals removed unless there is a pressing medical indication. (shrink)

It has become easy to make a case for the relevance, richness, and importance of philosophical thinking for information research and practice. [Introduction to a special issue].

In this position paper for the 2019 CSCW workshop Good Systems: Ethical AI for CSCW I propose one tool and one idea for navigating the complex ethical problem space that results from the interaction of human and/or AI agents in shared, hopefully cooperative, computing environments.

This paper takes under consideration a piece by Roger Crisp in which he questions what the problem of moral luck can teach us about COVID-19 lockdown rule-breakers. Taking the position that although such rule-breakers might seem to be new examples of moral luck, Crisp ends up denying the existence of moral luck and argues that moral luck is an outdated notion in so far as it relies on other questionable aspects of morality, that is, retributivist punishment and blame. Although the (...) author agrees with Crisp that pandemic rule-breaker cases are putative examples of resultant moral luck, he proposes that Crisp has misconstrued what moral luck is and the paper examines in detail what he sees as the numerous problems with Crisp’s claims. The author concludes that Crisp’s analysis of pandemic rule-breaking does not shed any new light on the moral luck debate, and the difficult questions of luck, moral responsibility, and desert are not so easily resolved. -/- . (shrink)

Yoshimi has attempted to defuse my argument concerning the identification of network abstraction with empiricist abstraction - thus entailing psychologism - by claiming that the argument does not generalize from the example of simple feed-forward networks. I show that the particular details of networks are logically irrelevant to the nature of the abstractive process they employ. This is ultimately because deep artificial neural networks (ANNs) and dynamical systems theory applied to the mind (DST) are both associationisms - that is, empiricist (...) theories that derive the principles of thought from the causal history of the organism/system. On this basis, I put forward a new aspect of the old argument by noting that ANNs & DST are the causal bases of the phenomena of passive synthesis, whereas the language of thought hypothesis (LOT) and the symbolic computational theory of mind (CTM) are the causal bases of the phenomena of active synthesis. If the phenomena of active synthesis are not distinct in kind from and are thus reducible to those of passive synthesis, psychologism results. Yoshimi’s program, insofar as it denies this fundamental phenomenological distinction, is revealed to be the true anti-pluralist program, by essentially denying the causal efficacy of the mechanistic foundations of active synthesis by referring phenomenology exclusively to associationism for its causal foundation. (shrink)

According to the canonical formulation of the modal account of luck [e.g. Pritchard (2005)], an event is lucky just when that event occurs in the actual world but not in a wide class of the nearest possible worlds where the relevant conditions for that event are the same as in the actual world. This paper argues, with reference to a novel variety of counterexample, that it is a mistake to focus, when assessing a given event for luckiness, on events distributed (...) over just the nearest possible worlds. More specifically, our objection to the canonical formulation of the modal account of luck reveals that whether an event is lucky depends crucially on events distributed over all possible worlds–viz., across the modal universe. It is shown that an amended modal account of luck which respects this point has the additional virtue of avoiding a notable kind of counterexample to modal accounts of luck proposed by Lackey (2008). (shrink)

The evidence is overwhelming that members of particularly wealthy and industry-owning segments of Western societies have much larger carbon footprints than most other humans, and thereby contribute far more than their “fair share” to the enormous problem of climate change. Nonetheless, in this paper we shall counsel against a strategy focused primarily on blaming and shaming and propose, instead, a change in the ethical conversation about climate change. We recommend a shift in the ethical framework from a focus on the (...) role of individual agents and a conversation about guilt; in its place, we propose a relational approach to public health ethics that is centered around the idea of relational solidarity. We begin by briefly reviewing the most common—and woefully inadequate—approach in the West to reducing emissions and responding to the health-related impacts of climate change. We then go on to propose a relational approach to public health ethics as an alternative ethical framework that better fits the moral problems associated with climate change and holds promise for a more meaningful response. (shrink)

This dissertation investigates conceptions of responsibility at work in contemporary intergenerational nuclear waste policy. It argues that articulations of responsibility at work in current policy unduly privileges resemblance to the present as a condition for that responsibility holding as an intergenerational relation. The dissertation begins by arguing that current waste disposal practices depend on a view of responsibility contingent on the presumption that future generations will be minimally epistemologically, socially, and politically continuous with present generations. Extant policy is therefore found (...) to place an asymmetric and unjust burden on future generations. The dissertation thus concludes that responsibilities to future generations require that responsibility be thought prior to particular determinations of the possible identity of our inheritors. (shrink)

One of the main questions Gillian Brock takes up in Justice for People on the Move (2020) is whether it is morally permissible for states to enact migration policies that discriminate on the basis of religion against those who wish to enter. The main focus of her discussion is on the United States context, and, in particular, the so-called ‘Muslim Ban’ enacted by President Donald Trump in 2017. While Brock offers a powerful critique of this policy, I argue that it (...) is insufficient on its own to support her claim that migration policies that discriminate on the basis of religion in general undermine the legitimacy of the states that enact them. I argue that this claim can be supported within her framework by showing that such policies necessarily display disregard for the human rights of existing members of the discriminating state. I conclude with some reflections on the strength of this account of the moral impermissibility of religious discrimination at the border. (shrink)

In his 1918 logical atomism lectures, Russell argued that there are no molecular facts. But he posed a problem for anyone wanting to avoid molecular facts: we need truth-makers for generalizations of molecular formulas, but such truth-makers seem to be both unavoidable and to have an abominably molecular character. Call this the problem of generalized molecular formulas. I clarify the problem here by distinguishing two kinds of generalized molecular formula: incompletely generalized molecular formulas and completely generalized molecular formulas. I next (...) argue that, if empty worlds are logically possible, then the model-theoretic and truth-functional considerations that are usually given address the problem posed by the first kind of formula, but not the problem posed by the second kind. I then show that Russell’s commitments in 1918 provide an answer to the problem of completely generalized molecular formulas: some truth-makers will be non-atomic facts that have no constituents. This shows that the neo-logical atomist goal of defending the principle of atomicity—the principle that only atomic facts are truth-makers—is not realizable. (shrink)

This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.

Epistemic accounts of luck define luck’s chanciness condition relative to a subject’s epistemic position. This could be put in terms of a subject’s evidence or knowledge about whether the event will occur. I argue that both versions of the epistemic account fail. In §2, I give two types of counterexamples to the evidence-based approach. In §3, I argue—contrary to the knowledge-based view—that an event can be a matter of good or bad luck for a subject even if she knows that (...) it will occur. In §4, I argue that epistemic accounts cannot explain some instances of constitutive luck. Because of these problems, luck’s chanciness condition cannot be adequately defined in epistemic terms. (shrink)

Chalmers, responding to Braun, continues arguments from Chalmers for the conclusion that Bayesian considerations favor the Fregean in the debate over the objects of belief in Frege’s puzzle. This short paper gets to the heart of the disagreement over whether Bayesian considerations can tell us anything about Frege’s puzzle and answers, no, they cannot.