The objective of this research programme is to contribute to the establishment of the emerging science of Formal Ontology in Information Systems via a collaborative project involving researchers from a range of disciplines including philosophy, logic, computer science, linguistics, and the medical sciences. The re­searchers will work together on the construction of a unified formal ontology, which means: a general framework for the construction of ontological theories in specific domains. The framework will be constructed using the axiomatic-deductive method of modern (...) formal ontology. It will be tested via a series of applications relating to on-going work in Leipzig on medical taxonomies and data dictionaries in the context of clinical trials. This will lead to the production of a domain-specific ontology which is designed to serve as a basis for applications in the medical field. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power and (...) great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations. (shrink)

The General Formal Ontology is a top-level ontology that is being developed at the University of Leipzig since 1999. Besides introducing some of the basic principles of the ontology, we expound axiomatic fragments of its formalization and present ontological models of several use cases. GFO is a top-level ontology that integrates objects and processes into a unified framework, in a way that differs significantly from other ontologies. Another unique selling feature of GFO is its meta-ontological architecture, which includes set theory (...) into ontology and which accounts for its specific role in common representation approaches. The second level of that architecture starts from the distinction of categories and individuals, which forms the backbone of the world’s structure. Furthermore, GFO comprises several kinds of categories, among them universals and concepts, and it considers several ontological regions and levels. In the context of this special issue paper, we study five pre-determined use cases from the perspective of GFO. The results of these analyses yield insights into how the ontology treats several important notions. Very abridged, this covers material objects and their composition; roles and social entities; properties with their relations to objects and processes, and their changing; changes of processes, including a functional perspective; and, eventually, the nature and changing of concepts as well as terminology. A final part summarizes application projects that use GFO in various contexts. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, and we outline an associated knowledge modelling language called GOL – for: General Ontological Language. It turns out that the upper-level ontology underlying well-known standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. In a set theory which allows Urelements, however, there (...) will be ontological relations between these Urelements which the set-theoretic machinery cannot capture. In contrast to standard modelling and representation formalisms, GOL provides a machinery for representing and analysing such ontologically basic relations. GOL is thus a genuine extension of KIF and of similar languages. In GOL entities are divided into sets and Urelements, the latter being divided in their turn into individuals and universals. Foremost among the individuals are things or substances, tropes or moments, and situoids: entities containing facts as components. (shrink)

A fundamental notion in a large part of mathematics is the notion of equicardinality. The language with Hartig quantifier is, roughly speaking, a first-order language in which the notion of equicardinality is expressible. Thus this language, denoted by LI, is in some sense very natural and has in consequence special interest. Properties of LI are studied in many papers. In [BF, Chapter VI] there is a short survey of some known results about LI. We feel that a more extensive exposition (...) of these results is needed. The aim of this paper is to give an overview of the present knowledge about the language LI and list a selection of open problems concerning it. After the Introduction $(\S1)$ , in $\S\S2$ and 3 we give the fundamental results about LI. In $\S4$ the known model-theoretic properties are discussed. The next section is devoted to properties of mathematical theories in LI. In $\S6$ the spectra of sentences of LI are discussed, and $\S7$ is devoted to properties of LI which depend on set-theoretic assumptions. The paper finishes with a list of open problem and an extensive bibliography. The bibliography contains not only papers we refer to but also all papers known to us containing results about the language with Hartig quantifier. Contents. $\S1$ . Introduction. $\S2$ . Preliminaries. $\S3$ . Basic results. $\S4$ . Model-theoretic properties of $LI. \S5$ . Decidability of theories with $I. \S6$ . Spectra of LI- sentences. $\S7$ . Independence results. $\S8$ . What is not yet known about LI. Bibliography. (shrink)

Although the ideas in Process and Reality are well-recognized by many scientists in various disciplines beyond philosophy, these investigations are focused on the formal interpretation of the notion of space in the context of mereotopology. Indeed, the notion of time is either neglected completely or understood as an abstraction from the four-dimensional existence of enduring objects. However, there is no elucidation of the notion of time beyond this existence. We introduce a monadic second order language to formalize the ultimate principles (...) presupposed to Whitehead’s investigation, i.e., creativity, novelty and advance have been analyzed and reformulated as axioms. The models of the formulated theory are linear process structures, which are a special type of occurrence structures. The model-theoretic aspects of their theory are discussed in the present paper. Our fundamental theorem indicates that the worlds, which ground the knowledge of actual occasions, are ordered linearly and are equal for contemporaneous actual occasions, which implies a condition essential to the being of time. (shrink)

General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med) at the University of Leipzig which is based on the collaborative work of the Institute of Medical Informatics (...) (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials. (shrink)

A major strategy to reduce transport congestion and other social costs of transport is to ensure that travellers make the best decisions, based on real time information. A wide range of technological systems have been developed to provide this information, but little is known about how travellers actually respond to it. This book offers an overview of various transport telematics options and provides an appropriate methodological framework, followed by a presentation of results from actual applications of these telematics systems from (...) a range of European countries in various transport sectors. The empirical results are supplemented by analytical models and geographic information systems representations with a view on generalizing these findings and identifying the key parameters which determine user response. (shrink)

This scholarly edition is the first extensive English translation of Jacobi's major literary and philosophical classics. A key but somewhat eclipsed figure in the German Enlightenment, Jacobi had an enormous impact on philosophical thought in the later part of the eighteenth century, notably the way Kant was received And The early development of post-Kantian idealism. Jacobi's polemical tract Concerning the Doctrine of Spinoza in Letters to Herr Moses Mendelssohn propelled him to notoriety in 1785. This work, As well as David (...) Hume on Faith, or Idealism and Realism, Jacobi to Fichte, And The novel Allwill, Is included in George di Giovanni's translation. In a comprehensive introductory essay di Giovanni situates Jacobi in the historical and philosophical context of his time, and shows how Jacobi's life and work reflect the tensions inherent in the late Enlightenment. (shrink)

Heinrich Rickert (1863-1936) war einer der bedeutendsten deutschen Philosophen vor dem Zweiten Weltkrieg und gilt neben Wilhelm Windelband als einer der Hauptvertreter der südwestdeutschen Schule des Neukantianismus. Seine auch heute noch anregende Philosophie hatte großen, interdisziplinären wie internationalen Einfluss. Die philologisch-kritische Ausgabe macht die Schriften endlich wieder verfügbar.

In this paper non-normal worlds semantics is presented as a basic, general, and unifying approach to epistemic logic. The semantical framework of non-normal worlds is compared to the model theories of several logics for knowledge and belief that were recently developed in Artificial Intelligence (AI). It is shown that every model for implicit and explicit belief (Levesque), for awareness, general awareness, and local reasoning (Fagin and Halpern), and for awareness and principles (van der Hoek and Meyer) induces a non-normal worlds (...) model validating precisely the same formulas (of the language in question). (shrink)

Heinrich Rickert (1863-1936) fut, avec Windelband et Lask, l'un des principaux representants de l'ecole neokantienne de Heidelberg, qui se differencie essentiellement de l'ecole de Marbourg par la facon dont elle redefinit l'idealisme transcendantal a partir de la problematique de la validite, heritee notamment de la philosophie de Lotze. Les six articles reunis ici, publies par Rickert dans la revue Logos entre 1911 et 1932, dessinent les grandes lignes d'une philosophie systematique des valeurs qui ne se veut pas seulement une (...) theorie transcendantale du valoir dans son opposition a l'etre, mais aussi, en tant que doctrine des visions du monde, l'elaboration d'une reponse philosophique a la question du sens de la vie. A cote de recherches architectoniques portant sur la determination et l'articulation des differents domaines axiologiques, mais aussi sur les problemes generaux lies a la definition de la philosophie comme doctrine des valeurs, ces articles entretiennent une constante polemique a l'endroit de tout intuitionnisme et de toute philosophie de la vie. Contre le biologisme qui fait du vivant la valeur absolue et contre la denonciation intuitionniste de la science comme intellectualisme, l'affirmation de la transcendance des valeurs garantit pour Rickert le droit d'une philosophie scientifique et critique de la culture, qui en apprehende la vie propre en rendant compte de l'articulation des valeurs et de l'effectivite empirique au sein d'un systeme des valeurs qui reste ouvert sur l'infinie nouveaute et l'inepuisable richesse du monde historique. (shrink)

Einleitung.--Die begriffliche Erkenntniss der Körperwelt.--Natur und Geist.--Natur und Geschichte.--Die historische Begriffsbildung.--Naturphilosophie und Geschichts-Philosophie.

Der Begriff ‚Bioethik‘ bezeichnet zumeist denjenigen Teilbereich der Angewandten Ethik, der sich mit dem Umgang mit Leben bzw. Lebewesen beschäftigt. Die Bioethik lässt sich ihrerseits in die Teilbereiche Medizinethik, Tierethik und Umweltethik untergliedern. Auch wenn diese Untergliederung durchaus gebräuchlich ist, zeigt sie doch, dass thematische Zuordnungen und disziplinäre Grenzziehungen in der Angewandten Ethik nicht unproblematisch sind.

Die Forschungs- und Wissenschaftsethik ist diejenige Teildisziplin der Angewandten Ethik, die sich mit ethischen Problemen von Forschung und Wissenschaft beschäftigt. Man kann die Forschungsethik in drei Bereiche gliedern: Ein erster Bereich hat Prinzipien und Normen zum Gegenstand, die für alle Wissenschaftler als Wissenschaftler gelten. Ein zweiter Bereich ist mit Methoden befasst, die in der Wissenschaft zur Anwendung kommen. Ein dritter Bereich der Forschungsethik beschäftigt sich schließlich mit den Zielen von Forschung bzw. mit ethischen Fragen, die solche Ziele aufwerfen.

In Phenomena of Power, one of the leading figures of postwar German sociology reflects on the nature, and many forms of, power. For Heinrich Popitz, power is rooted in the human condition and is therefore part of all social relations. Drawing on philosophical anthropology, he identifies the elementary forms of power to provide detailed insight into how individuals gain and perpetuate control over others. Instead of striving for a power-free society, Popitz argues, humanity should try to impose limits on (...) power where possible and establish counterpower where necessary. Phenomena of Power delves into the sociohistorical manifestations of power and breaks through to its general structures. Popitz distinguishes the forms of the enforcement of power as well as of its stabilization and institutionalization, clearly articulating how the mechanisms of power work and how to track them in the social world. Philosophically trained, historically informed, and endowed with keen observation, Popitz uses examples ranging from the way passengers on a ship organize deck chairs to how prisoners of war share property to illustrate his theory. Long influential in German sociology, Phenomena of Power offers a challenging reworking of one of the essential concepts of the social sciences. (shrink)

This book is the culmination of Heinrich Meier's acclaimed analyses of the controversial thought of Carl Schmitt. Meier identifies the core of Schmitt's thought as political theology--that is, political theorizing that claims to have its ultimate ground in the revelation of a mysterious or supra-rational God. This radical, but half-hidden, theological foundation unifies the whole of Schmitt's often difficult and complex oeuvre, cutting through the intentional deceptions and unintentional obfuscations that have eluded previous commentators. Relating this religious dimension to (...) Schmitt's support for National Socialism and his continuing anti-Semitism, Meier compels the reader to come to terms with the irreconcilable differences between political theology and political philosophy. His book will give pause to those who have tended to gloss over the troubling aspects of some of Schmitt's ideas. With editions in German, French, Italian, and now English, Meier's two books on Schmitt have dramatically reoriented the international debate about Carl Schmitt and his significance for twentieth-century political thought. "Standing far above the rest . . . is Heinrich Meier's new study, Die Lehre Carl Schmitts , which covers all of Schmitt's writings. . . . Meier's work has forced everyone to take a second look at the assumptions underlying Schmitt's better-known writings and reconsider some that have been ignored."--Mark Lilla, reviewing the German edition in The New York Review of Books. (shrink)

This book, by one of the most prominent interpreters of Leo Strauss's thought, was the first to address the problem that Leo Strauss himself said was the theme of his studies: the theologico-political problem or the confrontation with the theological and the political alternative to philosophy as a way of life. In his theologico-political treatise, which comprises four parts and an appendix, Heinrich Meier clarifies the distinction between political theology and political philosophy and reappraises the unifying center of Strauss's (...) philosophical enterprise. The book is the culmination of Meier's work on the theologico-political problem. It will interest anyone who seeks to understand both the problem caused by revelation for philosophy and the challenge posed by political-religious radicalism. The appendix makes available for the first time two lectures by Strauss that are immediately relevant to the subject of this book and that will open the way for future research and debate on the legacy of Strauss. (shrink)

Although Schmitt never answered Strauss publicly, in the third edition of his book he changed a number of passages in response to Strauss’s criticisms.

This volume shows how nanotechnology takes on a wide range of socio-historically specific meanings in the context of globalization, across multiple localities, institutions and collaborations, through diverse industries, research labs, and government agencies and in a variety of discussions within the public sphere itself. It explores the early origins of nanotechnologies; the social, economic, and political organization of the field; and the cultural and subjective meanings ascribed to nanotechnologies in social settings.

Heinrich Beck ist Jahrgang 1929, als o. Professor Inhaber des Lehrstuhls Philosophie I an der Otto-Friedrich-Universität Bamberg bis 1997, Titular- und Honorarprofessor an sechs weiteren Universitäten in Europa und in Amerika, Dr. h.c. in Buenos Aires, Mitglied der Europäischen Akademie der Wissenschaften und Künste, Korrespondierendes Mitglied der Königlichen Spanischen Akademie der Wissenschaften, Träger des deutschen Bundesverdienstkreuzes. Zentrum und Schlüssel seines philosophischen Denkens ist eine trinitarische Ontologie, die vor allem von Thomas von Aquin und Hegel inspiriert und zum christlichen Glauben (...) hin offen ist. Die von ihm in systematischen Analysen immer wieder aufgedeckte 3-gliedrige Bewegungsstruktur der Wirklichkeit unterscheidet und verbindet die einzelnen Bereiche des Seins. So gelangt er zu einer Seinsauffassung, die weder absoluten Monismus noch absoluten Pluralismus besagt, sondern vielmehr ein Mittleres zwischen beiden begründet, nämlich eine gestufte Ähnlichkeit (Analogie) in Wechselbeziehung und Auseinandersetzung (Dialog). Damit versucht er, zur Bewältigung von zentralen Problemen und Herausforderungen der aktuellen philosophischen Diskussion beizutragen. In diesen Zusammenhang fällt auch sein langjähriges, in weltweiter Zusammenarbeit betriebenes Forschungsprojekt: «Kreativer Friede durch Begegnung der Weltkulturen», das er durch die Erfahrung zahlreicher Forschungs- und Vortragsreisen konkretisiert hat; er gilt heute als einer der Begründer und Nestoren der interkulturellen Philosophie. Der vorliegende Band will durch die Auswahl von 30 Aufsätzen einen repräsentativen Überblick über seine akademische Lehr- und Forschungstätigkeit vermitteln. Dabei soll die Vielfalt seiner Arbeitsbereiche zum Ausdruck kommen. Sie sind hier nach drei thematischen Blöcken geordnet: 1. Erziehungsphilosophie und Anthropologie, 2. Erkenntnistheorie, Ontologie, Metaphysik und Religionsphilosophie und 3. Ethik, Geschichts- und Kulturphilosophie. (shrink)

Examines the diverse cultural influences which have shaped the basic philosophical traditions of India "Indian philosophy was at the heart of Zimmer's interest..

Zudem kommen neben Uninteressierten (Descartes, Kant) auch Kritiker der Tradition (Nietzsche, Heidegger) zu Wort. Die Rolle der Wahrheit in Politik, Recht und Theologie wird im Blick gehalten.