David Hull's analysis of conceptual change in science, as presentedin his book, Science as a Process (1988), provides a useful framework for understanding one of the scientific controversies in which he actively and constructively intervened, the units of selectiondebates in evolutionary biology. What follows is a brief overview ofthose debates and some reflections on them.

How should we determine the distribution of psychological traits—such as Theory of Mind, episodic memory, and metacognition—throughout the Animal kingdom? Researchers have long worried about the distorting effects of anthropomorphic bias on this comparative project. A purported corrective against this bias was offered as a cornerstone of comparative psychology by C. Lloyd Morgan in his famous “Canon”. Also dangerous, however, is a distinct bias that loads the deck against animal mentality: our tendency to tie the competence criteria for cognitive (...) capacities to an exaggerated sense of typical human performance. I dub this error “anthropofabulation”, since it combines anthropocentrism with confabulation about our own prowess. Anthropofabulation has long distorted the debate about animal minds, but it is a bias that has been little discussed and against which the Canon provides no protection. Luckily, there is a venerable corrective against anthropofabulation: a principle offered long ago by David Hume, which I call “Hume’s Dictum”. In this paper, I argue that Hume’s Dictum deserves a privileged place next to Morgan’s Canon in the methodology of comparative psychology, illustrating my point through a discussion of the debate over Theory of Mind in nonhuman animals. (shrink)

"Understanding Scientific Progress constitutes a potentially enormous and revolutionary advancement in philosophy of science. It deserves to be read and studied by everyone with any interest in or connection with physics or the theory of science. Maxwell cites the work of Hume, Kant, J.S. Mill, Ludwig Bolzmann, Pierre Duhem, Einstein, Henri Poincaré, C.S. Peirce, Whitehead, Russell, Carnap, A.J. Ayer, Karl Popper, Thomas Kuhn, Imre Lakatos, Paul Feyerabend, Nelson Goodman, Bas van Fraassen, and numerous others. He lauds Popper for advancing beyond (...) verificationism and Hume’s problem of induction, but faults both Kuhn and Popper for being unable to show that and how their work could lead nearer to the truth." —Dr. LLOYD EBY teaches philosophy at The George Washington University and The Catholic University of America, in Washington, DC "Maxwell's aim-oriented empiricism is in my opinion a very significant contribution to the philosophy of science. I hope that it will be widely discussed and debated." – ALAN SOKAL, Professor of Physics, New York University "Maxwell takes up the philosophical challenge of how natural science makes progress and provides a superb treatment of the problem in terms of the contrast between traditional conceptions and his own scientifically-informed theory—aim-oriented empiricism. This clear and rigorously-argued work deserves the attention of scientists and philosophers alike, especially those who believe that it is the accumulation of knowledge and technology that answers the question."—LEEMON McHENRY, California State University, Northridge "Maxwell has distilled the finest essence of the scientific enterprise. Science is about making the world a better place. Sometimes science loses its way. The future depends on scientists doing the right things for the right reasons. Maxwell's Aim-Oriented Empiricism is a map to put science back on the right track."—TIMOTHY McGETTIGAN, Professor of Sociology, Colorado State University - Pueblo "Maxwell has a great deal to offer with these important ideas, and deserves to be much more widely recognised than he is. Readers with a background in philosophy of science will appreciate the rigour and thoroughness of his argument, while more general readers will find his aim-oriented rationality a promising way forward in terms of a future sustainable and wise social order."—David Lorimer, Paradigm Explorer, 2017/2 "This is a book about the very core problems of the philosophy of science. The idea of replacing Standard Empiricism with Aim-Oriented Empiricism is understood by Maxwell as the key to the solution of these central problems. Maxwell handles his main tool masterfully, producing a fascinating and important reading to his colleagues in the field. However, Nicholas Maxwell is much more than just a philosopher of science. In the closing part of the book he lets the reader know about his deep concern and possible solutions of the biggest problems humanity is facing."—Professor PEETER MŰŰREPP, Tallinn University of Technology, Estonia “For many years, Maxwell has been arguing that fundamental philosophical problems about scientific progress, especially the problem of induction, cannot be solved granted standard empiricism (SE), a doctrine which, he thinks, most scientists and philosophers of science take for granted. A key tenet of SE is that no permanent thesis about the world can be accepted as a part of scientific knowledge independent of evidence. For a number of reasons, Maxwell argues, we need to adopt a rather different conception of science which he calls aim-oriented empiricism (AOE). This holds that we need to construe physics as accepting, as a part of theoretical scientific knowledge, a hierarchy of metaphysical theses about the comprehensibility and knowability of the universe, which become increasingly insubstantial as we go up the hierarchy. In his book “Understanding Scientific Progress: Aim-Oriented Empiricism”, Maxwell gives a concise and excellent illustration of this view and the arguments supporting it… Maxwell’s book is a potentially important contribution to our understanding of scientific progress and philosophy of science more generally. Maybe it is the time for scientists and philosophers to acknowledge that science has to make metaphysical assumptions concerning the knowability and comprehensibility of the universe. Fundamental philosophical problems about scientific progress, which cannot be solved granted SE, may be solved granted AOE.” Professor SHAN GAO, Shanxi University, China . (shrink)

In this paper, I show that we should understand the direction of fit of beliefs and desires in normative terms. After rehearsing a standard objection to Michael Smith’s analysis of direction of fit, I raise a similar problem for Lloyd Humberstone’s analysis. I go on to offer my own account, according to which the difference between beliefs and desires is determined by the normative relations such states stand in. I argue that beliefs are states which we have reason to (...) change in light of the world, whereas desires are states that give us reason to change the world. After doing this, I show how the view avoids various objections, including two from David Sobel and David Copp. The paper ends by briefly discussing the relevance of the view to the Humean theory of motivation. (shrink)

According to a popular idea, freedom is grounded in orthonomy – the ability to be responsive to normative demands. But how exactly must an agent’s action relate to their reasons in order for this orthonomous relationship to hold? In this paper, I propose a novel explanationist answer to this question. I argue that extant answers – causalism and modalism about orthonomy – fail because they fail to account for the fact that intuitions about freedom and orthonomy track facts about explanation. (...) And these facts cannot be reduced to either causal or modal facts. Instead, I propose that we should understand freedom as grounded in special accidentality-dispersing explanations in terms of normative reasons. The resultant view is to be understood as following a Frankfurtian intuition: only factors that explain action can be relevant to whether the action is free. (shrink)

This paper explores the human experience of game-playing and its implications for artificial intelligence. The author uses phenomenology to examine game-playing from a human-centered perspective and applies it to language games played by artificial intelligences and humans. The paper argues that AI cannot truly play games because it lacks the intentionality, embodied experience, and social interaction that are fundamental to human game-playing. Furthermore, current AI lacks the ability to converse, which is argued to be equivalent to Wittgenstein’s view of engaging (...) in “language games.” The author presents a formal ontology of game playing, agents, and their intentional states, and contrasts human agents playing games with artificial agents “playing games.” The paper concludes that while artificial intelligence can simulate some aspects of human language games, it lacks the essential capacities for game playing, such as cognition, creativity, will, intentionality, understanding, and personhood. (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)

Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congruential modal logic can be extended to one in which the modal operator is (...) truth-functional. As Humberstone notes, the issue of Post completeness in congruential modal logics is not well understood. The present article shows that in contrast to normal modal logics, the extent of the property of Post completeness among congruential modal logics depends on the background set of logics. Some basic results on the corresponding properties of Post completeness are established, in particular that although a congruential modal logic is Post complete among all modal logics if and only if its modality is truth-functional, there are continuum many modal logics Post complete among congruential modal logics. (shrink)

In recent years, metaphysics has undergone what some describe as a revolution: it has become standard to understand a vast array of questions as questions about grounding, a metaphysical notion of determination. Why should we believe in grounding, though? Supporters of the revolution often gesture at what I call the Argument from Explanatoriness: the notion of grounding is somehow indispensable to a metaphysical type of explanation. I challenge this argument and along the way develop a “reactionary” view, according to which (...) there is no interesting sense in which the notion of grounding is explanatorily indispensable. I begin with a distinction between two conceptions of grounding, a distinction which extant critiques of the revolution have usually failed to take into consideration: grounding qua that which underlies metaphysical explanation and grounding qua metaphysical explanation itself. Accordingly, I distinguish between two versions of the Argument from Explanatoriness: the Unexplained Explanations Version for the first conception of grounding, and the Expressive Power Version for the second. The paper’s conclusion is that no version of the Argument from Explanatoriness is successful. (shrink)

Conciliationism holds that disagreement of apparent epistemic peers often substantially undermines rational confidence in our opinions. Uniqueness principles say that there is at most one maximally rational doxastic response to any given batch of total evidence. The two views are often thought to be tightly connected. This paper distinguishes two ways of motivating conciliationism, and two ways that conciliationism may be undermined by permissive accounts of rationality. It shows how conciliationism can flourish under certain strongly permissive accounts of rationality. This (...) occurs when the motivation for conciliationism does not come from taking disagreement as evidence of one's own rational failings. However, divorcing the motive for conciliating from worries about rationality does not remove a feature of conciliationism that some find troubling: that conciliationism can lead to cases of “rational toxicity,” in which the most rational response to one's evidence involves violating some rational ideal. (shrink)

How do we determine whether some candidate causal factor is an actual cause of some particular outcome? Many philosophers have wanted a view of actual causation which fits with folk intuitions of actual causation and those who wish to depart from folk intuitions of actual causation are often charged with the task of providing a plausible account of just how and where the folk have gone wrong. In this paper, I provide a range of empirical evidence aimed at showing just (...) how and where the folk go wrong in determining whether an actual causal relation obtains. The evidence suggests that folk intuitions of actual causation are generated by two epistemically defective processes. I situate the empirical evidence within a background discussion of debunking, arguing for a two-pronged debunking explanation of folk intuitions of actual causation. I conclude that those who wish to depart from folk intuitions of actual causation should not be compelled to square their account of actual causation with the verdicts of the folk. In the dispute over actual causation, folk intuitions deserve to be rejected. (shrink)

Our aim in this entry is to articulate the state of the art in the moral psychology of personal identity. We begin by discussing the major philosophical theories of personal identity, including their shortcomings. We then turn to recent psychological work on personal identity and the self, investigations that often illuminate our person-related normative concerns. We conclude by discussing the implications of this psychological work for some contemporary philosophical theories and suggesting fruitful areas for future work on personal identity.

Failure to recognize the "realistic" motivations for Putnam's commitment to internal realism has led to a widely shared misunderstanding of Putnam's arguments against metaphysical realism. Realist critics of these arguments frequently offer rebuttals that fail to confront his arguments. Simply put, Putnam's arguments --the brains in a vat argument as well as the model-theoretic argument -- are "reductios" that are intended to show that "metaphysical realism itself is not sufficiently realistic". If that claim can be substantiated then Putnam can go (...) on to argue that his own view is, by comparison, more realistic than metaphysical realism. (shrink)

This paper defends the view that perceptual ascriptions such as “Jones sees a cat” are sometimes intensional. I offer a range of examples of intensional perceptual ascriptions, respond to objections to intensional readings of perceptual ascriptions, and show how widely accepted semantic accounts of intensionality can explain the key features of intensional perceptual ascriptions.

There is a difference between merely thinking that P and really grasping that P. For example, Jackson's (1982) black-and-white Mary cannot (before leaving her black-and-white room) fully grasp what it means to say that fire engines are red, but she can perfectly well entertain the thought that fire engines are red. The contrast between merely thinking and grasping is especially salient in the context of certain moral decisions. For example, an individual who grasps the plight of starving children thanks to (...) evocative images seems much more likely to donate for the children's benefit than someone who is merely told about their plight. This paper offers a phenomenal account of grasping according to which grasping a content (whether a proposition or concept) consists in one's thoughts about the content being constituted by phenomenal experiences of constituents of the content. This account improves on earlier phenomenal accounts of grasping (Bourget 2017a, 2018) by allowing for partial grasping and generalizing to concepts. The paper also addresses objections to phenomenal accounts of grasping, including the objection that recent developments in AI technology show that consciousness is irrelevant to grasping and understanding. (shrink)

This essay argues for a concept of political identity that is fundamentally relational in nature contra more liberal accounts of identity that are atomistic. I consider John Rawls’ account of political identity in his Political Liberalism and provide a response stemming from Hannah Arendt’s account of political identity grounded in the existential condition of politics: human plurality. Using her concept of human plurality, I argue that political identity ought to be conceived as relationally individuated as opposed to atomistically so, meaning (...) that our identities only emerge in and through appearing before other political actors and not prior to it. The larger upshot is that conceiving of political identity as relational provides a more fruitful concept of the citizen and might allow progress to be made regarding some of the more entrenched political problems in American political culture, especially polarization and partisanship. (shrink)

The paper considers contemporary models of presumption in terms of their ability to contribute to a working theory of presumption for argumentation. Beginning with the Whatelian model, we consider its contemporary developments and alternatives, as proposed by Sidgwick, Kauffeld, Cronkhite, Rescher, Walton, Freeman, Ullmann-Margalit, and Hansen. Based on these accounts, we present a picture of presumptions characterized by their nature, function, foundation and force. On our account, presumption is a modal status that is attached to a claim and has the (...) effect of shifting, in a dialogue, a burden of proof set at a local level. Presumptions can be analysed and evaluated inferentially as components of rule-based structures. Presumptions are defeasible, and the force of a presumption is a function of its normative foundation. This picture seeks to provide a framework to guide the development of specific theories of presumption. (shrink)

I argue that some important elements of the current cosmological model are 'conventionalist’ in the sense defined by Karl Popper. These elements include dark matter and dark energy; both are auxiliary hypotheses that were invoked in response to observations that falsified the standard model as it existed at the time.

Presentists, who believe that only present objects exist, should accept a thisness ontology, since it can do considerable work in defence of presentism. In this paper, I propose a version of presentism that involves thisnesses of past and present entities and I argue this view solves important problems facing standard versions of presentism.

Are the special sciences autonomous from physics? Those who say they are need to explain how dependent special science properties could feature in irreducible causal explanations, but that’s no easy task. The demands of a broadly physicalist worldview require that such properties are not only dependent on the physical, but also physically realized. Realized properties are derivative, so it’s natural to suppose that they have derivative causal powers. Correspondingly, philosophical orthodoxy has it that if we want special science properties to (...) bestow genuinely new causal powers, we must reject physical realization and embrace a form of emergentism, in which such properties arise from the physical by mysterious brute determination. In this paper, I argue that contrary to this orthodoxy, there are physically realized properties that bestow new causal powers in relation to their realizers. The key to my proposal is to reject causal-functional accounts of realization and embrace a broader account that allows for the realization of shapes and patterns. Unlike functional properties, such properties are defined by qualitative, non-causal specifications, so realizing them does not consist in bestowing causal powers. This, I argue, allows for causal novelty of the strongest kind. I argue that the molecular geometry of H2O—a qualitative, multiply realizable property—plays an irreducible role in explaining its dipole moment, and thereby bestows novel powers. On my proposal, special science properties can have the kind of causal novelty traditionally associated with strong emergence, without any of the mystery. (shrink)

This is a corrected version of the final proofs. I've fixed a number of typos, and corrected a blunder in chapter 4. In chapter 4 I say that 'this is this' is analytic, and 'this is not this' is antonymous. This is inconsistent with what I say in chapter 5, and not what I actually think. Rather, 'this is this' is taugologous, and 'this is not this' is contradictory. Analyticity and autnonmy are sense properties while tautologousness and contradictoriness are formal (...) logical properties. Heading, ToC and Index updated accordingly. (Oxford will make these corrections in their online version and in future print runs.). (shrink)

In the course of daily life we solve problems often enough that there is a special term to characterize the activity and the right to expect a scientific theory to explain its dynamics. The classical view in psychology is that to solve a problem a subject must frame it by creating an internal representation of the problem’s structure, usually called a problem space. This space is an internally generable representation that is mathematically identical to a graph structure with nodes and (...) links. The nodes can be annotated with useful information, and the whole representation can be distributed over internal and external structures such as symbolic notations on paper or diagrams. If the representation is distributed across internal and external structures the subject must be able to keep track of activity in the distributed structure. Problem solving proceeds as the subject works from an initial state in mentally supported space, actively constructing possible solution paths, evaluating them and heuristically choosing the best. Control of this exploratory process is not well understood, as it is not always systematic, but various heuristic search algorithms have been proposed and some experimental support has been provided for them. (shrink)

In the first half of this paper, I argue that essential properties are intrinsic and that this permits a modal analysis of essence that is immune the sort of objections raised by Fine. In the second half, I argue that intrinsic properties collectively have a certain structure and that this accounts for some observations about essences: that things are essentially determinate; that things often have properties within a certain range essentially; and that the essential properties of things are their core (...) properties. (shrink)

Several different quantum gravity research programmes suggest, for various reasons, that spacetime is not part of the fundamental ontology of physics. This gives rise to the problem of empirical coherence: if fundamental physical entities do not occupy spacetime or instantiate spatiotemporal properties, how can fundamental theories concerning those entities be justified by observation of spatiotemporally located things like meters, pointers and dials? I frame the problem of empirical coherence in terms of entailment: how could a non-spatiotemporal fundamental theory entail spatiotemporal (...) evidence propositions? Solutions to this puzzle can be classified as realist or antirealist, depending on whether or not they posit a non-fundamental spacetime structure grounded in or caused by the fundamental structure. These approaches place different constraints on our everyday concepts of space and time. Applying lessons from the philosophy of mind, I argue that only realism is both conceptually plausible and suitable for addressing the problem at hand. I suggest a role functionalist version of realism, which is consistent with both grounding and causation, and according to which our everyday concepts reveal something of the true nature of emergent spacetime. (shrink)

Do motivational limitations due to human nature constrain the demands of justice? Among those who say no, David Estlund offers perhaps the most compelling argument. Taking Estlund’s analysis of “ability” as a starting point, I show that motivational deficiencies can constrain the demands of justice under at least one common circumstance — that the motivationally-deficient agent makes a good faith effort to overcome her deficiency. In fact, my argument implies something stronger; namely, that the demands of justice are constrained (...) by what people are sufficiently likely to be motivated to do. Thus, contrary to the prevailing wisdom, it is the business of ideal theory — not just nonideal theory — to work with the motivational capacities people are likely enough to have. (See also Estlund's reply in the same issue of EJPT and my rejoinder on Philpapers.). (shrink)

Since the 18th century, one of the key features of diagnosed psychopaths has been “moral colorblindness” or an inability to form moral judgments. However, attempts at experimentally verifying this moral incapacity have been largely unsuccessful. After reviewing the centrality of “moral colorblindness” to the study and diagnosis of psychopathy, I argue that the reason that researchers have been unable to verify that diagnosed psychopaths have an inability to make moral judgments is because their research is premised on the assumption that (...) there is a specific moral faculty of the brain, or specific “moral” emotions, and that this faculty or set of emotions can become “impaired”. I review recent research and argue that we have good reason to think that there is no such distinct capacity for moral judgment, and that, as a result, it is impossible for someone’s “moral judgment faculty” to become selectively disabled. I then discuss the implications of such a position on psychopathy research, the coherence of the disorder, and the moral responsibility of psychopaths. (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)

We give two social aggregation theorems under conditions of risk, one for constant population cases, the other an extension to variable populations. Intra and interpersonal welfare comparisons are encoded in a single ‘individual preorder’. The theorems give axioms that uniquely determine a social preorder in terms of this individual preorder. The social preorders described by these theorems have features that may be considered characteristic of Harsanyi-style utilitarianism, such as indifference to ex ante and ex post equality. However, the theorems are (...) also consistent with the rejection of all of the expected utility axioms, completeness, continuity, and independence, at both the individual and social levels. In that sense, expected utility is inessential to Harsanyi-style utilitarianism. In fact, the variable population theorem imposes only a mild constraint on the individual preorder, while the constant population theorem imposes no constraint at all. We then derive further results under the assumption of our basic axioms. First, the individual preorder satisfies the main expected utility axiom of strong independence if and only if the social preorder has a vector-valued expected total utility representation, covering Harsanyi’s utilitarian theorem as a special case. Second, stronger utilitarian-friendly assumptions, like Pareto or strong separability, are essentially equivalent to strong independence. Third, if the individual preorder satisfies a ‘local expected utility’ condition popular in non-expected utility theory, then the social preorder has a ‘local expected total utility’ representation. Fourth, a wide range of non-expected utility theories nevertheless lead to social preorders of outcomes that have been seen as canonically egalitarian, such as rank-dependent social preorders. Although our aggregation theorems are stated under conditions of risk, they are valid in more general frameworks for representing uncertainty or ambiguity. (shrink)

This paper consider Prior's connective Tonk from a particular bilateralist perspective. I show that there is a natural perspective from which we can see Tonk and its ilk as perfectly well-defined pieces of vocabulary; there is no need for restrictions to bar things like Tonk.

Recent years have seen a surge in online collaboration between experts and amateurs on scientific research. In this article, we analyse the epistemological implications of these crowdsourced projects, with a focus on Zooniverse, the world’s largest citizen science web portal. We use quantitative methods to evaluate the platform’s success in producing large volumes of observation statements and high impact scientific discoveries relative to more conventional means of data processing. Through empirical evidence, Bayesian reasoning, and conceptual analysis, we show how information (...) and communication technologies enhance the reliability, scalability, and connectivity of crowdsourced e-research, giving online citizen science projects powerful epistemic advantages over more traditional modes of scientific investigation. These results highlight the essential role played by technologically mediated social interaction in contemporary knowledge production. We conclude by calling for an explicitly sociotechnical turn in the philosophy of science that combines insights from statistics and logic to analyse the latest developments in scientific research. (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.

Working within the broad lines of general consensus that mark out the core features of John Stuart Mill’s (1806–1873) logic, as set forth in his A System of Logic (1843–1872), this chapter provides an introduction to Mill’s logical theory by reviewing his position on the relationship between induction and deduction, and the role of general premises and principles in reasoning. Locating induction, understood as a kind of analogical reasoning from particulars to particulars, as the basic form of inference that is (...) both free-standing and the sole load-bearing structure in Mill’s logic, the foundations of Mill’s logical system are briefly inspected. Several naturalistic features are identified, including its subject matter, human reasoning, its empiricism, which requires that only particular, experiential claims can function as basic reasons, and its ultimate foundations in ‘spontaneous’ inference. The chapter concludes by comparing Mill’s naturalized logic to Russell’s (1907) regressive method for identifying the premises of mathematics. (shrink)

Computation is a process of making explicit, information that was implicit. In computing 5 as the solution to ∛125, for example, we move from a description that is not explicitly about 5 to one that is. We are drawing out numerical consequences to the description ∛125. We are extracting information implicit in the problem statement. Can we precisely state the difference between information thati s implicit in a state, structure or process and information that is explicit?

Bernard Williams’ discussion of immortality in “The Makropulos Case: Reflections on the Tedium of Immortality” has spawned an entire philosophical literature. This literature tends to focus on one of Williams’ central claims: if we were to relinquish our mortality, we would necessarily become alienated from our existence and environment—“bored,” in his terms. Many theorists have defended this claim; many others have challenged it. Even if this claim is false, though, it still isn’t obvious that we should choose to relinquish our (...) mortality, given the option. And this is puzzling. Death is generally regarded as an evil, meriting anxiety, dread, and avoidance. What is it about our mortality that makes us hesitant to relinquish it? In this paper, I aim to explain this hesitancy and to argue in its favor: we should be hesitant to relinquish our mortality. Further, I take my discussion to suggest that most of us probably shouldn’t take this option if we were given it. To make these points, I draw on Williams’ discussion of immortality, developing and extending his thought in order to better understand how mortality shapes the way we relate to our lives, particularly the commitments and values that make them meaningful. Our mortality, it seems, plays a crucial role in our lives standing for something. Relinquishing it thus means risking the loss of this value. (shrink)

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)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

We argue that there is significant evidence for reconsidering the possibility that moral judgment constitutes a distinctive category of judgment. We begin by reviewing evidence and arguments from neuroscience and philosophy that seem to indicate that a diversity of brain processes result in verdicts that we ordinarily consider “moral judgments”. We argue that if these findings are correct, this is plausible reason for doubting that all moral judgments necessarily share common features: if diverse brain processes give rise to what we (...) refer to as “moral judgments”, then we have reason to suspect that these judgments may have different features. After advancing this argument, we show that giving up the unity of moral judgment seems to effectively dissolve the internalism/externalism debate concerning motivation within the field of metaethics. (shrink)

Animalism—the view that the identity across time of individuals like us consists in the persistence of our animal organisms—does poorly at accounting for our identity-related practical concerns. The reason is straightforward: whereas our practical concerns seem to track the identity of psychological creatures—persons—animalism focuses on the identity of human organisms who are not essentially persons. This lack of fit between our practical concerns and animalism has been taken to reduce animalism’s plausibility (relative to psychological criteria of identity). In this paper, (...) I survey the three leading replies to this challenge, finding them either implausible or incomplete. I will then attempt to construct the only viable response, one that begins by admitting that our practical concerns actually do not consist in a monolithic set; rather, there are distinctly different types of practical concerns, and while some are clearly grounded on psychological relations, some are actually grounded on others, including animalistic and humanistic relations; furthermore, their actual connection to identity is tenuous at best. What these concerns are, how they divide up, and what they are grounded on in each instance—these are the issues it is my second aim in this paper to take up. (shrink)

Humour is worthy of serious ethical consideration. However, it is often taken far too seriously. In this paper, it is argued that while humour is sometimes unethical, it is wrong much less often than many people think. Non-contextual criticisms, which claim that certain kinds of humour are always wrong, are rejected. Contextual criticisms, which take issue with particular instances of humour rather than types of humour, are more promising. However, it is common to overstate the number of contexts in which (...) humour is wrong. Various mistakes of this kind are highlighted and cautioned against. (shrink)

Many people believe that for someone to now be responsible for some past action, the agent of that action and the responsible agent now must be one and the same person. In other words, many people that moral responsibility presupposes numerical personal identity. In this paper, I show why this platitude is false. I then suggest an account of what actual metaphysical relationship moral responsibility presupposes instead.

In introducing the reactive attitudes “of people directly involved in transactions with each other,” P. F. Strawson lists “gratitude, resentment, forgiveness, love, and hurt feelings.” To show how our interpersonal emotional practices of responsibility could not be undermined by determinism’s truth, Strawson focused exclusively on resentment, specifically on its nature and actual excusing and exempting conditions. So have many other philosophers theorizing about responsibility in Strawson’s wake. This method and focus has generated a host of quality of will theories of (...) responsibility. What I show in this paper is that if Strawson—and his followers—had focused on hurt feelings instead of resentment, not only would quality of will theories of responsibility be disfavored, but none of our other theories of responsibility could adequately account for them. I conclude by exploring what a conundrum this poses for our methods and starting points in theorizing about responsibility. (shrink)

I argue that the debate concerning the nature of first-person moral judgment, namely, whether such moral judgments are inherently motivating or whether moral judgments can be made in the absence of motivation, may be founded on a faulty assumption: that moral judgments form a distinct kind that must have some shared, essential features in regards to motivation to act. I argue that there is little reason to suppose that first-person moral judgments form a homogenous class in this respect by considering (...) an ordinary case: student readers of Peter Singer’s “Famine, Affluence, and Morality”. Neither internalists nor externalists can provide a satisfying account as to why our students fail to act in this particular case, but are motivated to act by their moral judgments in most cases. I argue that the inability to provide a satisfying account is rooted in this shared assumption about the nature of moral judgments. Once we consider rejecting the notion that first-person moral decision- making forms a distinct kind in the way it is typically assumed, the internalist/externalist debate may be rendered moot. (shrink)

Contracts are common, and some influential thinkers in the “modern” period of philosophy argued that the whole of society is created and regulated by a contract. Two of the most prominent “social contract theorists” are Thomas Hobbes (1588-1679) and John Locke (1632-1704).[2] This essay explains the origins of this tradition and why the concept of a contract is illuminating for thinking about the structure of society and government.

This paper explores spatial justice in urban environments through immersive art and design, focusing on Amsterdam and Houston. It presents a case study from the Venice Biennale 2023, showcasing art's potential in fostering inclusive urban spaces. The study delves into the socio-political complexities of urban areas, highlighting often-ignored liminal spaces and their tensions and possibilities. Immersive art emerges as a transformative medium, capable of challenging and reshaping perceptions of space, and addressing systemic socio-economic disparities. Adopting a transdisciplinary approach, the research (...) combines insights from various fields to enrich discussions on spatial justice and inspire urban transformations. By examining liminal spaces and the 'phygital' nexus, the paper challenges conventional urban narratives and advocates for more inclusive and equitable urban strategies. (shrink)

This paper explores spatial justice in urban environments through immersive art and design, focusing on Amsterdam and Houston. It presents a case study from the Venice Biennale 2023, showcasing art's potential in fostering inclusive urban spaces. The study delves into the socio-political complexities of urban areas, highlighting often-ignored liminal spaces and their tensions and possibilities. Immersive art emerges as a transformative medium, capable of challenging and reshaping perceptions of space, and addressing systemic socio-economic disparities. Adopting a transdisciplinary approach, the research (...) combines insights from various fields to enrich discussions on spatial justice and inspire urban transformations. By examining liminal spaces and the 'phygital' nexus, the paper challenges conventional urban narratives and advocates for more inclusive and equitable urban strategies. (shrink)

Realists about aesthetic judgment believe something like the following: for an aesthetic judgment of be correct, it must respond to the intrinsic aesthetic properties possessed by the object in question (e.g., Meskin et al., 2013; Kieran 2010). However, Cutting’s (2003) empirical research on aesthetic judgment puts pressure on that position. His work indicates that unconscious considerations extrinsic to an artwork can underpin said judgements. This paper takes Cutting’s conclusion a step further: If philosophers grant that it’s possible to appreciate artwork (...) on the basis of unconscious biases, then we never can be fully confident that our aesthetic judgment is undergirded by the intrinsic aesthetic properties of an artwork. Furthermore, if judgment on the basis of unconscious, external reasons cannot be ruled out, we cannot be confident that our aesthetic judgments are ‘correct’. I argue that Cutting’s research is just the tip of the iceberg regarding the extrinsic, unconscious factors that influence aesthetic judgment. Expectation bias formed via social influence and context greatly influence aesthetic judgments and are unavoidable: we inevitably form expectations based on all kinds of contextual cues independently of any actual exposure to the item in question. Such factors make it terribly difficult to be confident in our aesthetic judgments. Even if there are objective properties that mark out some items as aesthetically superior to others, we cannot be sure that our judgments are responding to those properties. (shrink)

In philosophy of aesthetics, scholars commonly express a commitment to the premise that there is a distinctive type of judgment that can be meaningfully labeled “aesthetic”, and that these judgments are distinctively different from other types of judgments. We argue that, within an Aristotelian framework, there is no clear avenue for meaningfully differentiating “aesthetic” judgment from other types of judgment, and, as such, we aim to question the assumption that aesthetic judgment does in fact constitute a distinctive kind of judgment (...) that is in need of, or can be subject to, distinctive theorizing. We advance our argument primarily through demonstrating that leading contemporary accounts of aesthetic judgment do not successfully distinguish a type of judgment in that they do not tell us how making an aesthetic judgment differs substantially from judging that 2 + 3 = 5, that football is entertaining, or that today is Tuesday. (shrink)

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, I prove (...) that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)