Although there have been efforts to integrate Semantic Web technologies and artificial agents related AI research approaches, they remain relatively isolated from each other. Herein, we introduce a new ontology framework designed to support the knowledge representation of artificial agents’ actions within the context of the actions of other autonomous agents and inspired by standard cognitive architectures. The framework consists of four parts: 1) an event ontology for information pertaining to actions and events; 2) an epistemic ontology (...) containing facts about knowledge, beliefs, perceptions and communication; 3) an ontology concerning future intentions, desires, and aversions; and, finally, 4) a deontic ontology for modeling obligations and prohibitions which limit agents’ actions. The architecture of the ontology framework is inspired by deontic cognitive event calculus as well as epistemic and deontic logic. We also describe a case study in which the proposed DCEO ontology supports autonomous vehicle navigation. (shrink)

In the paper we present a formal system motivated by a specific methodology of creating norms. According to the methodology, a norm-giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of them. The set of norms created for each situation should respect (1) generally valid deontic principles (...) being the theses of our logic and (2) facts from the ontology of action whose relevance for the systems of norms we postulate. (shrink)

Many recent accounts of the ontology of groups, institutions, and practices have touched upon the normative or deontic dimensions of social reality (e.g., social obligations, claims, permissions, prohibitions, authority, and immunity), as distinct from any specifically moral values or obligations. For the most part, however, the ontology of such socio-deontic phenomena has not received the attention it deserves. In what sense might a social obligation or a claim exist? What is the ontological status of such an (...) obligation (e.g., is it an entity in its own right)? And how do people come to have social obligations or permissions in the first place? In this dissertation, I argue that such social-deontic phenomena can be accounted for ontologically in terms of the existence of shared prescriptive representational content that is backed by collectively held dispositions to monitor for compliance, and to punish (sanction, blame, chide, look unfavorably upon) those who fail to comply. (shrink)

In this paper recognition is taken to be a question of social ontology, regarding the very constitution of the social space of interaction. I concentrate on the question of whether certain aspects of the theory of recognition can be translated into the terms of a socio-ontological paradigm: to do so, I make reference to some conceptual tools derived from John Searle's social ontology and Robert Brandom's normative pragmatics. My strategy consists in showing that recognitive phenomena cannot be isolated (...) at the level of human interaction, and are, rather, in part proper to animal interaction as well. Furthermore, it is argued that recognitive powers are constitutive powers more basic than deontic ones and play a role much broader than the one they in fact assume in Searle and in Brandom. (shrink)

In this paper, partly historical and partly theoretical, after having shortly outlined the development of the meta-ethics in the 1900?s starting from the Tractatus of Wittgenstein, I argue it is possible to sustain that emotivism and intuitionism are unsatisfactory ethical conceptions, while on the contrary, reason (intended in a logical-deductive sense) plays an effective role both in ethical discussions and in choices. There are some characteristics of the ethical language (prescriptivity, universalizability and predominance) that cannot be eluded (pain the non (...) significativity of the same language) by those who want to morally reason, i.e. by those who intend to regulate their own behaviour on the basis of knowledged and coherent principles. These characteristics can be found whether or not all possible ontological-metaphysics foundations of morals are taken into account. Furthermore the deontic logic systems allow the formalization of ethical theories and - at least in principle - a rigorous critical discussion of the same, but obviously nothing can be affirmed on the value of truth of the axioms of a system. In the deontic logic systems Hume?s law is assumed as an implicit result of inferential (conventional) rules and the acceptance of Hume?s law as a logical-linguistic thesis does not involve the cancellation of values (nihilism) or ethical relativism or indifferentism. (shrink)

This is a reply to the commentaries on my paper 'Truthmaker Semantics for Natural Language: Attitude Verbs, Modals, and Intensional Transitive Verbs'. The paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufman, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, and G. Ramchand.

Åsa Burman has recently introduced the important notion of telic power and differentiated it from deontic power in an attempt to build a bridge between ideal and non-ideal social ontology. We find Burman’s project promising but we argue that more is to be done to make it entirely successful. First, there is a palpable tension between Burman’s claim that telic power can be ontologically independent of deontic power and her examples, which suggests that these forms of power (...) share the same basis. Second, it is not completely clear how telic power helps non-ideal social ontologists explain oppression, since Burman thinks that both forms of power are transparent to social agents. We offer solutions to both problems. First, we question the thesis that telic power can exist without deontic power. Burman contends that this is possible because some social roles involving telic power can exist independently of institutions, which are––in her opinion––the source of deontic power. Against Burman, we suggest that all social roles involve deontic power, whether or not they are institutional. Second, we argue that while the exercise of deontic power requires a collective recognition of the social roles of the interacting agents and, therefore, an acceptance of the associated norms, the exercise of telic power does not require acceptance of the relevant norms. This is why invoking telic power is useful in explaining how oppression and injustice can arise. Lastly, we suggest that the relation between teleological normativity and telic power has not been fully clarified by Burman and requires a deeper analysis. (shrink)

Possible worlds semantics faces a range of difficulties for at least certain types of modals, especially deontic modals with their distinction between heavy and light permissions and obligations. This paper outlines a new semantics of modals that aims to overcome some of those difficulties. The semantics is based on an a novel ontology of modal objects, entities like obligations, permissions, needs, as well as epistemic states, abilities, and essences. Moreover, it is based on truthmaking, in the sense of (...) Fine’s recent truthmaker semantics. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This (...) paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

This article addresses a neglected problem in Searle’s social ontology, namely, how human civilization may collapse. In the first section, I provide the theoretical framework. In the second section, I offer the key elements to understanding Searle’s ontology as well as his philosophy of society, emphasizing the role of constitutive rules and deontic powers. In the third section I examine how they improve trust and co-operation. Global and local natural disasters are distinguished in the fourth section, because (...) the former is sufficient to undermine pacts, promises, constitutive rules and deontic powers, while the latter is neither sufficient nor necessary. In the fifth and final section, I put forward an argument via a thought experiment that allows us to anticipate what would occur if people did not keep promises and pacts, on the one hand, and did not respect constitutive rules and deontic powers, on the other hand. Such events, I argue, would result in the collapse of civilization. (shrink)

We present a number of modal logics to reason about group norms. As a preliminary step, we discuss the ontological status of the group to which the norms are applied, by adapting the classification made by Christian List of collective attitudes into aggregated, common, and corporate attitudes. Accordingly, we shall introduce modality to capture aggregated, common, and corporate group norms. We investigate then the principles for reasoning about those types of modalities. Finally, we discuss the relationship between group norms and (...) types of collective responsibility. (shrink)

TWENTIETH-CENTURY ETHICS. AFTER NIETZSCHE -/- Preface This book tells the story of twentieth-century ethics or, in more detail, it reconstructs the history of a discussion on the foundations of ethics which had a start with Nietzsche and Sidgwick, the leading proponents of late-nineteenth-century moral scepticism. During the first half of the century, the prevailing trends tended to exclude the possibility of normative ethics. On the Continent, the trend was to transform ethics into a philosophy of existence whose self-appointed task was (...) that of describing the human condition as consisting of choices, as unavoidable as arbitrary, without any attempt at providing criteria for making such choices. In the Anglo-Saxon countries, the heir of ethics was a philosophy of morality, that is, an analysis of the language of morality that intended to clarify valuations without trying to justify them. 1958 was the year of the normative turn that led to the Rehabilitation of practical philosophy, a turn followed by decades of controversies between distinct kinds of normative ethics: utilitarian, Kantian, virtue ethics. While the controversy was raging, a quiet revolution took place, that of applied ethics which surprisingly dissolved the controversy's very subject matter by providing methods for making convergence possible on intermediate principles even when no agreement was available about first principles. The normative turn and the revolution of applied ethics have led us, at the turn of the century, to a goal that was quite far from the starting point. Instead of scepticism and relativism that was the fashion at the beginning of the century, at the beginning of the third millennium impartial and universal moral arguments seem to hold the spot being supported, if not by a final rational foundation, at least by reasonableness, the most precious legacy of the Enlightenment. -/- ● TABLE OF CONTENTS -/- ● I Anglo-Saxon philosophy: naturalism 1. Dewey beyond evolutionism and utilitarianism 2. Dewey and anti-essentialist moral epistemology 3. Dewey and naturalist moral ontology 4. Dewey and normative ethics of conduct and function 5. Perry and semantic naturalism -/- ● II Anglo-Saxon philosophy: ideal utilitarianism and neo-intuitionism 1. Moore's critique of utilitarian empiricism 2. Moore on the naturalistic fallacy 3. Moore on the nature of intrinsic value 4. Moore on ideal utilitarianism 5. Prichard on the priority of the right over the good 6. Ross's coherentist moral epistemology 7. Ross's moral ontology: realism, pluralism, and non-naturalism 8. Ross's normative ethics of prima facie duties -/- The chapter reconstructs the background of ideas, concerns and intentions out of which Moore's early essays, the preliminary version, and then the final version of Principia Ethica originated. It stresses the role of religious concerns, as well as that of the Idealist legacy. It argues that PE is more a patchwork of somewhat diverging contributions than a unitary work, not to say the paradigm of a new school in Ethics. -/- ●III Anglo-Saxon philosophy: non-cognitivism 1. The Scandinavian School, the Vienna circle and proto-emotivism 2. Wittgenstein and the ineffability of ethics 3. Russell's and Ayer's radical emotivism 4. Stevenson and moderate emotivism 5. Stevenson and the pragmatics of moral language 6. Stevenson and the methods for solving ethical disagreement 7. Hare and prescriptivism The chapter reconstructs first the discussion after Moore. The naturalistic-fallacy argument was widely accepted but twisted to prove instead that the intuitive character of the definition of 'good', its non-cognitive meaning, in a first phase identified with 'emotive' meaning. Alfred Julius Ayer is indicated as a typical proponent of such non-cognitivist meta-ethics. More detailed discussion is dedicated to Bertrand Russell's ethics, a more nuanced and sophisticated doctrine, arguing that non-cognitivism does not condemn morality to arbitrariness and that the project of rational normative ethics is still possible, heading finally to the justification of a kind of non-hedonist utilitarianism. Stevenson's theory, another moderate version of emotivism is discussed at some length, showing how the author comes close to the discovery of the role of a pragmatic dimension of language as a basis for ethical argument. A section reconstructs the discussion from the Forties about Hume's law, mentioning Karl Popper's argument and Richard Hare's early non-cognitivist but non-emotivist doctrine named prescriptivism. -/- ●IV Anglo-Saxon philosophy: critics of non-cognitivism 1. Neo-naturalism and its objections to the naturalistic fallacy argument 2. Objections to Hume's law 3. Clarence Lewis and the pragmatic contradiction 4. Toulmin and the good reasons approach 5. Baier and moral reasons 5. Baier, social moralities and the absolute morality 6. Baier and the moral point of view 7. Baier and the contents of absolute ethics -/- ● V Continental philosophy: the philosophy of values 1. Max Weber and the polytheism of values 2. Phenomenology against psychologism and rationalism 3. Reinach and the theory of social acts 4. Scheler and the material ethics of values 5. Hartmann and the ontology of values 6. Plessner, Gehlen and the Philosophische Anthropologie -/- The chapter illustrates first the idea of phenomenology and the Husserl's project of a phenomenological ethic as illustrated in his 1908-1914 lectures. The key idea is dismissing psychology and trying to ground a new science of the apriori of action, within which a more restricted field of inquiry will be the science of right actions. Then the chapter illustrates the criticism of modern moral philosophy conducted in the 1920 lectures, where the main target is naturalism, understood in the Kantian meaning of primacy of common sense. The third point illustrate is Adolph Reinach's theory of social acts as a key the grounding of norms, a view that sketches the ideas 'discovered' later by Clarence I. Lewis, John Searle, Karl-Otto Apel and Jürgen Habermas. A final section discusses Nicolai Hartman, who always refused to define himself a phenomenologist and yet developed a more articulated and detailed theory of 'values' – with surprising affinities with George E. Moore - than philosophers such as Max Scheler, who claimed to be Husserl's legitimate heirs. -/- ● VI Continental philosophy: the critics of the philosophy of values 1. Freud, the Superego and Civilization 2. Heidegger on original ethos against ethics 3. Sartre and de Beauvoir on authenticity and ambiguity 4. Adorno and Horkheimer on emancipation and immoralism -/- ●VII Post-liberal theologians and religious thinkers 1. Barth on the autonomy of faith from ethics 2. Developments of Reformed moral theology after Barth 3. Bonhoeffer on the concrete divine command and ethics of penultimate realities 4. Developments of Reformed and Catholic moral theology after world war II 5. Baeck and the transformation of liberal Judaism 6. Rosenzweig against liberal Judaism 7. Buber and religion as the vital lymph of morality 8. Heschel and Judaism as a science of actions -/- The chapter examines the main protagonists of Christian theology and Jewish religious thinking in the twentieth century. It stresses how the main dilemmas of contemporary philosophical ethics lie at the root of the various path of inquiry taken by these thinkers. -/- ● VIII Normative ethics: neo-Utilitarianism 1. The discussion on act and rule utilitarianism 2. Hare on two-tiered preference utilitarianism 3. Harsanyi, Gauthier and rational choice ethics 4. Parfit, utilitarianism and the idea of a person 5. Brandt and indirect conscience utilitarianism -/- The chapter addresses the issue of the complex process of self-transformation Utilitarianism underwent after Sidgwick's and Moore's fatal criticism and the unexpected Phoenix-like process of rebirth of a doctrine refuted. Two examples give the reader a glimpse at this uproarious process. The first is Roy Harrod Wittgensteinian transformation of utilitarianism in pure normative ethics depurated from hedonism as well as from whatsoever theory of the good. This transformation results in preference utilitarianism combined with a 'Kantian' version of rule utilitarianism. The second is Richard Hare's two-level preference utilitarianism, where act utilitarianism plays the function of the eventual rational justification of moral judgments and rule-utilitarianism that of an action-guiding practical device. -/- ● IX Normative ethics: neo-Aristotelianism and virtue ethics 1. Hannah Arendt, action and judgement 2. Hans-Georg Gadamer and phronesis 3. Alasdair MacIntyre on practices, virtues, and traditions 5. Stuart Hampshire on deliberation 6. Bernard Williams and moral complexity 7. Feminist ethics -/- Sect 1 reconstructs the post-war rediscovery of ethics by many German thinkers and its culmination in the Sixties in the movement named 'Rehabilitation of practical philosophy' is described. Heidegger's most brilliant disciples were the promoters of this Rehabilitation. Hans-Georg Gadamer is a paradigmatic example. His reading of Aristotle's lesson I reconstructed, starting with Heidegger's lesson but then subtly subverting its outcome thanks to the recovery of the significant role of the notion of phronesis. Sect 3 discusses the three theses defended by Anscombe in 'Modern Moral Philosophy'. It argues that: a) her answer to the question "why should I be moral?" requires a solution of the problem of theodicy, and ignores any attempts to save the moral point of view without recourse to divine retribution; b) her notion of divine law is an odd one more neo-Augustinian than Biblical or Scholastic; c) her image of Kantian ethics and intuitionism is the impoverished image manufactured by consequentialist opponents for polemical purposes and that she seems strangely accept it; d) the difficulty of identifying the "relevant descriptions" of acts is not an argument in favour of an ethics of virtue and against consequentialism or Kantian ethics, and indeed the role of judgment in the latter is a response to the difficulties raised by the case of judgment concerning future action. The chapter gives a short look at further developments in the neo-naturalist current trough a reconstruction of Philippa Foot's and Peter Geach's critiques to the naturalist-fallacy argument and Alasdair MacIntyre's grand reconstruction of the origins and allegedly inevitable failure of the Enlightenment project of an autonomous ethic. -/- ● X Normative ethics: Kantian and rights-based ethics 1. Dialogical constructivism 2. Apel, Habermas and discourse ethics 3. Gewirth and rights-based ethics 4. Nagel on agent-relative reasons 5. Donagan and persons as ends in themselves Parallel to the neo-Aristotelian trend, there was in the Rehabilitation of practical philosophy a Kantian current. This current started with the discovery of the pragmatic dimension of language carried out by Charles Peirce and the Oxford linguistic philosophy. On this basis, Karl-Otto Apel singled out as the decisive proponent of the linguistic and Kantian turn in German-speaking ethics, worked out the performative-contradiction argument while claiming that this was able to provide a new rational and universal basis for normative ethics. The chapter offers an examination of his argument in some detail, followed by a more cursory reconstruction of Jürgen Habermas's elaboration on Apel's theory. -/- ● XI The applied ethics renaissance 1. Elisabeth Anscombe on the atom bomb 2. From medical ethics to bioethics 3. Rawls and public ethics 3. Nozick, Dworkin and further developments of public ethics 5. Sen and the revival of economic ethics -/- The chapter presents the revolution of applied ethics while stressing its methodological novelty, exemplified primarily by Beauchamp and Childress principles approach and then by Jonsen and Toulmin's new casuistry. The chapter argues that Rawls's distinction between a "political" and a "metaphysical" approach to the theory of justice, one central part of ethical theory, is a formulation of the same basic idea at the root of both the principles approach and the new casuistry, both discussed in the following chapter. The idea is that it is possible to reach an agreement concerning positive moral judgments even though the discussion is still open – and in Rawls' view never will be close – on the essential criteria for judgment. -/- ● XII Fin-de-siècle metaethics 1. Deontic logics 2. Anti-realism 3. External realism 4. Internal realism 5. Kantian constructivism -/- The chapter illustrates the fresh start of meta-ethical discussion in the Eighties and Nineties and the resulting new alignments: metaphysical naturalism, internal realism, anti-realism, and constructivism. (shrink)

Cases of akratic behavior are generally seen as paradigmatic depictions of the knowledge-action gap (Darnell et al 2019): we know what we should do, we judge that we should do it, yet we often fail to act according to our knowledge. In recent decades attention has been given to a particular instance of akratic behavior, which is that of “inverse akrasia”, where the agent possesses faulty moral knowledge but fails to act accordingly, thus ending up doing the right thing. In (...) particular, two literary examples are considered as exemplifying this kind of akratic situation: Huckleberry Finn (Arpaly & Schroeder 1999, Arpaly 2000, Hursthouse 1999, Kleist 2009, Holton manuscript) and Neoptolemus as understood by Aristotle (NE; Arpaly & Schroeder 1999). In this paper I will argue that those of Neoptolemus and Huck Finn are not cases of inverse akrasia (Holton manuscript) but are much better explained as instances of what Williams (1993) called “moral incapacity”. In particular, the reason why they fail to act according to their original judgments is due to a lack of motivation to act accordingly, which is grounded in their moral self-identities (Blasi 1984; Vigani 2016). The paper will unfold as follows: I will, first, argue that neither Neoptolemus nor Huck Finn show akratic behavior; thus, they cannot be legitimately labeled as “inverse akratics” (par 1.); then, I will argue that they act the way they do notwithstanding their faulty judgments because they are effectively motivated to do so. Such motivation originates in their moral self-identities and is experienced through the threat of self-betrayal (par 2); finally, I will argue that when an agent is motivated to act in a way that is integral with her moral self-identity, acting otherwise is experienced as something one cannot ultimately do; that is, as a moral incapacity (par 3). This “cannot” is neither a metaphor for an “I shouldn’t”, nor an instance of what has been recently labeled a “moral impossibility” (Caprioglio Panizza 2020, 2021), since it does not arise from the normative force of deontic judgments, and it is neither physically nor psychologically impossible for the agent to act otherwise. (shrink)

Is logic normative for belief? A standard approach to answering this question has been to investigate bridge principles relating claims of logical consequence to norms for belief. Although the question is naturally an epistemic one, bridge principles have typically been investigated in isolation from epistemic debates over the correct norms for belief. In this paper we tackle the question of whether logic is normative for belief by proposing a Kripkean model theory accounting for the interaction between logical, doxastic, epistemic and (...) deontic notions and using this model theory to show which bridge principles are implied by epistemic norms that we have independent reason to accept, for example, theknowledge normand thetruth norm. We propose a preliminary theory of the interaction between logical, doxastic, epistemic and deontic notions that has among its commitments bridge principles expressing how logic is normative for belief. We also show how our framework suggests that logic is exceptionally normative. (shrink)

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...) of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

The theory of imperatives is philosophically relevant since in building it — some of the long standing problems need to be addressed, and presumably some new ones are waiting to be discovered. The relevance of the theory of imperatives for philosophical research is remarkable, but usually recognized only within the field of practical philosophy. Nevertheless, the emphasis can be put on problems of theoretical philosophy. Proper understanding of imperatives is likely to raise doubts about some of our deeply entrenched and (...) tacit presumptions. In philosophy of language it is the presumption that declaratives provide the paradigm for sentence form; in philosophy of science it is the belief that theory construction is independent from the language practice, in logic it is the conviction that logical meaning relations are constituted out of logical terminology, in ontology it is the view that language use is free from ontological commitments. The list is not exhaustive; it includes only those presumptions that this paper concerns. (shrink)

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic (...) structure that interacts directly with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

Overview of fundamental work in deontic logic.

The relevance of analytic metaphysics has come under criticism: Ladyman & Ross, for instance, have suggested do discontinue the field. French & McKenzie have argued in defense of analytic metaphysics that it develops tools that could turn out to be useful for philosophy of physics. In this article, we show first that this heuristic defense of metaphysics can be extended to the scientific field of applied ontology, which uses constructs from analytic metaphysics. Second, we elaborate on a parallel by (...) French & McKenzie between mathematics and metaphysics to show that the whole field of analytic metaphysics, being useful not only for philosophy but also for science, should continue to exist as a largely autonomous field. (shrink)

Debunking arguments typically attempt to show that a set of beliefs or other intensional mental states bear no appropriate explanatory connection to the facts they purport to be about. That is, a debunking argument will attempt to show that beliefs about p are not held because of the facts about p. Such beliefs, if true, would then only be accidentally so. Thus, their causal origins constitute an undermining defeater. Debunking arguments arise in various philosophical domains, targeting beliefs about morality, the (...) existence of God, logic, and others. They have also arisen in material-object metaphysics, often aimed at debunking common-sense ontology. And while most of these arguments feature appeals to ‘biological and cultural contingencies’ that are ostensibly responsible for our beliefs about which kinds of objects exist, few of them take a serious look at what those contingencies might actually be. The purpose of this paper is twofold. First, to remedy this by providing empirical substantiation for a key premise in these debunking arguments by examining data from cognitive science, evolutionary biology, and developmental psychology that support a ‘debunking explanation’ of our common-sense beliefs and intuitions about which objects exist. Second, to argue that such data also undermines a particular kind of rationalist defense of common-sense ontology, sometimes employed as a response to the debunking threat. (shrink)

Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, roles, and (...) dispositions, to help provide the potential for more detailed classification, and to shed light on BFO’s general make-up and use. (shrink)

We begin by describing recent developments in the burgeoning discipline of applied ontology, focusing especially on the ways ontologies are providing a means for the consistent representation of scientific data. We then introduce Basic Formal Ontology (BFO), a top-level ontology that is serving as domain-neutral framework for the development of lower level ontologies in many specialist disciplines, above all in biology and medicine. BFO is a bicategorial ontology, embracing both three-dimensionalist (continuant) and four-dimensionalist (occurrent) perspectives within (...) a single framework. We examine how BFO-conformant domain ontologies can deal with the consistent representation of scientific data deriving from the measurement of processes of different types, and we outline on this basis the first steps of an approach to the classification of such processes within the BFO framework. (shrink)

The paper shows how the Bohmian approach to quantum physics can be applied to develop a clear and coherent ontology of non-perturbative quantum gravity. We suggest retaining discrete objects as the primitive ontology also when it comes to a quantum theory of space-time and therefore focus on loop quantum gravity. We conceive atoms of space, represented in terms of nodes linked by edges in a graph, as the primitive ontology of the theory and show how a non-local (...) law in which a universal and stationary wave-function figures can provide an order of configurations of such atoms of space such that the classical space-time of general relativity is approximated. Although there is as yet no fully worked out physical theory of quantum gravity, we regard the Bohmian approach as setting up a standard that proposals for a serious ontology in this field should meet and as opening up a route for fruitful physical and mathematical investigations. (shrink)

This paper argues for contrastivism about the deontic modals, 'ought', 'must', and 'may'. A simple contrastivist semantics that predicts the desired entailment relations among these modals is offered.

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

This is a review article on Franz Brentano’s Descriptive Psychology published in 1982. We provide a detailed exposition of Brentano’s work on this topic, focusing on the unity of consciousness, the modes of connection and the types of part, including separable parts, distinctive parts, logical parts and what Brentano calls modificational quasi-parts. We also deal with Brentano’s account of the objects of sensation and the experience of time.

This paper offers an account of deontic normativity in terms of attributive goodness. An action is permissible for S in C just in case there is a good practical inference available to S in C that results in S performing (or intending to perform) the action. The standards of goodness for practical inferences are determined by what is a good or bad exercise of the human capacity of practical reason, which is an attributive (and not a deontic) assessment.

This paper addresses the use of dispositions in the Infectious Disease Ontology (IDO). IDO is an ontology constructed according to the principles of the Open Biomedical Ontology (OBO) Foundry and uses the Basic Formal Ontology (BFO) as an upper ontology. After providing a brief introduction to disposition types in BFO and IDO, we discuss three general techniques for representing combinations of dispositions under the headings blocking dispositions, complementary dispositions, and collective dispositions. Motivating examples for each (...) combination of dispositions is given along with a specific use case in IDO. Description logic restrictions are used to formalize statements relating to these combinations. (shrink)

In this paper, I relate key features of Adolf Reinach’s abundant ontology of propositional states of affairs of his to Armstrong’s—or an Armstrongian—state of affairs ontology, with special regard to finding out how sparse or abundant the latter is with respect to negative states of affairs. After introducing the issue, I clarify the notion of a propositional state of affairs, paying special attention to the notion of abstract versus concrete. I show how Reinach’s states of affairs are propositional, (...) and how they compare with Chisholm’s well-known propositional states of affairs. In the next section, I outline Reinach’s five roles for states of affairs and show that only one of them is relevant to Armstrongian state of affairs ontology. In the following section, I utilise this role to create a ranking of state of affairs ontologies according to how abundant they are. It is, however, unclear which level Armstrongian state of affairs ontology is at, since it is unclear if, like Reinach’s ontology, it includes negative states of affairs. In the final section, I argue that the answer is a qualified ‘yes’, i.e. it does not occupy the sparsest level. (shrink)

Deontic constraints prohibit an agent performing acts of a certain type even when doing so will prevent more instances of that act being performed by others. In this article I show how deontic constraints can be interpreted as either maximizing or non-maximizing rules. I then argue that they should be interpreted as maximizing rules because interpreting them as non-maximizing rules results in a problem with moral advice. Given this conclusion, a strong case can be made that consequentialism provides (...) the best account of deontic constraints. (shrink)

Intellectual history still quite commonly distinguishes between the episode we know as the Scientific Revolution, and its successor era, the Enlightenment, in terms of the calculatory and quantifying zeal of the former—the age of mechanics—and the rather scientifically lackadaisical mood of the latter, more concerned with freedom, public space and aesthetics. It is possible to challenge this distinction in a variety of ways, but the approach I examine here, in which the focus on an emerging scientific field or cluster of (...) disciplines—the ‘life sciences’, particularly natural history, medicine, and physiology —is, not Romantically anti-scientific, but resolutely anti-mathematical. Diderot bluntly states, in his Thoughts on the interpretation of nature, that “We are on the verge of a great revolution in the sciences. Given the taste people seem to have for morals, belles-lettres, the history of nature and experimental physics, I dare say that before a hundred years, there will not be more than three great geometricians remaining in Europe. The science will stop short where the Bernoullis, the Eulers, the Maupertuis, the Clairauts, the Fontaines and the D’Alemberts will have left it.... We will not go beyond.” Similarly, Buffon in the first discourse of his Histoire naturelle speaks of the “over-reliance on mathematical sciences,” given that mathematical truths are merely “definitional” and “demonstrative,” and thereby “abstract, intellectual and arbitrary.” Earlier in the Thoughts, Diderot judges “the thing of the mathematician” to have “as little existence in nature as that of the gambler.” Significantly, this attitude—taken by great scientists who also translated Newton or wrote careful papers on probability theory, as well as by others such as Mandeville—participates in the effort to conceptualize what we might call a new ontology for the emerging life sciences, very different from both the ‘iatromechanism’ and the ‘animism’ of earlier generations, which either failed to account for specifically living, goal-directed features of organisms, or accounted for them in supernaturalistic terms by appealing to an ‘anima’ as explanatory principle. Anti-mathematicism here is then a key component of a naturalistic, open-ended project to give a successful reductionist model of explanation in ‘natural history’, a model which is no more vitalist than it is materialist—but which is fairly far removed from early modern mechanism. (shrink)

The emerging field of synthetic biology aims to engineer novel biological entities. The envisioned future bio-based economy builds largely on “cell factories”: organisms that have been metabolically engineered to sustainably produce substances for human ends. In this paper, we argue that synthetic biology’s goal of creating efficient production vessels for industrial applications implies a set of ontological assumptions according to which living organisms are machines. Traditionally, a machine is understood as a technological, isolated and controllable production unit consisting of parts. (...) But modified organisms, or hybrids, require us to think beyond the machine paradigm and its associated dichotomies between artificial and natural, organisms and artefacts. We ask: How may we conceptualise hybrids beyond limiting ontological categories? Our main claim is that the hybrids created by synthetic biology should be considered not as machines but as metabolic systems. We shall show how the philosophical account of metabolism can inform an ontology of hybrids that moves beyond what we call the “machine ontology”, considering that metabolism enables thinking beyond the dominant dichotomies and allows us to understand and design lifeforms in a bio-based economy. Thus, the aim of this paper is twofold: first, to develop the philosophical ontology of hybrids, and second, to move synthetic biology beyond the problematically limiting view of hybrids. (shrink)

John Bell proposed an ontology for the GRW modification of quantum mechanics in terms of flashes occurring at space- time points. This article spells out the motivation for this ontology, inquires into the status of the wave function in it, critically examines the claim of its being Lorentz invariant, and considers whether it is a parsimonious but nevertheless physically adequate ontology.

Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties (...) of the classic deontic operators when applied to actions. In his seminal work, Segerberg uses constructions coming from boolean algebras to formalize the usual deontic notions. Segerberg’s work provided the initial step to understand logical properties of deontic operators when they are applied to actions. In the last years, other authors have proposed related logics. In this chapter we introduce Segerberg’s work, study related formalisms and investigate further challenges in this area. (shrink)

In this paper, I will discuss the need for a theory of essences within Object-Oriented Ontology (OOO) and then formulate one. I will do so by drawing on Graham Harman’s work on OOO and Martin Heidegger’s thought on the essence of being, presented in his Introduction to Metaphysics. Harman touches on essences, describing them as the tension between a withdrawn object and its withdrawn qualities, but fails to distinguish between essential and inessential qualities within this framework. To fill in (...) the gaps, I will turn to Heidegger’s explication of phusis in order to show that an essential aspect of being is how one enters into causal relations and continually reveals oneself to other beings. In bringing OOO and Heidegger together, I will find that each object has a unique way of exerting itself in the world and that the domestic relations that make up this unique profile are essential to it, while other domestic relations, those that do not influence its particular way of exerting itself, are inessential. Thus, the essence will be found to be the set of domestic relations that make up the determinate form, or unique causal profile, of the object. (shrink)

This paper examines the need for static dispositions within the basic ontology of the powers view of properties. To lend some focus, Neil Williams’s well developed case for static dispositions is considered. While his arguments are not necessarily intended to address fundamental ontology, they still provide a useful starting point, a springboard for diving into the deeper metaphysical waters of the dispositionalist approach. Within that ontological context, this paper contends that Williams’s arguments fail to establish the need to (...) posit static dispositions, or at least any sort not already well appreciated by advocates of the powers view. The paper then proceeds to suggest an alternative motivation for positing static dispositions, the success of which depends greatly on which ontological approach to objects is paired with the powers view. (shrink)

Nihilism is the thesis that no composite objects exist. Some ontologists have advocated abandoning nihilism in favor of deep nihilism, the thesis that composites do not existO, where to existO is to be in the domain of the most fundamental quantifier. By shifting from an existential to an existentialO thesis, the deep nihilist seems to secure all the benefits of a composite-free ontology without running afoul of ordinary belief in the existence of composites. I argue that, while there are (...) well-known reasons for accepting nihilism, there appears to be no reason at all to accept deep nihilism. In particular, deep nihilism draws no support either from the usual arguments for nihilism or from considerations of parsimony. (shrink)

The study discusses the correct name of one of Abd al-Abbas Iranshahri's books. The book is based on Bayan al-Adyan (بیان‌الادیان) authored by Abolma’ali Mohammad Balkhi, which has been called "Hastishenasi". Looking on the different meanings and interpretations of "Hasti" in Persian language and culture and the understanding of early scholars of Islam, the real name of the book seems to be "Hasti-Dad". It is emphasized in the study on the importance of Iranian's due attention to Persian and that many (...) intellectuals found it necessary to have a heavenly book in Persian to explain and interpret the principles of Iran's historical and mythological beliefs. So, those who did not want a religion other than Islam in Iran, translated Qur'an, the holy book of Islam, into Persian in the Samanid period. (shrink)

Current COVID-19 pandemic and previous SARS/MERS outbreaks have caused a series of major crises to global public health. We must integrate the large and exponentially growing amount of heterogeneous coronavirus data to better understand coronaviruses and associated disease mechanisms, in the interest of developing effective and safe vaccines and drugs. Ontologies have emerged to play an important role in standard knowledge and data representation, integration, sharing, and analysis. We have initiated the development of the community-based Coronavirus Infectious Disease Ontology (...) (CIDO). As an Open Biomedical Ontology (OBO) library ontology, CIDO is an open source and interoperable with other existing OBO ontologies. In this article, the general architecture and the design patterns of the CIDO are introduced, CIDO representation of coronaviruses, phenotypes, anti-coronavirus drugs and medical devices (e.g. ventilators) are illustrated, and an application of CIDO implemented to identify repurposable drug candidates for effective and safe COVID-19 treatment is presented. (shrink)

Individualists about social ontology hold that social facts are “built out of” facts about individuals. In this paper, I argue that there are two distinct kinds of individualism about social ontology, two different ways individual people might be the metaphysical “builders” of the social world. The familiar kind is ontological individualism. This is the thesis that social facts supervene on, or are exhaustively grounded by, facts about individual people. What I call anchor individualism is the alternative thesis that (...) facts about individuals put in place the conditions for a social entity to exist, or the conditions for something to have a social property. Examples include conventionalist theories of the social world, such as David Hume’s theories of promises, money, and government, and collective acceptance theories, such as John Searle’s theory of institutional facts. Anchor individualism is often conflated with ontological individualism. But in fact, the two theses are in tension with one another: if one of these kinds of individualism is true, then the other is very unlikely to be. My aim in this paper is to clarify both, and argue that they should be sharply distinguished from one another. (shrink)

In my paper, I establish an Ingardenian phenomenological ontology of "virtualized ficta", i.e., fictional entities introduced to virtual gaming. The first Section of my paper provides an ontology of virtualized ficta, focusing primarily on their ‘‘existential moments’’. But in order to have a firm grasp of the ontological aspects grounding the virtual work, it’s important to engage its strata. This is what I attempt to do in Section 1.2. Virtualized ficta’s intentional dependencies are strongly manifest in what I (...) call the ‘‘strata of the virtual work’’. That is, I repurpose Ingarden’s strata of the literary work, the picture, and the film to showcase that virtualized ficta, from the bottom up (i.e., from their pure ontology to aesthetics) are purely intentional entities. In short, I argue for a purely intentional account of virtualized ficta as ficta-made-virtualia, whose ontological status is determined by the creative acts of game developers and gamers. (shrink)

Many philosophers think the distinctive function of deontic evaluation is to guide action. This idea is used in arguments for a range of substantive claims. In this paper, we entirely do one completely destructive thing and partly do one not entirely constructive thing. The first thing: we argue that there is an unrecognized gap between the claim that the function of deontic evaluation is to guide action and attempts to put that claim to use. We consider and reject (...) four arguments intended to bridge this gap. The interim conclusion is thus that arguments starting with the claim that the function of deontic evaluation is to guide action have a lacuna. The second thing: we consider a different tack for making arguments of this sort work. We sketch a methodology one could accept that would do the trick. Unfortunately, as we’ll explain, although this methodology would bridge the gap in arguments that put claims about the function of deontic evaluation to work, it would do so in a way that vitiates any interest we might have in such arguments. As an aside, we’ll also point out how epistemologists, who have recently become interested in the function of epistemic evaluation, appear to already recognize this fact. The conclusion is hence a dilemma: either arguments from deontic function to substance have a lacuna or such arguments lack teeth. (shrink)

The deontic modal must has two surprising properties: an assertion of must p does not permit a denial of p, and must does not take past tense complements. I first consider an explanation of these phenomena that stays within Angelika Kratzer’s semantic framework for modals, and then offer some reasons for rejecting that explanation. I then propose an alternative account, according to which simple must sentences have the force of an imperative.

The Realist that investigates questions of ontology by appeal to the quantificational structure of language assumes that the semantics for the privileged language of ontology is externalist. I argue that such a language cannot be (some variant of) a natural language, as some Realists propose. The flexibility exhibited by natural language expressions noted by Chomsky and others cannot obviously be characterized by the rigid models available to the externalist. If natural languages are hostile to externalist treatments, then the (...) meanings of natural language expressions serve as poor guides for ontological investigation, insofar as their meanings will fail to determine the referents of their constituents. This undermines the Realist’s use of natural languages to settle disputes in metaphysics. (shrink)

There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.

In quantum mechanics, the wave function of a N-body system is a mathematical function defined in a 3N-dimensional configuration space. We argue that wave function realism implies particle ontology when assuming: (1) the wave function of a N-body system describes N physical entities; (2) each triple of the 3N coordinates of a point in configuration space that relates to one physical entity represents a point in ordinary three-dimensional space. Moreover, the motion of particles is random and discontinuous.