Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system Kl-one. During the last decade, it has been shown that the important reasoning problems (like subsumption and satisfiability) in a great variety of description logics can be decided using tableau-like algorithms. This is not very surprising since description logics have turned out to be closely related to propositional modal logics and logics of programs (such as propositional dynamic logic), for which (...) tableau procedures have been quite successful.Nevertheless, due to different underlying institutions and applications, most description logics differ significantly from run-of-the-mill modal and program logics. Consequently, the research on tableau algorithms in description logics led to new techniques and results, which are, however, also of interest for modal logicians. In this article, we will focus on three features that play an important rôle in description logics (number restrictions, terminological axioms, and role constructors), and show how they can be taken into account by tableau algorithms. (shrink)

Brentanos 1904 vollendete Theorie, nur Reales sei vorstellbar und könne existieren, führte auch unter seinen Schülern zu Kontroversen. Dieser Band enthält eine umfangreiche Studie, die Einleitung der Herausgeber zu diesem Problemkreis, Auszüge aus dem Briefwechsel mit A. Marty und O. Kraus sowie die einschlägigen Abhandlungen Brentanos.

Fusing philosophy and theology, the book assigns both Judaism and Christianity distinct but equally important roles in the spiritual structure of the world and ...

Brentanos Schriften zur Ästhetik schließen eng an das Grundprinzip der Logik und Ethik, die unmittelbare Einsicht in die Richtigkeit eines Urteils bzw. einer Gemütstätigkeit an: Auch das Schöne wird mit unmittelbarer Evidenz als liebenswert erfahren und einsichtig vom Unschönen unterschieden.

H. 46 und H 47: >Geschichte der Philosophie mit älteren, von Brentano ausgeschiedenen Blättern. ... Vorlesung über >Geschichte der mittelalterlichen Philosophie im christlichen Abendland< nicht mehr angekündigt worden. ' Die von F.

Democratic decision-making is often defended on grounds of the ‘wisdom of crowds’: decisions are more likely to be correct if they are based on many independent opinions, so a typical argument in social epistemology. But what does it mean to have independent opinions? Opinions can be probabilistically dependent (threatening the ‘wisdom of crowds’) even if individuals form their opinion in causal isolation from each other. We distinguish four probabilistic notions of opinion independence. Which of them holds depends on how individuals (...) are causally affected by environmental factors such as commonly perceived evidence. In a general theorem, we identify causal conditions guaranteeing each kind of opinion independence. These results have implications for whether and how ‘wisdom of crowds’ arguments are possible, and how truth-conducive institutions can be designed. (shrink)

This book explores the impact of disintegrity on various aspects of governance, as the disregard of ecological conditions produce grave direct effects to human rights (to water or food) and, indirectly, also to human security in several ways. International legal regimes need to be reconsidered and perhaps re-interpreted, in order to correct these situations that affect the commons today. Some believe that our starting point should acknowledge the impact we already have on the natural world, and accept that we now (...) live in the "anthropocene". Others think that the present emphasis on sustainable development needs to be re-defined. Finally, many believe that reconnecting with moral principles both in professional life and in governance in general represents a necessary first step. (shrink)

Name der Zeitschrift: Der Islam Jahrgang: 92 Heft: 1 Seiten: 1-12.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps, and other notations in the work. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may (...) freely copy and distribute this work, as no entity has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Definition of the problem: In health care institutions caregivers from different cultures treat patients who themselves may come from different cultural backgrounds. The ethical impact of this issue is how in spite of these cultural differences mutual understanding can be achieved. Modern health care systems must react to this multicultural challenge explaining: what does universality of the medical task mean, what are the consequences of demographic change, how to deal with the multicultural work force of the modern health care facilities, (...) and how one must differentiate between universal and variable elements of the health care delivery. The following questions are discussed: 1. Which aspects of medicine require consideration of the multicultural structures? 2. Which medical fields must especially integrate multicultural perspectives? 3. How the patient's cultural context can be taken into account.Arguments: These levels of the problem are illustrated by the through the case of a German University hospital which presents a difficult decision making process.Conclusion: Three requirements result from this: 1. to work out the differences of behaviour, 2. to define the differences of value systems of both parts, the patient and the caregiver, and 3. to agree on mutual goals and values. (shrink)

Das hypermoderne China trifft auf das Land der Dichter und Denker: Ein deutscher Professor verbringt einen Sommer in Shanghai – mit Kant, Fichte und Hegel im Gepäck. 13 Geschichten erzählen von diesem Abenteuer in der Fremde, in dem Kulturen aufeinandertreffen, die auf den ersten Blick unterschiedlicher kaum sein können. Vor der berauschenden Skyline Pudongs wird Vertrautes fremd, Fremdes kommt einem erstaunlich nah. Sowohl China, konfrontiert mit den Ideen der Aufklärung, als auch unsere alten Philosophen – was wussten die schon von (...) Wolkenkratzern und Teezeremonien? – erscheinen nach dieser Reise in einem neuen Licht. (shrink)