BACKGROUND: Ontologies play a major role in life sciences, enabling a number of applications, from new data integration to knowledge verification. SNOMED CT is a large medical ontology that is formally defined so that it ensures global consistency and support of complex reasoning tasks. Most biomedical ontologies and taxonomies on the other hand define concepts only textually, without the use of logic. Here, we investigate how to automatically generate formal concept definitions from textual ones. We develop a method that uses (...) machine learning in combination with several types of lexical and semantic features and outputs formal definitions that follow the structure of SNOMED CT concept definitions. RESULTS: We evaluate our method on three benchmarks and test both the underlying relation extraction component as well as the overall quality of output concept definitions. In addition, we provide an analysis on the following aspects: How do definitions mined from the Web and literature differ from the ones mined from manually created definitions, e.g., MeSH? How do different feature representations, e.g., the restrictions of relations' domain and range, impact on the generated definition quality?, How do different machine learning algorithms compare to each other for the task of formal definition generation?, and, What is the influence of the learning data size to the task? We discuss all of these settings in detail and show that the suggested approach can achieve success rates of over 90%. In addition, the results show that the choice of corpora, lexical features, learning algorithm and data size do not impact the performance as strongly as semantic types do. Semantic types limit the domain and range of a predicted relation, and as long as relations' domain and range pairs do not overlap, this information is most valuable in formalizing textual definitions. CONCLUSIONS: The analysis presented in this manuscript implies that automated methods can provide a valuable contribution to the formalization of biomedical knowledge, thus paving the way for future applications that go beyond retrieval and into complex reasoning. The method is implemented and accessible to the public from: https://github.com/alifahsyamsiyah/learningDL. (shrink)

Fitting Attitudes accounts of value analogize or equate being good with being desirable, on the premise that ‘desirable’ means not, ‘able to be desired’, as Mill has been accused of mistakenly assuming, but ‘ought to be desired’, or something similar. The appeal of this idea is visible in the critical reaction to Mill, which generally goes along with his equation of ‘good’ with ‘desirable’ and only balks at the second step, and it crosses broad boundaries in terms of philosophers’ other (...) commitments. For example, Fitting Attitudes accounts play a central role both in T.M. Scanlon’s [1998] case against teleology, and in Michael Smith [2003], [unpublished] and Doug Portmore’s [2007] cases for it. And of course they have a long and distinguished history. (shrink)

This paper is a survey of recent ‘hybrid’ approaches to metaethics, according to which moral sentences, in some sense or other, express both beliefs and desires. I try to show what kinds of theoretical issues come up at the different choice points we encounter in developing such a view, to raise some problems and explain where they come from, and to begin to get a sense for what the payoff of such views can be, and what they will need to (...) do in order to earn that payoff. (shrink)

Many authors, including Derek Parfit, T. M. Scanlon, and Mark Schroeder, favor a “reasons-first” ontology of normativity, which treats reasons as normatively fundamental. Others, most famously G. E. Moore, favor a “value-first” ontology, which treats value or goodness as normatively fundamental. Chapter 10 argues that both the reasons-first and value-first ontologies should be rejected because neither can account for all of the normative reasons that, intuitively, there are. It advances an ontology of normativity, originally suggested by Franz Brentano and (...) A. C. Ewing, according to which fittingness is normatively fundamental. The normative relation of fittingness is the relation in which a response stands to an object when the object merits—or is worthy of—that response. The author argues that his “fittingness-first” ontology is no less parsimonious than either the reasons- or the value-first ontology, but it can plausibly accommodate the existence of all the normative reasons there are. It therefore provides a superior ontology of normativity. (shrink)

The term “value theory” is used in at least three different ways in philosophy. In its broadest sense, “value theory” is a catch-all label used to encompass all branches of moral philosophy, social and political philosophy, aesthetics, and sometimes feminist philosophy and the philosophy of religion — whatever areas of philosophy are deemed to encompass some “evaluative” aspect. In its narrowest sense, “value theory” is used for a relatively narrow area of normative ethical theory of particular concern to consequentialists. In (...) this narrow sense, “value theory” is roughly synonymous with “axiology”. Axiology can be thought of as primarily concerned with classifying what things are good, and how good they are. For instance, a traditional question of axiology concerns whether the objects of value are subjective psychological states, or objective states of the world. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

Long awaited and eagerly anticipated, this remarkable volume allows English-speaking readers to experience a profound dialogue between the German philosopher Martin Heidegger and the Swiss psychiatrist Medard Boss. A product of their warm friendship, _Zollikon Seminars_ chronicles an extraordinary exchange of ideas. Heidegger strove to transcend the bounds of philosophy while Boss and his colleagues in the scientific community sought to understand their patients and their world. The result: the best and clearest introduction to Heidegger's philosophy available. Boss approached Heidegger (...) asking for help in reflective thinking on the nature of Heidegger's work. Soon they were holding annual two-week meetings in Boss's home in Zollikon, Switzerland. The protocols from these seminars, recorded by Boss and reviewed, corrected, and supplemented by Heidegger himself, make up one part of this volume. They are augmented by Boss's record of the conversations he had with Heidegger in the days between seminars and by excerpts from the hundreds of letters the philosopher wrote to Boss between 1947 and 1971. (shrink)

Our new journal Philosophies is devoted to the search for a synthesis of philosophical and scientific inquiry. It promotes philosophical work derived from the experience of diverse scientific disciplines. [...].

Expressivists famously have important and difficult problems with semantics and logic. Their difficulties providing an adequate account of the semantics of material conditionals involving moral terms, and explaining why they have the right semantic and logical properties – for example, why they validate modus ponens – have received a great deal of attention. Cian Dorr [2002] points out that their problems do not stop here, but also extend to epistemology. The problem he poses for expressivists is the problem of wishful (...) thinking. David Enoch [2003] has claimed that expressivists can avoid wishful thinking, and offered a fairly detailed account of how. In this paper I explain the details of Enoch’s account, and why his reasoning fails in several different places. (shrink)

Responsible research and innovation (RRI) is a governance framework promoted by influential policy makers such as the European Commission and academics from the fields of science and technology studies and management. This book is the first text to serve industry. Inspired by existing Corporate Responsibility standards and principles, it offers a selection of tools that can assist practitioners in implementing RRI in business and industry. -/- Responsible Research and Innovation (RRI) is integrative. It is a convergence of Technology Assessment (TA) (...) and Ethics, including corporate responsibility. The task of linking RRI to existing frameworks has only just begun. This book is a welcome example, showing how Corporate Responsibility tools can drive the implementation of RRI. Prof. Armin Grunwald, Head of the Office of Technology Assessment at the German Bundestag and Head of the Institute for Technology Assessment and Systems Analysis, Karlsruhe Institute of Technology, Germany. -/- This is a simple, short, yet encyclopaedic work designed to help business implement RRI using the many tools of Corporate Responsibility (CR) already in place, everything from ISO9001 to the Ceres Roadmap for Sustainability. It makes clear the ways in which RRI is an extension of ideas already well-developed in CR. I learned a lot reading it. Prof. Michael Davis, Senior Fellow, Center for the Study of Ethics in the Professions, Illinois Institute of Technology, USA. (shrink)

On Jewish Learning collects essays, speeches, and letters that express Rosenzweig's desire to reconnect the profound truths of Judaism with the lives of ordinary people.

Frontmatter -- Vorwort -- Inhalt -- 1. Normlogische Begriffe und Prinzipien -- 2. Typen ethischer Theorien -- 3. Nichtkognitivistische Theorien -- 4. Subjektivistische Theorien -- 5. Objektivistische Theorien -- 6. Werterfahrung -- 7. Materiale Fragen der Ethik -- Literatur -- Namen -- Stichwörter -- Backmatter.

Contemporary Natural Philosophy is understood here as a project of the pursuit of the integrated description of reality distinguished by the precisely formulated criteria of objectivity, and by the assumption that the statements of this description can be assessed only as true or false according to clearly specified verification procedures established with the exclusive goal of the discrimination between these two logical values, but not with respect to any other norms or values established by the preferences of human collectives or (...) by the individual choices. This distinction assumes only logical consistency, but not completeness. Completeness (i.e., the feasibility to assign true or false value to all possible statements) is desirable, but may be impossible. This paper is not intended as a comprehensive program for the development of the Contemporary Natural Philosophy but rather as a preparation for such program advocating some necessary revisions and extensions of the methodology currently considered as the scientific method. This is the actual focus of the paper and the reason for the reference to Baconian _idola mentis_. Francis Bacon wrote in _Novum Organum_ about the fallacies obstructing progress of science. The present paper is an attempt to remove obstacles for the Contemporary Natural Philosophy project to which we have assigned the names of the Idols of the Number, the Idols of the Common Sense, and the Idols of the Elephant. (shrink)

Growing out of concerns for environment-development interlinkages expressed at the United Nations Conference on the Human Environment, 1972, this volume is a compilation of edited versions of statements made at that conference and at the ...

This style of argument comes up everywhere in the philosophy of practical reason, leveled against theories of the norm of means-end coherence on intention, against Humean theories of reasons, and many other places. It comes up in normative moral theory – for example, in arguments against buck-passing. It comes up in epistemology, in discussions of how to account for the rational connection between believing the premises of a valid argument and believing its conclusion. And it comes up in political philosophy, (...) where one of its most salient occurrences is in the so-called ‘leveling down’ objection to egalitarianism. (shrink)

Philosophers who take rationality to consist in the satisfaction of rational requirements typically favour rational requirements that govern mental attitudes at a time rather than across times. One such account has been developed by Broome in Rationality through reasoning. He claims that diachronic functional properties of intentions such as settling on courses of actions and resolving conflicts are emergent properties that can be explained with reference to synchronic rational pressures. This is why he defends only a minimal diachronic requirement which (...) characterises forgetting as irrational. In this paper, I show that Broome’s diachronically minimalist account lacks the resources to explain how a rational agent may resolve incommensurable choices by an act of will. I argue that one can solve this problem by either specifying a mode of diachronic deliberation or by introducing a genuinely diachronic requirement that governs the rational stability of an intention via a diachronic counterfactual condition concerning rational reconsideration. My proposal is similar in spirit to Gauthier’s account in his seminal paper ‘Assure and threaten’. It improves on his work by being both more general and explanatorily richer in its application with regard to diachronic phenomena such as transformative choices and acts of will. (shrink)

This chapter suggests that descriptive epidemiological studies like the Global Burden of Disease Study can usefully be divided into four tasks: describing individuals’ health states over time, assessing their health states under a range of counterfactual scenarios, summarizing the information collected, and then packaging it for presentation. The authors show that each of these tasks raises important and challenging ethical questions. They comment on some of the philosophical issues involved in measuring health states, attributing causes to health outcomes, choosing the (...) counterfactual against which to assess causes, aggregating and summarizing complex information across multiple domains, discounting, age-weighting, handling fetal deaths, measuring health inequalities, representing uncertainty, and assessing personal responsibility for health outcomes. (shrink)

As cause we often specify an event the occurrence of which first guaranteed that of the effect. This notion is explicated in a framework of branching worlds in Sections I to V. VI and VII point out its close relations to the concept of an agent's bringing about an event. The topic of the last two sections is the distinction between causes and necessary circumstances. For this purpose conditionals are used, interpreted with respect to branching worlds without a similarity relation (...) between them. (shrink)

Analogy belongs to the class of concepts notorious for a variety of definitions generating continuing disputes about their preferred understanding. Analogy is typically defined by or at least associated with similarity, but as long as similarity remains undefined this association does not eliminate ambiguity. In this paper, analogy is considered synonymous with a slightly generalized mathematical concept of similarity which under the name of tolerance relation has been the subject of extensive studies over several decades. In this approach, analogy can (...) be mathematically formalized in terms of the sequence of binary relations of increased generality, from the identity, equivalence, tolerance, to weak tolerance relations. Each of these relations has cryptomorphic presentations relevant to the study of analogy. The formalism requires only two assumptions which are satisfied in all of the earlier attempts to formulate adequate definitions which met expectations of the intuitive use of the word analogy in general contexts. The mathematical formalism presented here permits theoretical analysis of analogy in the contrasting comparison with abstraction, showing its higher level of complexity, providing a precise methodology for its study and informing philosophical reflection. Also, arguments are presented for the legitimate expectation that better understanding of analogy can help mathematics in establishing a unified and universal concept of a structure. (shrink)

Peer-review has become increasingly important to the way scholarly journals assess whether a manuscript is suitable for publication [...].

Die Wissenschaft der Manufakturperiode.--Der Begriff des Naturgesetzes.--Naturrecht und Gesellschaftsvertrag.--Die neue Moral und die neue Theologie.--Descartes.--Gassendi.--Hobbes.--Pascal.