Ludger Jansen

Currently, there is not yet a full-fledged philosophical sub-discipline devoted to artifacts. In order to establish such a general philosophical discourse on artifacts, two topics are of special importance: artifact functionality and artifact categorization. Both are central to the question of what artifacts are in general and in particular. This introduction first presents the current state of the art in the debates on functions, both in general and in the domain of artifacts in particular. It then unfolds the three debates relevant for artifact kinds, namely the ontological, epistemological and semantic debates on artifact categorization, and presents the most important theory options currently under scrutiny in these fields. It proceeds by introducing the contributions in this special issue on the functions and kinds of art works and other artifacts, and discusses possible perspectives for a general philosophy of artifacts.

This broad and insightful book presents current scholarship in important subfields of philosophy of science and addresses an interdisciplinary and multidisciplinary readership. It groups carefully selected contributions into the four fields of I) philosophy of physics, II) philosophy of life sciences, III) philosophy of social sciences and values in science, and IV) philosophy of mathematics and formal modeling. Readers will discover research papers by Paul Hoyningen-Huene, Keizo Matsubara, Kian Salimkhani, Andrea Reichenberger, Anne Sophie Meincke, Javier Suárez, Roger Deulofeu, Ludger Jansen, Peter Hucklenbroich, Martin Carrier, Elizaveta Kostrova, Lara Huber, Jens Harbecke, Antonio Piccolomini d'Aragona and Axel Gelfert. This collection fosters dialogue between philosophers of science working in different subfields, and brings readers the finest and latest work across the breadth of the field,illustrating that contemporary philosophy of science has successfully broadened its scope of reflection. It will interest and inspire a wide audience of philosophers as well as scholars of the natural sciences, social sciences and the humanities. The volume shares selected contributions from the prestigious second triennial conference of the German Society for Philosophy of Science/ Gesellschaft für Wissenschaftsphilosophie (GWP.2016, March 8, 2016 - March 11, 2016).

Die Zeiten, in denen der Leib-Seele-Dualismus als Ansatz der Philosophie des Geistes durch ein herrschendes Dogma als diskussionsunwürdig galt, sind vorbei. Der Dualismus darf wieder diskutiert werden. Er muß diskutiert werden, wenn in diskussionswürdiger Strenge für ihn argumentiert wird – auch wenn das, wie sich zeigen wird, manchmal ein ziemlich technisches Geschäft ist. In diesem Sinne soll im folgenden Richard Swinburnes Versuch behandelt werden, die Existenz einer Seele und damit die Wahrheit des Substanzdualismus aus einigen zunächst recht unspektakulär aussehenden Prämissen mit Hilfe der modernen Modallogik formal zu beweisen. Zugleich sei damit auf eine kleine Debatte aufmerksam gemacht, die sich inzwischen um Swinburnes Argument entwickelt hat. Die Untersuchung führt zu einem doppelten negativen Ergebnis: Zum einen sind Swinburnes Prämissen nicht plausibel, zum anderen ist ein wichtiger Teil seines Beweisversuches formal nicht in Ordnung. Swinburnes Argument ist also weder überzeugend noch gültig . Allerdings ist das nicht auf den ersten Blick ersichtlich, denn Swinburnes Argument ist alles andere als trivial. Eine eingehende Kritik dieses Arguments soll zeigen, daß, selbst wenn der Dualismus wahr sein sollte, er nicht ganz so einleuchtend ist, wie Swinburne meint

In "On Social Facts" (1989) and subsequent works, Margaret Gilbert has suggested a plural subject account of the semantics of ‘we’ that claims that a central or standard use of ‘we’ is to refer to an existing or anticipated plural subject. This contrasts with the more general approach to treat plural pronouns as expressions referring to certain pluralities. I argue that (i) the plural subject approach cannot account for certain syntactic phenomena and that (ii) the sense of intimacy, which Gilbert cites as evidence for her plural subject account, has a different source than the existence of joint commitments constituting a respective plural subject. Moreover, (iii) there is a wide varie-ty of phenomena in the linguistic record, which, while not constituting conclusive evidence against the plural subject account, nevertheless, are dealt with better by the plurality account. ‘We’ thus refers to pluralities, which may or may not be plural subjects. The precise analysis of ‘we’ thus reveals a multi-layered ontology of groups.

The 2013 Rostock Symposium on Systems Biology and Bioinformatics in Aging Research was again dedicated to dissecting the aging process using in silico means. A particular focus was on ontologies, as these are a key technology to systematically integrate heterogeneous information about the aging process. Related topics were databases and data integration. Other talks tackled modeling issues and applications, the latter including talks focussed on marker development and cellular stress as well as on diseases, in particular on diseases of kidney and skin.

This book discusses the philosophy of influential contemporary philosopher Peter van Inwagen. Looking at perennial philosophical problems from a modern point of view, Peter van Inwagen’s philosophy masterfully combines positions that have been considered irreconcilable: incompatibilism concerning free will, materialism, organicism, theism and realism concerning fictional entities. As readers will discover, his arguments are witty, surprising and deep. The book includes Peter van Inwagen’s Münster Lecture of 2015 on free will, as well as eleven papers from the Münster colloquium discussing central themes of his philosophy, and a reply to each paper by Peter van Inwagen himself. Introducing his philosophy and relating his work to other contemporary views, this book is of interest to graduate students and professionals in philosophy alike.

Given the assertion of a relation between two types, like: “Epidermis has part some Keratinocyte”, we define silent change as any kind of change of the instance-relata of the relation in question that does not change the truth-value of the respective type-level assertion. Such assertions are notoriously difficult to model in OWL 2. To address this problem, we distinguish different modes of type-level relatedness giving rise to this problem and describe a conservative extension to the BFO top-level ontology that allows expressing these modes.

A popular argument goes thus: This is a construction, hence it is not real. Adding an appropriate adjective (social, mental, human, …) in front of “construction” or cognate terms like “(legal) fiction” yields a whole family of related arguments, all of which, or so I will argue, are fallacious. Contrary to popular opinion, these arguments fail both on the epistemic and the ontic sense of construction. Ontic constructions exist at least at one point in time, while epistemic constructions may well correspond to reality. The motivation behind these fallacious arguments can often be found in a misconceived conception of ontology and reality. A full theory of reality must take constructed entities into account because important domains of reality (mental life, social reality, technical artefacts, art and fiction) essentially depend on mental or social constructions.

Margaret Gilbert has defended the claim that her plural subject theory can give a reasonable account of retrospective (or backward-looking) collective responsibility. On one occasion, publishing in this periodical, she writes that she deliberately left out the discussion of prospective (or forward-looking) collective responsibility, or the “responsibilities” of a collective. In the present paper, I want to show that plural subject theory, in fact, also allows accounting for prospective responsibilities of groups and institutions. In order to do so, I will first sketch the social ontological background of my discussion which is, in fact, an amended version of Gilbert’s theory of plural subjects (§ 2). Based on the assumption that a prospective responsibility accrues from some kind of commissioning, I will then discuss a variety of possible sources of prospective collective responsibilities: self-commissioning, third-party commissioning and what I will call commissioning by unique capability (§ 3). Having done so, I will discuss some consequences of this account and defend it against objections (§ 4).

Taking Thomas Aquinas's interpretation of the prologue of St John's gospel (in his Lectura super loannem Evangelium) as example, I first discuss eight differences between medieval biblical interpretation and modern exegesis, especially Aquinas's frequent use of philosophical opinions in interpreting the Bible, taken mostly from Aristotle. Second, I account for these differences by reconstructing Aquinas's hermeneutics, hinging, as is shown, upon the assumption that scripture was authored by God infallible and, therefore, only contains true statements. From this starting point Aquinas is lead to a holistic hermeneutics: The interpretation of a biblical statement can be judged on only within the context of an entire theory of God, the world, and of the interpretation of the other biblical statements. Thirdly, this view is discussed systematically and critically.

In order to develop the ontology of tendencies for use in the representation of medical knowledge, tendencies are compared with other kinds of entities possessing the realizable-realization structure, specifically: dispositions, propensities, abilities and virtues. The peculiarities of tendencies are discussed and a standard schema of tendency ascription is developed in order to represent the relations between the ascriptions of tendency tokens to particulars and the ascriptions of tendency types to universals. Two nonstandard cases and their epistemic variants are discussed.

OBJECTIVE: (a) To measure the effect of a guideline-based training on the performance of ontology developers compared with the performance after unspecific training by a competency question based evaluation; and (b) to provide empirical evidence for the applicability of competency questions in formal ontology evaluation in general. BACKGROUND: A close connection between ontology development and ontology evaluation as quality management procedure can been attained with the use of competency questions. Competency questions are often used as a semi-formal specification of requirements for an ontology under development. Hence they can also be used as evaluation instruments, in order to check how far an ontology fulfills these requirements. METHODS: A randomized controlled trial was conducted with two groups of 12 students each. The intervention consisted in a differential guideline-based training on ontology development vs. unspecific training. After a group-specific training focusing on three topics per group, performance of students was assessed with 12 exercises (2 exercises per topic), in which the students had to apply their skills. Different types of competency questions were elaborated for the analysis of the students' ontologies. We used the proportion of correct answers as a measure of ontology quality. RESULTS: On single topic level, the performance of ontology developers increased after guideline-based training for two out of the six topics: it increased from a proportion of 0.46 to 0.63 for the topic Process \& Participation and from 0.44 to 0.53 for the topic Collective Material Entity. In regression analysis, a positive correlation was shown between the performance of students on untrained topics and the performance after specific guideline-based training. Moreover, in multiple regression analysis an overall effect of specific training of 0.09 was calculated (p < 0.1). CONCLUSION: The results show an effect of a specific guideline-based training on the performance of ontology developers compared to the performance after unspecific training by an increase of about 10 \% on the rate of correct competency questions. In addition, this study has shown the general applicability of competency questions in a formal ontology evaluation scenario. However, the study also shows that the training of ontology developers and their performance evaluation is a tedious task. The resulting performance of ontology developers is more dependent on the a priori individual competencies than on the specific acquired skills after training.

BACKGROUND The need for detailed description and modeling of cells drives the continuous generation of large and diverse datasets. Unfortunately, there exists no systematic and comprehensive way to organize these datasets and their information. CELDA (Cell: Expression, Localization, Development, Anatomy) is a novel ontology for the association of primary experimental data and derived knowledge to various types of cells of organisms. RESULTS CELDA is a structure that can help to categorize cell types based on species, anatomical localization, subcellular structures, developmental stages and origin. It targets cells in vitro as well as in vivo. Instead of developing a novel ontology from scratch, we carefully designed CELDA in such a way that existing ontologies were integrated as much as possible, and only minimal extensions were performed to cover those classes and areas not present in any existing model. Currently, ten existing ontologies and models are linked to CELDA through the top-level ontology BioTop. Together with 15.439 newly created classes, CELDA contains more than 196.000 classes and 233.670 relationship axioms. CELDA is primarily used as a representational framework for modeling, analyzing and comparing cells within and across species in CellFinder, a web based data repository on cells (http://cellfinder.org). CONCLUSIONS CELDA can semantically link diverse types of information about cell types. It has been integrated within the research platform CellFinder, where it exemplarily relates cell types from liver and kidney during development on the one hand and anatomical locations in humans on the other, integrating information on all spatial and temporal stages. CELDA is available from the CellFinder website: http://cellfinder.org/about/ontology.