The Salivaomics Knowledge Base (SKB) is designed to serve as a computational infrastructure that can permit global exploration and utilization of data and information relevant to salivaomics. SKB is created by aligning (1) the saliva biomarker discovery and validation resources at UCLA with (2) the ontology resources developed by the OBO (Open Biomedical Ontologies) Foundry, including a new Saliva Ontology (SALO). We define the Saliva Ontology (SALO; http://www.skb.ucla.edu/SALO/) as a consensus-based controlled vocabulary of terms and relations dedicated to the salivaomics (...) domain and to saliva-related diagnostics following the principles of the OBO (Open Biomedical Ontologies) Foundry. The Saliva Ontology is an ongoing exploratory initiative. The ontology will be used to facilitate salivaomics data retrieval and integration across multiple fields of research together with data analysis and data mining. The ontology will be tested through its ability to serve the annotation ('tagging') of a representative corpus of salivaomics research literature that is to be incorporated into the SKB. Background Saliva (oral fluid) is an emerging biofluid for non-invasive diagnostics used in the detection of human diseases. The need to advance saliva research is strongly emphasized by the National Institute of Dental and Craniofacial Research (NIDCR), and is included in the NIDCR's 2004- 2009 expert panel long-term research agenda [1]. The ability to monitor health status, disease onset, progression, recurrence and treatment outcome through noninvasive means is highly important to advancing health care management. Saliva is a perfect medium to be explored for personalized individual medicine including diagnostics, offering a non-invasive, easy to obtain means for detecting and monitoring diseases. Saliva testing potentially allows the patient to collect their own saliva samples at home, yielding convenience for the patient and savings in health costs, and facilitating multiple sampling. Specimen collection is less objectionable to patients and easier in children and elderly individuals. Due to these advantages. (shrink)

In this essay we provide (1) an argument for why ethics should be naturalized, (2) an analysis of why it is not yet naturalized, (3) a defense of ethical naturalism against two fallacies—Hume’s and Moore’s—that ethical naturalism allegedly commits, and (4) a proposal that normative ethics is best conceived as part of human ecology committed to pluralistic relativism. We explain why naturalizing ethics both entails relativism and also constrains it, and why nihilism about value is not an especially worrisome for (...) ethical naturalists. The substantive view we put forth constitutes the essence of Duke Naturalism. (shrink)

In this essay we provide (1) an argument for why ethics should be naturalized, (2) an analysis of why it is not yet naturalized, (3) a defense of ethical naturalism against two fallacies—Hume’s and Moore’s—that ethical naturalism allegedly commits, and (4) a proposal that normative ethics is best conceived as part of human ecology committed to pluralistic relativism. We explain why naturalizing ethics both entails relativism and also constrains it, and why nihilism about value is not an especially worrisome for (...) ethical naturalists. The substantive view we put forth constitutes the essence of Duke Naturalism. (NOTE: This is a slightly modified reprint of Flangan et al 2007 of the same title.). (shrink)

There is a need recognized by the National Institute of Dental & Craniofacial Research and the National Cancer Institute to advance basic, translational and clinical saliva research. The goal of the Salivaomics Knowledge Base (SKB) is to create a data management system and web resource constructed to support human salivaomics research. To maximize the utility of the SKB for retrieval, integration and analysis of data, we have developed the Saliva Ontology and SDxMart. This article reviews the informatics advances in saliva (...) diagnostics made possible by the Saliva Ontology and SDxMart. (shrink)

We describe the rationale for an application ontology covering the domain of human body fluids that is designed to facilitate representation, reuse, sharing and integration of diagnostic, physiological, and biochemical data, We briefly review the Blood Ontology (BLO), Saliva Ontology (SALO) and Kidney and Urinary Pathway Ontology (KUPO) initiatives. We discuss the methods employed in each, and address the project of using them as starting point for a unified body fluids ontology resource. We conclude with a description of how the (...) body fluids ontology initiative may provide support to basic and translational science. (shrink)

A response to comments by William Casebeer, Peter Railton, and Michael Ruse on "Naturalizing Ethics" (2007).

Human relationships with cars are multifaceted and morally fraught. Cars serve multiple functions, and generate experiences characteristic of both fine art and everyday aesthetic experience – but they’re also the roots of dire eco-social ills. Recent theories tend to undermine the aesthetic aspects of human-automobile relationships in order to emphasize cars’ ethically problematic effects. But cars’ shameful consequences need not cancel out their beauty or their relevance to aesthetic theories. I suggest that David Hume’s aesthetic tenets demonstrate how and (...) why cars are beautiful, foregrounding considerations that automobile aesthetics can’t afford to ignore but that risk being obscured by cars’ positively and negatively charged status. For instance, Hume underscores rational choice as an element of aesthetic experience: we can choose how and when to experience cars’ beauty or ugliness. According to Hume, utility tends to inspire sentiments of beauty; and what is ethically good is most useful to humanity at large. But tension arises from this principle, as Hume finds that even socially harmful phenomena are yet aesthetically interesting. This provocative tension is at the heart of the aesthetic appreciation of cars, and is part of what makes such appreciation worthwhile. Hume paves the way to a realistic aesthetics of automobiles that can account for their problematic effects while refusing to downplay their aesthetic potential. This paper was presented at the 2011 Meeting of the American Society for Aesthetics in Tampa, Florida. (shrink)

There are a number of recent attempts to introduce Confucian values to the ethical analysis of technology. These works, however, have not attended sufficiently to one central aspect of Confucianism, namely Ritual (‘Li’). Li is central to Confucian ethics, and it has been suggested that the emphasis on Li in Confucian ethics is what distinguishes it from other ethical traditions. Any discussion of Confucian ethics for technology, therefore, remains incomplete without accounting for Li. This chapter aims to elaborate on the (...) concept of Confucian Li and discuss its relevance to ethics of technology. Particularly, by referring to Li’s communicative, formative, and aesthetic function, I formulate an approach to ethics of technology with an emphasis on community, performance, and the aesthetic and demonstrate how this approach proceeds with the ethical analysis of technology. In doing so, I attempt to answer the question: why Confucianism matters in ethics of technology. (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)

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)

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)

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)

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)

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)

There is a wide range of things we do out of emotion. For example, we smile with pleasure, our voices drop when we are sad, we recoil in shock or jump for joy, we apologize to others out of remorse. It is uncontroversial that some of these behaviors are actions. Clearly, apologizing is an action if anything is. Things seem less clear in the case of other emotional behaviors. Intuitively, the drop in a sad person’s voice is something that happens (...) to her, rather than something she actively performs. Perhaps more interestingly, even jumping for joy can seem a problematic case: although its execution involves the active performance of certain movements, it has been argued to contrast, e.g., with an act of apology, in that it is not performed in order to achieve some end, such as repairing a relationship. This can make this behavior seem considerably different from paradigm actions. Our central concern in this paper is with which emotional behaviors should be classed as actions and why... (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)

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)

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)

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)

Longtermism is the thesis that in a large class of decision situations, the best thing we can do is what is best for the long-term future. The scope question for longtermism asks: how large is the class of decision situations for which this is true? In this paper, I suggest that the scope of longtermism may be narrower than many longtermists suppose. I identify a restricted version of longtermism: swamping axiological strong longtermism (swamping ASL). I identify three scope-limiting factors - (...) probabilistic and decision-theoretic phenomena which, when present, tend to reduce the prospects for swamping ASL. I argue that these scope-limiting factors are often present in human decision problems, then use two case studies from recent discussions of longtermism to show how the scope-limiting factors lead to a restricted, if perhaps nonempty, scope for swamping ASL. (shrink)

A growing literature has recognized the importance of mental simulation (e.g., imagining alternatives to reality) in sparking creativity. In this chapter, we examine how counterfactual thinking, or imagining alternatives to past outcomes, affects group creativity. We explore these effects by articulating a model that considers the influence of counterfactual thinking on both the cognitive and social processes known to impact group creative performance. With this framework, we aim to stimulate research on group creativity from a counterfactual perspective.

Algorithms can now identify patterns and correlations in the (big) datasets, and predict outcomes based on those identified patterns and correlations with the use of machine learning techniques and big data, decisions can then be made by algorithms themselves in accordance with the predicted outcomes. Yet, algorithms can inherit questionable values from the datasets and acquire biases in the course of (machine) learning, and automated algorithmic decision-making makes it more difficult for people to see algorithms as biased. While researchers have (...) taken the problem of algorithmic bias seriously, but the current discussion on algorithmic fairness tends to conceptualize ‘fairness’ in algorithmic fairness primarily as a technical issue and attempts to implement pre-existing ideas of ‘fairness’ into algorithms. In this paper, I show that such a view of algorithmic fairness as technical issue is unsatisfactory for the type of problem algorithmic fairness presents. Since decisions on fairness measure and the related techniques for algorithms essentially involve choices between competing values, ‘fairness’ in algorithmic fairness should be conceptualized first and foremost as a political issue, and it should be (re)solved by democratic communication. The aim of this paper, therefore, is to explicitly reconceptualize algorithmic fairness as a political question and suggest the current discussion of algorithmic fairness can be strengthened by adopting the accountability for reasonableness framework. (shrink)

The puzzle of material constitution can be expressed in at least two ways. First, how can the constituting object and the constituted object, which are materially and spatially coincident, be regarded as different objects? Second, how can the constituting object and the constituted object, which are qualitatively distinct, be regarded as identical objects? Monists argue that the constituting and constituted objects are identical since they are materially and spatially coincident and the property differences between then are simply differences in description, (...) perspective or context. In contrast, pluralists argue that the constituting and constituted objects are not identical even if they are materially and spatially coincident since they are qualitatively distinct. This paper proposes a solution to the puzzle of material constitution called ‘Fregean Monism’ (FM), and shows that it can better account for the property differences between the constituting and constituted objects without the need to regard them as two distinct objects. On the FM view, the puzzle of material constitution is partly a semantic puzzle and partly a metaphysical puzzle, and shows how a solution to the semantic part of the puzzle, based on the Fregean distinction between sense and reference, can yield a satisfactory solution to the metaphysical part of the puzzle. The key idea is that while the reference of a term picks out both the referent object and referent properties, the sense of the term determine which referent properties are picked out. (shrink)

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

This commentary challenges Railton’s claim that the affective system is the key source of control of action. Whilst the affective system is important for understanding how acting for a reason is possible, we argue that there are many levels of control of action and adaptive behaviour and that the affective system is only one source of control. Such a model seems to be more in line with the emerging picture from affective and movement neuroscience.

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)

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)

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)

Political liberals assume an accessibility requirement, which means that, for ensuring civic respect and non-manipulation, public officials should offer accessible reasons during political advocacy. Recently, critics have offered two arguments to show that the accessibility requirement is unnecessary. The first is the pluralism argument: Given the pluralism in evaluative standards, when officials offer non-accessible reasons, they are not disrespectful because they may merely try to reveal their strongest reason. The second is the honesty argument: As long as officials honestly confess (...) their beliefs after offering non-accessible reasons, disrespect and non-manipulation do not occur. This paper defends the accessibility requirement and asserts that these two arguments overlook a unique feature of the political domain. While all citizens collectively own political power as a corporate body, an official does not privately own her political power. Instead, she is a trustee who has a duty to act on behalf of the corporate body, that is, she has to make decisions on grounds that are accessible to others. This duty explains why, despite pluralism, the accessibility requirement is necessary. Moreover, given that political decisions are profoundly influential to each person, requiring people to be honest is ineffective in discouraging disrespectful and manipulative acts. (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)

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)

It is hard to disagree with the idea of responsible innovation (henceforth, RI), as it enables policy-makers, scientists, technology developers, and the public to better understand and respond to the social, ethical, and policy challenges raised by new and emerging technologies. RI has gained prominence in policy agenda in Europe and the United States over the last few years. And, along with its rising importance in policy-making, there is also a burgeoning research literature on the topic. Given the historical context (...) of which RI emerges, it should not be surprising that the current discourse on RI is predominantly based on liberal democratic values. Yet, the bias towards liberal democratic values will inevitably limit the discussion of RI, especially in the cases where liberal democratic values are not taken for granted. As such, there is an urgent need to return to the normative foundation of RI, and to explore the notion of ‘responsible innovation’ from nonliberal democratic perspectives. Against this background, this paper seeks to demonstrate the problematic consequences of RI solely grounded on or justified by liberal democratic values. This paper will cast the argument in the form of a dilemma to be labelled as The Decent Nonliberal Peoples’ Dilemma and use it to illustrate the problems of the Western bias. (shrink)

Chapter 20 David Kovacs’ “Essence, Grounding, and Explanation” sets out four different ways in which essence might be taken to relate to the notion of grounding or metaphysical explanation, i.e., the type of connection that is often expressed by means of non-causal “in virtue of” or “because”-claims: (i) Unity: essence and grounding belong to a unified set of explanatory concepts; (ii) Supplementation: essence and grounding both contribute in their own way to a distinctive type of explanation; (iii) Independence: essence (...) is a sui generis notion with no straightforward conceptual links to grounding; and (iv) Irrelevance: essence is not an explanatory notion at all and therefore should not be viewed as connected to explanatory notions like grounding. As Kovacs brings out in the chapter, a wide variety of attitudes are represented in the literature even among philosophers who are sympathetic to the recent “hyperintensional” turn in metaphysics when it comes to the question of how the notions of essence and grounding interact with one another. (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)

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)

Clayton and Stevens argue that political liberals should engage with the religiously unreasonable by offering religious responses and showing that their religious views are mistaken, instead of refusing to engage with them. Yet they recognize that political liberals will face a dilemma due to such religious responses: either their responses will alienate certain reasonable citizens, or their engagements will appear disingenuous. Thus, there should be a division of justificatory labour. The duty of engagement should be delegated to religious citizens. In (...) this comment, I will argue that the division of justificatory labour is indefensible. This dilemma can be avoided if politicians and political philosophers correctly use conjecture, a form of discourse that involves non-public reason. As a conditional response, conjecture avoids alienating any reasonable citizens. Also, if conjecture is given in a sincere and open-minded manner, then the problem of disingenuousness can be overcome. My comment concludes that while the engagement of politicians and political philosophers does not necessarily jeopardize overlapping consensus, they should be permitted, or perhaps even required, to engage with the religiously unreasonable due to the natural duty of justice. (shrink)

In this paper, I motivate skepticism about the causal efficacy of moral properties in two ways. First, I highlight a tension that arises between two claims that moral realists may want to accept. The first claim is that physically indistinguishable things do not differ in any causally efficacious respect. The second claim is that physically indistinguishable things that differ in certain historical respects have different moral properties. The tension arises to the extent to which these different moral properties are supposed (...) to have different effects on people. I will introduce a class of cases in which this tension arises and suggest that the moral properties in these cases have no causal power. I will also question whether there are differences between the moral properties in these cases and moral properties in other cases that do not involve physically indistinguishable things that could make the latter moral properties causally efficacious. The second way that I motivate skepticism consists in pointing out a unique feature of cases in which moral properties are supposed both to supervene on historical properties and to be causally efficacious. These cases allow us to change moral properties with alleged effects while we hold constant the nonmoral candidates for causal contribution to those effects. This feature of these cases is unique because in most other cases the moral properties supervene on the physical properties in the nonmoral candidates, such that we cannot change the former while holding constant the latter. This way of changing moral properties provides empirical grounds for testing their causal efficacy. (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)

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.

A closer look at the theories and questions in philosophy of technology and ethics of technology shows the absence and marginality of non-Western philosophical traditions in the discussions. Although, increasingly, some philosophers have sought to introduce non-Western philosophical traditions into the debates, there are few systematic attempts to construct and articulate general accounts of ethics and technology based on other philosophical traditions. This situation is understandable, for the questions of modern sciences and technologies appear to be originated from the West; (...) at the same time, the situation is undesirable. The overall aim of this paper, therefore, is to introduce an alternative account of ethics of technology based on the Confucian tradition. In doing so, it is hoped that the current paper can initiate a relatively uncharted field in philosophy of technology and ethics of technology. (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)

Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with (...) quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring. (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.

Inspired by Rudolf Carnap's Der Logische Aufbau Der Welt, David J. Chalmers argues that the world can be constructed from a few basic elements. He develops a scrutability thesis saying that all truths about the world can be derived from basic truths and ideal reasoning. This thesis leads to many philosophical consequences: a broadly Fregean approach to meaning, an internalist approach to the contents of thought, and a reply to W. V. Quine's arguments against the analytic and the a (...) priori. Chalmers also uses scrutability to analyze the unity of science, to defend a conceptual approach to metaphysics, and to mount a structuralist response to skepticism. Based on the 2010 John Locke lectures, Constructing the World opens up debate on central philosophical issues involving language, consciousness, knowledge, and reality. This major work by a leading philosopher will appeal to philosophers in all areas. This entry contains uncorrected proofs of front matter, chapter 1, and first excursus. (shrink)