Feature logics are the logical basis for so-called unification grammars studied in computational linguistics. We investigate the expressivity of feature terms with negation and the functional uncertainty construct needed for the description of long-distance dependencies and obtain the following results: satisfiability of feature terms is undecidable, sort equations can be internalized, consistency of sort equations is decidable if there is at least one atom, and consistency of sort equations is undecidable if there is no atom.

The book introduces a conception of discourse ethics, an intersubjectivist version of Kantian ethics. Analyzing contributions from Jürgen Habermas, Karl-Otto Apel, Wolfgang Kuhlmann, Albrecht Wellmer, Robert Alexy, Klaus Günther, Rainer Forst, Marcel Niquet and others, it reconstructs critical discussions on the justification of the principle of morality (part I) and on the various proposals on how to apply it (part II). It defends an alternative model of how discourse ethics can provide guidance under non-ideal circumstances and avoid both arbitrariness and (...) rigorism. (shrink)

In der 1970 gegründeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien veröffentlicht. Gründungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), Günther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von Jürgen Mittelstraß mitherausgegeben.

Political theorists tend to dismiss the concept of constitutional patriotism for two main reasons. On the one hand, constitutional patriotism — understood as a post-national, universalist form of democratic political allegiance — is rejected on account of its abstract quality. On the otherhand, it is argued that constitutional patriotism, while apprearing universalist, is in fact particular through and through. According to this genealogical critique, it is held that constitutional patriotism might have been appropriate in the context when it originated — (...) namely West Germany, a half-nation with a deeply compromised sense of nationality on account of the Nazi past — but it is not universally applicable. This article reconstructs the origins of constitutional patriotism arguing that both the ‘protective’ and state-centred patriotism of Dolf Sternberger, and the ‘purifying’ patriotism of Jurgen Habermas — focused mainly on the public sphere — can indeed be understood as relying on ‘supplements of particularily’. However, there are also normative connections between universalist constitutional morality and militant democracy on the one hand, and universalist constitutionalist morality and an imperative to remember on the other. Thus, the genealogical critique by itself is insufficient to invalidate the idea of constitutional patriotism. (shrink)

Political theorists tend to dismiss the concept of constitutional patriotism for two main reasons. On the one hand, constitutional patriotism — understood as a post-national, universalist form of democratic political allegiance — is rejected on account of its abstract quality. On the otherhand, it is argued that constitutional patriotism, while apprearing universalist, is in fact particular through and through. According to this genealogical critique, it is held that constitutional patriotism might have been appropriate in the context when it originated — (...) namely West Germany, a half-nation with a deeply compromised sense of nationality on account of the Nazi past — but it is not universally applicable. This article reconstructs the origins of constitutional patriotism arguing that both the ‘protective’ and state-centred patriotism of Dolf Sternberger, and the ‘purifying’ patriotism of Jurgen Habermas — focused mainly on the public sphere — can indeed be understood as relying on ‘supplements of particularily’. However, there are also normative connections between universalist constitutional morality and militant democracy on the one hand, and universalist constitutionalist morality and an imperative to remember on the other. Thus, the genealogical critique by itself is insufficient to invalidate the idea of constitutional patriotism. (shrink)

This article analyses the reception of John Rawls's thought by Otfried Höffe, Jürgen Habermas and other political theorists on the German liberal left. It argues that, ironically, as Rawls's theory has become more historically self-conscious and sociologically oriented since A Theory of Justice, Habermas, while denying any fundamental difference between him and Rawls in this `neo-Kantian family quarrel', has moved in the opposite direction. One might even say that there has been some mid-Atlantic convergence in political theory. Nevertheless, there remain (...) peculiarities of German political thought, in particular its more sociological bent, a (positive or negative) fixation on the state, and the persistently felt need finally to reconcile a perceived conflict between liberalism and democracy. (shrink)

The series, founded in 1970, publishes works which either combine studies in the history of philosophy with a systematic approach or bring together systematic studies with reconstructions from the history of philosophy. Monographs are published in English as well as in German. The founding editors are Erhard Scheibe (editor until 1991), Günther Patzig (until 1999) and Wolfgang Wieland (until 2003). From 1990 to 2007, the series had been co-edited by Jürgen Mittelstraß.

In modern continental thought, natural science is widely portrayed as an exclusively instrumental mode of reason. The breadth of this consensus has partly preempted the question of how it came to persuade. The process of persuasion, as it played out in Germany, can be explored by reconstructing the intellectual exchanges among three twentieth-century theorists of science, Heidegger, Habermas, and Werner Heisenberg. Taking an iconic Heisenberg as a kind of limiting case of “the scientist,” Heidegger and Habermas each found themselves (...) driven to place new constraints on their previously more capacious assessments of science, especially its capacity to reflect on its method. Tracing how that happened, through archival and historical contextualization and close readings of their texts, lets us make visible Heidegger and Habermas’s intellectual affinities and argumentative parallels, which derived not only from their shared grounding in earlier reactions against positivism, but also from confrontation with contemporary events. The latter included, for Heidegger, the rise of a technically powerful science exemplified by nuclear physics, and for Habermas, post-World War II controversies over science, technology, and their socially critical possibilities. (shrink)

The seminal work by one of the most important thinkers of the twentieth century, Physics and Philosophy is Werner Heisenberg's concise and accessible narrative of the revolution in modern physics, in which he played a towering role. The outgrowth of a celebrated lecture series, this book remains as relevant, provocative, and fascinating as when it was first published in 1958. A brilliant scientist whose ideas altered our perception of the universe, Heisenberg is considered the father of quantum physics; he (...) is most famous for the Uncertainty Principle, which states that quantum particles do not occupy a fixed, measurable position. His contributions remain a cornerstone of contemporary physics theory and application. Book jacket. (shrink)

The contributions of few contemporary scientists have been as far reaching in their effects as those of Nobel Laureate Werner Heisenberg.

Ivan Efimovič Orlov’s paper “The calculus of the compatibility of propositions”, published in Russian in 1928, is fascinating for anyone interested in the early history of relevance, modal or intuitionistic logic. This is a guide that outlines Orlov's life and work, analyses the content of the paper, and relates it to work of his contemporaries and successors.

The Information Artifact Ontology (IAO) was created to serve as a domain‐neutral resource for the representation of types of information content entities (ICEs) such as documents, data‐bases, and digital im‐ages. We identify a series of problems with the current version of the IAO and suggest solutions designed to advance our understanding of the relations between ICEs and associated cognitive representations in the minds of human subjects. This requires embedding IAO in a larger framework of ontologies, including most importantly the Mental (...) Func‐tioning Ontology (MFO). It also requires a careful treatment of the aboutness relations between ICEs and associated cognitive representa‐tions and their targets in reality, which implies in turn a new treatment of the relation of truthmaking. (shrink)

Jurgen Habermas's program in formal pragmatics fulfills two main functions.

The goal of referent tracking is to create an ever-growing pool of data relating to the entities existing in concrete spatiotemporal reality. In the context of Electronic Healthcare Records (EHRs) the relevant concrete entities are not only particular patients but also their parts, diseases, therapies, lesions, and so forth, insofar as these are salient to diagnosis and treatment. Within a referent tracking system, all such entities are referred to directly and explicitly, something which cannot be achieved when familiar concept-based systems (...) are used in what is called “clinical coding”. In this paper we describe the components of a referent tracking system in an informal way and we outline the procedures that would have to be followed by healthcare personnel in using such a system. We argue that the referent tracking paradigm can be introduced with only minor – though nevertheless ontologically important – technical changes to existing EHR infrastructures, but that it will require a radically different mindset on the part of those involved in clinical coding and terminology development from that which has prevailed hitherto. (shrink)

While classifications of mental disorders have existed for over one hundred years, it still remains unspecified what terms such as 'mental disorder', 'disease' and 'illness' might actually denote. While ontologies have been called in aid to address this shortfall since the GALEN project of the early 1990s, most attempts thus far have sought to provide a formal description of the structure of some pre-existing terminology or classification, rather than of the corresponding structures and processes on the side of the patient. (...) We here present a view of mental disease that is based on ontological realism and which follows the principles embodied in Basic Formal Ontology and in the application of BFO in the Ontology of General Medical Science. We analyzed statements about what counts as a mental disease provided in the research agenda for the DSM-V, and in Pies' model. The results were used to assess whether the representational units of BFO and OGMS were adequate as foundations for a formal representation of the entities in reality that these statements attempt to describe. We then analyzed the representational units specific to mental disease and provided corresponding definitions. Our key contributions lie in the identification of confusions and conflations in the existing terminology of mental disease and in providing what we believe is a framework for the sort of clear and unambiguous reference to entities on the side of the patient that is needed in order to avoid these confusions in the future. (shrink)

Schlusslogische Letztbegründung is a collection of essays in honor of Kurt Walter Zeidler. Mr. Zeidler is a distinguished Kant- and Neo-Kantian-scholar who has reconstructed Kant's concept of transcendental logic in connection with the logic of the concept of Hegel and the logic of symbolization of Peirce. (cf. Zeidler: Grundriss der transzendentalen Logik, 3rd ed., Wien 2017) He has most notably inquired intensively into the relation of transcendental logic to philosophy of science (cf. Zeidler: Prolegomena zur Wissenschaftstheorie, Wien 2000) and to (...) phenomenology (cf. Zeidler: Vermittlungen. Zum antiken und neueren Idealismus, Wien 2016). He has also published several studies on Neo-Kantianism (cf. Zeidler: Provokationen. Zu Problemen des Neukantianismus, Wien 2018). This is refelected in the collection of essays by distinguished scholars who discuss and critically examine Zeidler's work. It includes contributions by Steinar Mathisen (Oslo), Wolfdietrich Schmied-Kowarzik (Vienna), Werner Flach (Lichtenau), Thomas Knoppe (Straberg), Geert Edel (Wyk/Föhr), Martin Bunte (Münster), Reinhard Hiltscher (Dresden), Walter Tydecks (Bensheim), Christian Krijnen (Amsterdam), Hartwig Wiedebach (Zürich), Max Gottschlich (Linz), Thomas Sören Hoffmann (Hagen), Rudolf Meer (Kaliningrad), Hans-Jürgen Müller (Frankfurt am Main), Robert König (Vienna), Ulrich Blau (Marburg), Karen Gloy (Luzern/Munich), Reinhold Breil (Aachen), Erhard Oeser (Vienna), Hans-Dieter Klein (Vienna), Hans Martin Dober (Tübingen), Kurt Walter Zeidler (Vienna) and Lois Marie Rendl (Vienna). (shrink)

Quality assurance in large terminologies is a difficult issue. We present two algorithms that can help terminology developers and users to identify potential mistakes. We demon­strate the methodology by outlining the different types of mistakes that are found when the algorithms are applied to SNOMED-CT. On the basis of the results, we argue that both formal logical and linguistic tools should be used in the development and quality-assurance process of large terminologies.

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. The (...) purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that are added or (...) subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory. (shrink)

Based on the Ontology for General Medical Science, we propose definitions for biomarkers of various types of. These definitions provide not only a complete formal representation of what biomarkers are according to the Institute of Medicine (IOM), but also remove the ambiguities and inconsistencies encountered in the documentation provided by the IOM.

We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.

English Summary: Although most religions claim peace as a goal to pursue, religions have been used as justification for violence again and again. Since September 11th, 2001 the Western and Eastern world has been confronted again with violence in the name of religion. As a fundamentalist understanding of religion is a fruitful basis for war and terror, it is essential to empower the liberal movements in the world religions, to support a peaceful community of people from different cultures and religions. (...) Therefore, it is of central importance for our own religious self-concept how faith and reason can be combined to make it possible to feel at home in our own religion and to welcome a pluralistic society. German description: Obwohl in den meisten Religionen Frieden als anzustrebendes Ziel gilt, wurden Religionen immer wieder zur Legitimation von Gewalt genutzt. Seit den Ereignissen des 11. September 2001 ist die westliche und ostliche Welt erneut konfrontiert mit der Gewalt im Namen der Religion. Insofern ein fundamentalistisches Religionsverstandnis den Nahrboden fur Krieg und Terror bildet, kommt es darauf an, die liberalen Krafte und Stromungen in den Weltreligionen zu starken, um ein friedliches Zusammenleben von Angehorigen verschiedener Kulturen und Religionen zu fordern. Fur das eigene religiose Selbstverstandnis ist daher von zentraler Bedeutung, wie Glaube und Vernunft so aufeinander bezogen werden konnen, dass es moglich ist, sowohl in der eigenen Religion beheimatet zu sein als auch die pluralistische Gesellschaft zu bejahen. Mit Beitragen von Michael Grossmann, Rabeya Muller, Wolfgang Pfuller, Andreas Rossler, Arnulf von Scheliha, Christian Wiese, Hans-Georg Wittig, Werner Zager und Ingo J. Zollich. (shrink)

If SNOMED CT is to serve as a biomedical reference terminology, then steps must be taken to ensure comparability of information formulated using successive versions. New releases are therefore shipped with a history mechanism. We assessed the adequacy of this mechanism for its treatment of the distinction between changes occurring on the side of entities in reality and changes in our understanding thereof. We found that these two types are only partially distinguished and that a more detailed study is required (...) to propose clear recommendations for enhancement along at least the following lines: (1) explicit representation of the provenance of a class; (2) separation of the time-period during which a component is stated valid in SNOMED CT from the period it is (or has been) valid in reality, and (3) redesign of the historical relationships table to give users better assistance for recovery in case of introduced mistakes. (shrink)

Electronic Health Records (EHRs) are organized around two kinds of statements: those reporting observations made, and those reporting acts performed. In neither case does the record involve any direct reference to what such statements are actually about. They record not: what is happening on the side of the patient, but rather: what is said about what is happening. While the need for a unique patient identifier is generally recognized, we argue that we should now move to an EHR regime in (...) which all clinically salient particulars – from the concrete disorder on the side of the patient and the body parts in which it occurs to the concrete treatments given – should be uniquely identified. This will allow us to achieve interoperability among different systems of records at the level where it really matters: in regard to what is happening in the real world. It will also allow us to keep track of particular disorders and of the effects of particular treatments in a precise and unambiguous way. We discuss the ontological and epistemological aspects of our claim and describe a scenario for implementation within EHR systems. (shrink)

The goal of the OBO (Open Biomedical Ontologies) Foundry initiative is to create and maintain an evolving collection of non-overlapping interoperable ontologies that will offer unambiguous representations of the types of entities in biological and biomedical reality. These ontologies are designed to serve non-redundant annotation of data and scientific text. To achieve these ends, the Foundry imposes strict requirements upon the ontologies eligible for inclusion. While these requirements are not met by most existing biomedical terminologies, the latter may nonetheless support (...) the Foundry’s goal of consistent and non-redundant annotation if appropriate mappings of data annotated with their aid can be achieved. To construct such mappings in reliable fashion, however, it is necessary to analyze terminological resources from an ontologically realistic perspective in such a way as to identify the exact import of the ‘concepts’ and associated terms which they contain. We propose a framework for such analysis that is designed to maximize the degree to which legacy terminologies and the data coded with their aid can be successfully used for information-driven clinical and translational research. (shrink)

The paradigm of referent tracking is based on a realist presupposition which rejects so-called negative entities (congenital absent nipple, and the like) as spurious. How, then, can a referent tracking-based Electronic Health Record deal with what are standardly called ‘negative findings’? To answer this question we carried out an analysis of some 748 sentences drawn from patient charts and containing some form of negation. Our analysis shows that to deal with these sentences we need to introduce a new ontological relationship (...) between a particular and a universal, which holds when no instance of the universal has a specific qualified ontological relation with the particular. This relation is found to be able to accommodate nearly all occurrences of negative findings in the examined sample, in ways which involve no reference to negative entities. (shrink)

In this paper, I argue, first, that Hegel defended a version of the analytic/synthetic distinction—that, indeed, his version of the distinction deserves to be called Kantian. For both Kant and Hegel, the analytic/synthetic distinction can be explained in terms of the discursive character of cognition: insofar as our cognition is discursive, its most basic form can be articulated in terms of a genus/species tree. The structure of that tree elucidates the distinction between analytic and synthetic judgments. Second, I argue that (...) Hegel has an interesting and so far unexplored argument for the analytic/synthetic distinction: Hegel argues that the systematic relationship between concepts expressed in a genus/species tree can only be expressed through synthetic judgments. Third and finally, I explore some of the implications that the arguments in the first two parts of the essay have for understanding the way in which Hegel differs from Kant. I argue that Hegel accepts Kant's point that discursive cognition cannot be used to cognize the absolute. However, Hegel thinks that we can, nevertheless, cognize the absolute. I explore the character of this non-discursive cognition and argue that we can understand Hegel's glosses on this form of cognition—as simultaneously analytic and synthetic and as having a circular structure—through contrasting it with his account of discursive cognition. As a consequence, I argue that we must give up on attempts to understand ‘the dialectical method’ and ‘speculative cognition’ on the model of discursive cognition. (shrink)

Referent tracking (RT) is a new paradigm, based on unique identification, for representing and keeping track of particulars. It was first introduced to support the entry and retrieval of data in electronic health records (EHRs). Its purpose is to avoid the ambiguity that arises when statements in an EHR refer to disorders or other entities on the side of the patient exclusively by means of compound descriptions utilizing general terms such as ‘pimple on nose’ or ‘small left breast tumor’. In (...) this paper, we describe the theoretical foundations of this paradigm and show how it is being applied to the solution of analogous problems of ambiguous identification in the fields of digital rights management, corporate memories and decision algorithms. (shrink)

Definitive diagnosis of malaria requires the demonstration through laboratory tests of the presence within the patient of malaria parasites or their components. Since malaria parasites can be present even in the absence of malaria manifestations, and since symptoms of malaria can be manifested even in the absence of malaria parasites, malaria diagnosis raises important issues for the adequate understanding of disease, etiology and diagnosis. One approach to the resolution of these issues adopts a realist view, according to which the needed (...) clarifications will be derived from a careful representation of the entities on the side of the patient which form the ultimate truthmakers for clinical statements. We here address a challenge to this realist approach relating to the diagnosis of malaria, and show how this challenge can be resolved by appeal to Basic Formal Ontology (BFO) and to the Ontology for General Medical Science (OGMS) constructed in its terms. (shrink)

In nine essays and lectures composed in the last years of his life, Werner Heisenberg offers a bold appraisal of the scientific method in the twentieth century--and relates its philosophical impact on contemporary society and science to the particulars of molecular biology, astrophysics, and related disciplines. Are the problems we define and pursue freely chosen according to our conscious interests? Or does the historical process itself determine which phenomena merit examination at any one time? Heisenberg discusses these issues in (...) the most far-ranging philosophical terms, while illustrating them with specific examples. (shrink)

The seminal work by one of the most important thinkers of the twentieth century, Physics and Philosophy is Werner Heisenberg's concise and accessible narrative of the revolution in modern physics, in which he played a towering role. The outgrowth of a celebrated lecture series, this book remains as relevant, provocative, and fascinating as when it was first published in 1958. A brilliant scientist whose ideas altered our perception of the universe, Heisenberg is considered the father of quantum physics; he (...) is most famous for the Uncertainty Principle, which states that quantum particles do not occupy a fixed, measurable position. His contributions remain a cornerstone of contemporary physics theory and application. (shrink)

The ArgumentWe present a number of findings concerning Galileo's major discoveries which question both the methods and the results of dating his achievements by common historiographic criteria. The dating of Galileo's discoveries is, however, not our primary concern. This paper is intended to contribute to a critical reexamination of the notion of discovery from the point of view of historical epistemology. We claim that the puzzling course of Galileo's discoveries is not an exceptional comedy of errors but rather illustrates the (...) normal way in which scientific progress is achieved. We argue that scientific knowledge generally develops not as a sequence of independent discoveries accumulating to a new body of knowledge but rather as a network of interdependent activities which only as a whole makes the individual steps understandable as meaningful “discoveries.”. (shrink)

For corporate memory and enterprise ontology systems to be maximally useful, they must be freed from certain barriers placed around them by traditional knowledge management paradigms. This means, above all, that they must mirror more faithfully those portions of reality which are salient to the workings of the enterprise, including the changes that occur with the passage of time. The purpose of this chapter is to demonstrate how theories based on philosophical realism can contribute to this objective. We discuss how (...) realism-based ontologies (capturing what is generic) combined with referent tracking (capturing what is specific) can play a key role in building the robust and useful corporate memories of the future. (shrink)