Using as a starting point recent and apparently incompatible conclusions by Saunders and Knox, I revisit the question of the correct spacetime setting for Newtonian physics. I argue that understood correctly, these two versions of Newtonian physics make the same claims both about the background geometry required to define the theory, and about the inertial structure of the theory. In doing so I illustrate and explore in detail the view—espoused by Knox, and also by Brown —that inertial structure is defined (...) by the dynamics governing subsystems of a larger system. This clarifies some interesting features of Newtonian physics, notably the distinction between using the theory to model subsystems of a larger whole and using it to model complete universes, and the scale-relativity of spacetime structure. _1_ Introduction _2_ Newtonian Mechanics and Galilean Spacetime _3_ Vector Relationism and Maxwellian Spacetime _4_ Recovering the Galilei Group: Dynamics of Subsystems _5_ Knox on Inertial Structure _6_ Connections on Maxwellian Spacetime _7_ Knox on Newtonian Gravity _8_ Vector Relationism and Newton–Cartan Theory _9_ Inertial Structure in Newton–Cartan Gravity _10_ Reconciling Knox and Saunders _11_ Conclusions. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

Machine learning algorithms may radically improve our ability to diagnose and treat disease. For moral, legal, and scientific reasons, it is essential that doctors and patients be able to understand and explain the predictions of these models. Scalable, customisable, and ethical solutions can be achieved by working together with relevant stakeholders, including patients, data scientists, and policy makers.

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

The aim of this article is to develop an argument against metaphysical debates about the existence of human races. I argue that the ontology of race is underdetermined by both empirical and non-empirical evidence due to a plurality of equally permissible candidate meanings of "race." Furthermore, I argue that this underdetermination leads to a deflationist diagnosis according to #hich disputes about the existence of human races are non-substantive verbal disputes. $hile this diagnosis resembles general deflationist strategies in contemporary metaphysics" I (...) show that my argument does not presuppose controversial metametaphysical assumptions. (shrink)

When do the folk think that material objects persist? Many metaphysicians have wanted a view which fits with folk intuitions, yet there is little agreement about what the folk intuit. I provide a range of empirical evidence which suggests that the folk operate with a teleological view of persistence: the folk tend to intuit that a material object survives alterations when its function is preserved. Given that the folk operate with a teleological view of persistence, I argue for a debunking (...) explanation of folk intuitions, concluding that metaphysicians should dismiss folk intuitions as tied into a benighted view of nature. (shrink)

Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...) explain this by appealing to the powers of some actual thing or things to bring it about. I argue instead that dispositionalism, in the simple form championed by its proponents, is formally inadequate. Dispositionalists interpret the modal operators as simple existential claims about powers, but if we interpret the operators that way, the resulting system of modal logic is too weak to capture metaphysical modality. I argue that we can modify the standard dispositionalist interpretations of the operators to secure formal adequacy, but at the cost of accepting that not all modality is grounded in powers. This, I shall suggest, is not a bad thing—the resulting theory still has powers at its core and has certain attractive features, in addition to formal adequacy, that the standard theory lacks. (shrink)

The aim of this article is to discuss the relation between indigenous and scientific kinds on the basis of contemporary ethnobiological research. I argue that ethnobiological accounts of taxonomic convergence-divergence patters challenge common philosophical models of the relation between folk concepts and natural kinds. Furthermore, I outline a positive model of taxonomic convergence-divergence patterns that is based on Slater's [2014] notion of “stable property clusters” and Franklin-Hall's [2014] discussion of natural kinds as “categorical bottlenecks.” Finally, I argue that this model (...) is not only helpful for understanding the relation between indigenous and scientific kinds but also makes substantial contributions to contemporary debates about natural kinds.to contemporary debates about natural kinds. (shrink)

Xenophobia is conceptually distinct from racism. Xenophobia is also distinct from nativism. Furthermore, theories of racism are largely ensconced in nationalized narratives of racism, often influenced by the black-white binary, which obscures xenophobia and shelters it from normative critiques. This paper addresses these claims, arguing for the first and last, and outlining the second. Just as philosophers have recently analyzed the concept of racism, clarifying it and pinpointing why it’s immoral and the extent of its moral harm, so we will (...) analyze xenophobia and offer a pluralist account of xenophobia, with important implications for racism. This analysis is guided by the discussion of racism in recent moral philosophy, social ontology, and research in the psychology of racism and implicit attitudes. (shrink)

Cognitive modules are internal mental structures. Some theorists and empirical researchers hypothesise that the human mind is either partially or massively comprised of structures that are modular in nature. Is the massive modularity of mind hypothesis a cogent view about the ontological nature of human mind or is it, rather, an effective/ineffective adaptationist discovery heuristic for generating predictively successful hypotheses about both heretofore unknown psychological traits and unknown properties of already identified psychological traits? Considering the inadequacies of the case in (...) favour of massive modularity as an ontological hypothesis, I suggest approaching and valuing massive modularity as an adaptationist discovery heuristic. (shrink)

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...) logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (shrink)

Orthodoxy has it that knowledge is a composite of belief and non-mental factors. However, Timothy Williamson suggests that orthodoxy implies that the concept of belief is acquired before the concept of knowledge, whereas developmental data suggest the reverse. More recently, Jennifer Nagel reviews the psychological evidence, building a psychological case that the concept of knowledge emerges prior to belief. I assess the psychological state of the art and find support for the opposite conclusion. Overall the empirical evidence supports the orthodox (...) view that the concept of belief is prior to the concept of knowledge. (shrink)

Abstract creationism about fictional characters is the view that fictional characters are abstract objects that authors create. I defend this view against criticisms from Stuart Brock that hitherto have not been adequately countered. The discussion sheds light on how the number of fictional characters depends on authorial intention. I conclude also that we should change how we think intentions are connected to artifacts more generally, both abstract and concrete.

This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).

For Kant, any authentic moral demands are wholly distinct from the demands of prudence. This has led critics to complain that Kantian moral demands are incompatible with our human nature as happiness-seekers. Kant’s defenders have pointed out, correctly, that Kant can and does assert that it is permissible, at least in principle, to pursue our own happiness. But this response does not eliminate the worry that a life organized around the pursuit of virtue might turn out to be one from (...) which we cannot expect any of this (permissible) happiness. To address this worry, Kant would need to establish that there is a kind of harmony between virtue and our own happiness that can give us confidence that aiming at morality does not require us to abandon our hope for happiness in this life. This paper aims to show that Kant—building on insights from Rousseau that Kant identifies with Cynicism—does offer an account of such a harmony between virtue and worldly happiness. (shrink)

Necessity and sufficiency are the building blocks of all successful explanations. Yet despite their importance, these notions have been conceptually underdeveloped and inconsistently applied in explainable artificial intelligence (XAI), a fast-growing research area that is so far lacking in firm theoretical foundations. Building on work in logic, probability, and causality, we establish the central role of necessity and sufficiency in XAI, unifying seemingly disparate methods in a single formal framework. We provide a sound and complete algorithm for computing explanatory factors (...) with respect to a given context, and demonstrate its flexibility and competitive performance against state of the art alternatives on various tasks. (shrink)

The article discusses retributive justice and punitive restraint in response to the worst types of crime. I take the Breivik Case as a starting point. Anders Behring Breivik was sentenced to 21 years of preventive detention for killing 69 people, mainly youths, at Utøya and 8 people in Oslo on July 22nd, 2011. Retributivist theories as well as commonly held retributive intuitions suggest that much harsher punishment is required for such crimes. According to some retributivist theories, most notably on the (...) influential theories of Kant and Hegel, the death penalty is warranted for murderers like Breivik. This suggests that the rationale for punitive restraint in a case like the Breivik Case can only be found in forward- looking, consequentialist theories of punishment, or by adding to retributivist theories a side-constraint in the form of a principle of parsimony. However, I argue that if we look closer at the function of punishment in the retributivist theories of Kant and Hegel, they too imply a rationale for punitive restraint, even for such horrific crimes as here discussed. Against Kant and Hegel’s own views on the death penalty, I argue that their broader “freedom theories” of retributive justice do not imply the justice of the death penalty or life imprisonment. In the last part of the article, I explore differences in the concepts of freedom entailed by Kant and Hegel’s theories, and I relate these to some of the background factors relevant to the Breivik Case. (shrink)

A recurring claim in a number of behavioural, cognitive and neuro-scientific literatures is that there is, or must be, a unidimensional ‘common currency’ in which the values of different available options are represented. There is striking variety in the quantities or properties that have been proposed as determinants of the ordering in motivational strength. Among those seriously suggested are pain and pleasure, biological fitness, reward and reinforcement, and utility among economists, who have regimented the notion of utility in a variety (...) of ways, some of them incompatible. This topic deserves philosophical attention for at least the following reasons. Repeated invocation of the ‘common currency’ idiom isn’t merely terminological coincidence because most of the claims are competing explanations either of manifest pattern in choices, or of order in the processes producing choice. We can’t suppose that the different currency claims within each area are compatible, because there are significant obstacles to identifying pairs of members of either the ‘pattern’ or ‘process’ group. There are, finally, seriously opposed positions about the relationships between the pattern facts and the process facts. There are philosophical positions both favouring and opposing a common currency. But direct consideration of the abstract relationships between claims about common currencies across scientific settings, and the arguments for and against these claims, is relatively rare. There is, though, much of philosophical interest to be found here. (shrink)

Frankfurt cases are purported counterexamples to the Principle of Alternative Possibilities, which implies that we are not morally responsible for unavoidable actions. A major permutation of the counterexample strategy features buffered alternatives; this permutation is designed to overcome an influential defense of the Principle of Alternative Possibilities. Here we defend the buffering strategy against two recent objections, both of which stress the timing of an agent’s decision. We argue that attributions of moral responsibility aren’t time-sensitive in the way the objectors (...) suppose. We then turn to the crucial question of when an action is relevantly avoidable—when, in the parlance of the literature, an alternative possibility is robust. We call attention to two plausible tests for robustness that merit further consideration, showing that the agents in buffered Frankfurt cases don’t pass these tests, despite being morally responsible for their actions. (shrink)

The logical basis for information theory is the newly developed logic of partitions that is dual to the usual Boolean logic of subsets. The key concept is a "distinction" of a partition, an ordered pair of elements in distinct blocks of the partition. The logical concept of entropy based on partition logic is the normalized counting measure of the set of distinctions of a partition on a finite set--just as the usual logical notion of probability based on the Boolean logic (...) of subsets is the normalized counting measure of the subsets (events). Thus logical entropy is a measure on the set of ordered pairs, and all the compound notions of entropy (join entropy, conditional entropy, and mutual information) arise in the usual way from the measure (e.g., the inclusion-exclusion principle)--just like the corresponding notions of probability. The usual Shannon entropy of a partition is developed by replacing the normalized count of distinctions (dits) by the average number of binary partitions (bits) necessary to make all the distinctions of the partition. (shrink)

A theory of property needs to give an account of the whole life-cycle of a property right: how it is initiated, transferred, and terminated. Economics has focused on the transfers in the market and has almost completely neglected the question of the initiation and termination of property in normal production and consumption (not in some original state or in the transition from common to private property). The institutional mechanism for the normal initiation and termination of property is an invisible-hand function (...) of the market, the market mechanism of appropriation. Does this mechanism satisfy an appropriate normative principle? The standard normative juridical principle is to assign or impute legal responsibility according to de facto responsibility. It is given a historical tag of being "Lockean" but the basis is contemporary jurisprudence, not historical exegesis. Then the fundamental theorem of the property mechanism is proven which shows that if "Hume's conditions" (no transfers without consent and all contracts fulfilled) are satisfied, then the market automatically satisfies the Lockean responsibility principle, i.e., "Hume implies Locke." As a major application, the results in their contrapositive form, "Not Locke implies Not Hume," are applied to a market economy based on the employment contract. It is shown the production based on the employment contract violates the Lockean principle (all who work in an employment enterprise are de facto responsible for the positive and negative results) and thus Hume's conditions must also be violated in the marketplace (de facto responsible human action cannot be transferred from one person to another—as is readily recognized when and employer and employee together commit a crime). (shrink)

In this thesis I offer an interpretation of Arthur Schopenhauer’s pessimism. I argue against interpreting Schopenhauer’s pessimism as if it were merely a matter of temperament, and I resist the urge to find a single standard argument for pessimism in Schopenhauer’s work. Instead, I treat Schopenhauer’s pessimism as inherently variegated, composed of several distinct but interrelated pessimistic positions, each of which is supported by its own argument. I begin by examining Schopenhauer’s famous argument that willing necessitates suffering, which I defend (...) against the misrepresentative interpretation advocated by Ivan Soll. I also offer a metaphysical reading of Schopenhauer’s claim that no amount happiness can compensate for the mere fact of suffering, based upon his negative conception of happiness. I proceed by analysing Schopenhauer’s criticisms of two prominent optimists, Leibniz and Rousseau. I attempt to salvage something of Schopenhauer’s counterargument against Leibniz that this is the worse of all possible worlds, and I also examine Schopenhauer’s claim that the optimistic metaphysics of a priori rationalistic philosophy cannot cope with the evidence of meaningless suffering. In the case of Rousseau, I interpret Schopenhauer’s brief objection to Rousseau’s assumption of original goodness, by means of an examination of Schopenhauer’s conception of the contrary doctrine, original sin. Next I consider the metaphysics of Schopenhauer’s account of eternal justice. After defending it against a number of objections, I argue that the nature of his version of eternal justice, which he admits constitutes a justification for suffering, does not conflict with the fact that he so strongly condemns Leibniz’s and Rousseau’s optimistic justifications for suffering. Finally I assess whether and to what extent Schopenhauer’s ethics of salvation are either pessimistic or optimistic. I conclude that the mere fact that salvation is possible is not necessarily a cause for optimism, but that Schopenhauer’s doctrine of salvation is made partly optimistic by the higher form of cognition that he describes as part of it. I also argue that Schopenhauer’s views on the essentially mystical nature of the state of salvation ultimately commit him to being neither positively optimistic nor positively pessimistic about salvation. I conclude overall with some brief remarks about the meaning of Schopenhauer’s pessimism, and how in spite of its diverse nature, it is able to lay down a singular challenge to all future philosophers concerned with the question of suffering. (shrink)

Implicit in our everyday attitudes and practices is the assumption that death ordinarily harms a person who dies. A far more contested matter is whether death harms sentient individuals who are not persons, a category that includes many animals and some human beings. On the basis of the deprivation account of the harm of death, I argue that death harms sentient nonpersons. I next consider possible bases for the commonsense judgment that death ordinarily harms persons more than it harms sentient (...) nonpersons. Contrary to what some philosophers believe, it is doubtful that the familiar resources of prudential value theory can vindicate this judgment. I show that the approach that at first glance seems most promising for supporting this judgment – namely, invoking an objective account of well-being – faces substantial challenges, before arguing that McMahan's time-relative interest account supplies the needed theoretical basis. I then go on to extract a significant practical implication of the first thesis, that death ordinarily harms sentient nonpersons: We should find a way to discontinue the routine killing of animal subjects following their use in experiments. (shrink)

In a recent paper, Firt, Hemmo and Shenker argue that Hempel’s dilemma, typically thought to primarily undermine physicalism, is generalizable and impacts mind-body dualism and many other theories equally. I challenge this view and argue that Hempel’s dilemma admits of at least two distinct construals: a general-skeptical construal, underpinned by historically driven arguments such as the pessimistic induction, and a non-skeptical construal, driven by the specific puzzles and volatility of current physics. While the general-skeptical construal applies to all changeable deep-structure (...) theories, the non-skeptical construal primarily targets volatile theories which harbor exclusionary ambitions. As a result, dualism largely evades both construals due to the stability of theories of the mental and their lack of exclusionary ambitions. Conversely, physicalism is uniquely susceptible to both construals due to its strong commitment to deep-structure realism, inherent exclusionary ambitions, and the volatility of certain branches of fundamental physics. The paper ultimately concludes that Hempel’s dilemma is not universally problematic, but presents a unique challenge to physicalism while being relatively congenial to dualism. (shrink)

Philosophers and psychologists alike have argued recently that relatively abstract beliefs or cognitive categories like those regarding race can influence the perceptual experience of relatively low-level visual features like color or lightness. Some of the proposed best empirical evidence for this claim comes from a series of experiments in which White faces were consistently judged as lighter than equiluminant Black faces, even for racially ambiguous faces that were labeled ‘White’ as opposed to ‘Black’ (Levin and Banaji 2006). The latter result (...) is considered especially indicative of cognitive penetration, based on the reasoning that the relevant distortions were a function of lexical labeling, and hence the effect must have been mediated by categorization at the cognitive level. I argue that this reasoning is flawed, and that the assumptions on which it relies are questionable on both empirical and theoretical grounds. I propose an alternative, low-level explanation of the phenomena, which I argue is empirically more plausible and abductively preferable to the cognitive-penetration account. The upshot is that cognitively impenetrable perceptual systems may be psychologically more plastic and hence philosophically more significant than is nowadays commonly assumed. (shrink)

Proposals for allocating scarce lifesaving resources in the face of the Covid-19 pandemic have aligned in some ways and conflicted in others. This paper attempts a kind of priority setting in addressing these conflicts. In the first part, we identify points on which we do not believe that reasonable people should differ—even if they do. These are (i) the inadequacy of traditional clinical ethics to address priority-setting in a pandemic; (ii) the relevance of saving lives; (iii) the flaws of first-come, (...) first-served allocation; (iv) the relevance of post-episode survival; (v) the difference between age and other factors that affect life-expectancy; and (vi) the need to avoid quality-of-life judgments. In the second part, we lay out some positions on which reasonable people can and do differ. These include (i) conflicts between maximizing benefits and priority to the worst off; (ii) role-based priority; and (iii) whether patients’ existing lifesaving resources should be subject to redistribution. (shrink)

Suppose justice depends on some very unlikely good behavior. In that case the true (or correct, or best) theory of justice might have no practical value. But then, what good would it be? I consider analogies with science and mathematics in order to test various ways of tying their the value of intellectual work to practice, though I argue that these fail. If their value, or that of some political theory, is not practical then what is good about them? As (...) for political theory, I consider the question of what would even count as an answer to this question, and I conclude with the tentative proposal that it is valuable to come to understand something that is, itself, important. (shrink)

There is a fault line running through classical liberalism as to whether or not democratic self-governance is a necessary part of a liberal social order. The democratic and non-democratic strains of classical liberalism are both present today—particularly in America. Many contemporary libertarians and neo-Austrian economists represent the non-democratic strain in their promotion of non-democratic sovereign city-states (startup cities or charter cities). We will take the late James M. Buchanan as a representative of the democratic strain of classical liberalism. Since the (...) fundamental norm of classical liberalism is consent, we must start with the intellectual history of the voluntary slavery contract, the coverture marriage contract, and the voluntary non-democratic constitution (or pactum subjectionis). Next we recover the theory of inalienable rights that descends from the Reformation doctrine of the inalienability of conscience through the Enlightenment (e.g., Spinoza and Hutcheson) in the abolitionist and democratic movements. Consent-based governments divide into those based on the subjects' alienation of power to a sovereign and those based on the citizens' delegation of power to representatives. Inalienable rights theory rules out that alienation in favor of delegation, so the citizens remain the ultimate principals and the form of government is democratic. Thus the argument concludes in agreement with Buchanan that the classical liberal endorsement of sovereign individuals acting in the marketplace generalizes to the joint action of individuals as the principals in their own organizations. (shrink)

Ideen om at lovbrytere fortjener straff, må legges til grunn dersom vi skal kunne forstå og begrunne strafferetten i Norge og i andre rettsstater. Av noen teoretikere har dette kravet til fortjent straff blitt forstått som et negativt krav, som setter en begrensning på oppnåelsen av straffens formål. Straffen må da være «ikke ufortjent». I denne artikkelen argumenterer jeg for at en slik forståelse av fortjenesteideen er utilstrekkelig. Straff som fortjent må ansees som et positivt, selvstendig formål for strafferetten. Artikkelen (...) ser på norsk rettspraksis og lovforarbeider, og drøfter hvorfor det i norsk strafferett må legges til grunn at det er verdifullt å oppfylle lovbryterens fortjeneste. (shrink)

According to a traditional Cartesian epistemology of perception, perception does not provide one with direct knowledge of the external world. Instead, your immediate perceptual evidence is limited to facts about your own visual experience, from which conclusions about the external world must be inferred. Cartesianism faces well-known skeptical challenges. But this chapter argues that any anti-Cartesian view strong enough to avoid these challenges must license a way of updating one’s beliefs in response to anticipated experiences that seems diachronically irrational. To (...) avoid this result, the anti-Cartesian must either license an unacceptable epistemic chauvinism, or else claim that merely reflecting on one’s experiences defeats perceptual justification. This leaves us with a puzzle: Although Cartesianism faces problems, avoiding them brings a new set of problems. (shrink)

Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has the potential to (...) broaden our view of the specific normativity of mathematics beyond logical proof. Second, some work focuses on signs to highlight the open-ended and “nonrigorous” aspects of mathematical practice, and the role of these aspects in the historical development of mathematics. The third motivation is based on the following observation: the reason differences in signs matter in mathematics is that humans are finite agents, with cognitive and computational limitations. Accordingly, studying signs can be a way to study how human computational constraints shape the mathematics that we do, and to tackle the topic of mathematical understanding. (shrink)

O’Regan and Noë’s sensorimotor approach rejects the old-fashioned view that perceptual experience in humans depends solely on the activation of internal representations. Reflecting a wealth of empirical work, for example active vision, the approach suggests that perceiving is, instead, a matter of bodily exploration of the outside environment. To this end, the approach says the perceiver must deploy knowledge of sensorimotor contingencies, the ways sense input changes with movement by the perceiver or object perceived. Clark has observed that the approach (...) faces a challenge accounting for the experience of temporal duration, since event-like properties cannot be characterised by reference to the sensory consequences of possible movements. This paper argues that the account can best be shored up by emphasising, more than Noë does, the dependence of perceptual experience, in general, on temporally extended, organismic interaction with the outside environment. The paper argues, moreover, that an ‘extensionalist’ account of temporal experience could help make sense of object experience, which is itself, plausibly, an experience of temporal duration. (shrink)

Parts of the genome of a single individual can have conflicting interests, depending on which parent they were inherited from. One mechanism by which these conflicts are expressed in some taxa, including mammals, is genomic imprinting, which modulates the level of expression of some genes depending on their parent of origin. Imprinted gene expression is known to affect body size, brain size, and the relative development of various tissues in mammals. A high fraction of imprinted gene expression occurs in the (...) brain. Biologists including Hamilton, Trivers and Haig have proposed that this may explain some intrapersonal conflict in humans. This speculation amounts to an inference from conflict within the genome to conflict within the brain or mind. This is a provocative proposal, which deserves serious attention. In this paper I assess aspects of Haig’s version of the proposal. I argue, first, that the notion that intragenomic conflict predicts personal inconsistency should be rejected. Second, while it is unlikely that it credibly predicts sub-personal agents representing conflicting genetic interests, it is plausible that it predicts that the division of cognitive labour could be exploited to turn sub-systems into proxies for conflicting interests. (shrink)

This paper seeks to rehabilitate St. Augustine’s widely dismissed response to the alleged incompatibility of divine foreknowledge and free will. This requires taking a fresh look at his analysis in On Free Choice of the Will, and arguing its relevance to the current debate. Along the way, mistaken interpretations of Augustine are rebutted, his real solution is developed and defended, a reason for his not anticipating Boethius’s a temporalist solution is suggested, a favorable comparison with Ockham is made, rival solutions (...) are rejected, and the aporetic nature of the problem is explained. (shrink)

In the Preface to Why We Hate, its author, the prolific philosopher of biology Michael Ruse, notes that there is a paradox that has never left him since he was.

When it comes to caring about and helping those in need, our imaginations tend to be weak and our motivation tends to be parochial. This is a major moral problem in view of how much unmet need there is in the world and how much material capacity there is to address that need. With this problem in mind, the present paper will focus on genetic means to the enhancement of a moral capacity—a disposition to altruism—and of a cognitive capacity that (...) facilitates use of the moral capacity: the ability to grasp vividly the needs of individuals who are unknown and not present. I will address two questions, with more extensive attention to the first question. First, assuming we had excellent reason to believe that the enhancements were safe, effective, and available to all who desired them, would seeking these enhancements be inherently morally acceptable—that is, free of inherent wrongness? Second, would it be wise for a society to pursue these enhancements? I will defend an affirmative answer to the first question while leaving the second question open. (shrink)

Common notions of comparative philosophy tend to be strongly configured by the East-West axis. This essay suggests ways of seeing Latin American liberation philosophy as a form of comparative philosophy and an important Latin American thinker as being relevant for East-West political philosophy. The essay focuses on the Peruvian activist and intellectual, José Mariátegui, who is widely regarded to have been a leading Marxist, liberatory, and decolonial figure in 20th century Latin America. Like many “Third World” intellectuals of the interwar (...) years, Mariátegui had an interest in decolonization struggles in Asia and wrote with some consistency on this subject and in ways that bear significantly upon key themes in his political theory. Since very little of this has received commentary, this essay begins a discussion of Mariátegui's decolonial experimentation with ideas about Asia, decolonization, and indigenous cultural forms, like those of the Incas and Confucians. After some preliminary discussion of Euro.. (shrink)

English title: The Right to be Punished: On Kant and Hegel's theories of punishment as respect for the criminal -/- The article discusses Kant and Hegel's theories of punishment in light of their broader legal philosophies. The purpose of punishment, and law in general, is to secure mutual freedom and mutual recognition. Punishment is a way of expressing respect for the freedom of the criminal, as well as the freedom of victims and all members of society. Though it might seem (...) odd that imprisoning somebody means respecting their freedom, Hegel famously insists that punishment is a right for the criminal. The article explains how punishment may respect mutual freedom, and defends the claim that this is a necessary condition for just punishment. However, the purpose of re-establishing mutual freedom may possibly be achieved by other methods than punishment. The article discusses the potential of restorative justice processes for expressing the kind of mutual recognition that Hegel ascribes to punishment. Punishment is therefore not necessary for achieving the just purpose that Kant and Hegel ascribe to it. We may thus accept the Kantian-Hegelian framework for the just sanctioning of crime while challenging their more controversial claim that punishment is a categorical imperative. (shrink)

This is a contribution to an Author Meets Critics special issue on John Martin Fischer's _Our Fate: Essays on God and Free Will_.

This is a précis of my book for an author-meets-critics session forthcoming in Inquiry. The commenters are Daniel Drucker, Miriam Schleifer McCormick, and Mark Richard.

There appear to be multifunctional artefacts of a type such that none of their functions can be attributed only to some proper part of the artefact. I use two examples of allegedly multifunctional artefacts of this kind in what follows, one due to Lynne Rudder Baker (aspirin) and another of my own (a spork). The two examples are meant to make the same point. I discuss her aspirin example, since its discussion has entered the literature, but without its being dealt (...) with satisfactorily. My example is, I believe, more intuitive than that of aspirin, which Baker introduced in her response to a challenge to her views, and so I will mostly rely on my example of a spork, especially at the end of the paper, to make my case. -/- I argue that in at least those two cases, if the standard arguments for distinguishing between an object and what constitutes it are sound, an argument showing that what we might have taken to be a single multifunctional object is in fact a case of multiple single-function artefacts which collocate. Or almost. There is one further assumption needed for these cases, beyond what the constitution cases require, and I produce reasons for accepting that assumption. (shrink)

I suggest that the social justice issues raised by Internet regulation can be exposed and examined by using a methodology adapted from that described by John Rawls in 'A Theory of Justice'. Rawls' theory uses the hypothetical scenario of people deliberating about the justice of social institutions from the 'original position' as a method of removing bias in decision-making about justice. The original position imposes a 'veil of ignorance' that hides the particular circumstances of individuals from them so that they (...) will not be influenced by self-interest. I adapt Rawls' methodology by introducing an abstract description of information technology to those deliberating about justice from within the original position. This abstract description focuses on computing devices that users can use to access information and information networks that information devices use to communicate. The abstractness of this description prevents the particular characteristics of the Internet and the computing devices in use from influencing the decisions about the just use and regulation of information technology and networks. From this abstract position, the principles of justice that the participants accept for the rest of society will also apply to the computing devices people use to communicate, and to Internet regulation. (shrink)

This paper raises three critical questions about Jarrett Leplin's version of reliabilism.