Most current dental ethics curricula use a deontological approach to biomedical and dental ethics that emphasizes adherence to duties and principles as properties that determine whether an act is ethical. But the actual ethical orientation of students is typically unknown. The purpose of the current study was to determine the ethical orientation of dental students in resolving clinical ethical dilemmas. First-year students from one school were invited to participate in an electronic survey that included eight vignettes featuring ethical conflicts common (...) to the health care setting. The Multidimensional Ethics Scale was used to evaluate the students’ ethical judgments of these conflicts. Students rated each vignette along 13 ethically relevant items using a 7-point scale. Nine of the thirteen items were analyzed because they represent the dominant ethical theories, including deontology. One hundred sixteen dental students successfully completed the survey. Of the analyzed items, those associated with deontology had comparatively weak associations with whether students judged the action to be ethical and whether students judged themselves likely to perform the action. Whether an action was judged to be caring had the strongest association with whether the action was judged to be ethical and whether students judged themselves likely to perform the action. These results suggest that adherence to duties or principles has weaker association with students’ ethical judgments and behavior compared to caring, which was found to be more influential in their ethical judgments and behavior. Current dental school curricula with a primary focus on deontology may no. (shrink)

Do psychological traits predict philosophical views? We administered the PhilPapers Survey, created by David Bourget and David Chalmers, which consists of 30 views on central philosophical topics (e.g., epistemology, ethics, metaphysics, philosophy of mind, and philosophy of language) to a sample of professional philosophers (N = 314). We extended the PhilPapers survey to measure a number of psychological traits, such as personality, numeracy, well-being, lifestyle, and life experiences. We also included non-technical ‘translations’ of these views for eventual use (...) in other populations. We found limited to no support for the notion that personality or demographics predict philosophical views. We did, however, find that some psychological traits were predictive of philosophical views, even after strict correction for multiple comparisons. Findings include: higher interest in numeracy predicted physicalism, naturalism, and consequentialism; lower levels of well-being and higher levels of mental illness predicted hard determinism; using substances such as psychedelics and marijuana predicted non-realist and subjectivist views of morality and aesthetics; having had a transformative or self-transcendent experience predicted theism and idealism. We discuss whether or not these empirical results have philosophical implications, while noting that 68% of our sample of professional philosophers indicated that such findings would indeed have philosophical value. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (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)

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)

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

Extant theoretical work on the political resource curse implies that dependence on resource revenues should decrease autocracies’ likelihood of democratizing but not necessarily affect democracies’ chances of survival. Yet most previous empirical studies estimate models that are ill-suited to address this claim. We improve upon earlier studies, estimating a dynamic logit model that interacts a continuous measure of resource dependence with an indicator of regime type using data from 166 countries, covering the period from 1816-2006. We find that an increase (...) in resource dependence at time t - 1 increases the likelihood of autocratic persistence at t, but has no appreciable effect on democratic survival. We go beyond existing empirical studies to show that increases in resource dependence have persistent and substantial cumulative effects on autocracies' likelihood of becoming democratic over the long-term, showing that the total effect of resource dependence on regime type is much larger than the short-term (one period) effect indicates. (shrink)

This article serves as either an addendum or as an expansion of ideas and work developed in my 2024 book, The Rationality Project: Across the Millennia, issued by Palgrave Macmillan. The book explores 21 potential theories for explaining rationality in terms of why and how one among these can serve in the position of explanatory power. The book does not fully explain all of these candidate theories, assigning that complete role to this addendum or work-in-progress. The main reason for this (...) abbreviation in assessing all the theories in the book is that the complete coverage—which this addendum allows—of all 21 theories would become too detailed for some philosophical readers. This addendum; one may consider, is then for the more technically minded reader—although certainly not-too-technically minded readers are welcome to explore it. If it becomes too bogged in detail for those latter kinds of readers, they may end up skimming the material in this addendum, trying at least to get the general idea of how these addendum sections fit into the book's goals. (shrink)

Metacognition is the capacity to evaluate the success of one's own cognitive processes in various domains; for example, memory and perception. It remains controversial whether metacognition relies on a domain-general resource that is applied to different tasks or if self-evaluative processes are domain specific. Here, we investigated this issue directly by examining the neural substrates engaged when metacognitive judgments were made by human participants of both sexes during perceptual and memory tasks matched for stimulus and performance characteristics. By comparing patterns (...) of fMRI activity while subjects evaluated their performance, we revealed both domain-specific and domain-general metacognitive representations. Multivoxel activity patterns in anterior prefrontal cortex predicted levels of confidence in a domain-specific fashion, whereas domain-general signals predicting confidence and accuracy were found in a widespread network in the frontal and posterior midline. The demonstration of domain-specific metacognitive representations suggests the presence of a content-rich mechanism available to introspection and cognitive control. (shrink)

Are demands for equality motivated by envy? Nietzsche, Freud, Hayek, and Nozick all thought so. Call this the Envy Objection. For egalitarians, the Envy Objection is meant to sting. Many egalitarians have tried to evade the Envy Objection.. But should egalitarians be worried about envy? In this paper, I argue that egalitarians should stop worrying and learn to love envy. I argue that the persistent unwillingness to embrace the Envy Objection is rooted in a common misunderstanding of the nature of (...) the charge, what it reveals, and what can be said in response to it. I develop what Bernard Williams might call a vindicatory genealogy of envy, thereby allowing us to see that envy, rather than undermining egalitarian intuitions, can in fact play a distinct justificatory role (when it is fitting), which undermines the Envy Objection. (shrink)

L'ingegneria concettuale è una branca della filosofia caratterizzata da un approccio normativo nei confronti della rappresentazione. Assunzione fondamentale è che i nostri dispositivi rappresentazionali possano essere difettosi. Si configura dunque come l'attività che consiste nell'identificare i difetti in tali dispositivi e mettere in atto strategie di miglioramento. Verranno illustrate le questioni fondamentali a cui una teoria di ingegneria concettuale deve rispondere: in cosa consiste esattamente questa attività? Come possiamo attuarla? Quali meccanismi regolano la formazione dei dispositivi rappresentazionali? Possiamo influire su (...) tali meccanismi? Verrà inoltre presentata un'obiezione all'ingegneria concettuale e varie risposte. -/- Conceptual engineering is a branch of philosophy characterised by a normative approach towards representation. The fundamental assumption of it is that our representational devices can be defective. Conceptual engineering is then the activity consisting of identifying the defects of such devices and putting in place ameliorative strategies. This paper illustrates the fundamental issues for a theory of conceptual engineering: what does this activity consist of? How can we implement it? What mechanisms regulate the formation of representational devices? Can we have an influence over those mechanisms? Moreover, it will be presented an objection to conceptual engineering and various responses to it. (shrink)

Fichte-Studien, volume 49 (Leiden: Brill/Rodopi Publishers, 8 April 2021), edited by David W. Wood, 471pp. -/- Presenting new critical perspectives on J.G. Fichte’s Wissenschaftslehre, this volume of articles in English by an international group of scholars addresses the topic of first principles in Fichte’s writings. Especially discussed are the central text of his Jena period, the 1794/95 Grundlage der gesammten Wissenschaftslehre, as well as later versions like the Wissenschaftslehre nova methodo (1796-99) and the presentations of 1804 and 1805. Also (...) included are new studies on the first principles of the particular sub-disciplines of Fichte’s system, such as the doctrines of aesthetics, nature, right, ethics, and history. The volume also contains a number of miscellaneous essays on Fichte research, as well as several book reviews. (shrink)

There is a conflict between a strictly political approach to LGBT rights, in which the battle must never cease. and the less encountered notion that individuals can let the battle settle into the background and simply get on with unpolitical life. at least unpolitical at home. The article takes the example of India as a salient place to view this conflict. As a democratic nation, India has had some limited progress in protecting LGBT rights. How its massively differentiated and traditional (...) society has adopted and tolerated this moral enjoinder is another matter. Certainly, acceptance is as important as legal recognition. But how are the politics faring at the individual level? One of the best media for feeling a nation’s political pulse is not internet or television but literature. Two current Indian authors exemplify how, at the personal level, some sexual politicking has already succeeded, in some social realms, by almost disappearing from the narrative. (shrink)

Are workers dominated? A recent suite of neo-republican and relational egalitarian philosophers think they are. Suppose they are right; that is, suppose that some workers are governed by an unjust and arbitrary power existing in labour relations, which persists even in the presence of the actual ability to exit. My question is this: does that give us reason to impose restrictions on firms? According to the so-called Efficiency Objection there are relevant trade-offs that need to be considered between the efficiency (...) of firms and the freedom of workers, and upon considering these trade-offs, we should reject workplace democracy. In this paper, I present a dilemma for the Efficiency Objection. I argue that either the Efficiency Objection is justified on moral grounds or non-moral grounds; if the Efficiency Objection is justified on moral grounds, then it fails because efficiency cannot be valued for its own sake (it is only instrumentally good); if the Efficiency Objection is justified on non-moral grounds, then it fails because of the respect that we owe to persons as persons; therefore, the Efficiency Objection fails. (shrink)

In this paper, we present three necessary conditions for morally responsible animal research that we believe people on both sides of this debate can accept. Specifically, we argue that, even if human beings have higher moral status than nonhuman animals, animal research is morally permissible only if it satisfies (a) an expectation of sufficient net benefit, (b) a worthwhile-life condition, and (c) a no unnecessary-harm/qualified-basic-needs condition. We then claim that, whether or not these necessary conditions are jointly sufficient conditions of (...) justified animal research, they are relatively demanding with the consequence that many animal experiments may fail to satisfy them. (shrink)

Truthmaker theory promises to do some useful philosophical work: equipping us to argue against phenomenalism and Rylean behaviourism, for instance, and helping us decide what exists (Lewis 1999, 207; Armstrong 1997, 113-119). But it has proved hard to formulate a truthmaker theory that is both useful and believable. I want to suggest that a neglected approach to truthmakers – that of Ian McFetridge – can surmount some of the problems that make other theories of truthmaking unattractive. To begin with, I’ll (...) outline some of the most prominent accounts of truthmaking in the current literature. Then the second part of the paper will explain McFetridge’s theory and argue for its superiority over these accounts. (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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. 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 the interpretational and objective modalities and 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 while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. 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)

Derek Parfit, in On What Matters, argues that all subjective accounts of normative reasons for action are false. This chapter focuses on his “Agony Argument.” The first premise of the Agony Argument is that we necessarily have current reasons to avoid our own future agony. Its second premise is that subjective accounts cannot vindicate this fact. So, the argument concludes, subjective accounts must be rejected. This chapter accepts the first premise of this argument and that it is valid. The main (...) thesis of this chapter is that subjectivists can account for our reasons to get pleasure and avoid agony. The chapter concludes that the Agony Argument does not justify the rejection of subjective accounts. The chapter also examines Parfit's understanding of the distinction between objective and subjective theories. The chapter claims Parfit offers a surprisingly narrow understanding of subjectivism such that even if his critique were successful, this would be bad news for fewer theories than we might have thought. Finally, the chapter replies to some possible worries about the arguments of this chapter. (shrink)

As engineers propose constructing humanlike automata, the question arises as to whether such machines merit human rights. The issue warrants serious and rigorous examination, although it has not yet cohered into a conversation. To put it into a sure direction, this paper proposes phrasing it in terms of whether humans are morally obligated to extend to maximally humanlike automata full human rights, or those set forth in common international rights documents. This paper’s approach is to consider the ontology of humans (...) and of automata and whether ontological difference between them, that pertains to the very bases of human rights, affects the latter’s claims to full human rights. Considering common bases of human rights, can these bases tell us whether a certain ontological distinction of humans from automata—or a de facto distinction about humans tacitly acknowledged by full-rights-recognizing societies—makes a difference in whether humans are morally obligated to assign these entities full rights? Human rights to security also arise. The conclusion is that humans need not be under any moral obligation to confer full human rights on automata. The paper’s ultimate point is not to close the discussion with this ontological cap but to set a solid moral and legal groundwork for opening it up tout court. (shrink)

My favorite thing about this paper is that I think I usefully explicate and then mess with Bernard Williams's attempt to explain how his internalism is compatible with our ordinary practices of blame. There are a surprising number of things wrong with Williams's position. Of course that leaves my own favored subjectivism in a pickle, but still...

Recent methodological debates regarding the place of feasibility considerations in normative political theory are hindered for want of a rigorous model of the feasibility frontier. To address this shortfall, I present an analysis of feasibility that generalizes the economic concept of a production possibility frontier and then develop a rigorous model of the feasibility frontier using the familiar possible worlds technology. I then show that this model has significant methodological implications for political philosophy. On the Target View, a political ideal (...) presents a long-term goal for morally progressive reform efforts and, thus, serves as an important reference point for our specification of normative political principles. I use the model to show that we can- not reasonably expect that adopting political ideals as long-term reform objectives will guide us toward the realization of morally optimal feasible states of affairs. I conclude by proposing that political philosophers turn their attention to the analysis of actual social failures rather than political ideals. (shrink)

Since the Nuremberg Code and the first Declaration of Helsinki, globally there has been increasing adoption and adherence to procedures for ensuring that human subjects in research are as well informed as possible of the study’s reasons and risks and voluntarily consent to serving as subject. To do otherwise is essentially viewed as violation of the human research subject’s legal and moral rights. However, with the recent philosophical concerns about responsible robotics, the limits and ambiguities of research-subjects ethical codes become (...) apparent on the matter of constructing automata that maximally resemble human beings (as defined hereunder). In this case, the automata themselves, as products of research and development, are in the very process of their construction subjects of research and development. However, such research faces a paradox: The subjects cannot give their informed consent to this research for their own development, although their consent would be needed for the research. According to ethical codes, this research would be unethical. The article then explores whether the background concepts giving rise to this paradox could be reframed in order to allow such research to proceed ethically. (shrink)

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)

In the pure powers ontology (PPO), basic physical properties have wholly dispositional essences. PPO has clear advantages over categoricalist ontologies, which suffer from familiar epistemological and metaphysical problems. However, opponents argue that because it contains no qualitative properties, PPO lacks the resources to individuate powers, and generates a regress. The challenge for those who take such arguments seriously is to introduce qualitative properties without reintroducing the problems that PPO was meant to solve. In this paper, I distinguish the core claim (...) of PPO: (i) basic physical properties have dispositional essences, from a hitherto unnoticed assumption: (ii) the dispositional essences of basic physical properties exclusively involve type-causal relations to other basic physical properties. I reject (ii), making room for a structuralist ontology in which all basic physical properties are pure powers, individuated by their places in a causal structure that includes not only other powers, but also physically realized qualitative properties such as shapes, patterns and structures. Such qualities individuate pure powers in the way that non-mental input and output properties individuate realized mental properties in functionalist theories of mind, except that here it is basic physical powers that are individuated by relations to realized non-powers. I distinguish one Platonic and two Aristotelian version of this theory, and argue that the Aristotelian versions require that grounding is not always a relative fundamentality relation, because the powers ground the qualities that individuate them. By considering ontic structural realism, I argue that symmetric grounding is the best way to make sense of relational individuation in structuralist ontologies, and is therefore no additional commitment of the one proposed here. (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)

Conscious experiences involve subjective qualities, such as colours, sounds, smells and emotions. In this Perspective, we argue that these subjective qualities can be understood in terms of their similarity to other experiences. This account highlights the role of memory in conscious experience, even for simple percepts. How an experience feels depends on implicit memory of the relationships between different perceptual representations within the brain. With more complex experiences such as emotions, explicit memories are also recruited. We draw inspiration from work (...) in machine learning as well as the cognitive neuroscience of learning and decision making to make our case and discuss how the account could be tested in future experiments. The resulting findings might help to reveal the functions of subjective experience and inform current theoretical debates on consciousness. (shrink)

Two hundred and sixty-three subjects each gave examples for one of five geographic categories: geographic features, geographic objects, geographic concepts, something geographic, and something that could be portrayed on a map. The frequencies of various responses were significantly different, indicating that the basic ontological terms feature, object, etc., are not interchangeable but carry different meanings when combined with adjectives indicating geographic or mappable. For all of the test phrases involving geographic, responses were predominantly natural features such as mountain, river, lake, (...) ocean, hill. Artificial geographic features such as town and city were listed hardly at all for geographic categories, an outcome that contrasts sharply with the disciplinary self-understanding of academic geography. However, geographic artifacts and fiat objects, such as roads, cities, boundaries, countries, and states, were frequently listed by the subjects responding to the phrase something that could be portrayed on a map. In this paper, we present the results of these experiments in visual form, and provide interpretations and implications for further research. (shrink)

Hylomorphists hold that substances are, in some sense, composites of matter and form. The form of a substance is typically taken to play a fundamental role in determining the unity or identity of the whole. Staunch hylomorphists think that this role is of a kind that precludes the ontological reduction of form to the physical and thus take their position to be inconsistent with physicalism. Forms, according to staunch hylomorphism, play a fundamental role in grounding their bearers’ proper parts and (...) that, it seems, rules out the physical grounding of form itself. I shall develop a physicalist version of hylomorphism that treats form as geometric structure and which, I shall argue, entails many of the central theses endorsed by staunch hylomorphists. Based on Shoemaker’s notion of conditional powers, I shall argue that the geometric structures of complex wholes are the conditions on at least some of the conditional powers of their bearers’ proper parts, transforming those powers into powers simpliciter. Thus, forms play a fundamental role in the dynamical evolution of the physical world, but without bestowing causal powers themselves and hence without violating the causal closure of the physical domain. If a substance’s proper parts are taken to be individuated by their powers simpliciter, then they derive their identities from their places in the substantial whole, which thus determines the identities of its proper parts without changing their intrinsic natures. (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.

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, or even in two terminological (...) traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (shrink)

Over the past several decades environmental ethics has grown markedly, normative ethics having provided essential grounding in assessing human treatment of the environment. Even a systematic approach, such as Paul Taylor’s, in a sense tells the environment how it is to be treated, whether that be Earth’s ecosystem or the universe itself. Can the environment, especially the ecosystem, as understood through the study of ecology, in turn offer normative and applied ethics any edification? The study of ecology has certainly increased (...) awareness of the fact that it is not possible for a moral agent within the ecosystem to step outside its intricate mesh of actions and events, of causes and effects. That is, absolutely everything that an agent can do can have some, often unforeseeable, outcome in the environment. An incompletely snuffed-out match tossed out a car window can cause a forest fire, which causes biome destruction, which causes x, y, and z. In sum, the ecosystem can edify ethics in terms of the scope of ethics, which remains an unsettled, if too-often ignored, matter. By such an inclusive view of moral scope, as derived in part from ecology and as presented here, the scope of moral behavior would include—whether or not adventitiously—every action an agent may do. By this view, moral scope is, in essence, unlimited. The article offers some ramifications of this view of moral scope. (shrink)

The causal closure of the physical poses a familiar causal exclusion problem for the special sciences that stems from the idea that if closure is true, then fundamental physical properties do all the causal work involved in bringing about physical effects. In this paper I aim to show that the strongest causal closure principle that is not ruled out by some simple physics in fact allows for a certain kind of downward causation, which in turn makes room for robust special (...) science autonomy. I focus on the case of vector composition, arguing that it involves irreducibly multilevel causation. To give a complete causal explanation of what goes on in cases that involve the effects of multiple forces, we need to appeal not only to the fundamental properties that generate those forces, but also to geometric properties that determine how multiple vectors compose. However, if all the causal work involved in such cases were due to fundamental physical properties, there would be a one-level explanation available. Hence, I argue, it cannot be the case that fundamental physical properties do all the causal work. The extra causal work, I suggest, comes from the fact that the causal powers bestowed by fundamental physical properties have irreducibly geometric manifestation conditions. I defend the resulting form of downward causation as a solution to the problem of special science autonomy, and discuss two potential accounts of its source, in terms of the debate between kinematic and dynamic theories of the origins of spacetime symmetries. (shrink)

The shape of the Earth's surface, its topography, is a fundamental dimension of the environment, shaping or mediating many other environmental flows or functions. But there is a major divergence in the way that topography is conceptualized in different domains. Topographic cartographers, information scientists, geomorphologists and environmental modelers typically conceptualize topographic variability as a continuous field of elevations or as some discrete approximation to such a field. Pilots, explorers, anthropologists, ecologists, hikers, and archeologists, on the other hand, typically conceptualize this (...) same variability in terms of hills and valleys, mountains and plains, barrows and trenches, that is, as (special sorts of) objects, with locations, shapes, and often names of their own. In this chapter, we sketch an approach to bridging this fundamental gap in geographic information infrastructure. (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)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (shrink)

The aspiration for volitional evolution, or human evolution directed by humans themselves,has increased in philosophical, scientific, technical, and commercial literature. The prospect of shaping the very being who is the consumer of all other innovations offers great commercial potential, one to which all other innovations would in effect be subservient. Actually an amalgam of projected technical/commercial developments, this prospective innovation has practical and ethical ramifications. However, because it is often discussed in a scientific way (specifically that of evolutionary theory), it (...) first calls for examination in terms of common scientific approaches to evolution. Yet, as evolutionary-theory controversies point up, evolution may be considered as neither a directed nor a directable process – a problem for the ontology of volitional evolution. One challenge for theories and programs aiming to implement the proposed innovation is then whether it is theoretically coherent. While I offer responses to the challenge in the form of objections, these in turn remain problematic. Two central issues of responsible innovation arise: (1) If this prospect were feasible, would it be responsible to implement it, and (2) if it is not even theoretically coherent, is it responsible for innovators, even this early-on, to keep promoting it as if it were? (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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. 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 the interpretational and objective modalities and 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 while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. 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)

An introduction to our edited volume, The Metaphysics of Relations, covering a range of issues including the problem of order, the ontological status of relations, reasons for ancient scepticism about relational properties, and two ways of drawing the distinction between internal and external relations.

Autonomy, equality and freedom often appear to be significantly interrelated with one another. However, it has been a challenge to unite these concepts. This article attempts to take up the challenge and demonstrate how these interrelate: .

The purpose of this paper is to address a well-known dilemma for physicalism. If mental properties are type identical to physical properties, then their causal efficacy is secure, but at the cost of ruling out mentality in creatures very different to ourselves. On the other hand, if mental properties are multiply realizable, then all kinds of creatures can instantiate them, but then they seem to be causally redundant. The causal exclusion problem depends on the widely held principle that realized properties (...) inherit their causal powers from their realizers. While this principle holds for functional realization, it fails on a broader notion of realization that permits the realization of complex qualitative properties such as spatial and temporal patterns. Such properties are best seen as dependent powerful qualities, which have their causal roles in virtue of being the qualities they are, and do not inherit powers from their realizers. Recent studies have identified one such property—neural synchrony—as a correlate of consciousness. If synchrony is also partially constitutive of consciousness, then phenomenal properties are both multiply realizable and causally novel. I outline a version of representationalism about consciousness on which this constitution claim holds. (shrink)

Linguistic representations are taken by some to be representations of something, specifically of Standard Linguistic Entities, such as phonemes, clauses, noun phrases etc. This perspective takes them to be intentional. Rey (2021) further argues that the SLEs themselves are inexistent. Here I argue that linguistic representations are simply structures, abstractions of brain states, and hence not intentional, and show how they nevertheless connect to the systems that use them.

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)

In this paper, we develop an account of the justification thinkers have for employing certain basic belief-forming methods. The guiding idea is inspired by Reichenbach's work on induction. There are certain projects in which thinkers are rationally required to engage. Thinkers are epistemically justified in employing any belief-forming method such that "if it doesn't work, nothing will" for successfully engaging in such a project. We present a detailed account based on this intuitive thought and address objections to it. We conclude (...) by commenting on the implications that our account may have for other important epistemological issues and debates. (shrink)

Despite the United Nations Declaration of the Rights of Indigenous Peoples, assimilationist policies continue, whether official or effective. Such policies affect more than the right to group choice. The concern is whether indeed genocide or “only” ethnocide (or culturecide)—the elimination of a traditional culture—is at work. Discussions of the distinction between the two terms have been inconsistent enough that at least one commentator has declared that they cannot be used in analytical contexts. While these terms, I contend, have distinct senses, (...) yet in cases of governmental and other institutional assimilationist policy for indigenous peoples, such ethnocide effectively entails genocide. Insofar as any people’s cultural practices and beliefs are essential for life and health, individuals in groups value, if tacitly, their culture as highly as their language or any artifact: Thus, attempts to eradicate a culture through assimilation in fact eradicate individuals’ lives and health and so are effectively murderous. Acknowledgement by worldwide organizations that assimilationist ethnocide is effectively genocide should affect policy concerning indigenous peoples and thus has significance for international law. (shrink)

In this paper I consider whether a powers ontology facilitates a reduction of causal relations to intrinsic powers of the causal relata. I first argue that there is a tension in the view that powerful causation is an internal relation in this sense. Powers are ontologically dependent on other powers for their individuation, but in that case—given an Aristotelian conception of properties as immanent universals—powers will not be intrinsic on several extant analyses of ‘intrinsic’, since to possess a given power (...) P requires the existence of other concrete particulars as bearers of the powers that individuate P. I suggest several ways for Aristotelians to resolve this tension, but all tenable options involve individuative type-level causal relations between powers. While these individuative relations between powers are internal in the sense that the powers are essentially related, this is a different sense of ‘ internal ’ to the one that entails reducibility. The proposed reduction of token-causal relations to powers succeeds only at the cost of irreducible type-level causal relations between the powers themselves. (shrink)