Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less restrictive, employing (...) the use of refinement operators. We introduce the theoretical framework for weakening DL ontologies, propose algorithms to repair ontologies based on the framework, and provide an analysis of the computational complexity. Through an empirical analysis made over real-life ontologies, we show that our approach preserves significantly more of the original knowledge of the ontology than removing axioms. (shrink)

We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...) variations. The intended applications concern the representation of cognitive aspects of classi cation tasks: the interdependencies among the attributes that de ne a concept, the prototype of a concept, and the typicality of the instances. (shrink)

Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of (...) inconsistencies by letting the agents engage in a turn-based rational protocol about the axioms to be added to the integrated ontology. We instantiate the two approaches using real-world ontologies and compare them by measuring the levels of satisfaction of the agents w.r.t. the ontology obtained by the two procedures. (shrink)

We make some remarks on the mathematics and metaphysics of the hole argument, in response to a recent article in this journal by Weatherall ([2018]). Broadly speaking, we defend the mainstream philosophical literature from the claim that correct usage of the mathematics of general relativity `blocks' the argument.

This paper reviews the hole argument as an argument against spacetime substantivalism. After a careful presentation of the argument itself, I critically review possible responses.

In this paper I offer an argument against one important version of panentheism, that is, mereological panentheism. Although panentheism has proven difficult to define, I provide a working definition of the view, and proceed to argue that given this way of thinking about the doctrine, mereological accounts of panentheism have serious theological drawbacks. I then explore some of these theological drawbacks. In a concluding section I give some reasons for thinking that the classical theistic alternative to panentheism is preferable, all (...) things considered. (shrink)

This paper uses a schema for infinite regress arguments to provide a solution to the problem of the infinite regress of justification. The solution turns on the falsity of two claims: that a belief is justified only if some belief is a reason for it, and that the reason relation is transitive.

In this paper I argue that Christopher Kutz misapplies his theory of joint action when he attributes shareowners responsibilities on the basis of their intentional participation in the corporations in which they invest. Instead I propose that his theory of joint action should be used to attribute shareowners responsibilities on the basis of their intentional participation in the stock market. If shareholders’ accountability is grounded in their intentional participation in the stock market, then shareholders cannot take responsibility for corporation’s (...) individual actions. Instead they are solely responsible for the benefits they gain from holding shares if these are a result of moral wrongdoing and for this they should be held accountable. (shrink)

Binding specificity is a centrally important concept in molecular biology, yet it has received little philosophical attention. Here I aim to remedy this by analyzing binding specificity as a causal property. I focus on the concept’s role in drug design, where it is highly prized and hence directly studied. From a causal perspective, understanding why binding specificity is a valuable property of drugs contributes to an understanding of causal selection—of how and why scientists distinguish between causes, not just causes from (...) noncauses. In particular, the specificity of drugs is precisely what underwrites their value as experimental interventions on biological processes. (shrink)

In this paper I argue, based on a comparison of Spinoza's and Descartes‟s discussion of error, that beliefs are affirmations of the content of imagination that is not false in itself, only in relation to the object. This interpretation is an improvement both on the winning ideas reading and on the interpretation reading of beliefs. Contrary to the winning ideas reading it is able to explain belief revision concerning the same representation. Also, it does not need the assumption that I (...) misinterpret my otherwise correct ideas as the interpretation reading would have it. In the first section I will provide a brief overview of the notion of inherence and its role in Spinoza‟s discussion of the status of finite minds. Then by examining the relation between Spinoza‟s and Descartes‟ distinction of representations and attitudes, I show that affirmation can be identified with beliefs in Spinoza. Next, I will take a closer look at the identification of intellect and will and argue that Spinoza's identification of the two is based on the fact that Spinoza sees both as the active aspect of the mind. After that, I analyze Spinoza‟s comments on the different scopes of will and intellect, and argue that beliefs are affirmations of the imaginative content of the idea. Finally, through Spinoza‟s example of the utterance of mathematical error, I present my solution to the problem of inherence of false beliefs. (shrink)

In this paper, through a close reading of Spinoza's use of common notions I argue for the role of experiential and experimental knowledge in Spinoza's epistemology.

In this paper I examine the question whether Spinoza can account for the necessity of death. I argue that he cannot because within his ethical intellectualist system the subject cannot understand the cause of her death, since by understanding it renders it harmless. Then, I argue that Spinoza could not solve this difficulties because of deeper commitments of his system. At the end I draw a historical parallel to the problem from medieval philosophy.

Spinoza’s account of memory has not received enough attention, even though it is relevant for his theory of consciousness. Recent literature has studied the “pancreas problem.” This paper argues that there is an analogous problem for memories: if memories are in the mind, why is the mind not conscious of them? I argue that Spinoza’s account of memory can be better reconstructed in the context of Descartes’s account to show that Spinoza responded to these views. Descartes accounted for the preservation (...) of memories by holding that they are brain states without corresponding mental states, and that the mind is able to interpret perception either as new experience or as memory. Spinoza has none of these conceptual resources because of his substance monism. Spinoza accounts for memories as the mind’s ability to generate ideas according to the order of images. This ability consists in the connection of ideas, which is not an actual property, but only a dispositional one and thus not conscious. It is, however, grounded in the actual property of parts of the body, of which ideas are conscious. (shrink)

This article argues that we can construct a complex interpretation of the nature of time by linking Aciman’s gnostic thread to aspects of twentieth century theory, from philosophy and psychoanalysis. In brief, it attempts to demonstrate the roles of dislocation, deferral, and Otherness in constituting human temporality. The essay begins by surmising the conceptual history of time, touching on key ideas put forward by Augustine and Bergson. The second section takes a psychoanalytic turn after exploring Homo Irrealis to describe the (...) significance of desire and fantasy. Thirdly, we develop a unique and temporal application of difference and deferral, building off of Deleuze and Derrida. The fourth section will consider how the psychoanalytic concept of the Other is inhered within time. We conclude that an Acimanic analysis of time is the means by which we can understand existence not as a series of moments, but a rich progression of dissimilitude and Otherness defined moreso by its lack of cohesion and directness of being than by a unified and self-identifying subject. (shrink)

The following four theses all have some intuitive appeal: (I) There are valid norms. (II) A norm is valid only if justified by a valid norm. (III) Justification, on the class of norms, has an irreflexive proper ancestral. (IV) There is no infinite sequence of valid norms each of which is justified by its successor. However, at least one must be false, for (I)--(III) together entail the denial of (IV). There is thus a conflict between intuition and logical possibility. This (...) paper, after distinguishing various conceptions of a norm, of validity and of justification, argues for the following position. (I) is true. (II) is false for legislative justification and true for epistemic justification. (III) is true for legislative and false for epistemic justification. (IV) is true for legislative justification; for epistemic justification (IV) is true or false depending on the conception taken of a norm. Our intuition in favour of (II) must therefore be abandoned where justification is conceived legislatively. Our intuition in favour of (III) must be abandoned, and our intuition in favour of (IV) qualified, where justification is conceived epistemically. (shrink)

Ontologies, as the term is used in informatics, are structured vocabularies comprised of human- and computer-interpretable terms and relations that represent entities and relationships. Within informatics fields, ontologies play an important role in knowledge and data standardization, representation, integra- tion, sharing and analysis. They have also become a foundation of artificial intelligence (AI) research. In what follows, we outline the Coronavirus Infectious Disease Ontology (CIDO), which covers multiple areas in the domain of coronavirus diseases, including etiology, transmission, epidemiology, pathogenesis, diagnosis, (...) prevention, and treatment. We emphasize CIDO development relevant to COVID-19. (shrink)

Oliver Marchart constructs an elaborate ontologization of the political that builds on theories developed by the Essex School while relying on Heideggerianism and Hegelianism. This original thought is a powerful and convincing attempt to think the ontology of the political without lapsing into a celebration of essentialist grounding or complete groundlessness, which are equally metaphysical and mutually supporting positions. Tensions arise within Marchart’s own thought when the notion of instrumentality appears to be inscribed solely on the side of politics (...) or the ontic. I suggest that a theory of practical judgment that is inchoate in Marchart’s own position can resolve the tensions toward constructing a genuinely materialist ontology. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

Jacques Monod (1971) argued that certain molecular processes rely critically on the property of chemical arbitrariness, which he claimed allows those processes to “transcend the laws of chemistry”. It seems natural, as some philosophers have done, to interpret this in modal terms: a biological relationship is chemically arbitrary if it is possible, within the constraints of chemical “law”, for that relationship to have been otherwise than it is. But while modality is certainly important for understanding chemical arbitrariness, understanding its biological (...) role also requires an account of the concrete causal-functional features that distinguish arbitrary from non-arbitrary phenomena. In this paper I elaborate on this under-emphasised aspect by offering a general account of these features: arbitrary relations are instantiated by mechanisms that involve molecular adapters, which causally couple two properties or processes which would otherwise be uncorrelated. Additionally, adapters work by acting as intermediate rather than cooperating causes. (shrink)

In this retrospective for Ethics, I discuss H.M. Oliver’s “Established Expectations and American Economic Policies.” This article, by a then-modestly-famous economist, has been ignored (no citations) since its 1940 publication. Yet it bears directly on a normative problem at the intersection of ethics and economics that challenges today’s policymakers but has received comparatively little philosophical attention: how should we balance potentially desirable institutional change against the disruption of established expectations? -/- Oliver details how the principle of fulfilling established (...) expectations cuts across political lines. Conservatives, he observes, criticized inflation for disrupting expectations, and demanded the protection of established corporations. New Deal progressives achieved “the safeguarding of the economic positions of certain important sections of the American people” (104) via statutes designed to protect income and homeownership status. And labor leaders lobbied for the preservation of occupational status. Oliver criticizes these demands on two grounds. First, they are noncompossible: they can’t simultaneously be fulfilled. Second, they are economically inefficient. He concludes that “in a modern dynamic economy, the preservation of status is not and cannot be a feasible criterion of economic justice” (107). -/- I argue that Oliver accurately recognizes both the wide endorsement and the moral ill-foundedness of fulfilling expectations. However, I criticize Oliver’s belief in the noncompossibility of expectations. The established expectations of the wealthy, middle-class homeowners and retirees, and current workers can all be maintained, but at the price of constricting the opportunities of new graduates, immigrants, and the poor—all groups yet to develop settled expectations. This insight renders the protection of expectations not merely inefficient but also unjust. (shrink)

Amidst the constantly augmenting gastronomic capital of celebrity chefs, this study scrutinizes from a critical discourse analytic angle how Jamie Oliver has managed to carve a global brand identity through a process that is termed (dis)placed branding. A roadmap is furnished as to how Italy as place brand and Italianness are discursively articulated, (dis)placed and appropriated in Jamie Oliver’s travelogues which are reflected in his global brand identity. By enriching the CDA methodological toolbox with a deconstructive reading strategy, (...) it is shown that Oliver’s celebrity equity ultimately boils down to supplementing the localized meaning of place of origin with a simulacral, hyperreal place of origin. In this manner, the celebrity’s recipes become more original than the original or doubly original. The (dis)placed branding process that is outlined in the face of Oliver’s global branding strategy is critically discussed with reference to the employed discursive strategies, lexicogrammatical and multimodal choices. (shrink)

The way we answer the question, .what ought I to do?. goes to show what we believe about our life and the way to live that life. However we answer the question .what ought I to do?., we are prescribing a mode of -/- action and this action has a direct bearing on other people and our society at large. So the moral question has a direct connection with what society becomes. If we answer rightly then the impact on our (...) society will be salutary but if wrongly, the impact too will be fatal. So, what we do influences society for good or bad. -/- In this book, the meaning of morality and, ethics and how these can help in personal and national development will be examined. (shrink)

Previously unreported nesting associations of Yellow-Olive Flycatcher (Tolmomyias sulphurescens) (Aves: Tyrannidae) with social wasps and bees.

Lack of consent is valorized within popular culture to the point that sexual assault has become a spectator sport and creepshot entertainment on social media. Indeed, the valorization of nonconsensual sex has reached the extreme where sex with unconscious girls, especially accompanied by photographs as trophies, has become a goal of some boys and men.

Freedom lies at the heart of Kant’s philosophy. Three recent edited collections explore this key idea in different ways, alongside other related concep...

For the past thirty years, the late Tom Regan bucked the trend among secular animal rights philosophers and spoke patiently and persistently to the best angels of religious ethics in a stream of publications that enjoins religious scholars, clergy, and lay people alike to rediscover the resources within their traditions for articulating and living out an animal ethics that is more consistent with their professed values of love, mercy, and justice. My aim in this article is to showcase some of (...) the wealth of insight offered in this important but under-utilized archive of Regan’s work to those of us, religious or otherwise, who wish to challenge audiences of faith to think and do better by animals. (shrink)

In an interdisciplinary discussion with an international group of experts, we address the question of why faces matter so much. We approach the issue from different academic, technological and artistic perspectives and integrate these different perspectives in an open dialogue in order to raise awareness about the importance of faces at a time when we are hiding them more than ever, be it in “facing” other human beings or in “facing” digital technology.

Driven by the use cases of PubChemRDF and SCAIView, we have developed a first community-based clinical trial ontology (CTO) by following the OBO Foundry principles. CTO uses the Basic Formal Ontology (BFO) as the top level ontology and reuses many terms from existing ontologies. CTO has also defined many clinical trial-specific terms. The general CTO design pattern is based on the PICO framework together with two applications. First, the PubChemRDF use case demonstrates how a drug Gleevec is linked to multiple (...) clinical trials investigating Gleevec’s related chemical compounds. Second, the SCAIView text mining engine shows how the use of CTO terms in its search algorithm can identify publications referring to COVID-19-related clinical trials. Future opportunities and challenges are discussed. (shrink)

William Oliver Martin published "The Order and Integration of Knowledge" in 1957 to address the problem of the nature and the order of various kinds of knowledge; in particular, the theoretical problem of how one kind of knowledge is related to another kind. Martin characterizes kinds of knowledge as being either autonomous or synthetic. The latter are reducible to two or more of the autonomous (or irreducible) kinds of knowledge, viz., history (H), metaphysics (Meta), theology (T), formal logic (FL), (...) mathematics (Math), and generalizations of experimental science (G). Metaphysics and theology constitute the two domains of the ontological context while history and experimental science are the two domains of the phenomenological context. The relation of one kind of knowledge to another may be instrumental, constitutive, and/or regulative. For instance, historical propositions are constitutive of G, metaphysical propositions are regulative of G, and propositions in formal logic and mathematics are instrumental to G. Theological propositions are not related to G and so there is no conflict between science and theology. Martin's work sheds light on the possible areas of incompatibility between science and religion. (shrink)

My philosophical case study concerns textbook presentations of the theory of demand. Does this theory contain anything more than just a collection of tautologies? In order to determine its empirical content, it must be viewed holistically. But then, the theory implies false factual claims. We can avoid this result by embracing the theory's normative character. The resulting consequences will be illuminated with the new autodetermination thesis recently proposed in the philosophy of physics by Oliver Timmer. Applying his ideas to (...) the theory of demand reveals that the statements of this discipline simultaneously concern both values and acts. (shrink)

Thomas Pogge has argued, famously, that ‘we’ are violating the rights of the global poor insofar as we uphold an unjust international order which provides a legal and economic framework within which individuals and groups can and do deprive such individuals of their lives, liberty and property. I argue here that Pogge’s claim that we are violating a negative duty can only be made good on the basis of a substantive theory of collective action; and that it can only provide (...) substantive ethical guidance when combined with an account of how collective action gives rise to forward-looking responsibility and/or accountability on an individual level. I consider accounts of these two topics given in work by Peter French and Christopher Kutz; and I argue that neither of them give Pogge what he needs. Although there is a sense in which 'we' can be said to be violating the rights of the worst off, the sense in which this is true does not generate any plausible action-guiding claims for individuals. (shrink)

What follows is an attempt to do some conceptual housekeeping around the notion of secret law as provided by Christopher Kutz (2013). First I consider low-salience (or merely obscure) law, suggesting that it fails to capture the legal and moral facts that are at stake in the case which Kutz used to motivate it. Then I outline a theoretical contrast between mere obscurity and secrecy, in contrast to the 'neutral' account of secrecy provided by Sissela Bok (1989). The (...) upshot of the two sections is that low-salience law is neither secret law nor necessarily problematic, though it closely resembles a kind of law that is both secret and problematic: namely, those legal obscurities that subvert manifest interests related to the informational needs of citizens. The ensuing argument undermines the fiction of constructive presence found in Austin and Blackstone. (shrink)

In his ground‐breaking study Complicity, Christopher Kutz introduces the notion of ‘participatory intentions’ (individual intentions whose content is collective) to explain an agent's complicity with groups or organisations. According to Kutz, participatory intentions allow us to hold individuals morally accountable for collective wrongs independent of their causal contribution to the wrong and its ensuing harm. This article offers an alternative account of complicity. Its central claim is that an agent's complicity might be due to the dependence of his (...) professional role on the normative principles that make up the organisation or institution in whose practices he partakes. In other words, there might arise a constitutive failure in an agent's attempt to ascribe to himself a non‐complicit professional identity. I use the case of SS‐Judge Konrad Morgen in order to illustrate this understanding of complicity. (shrink)

Introduction to volume containing essays by Simon Blackburn, John Cottingham, Frances Ferguson, Joshua Gert, Peter Goldie, Charles Guignon, Sharon Krause, Christopher Kutz, Daniel Markovits, Elijah Millgram, Martha Nussbaum, and Carol Rovane.

This short paper defends Oliver Williamson’s (1993) claim that talk of trust is ‘redundant at best and can be misleading’ when trust is defined as a form of calculated risk (p. 463). And this paper accepts Williamson’s claim that ‘Calculative trust is a contradiction in terms’ (p. 463). But the present paper defends a conception of genuine, non-calculative trust that is compatible with calculative considerations and calculative antecedents. This conception of trust creates space for genuine (non-calculative) trust relationships in (...) the economic order—in which calculative considerations and antecedents (most often) play an essential role. (shrink)

I relate plural quantification, and predicate logic where predicates do not need a fixed number of argument places, to the part-whole relation. For more on these themes see later work by Boolos, Lewis, and Oliver & Smiley.

This volume brings together new work on the logic and ontology of plurality and a range of recent articles exploring novel applications to natural language semantics. The contributions in this volume in particular investigate and extend new perspectives presented by plural logic and non-standard mereology and explore their applications to a range of natural language phenomena. Contributions by P. Aquaviva, A. Arapinis, M. Carrara, P. McKay, F. Moltmann, O. Linnebo, A. Oliver and T. Smiley, T. Scaltsas, P. Simons, and (...) B.-Y. Yi . (shrink)