Nonmonotonic reasoning in its broadest sense is reasoning to conclusions on the basis of incomplete information. Given more information, previously drawn inferences may be retracted. Commonsense reasoning has a nonmonotonic component; it has been argued that almost all commonsense inferences are of this sort. From the end of the 1980s to the present there has been an explosion in research in nonmonotonic reasoning. It is now possible to understand more clearly the properties of the major formalisms from a metatheoretical point (...) of view, the relationships among the formalisms and their connection to independently developed proof methods. The goal of this monograph is to make this understanding more accessible. (shrink)

Do members of democratic societies have a moral right that others not actively prevent them from engaging in wrongdoing? Many political theorists think that they do. “It is a feature of democratic government,” Michael Walzer writes, “that the people have a right to act wrongly—in much the same way that they have a right to act stupidly”. Of course, advocates of a democratic right to do wrong may believe that the scope of this right is limited. A majority in a (...) democratic society, for example, may not have a moral right against being prevented from enslaving or arbitrarily disenfranchising a minority, or if it were to launch a wrongful aggressive war against another society. But many join Walzer in asserting that it would be wrong in principle to intervene to prevent some wrongs that democratic societies would inflict. This thesis, which we call the democratic right to do wrong thesis (DRTDWT), can be formulated as follows: DRTDWT – For democratic societies A and agents B, there is a class of wrongful policies and institutions X, such that if A chooses to implement members of this class pursuant to democratic procedures, B has a duty not to actively intervene to prevent the implementation of X. Our goal in this essay is to show that the DRTDWT should be rejected. (shrink)

ArgumentAccording to Hermann von Helmholtz, free mobility of bodies seemed to be an essential condition of geometry. This free mobility can be interpreted either as matter of fact, as a convention, or as a precondition making measurements in geometry possible. Since Henri Poincaré defined conventions as principles guided by experience, the question arises in which sense experiential data can serve as the basis for the constitution of geometry. Helmholtz considered muscular activity to be the basis on which the form of (...) space could be construed. Yet, due to the problem of illusion inherent in the subject’s self-assessment of muscular activity, this solution yielded new difficulties, in that if the manifold is abstracted from rigid bodies which serve as empirical justification of the geometrical notion of space, then illusionary bodies will produce fictive manifolds. The present article is meant to disentangle these difficulties. (shrink)

Two conditions guiding permissible use of force in self-defence are proportionality and success. According to the proportionality condition the means used to prevent an attack can be permissible only if they are proportional to the interest at stake.1 According to the success condition, otherwise impermissible acts can be justified under the right to self-defence only if they are likely to succeed in preventing the perceived threat.2 These requirements should not always be interpreted narrowly. Sometimes people are permitted to kill culpable (...) aggressors in order to avoid a non-lethal harm. Sometimes people are permitted to take up arms to defend themselves against culpable aggressors they have little or no hope of .. (shrink)

In this paper, we discuss some formal properties of the model ofbidirectional Optimality Theory that was developed inBlutner (2000). We investigate the conditions under whichbidirectional optimization is a well-defined notion, and we give aconceptually simpler reformulation of Blutner's definition. In thesecond part of the paper, we show that bidirectional optimization can bemodeled by means of finite state techniques. There we rely heavily onthe related work of Frank and Satta (1998) about unidirectionaloptimization.

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

Wer hat sich nicht schon gefragt, was es mit unseren moralischen Überzeugungen auf sich hat: Spiegeln diese die Wahrheit in Sachen Moral wieder? Gibt es eine solche Wahrheit überhaupt? Oder sind moralische Überzeugungen eher das Produkt unserer Interessen und Neigungen, Ausdruck unserer Wünsche oder Mittel der Machtausübung, das bloße Ergebnis unserer Erziehung, unseres sozialen Umfelds oder gar eine List der Evolution? Ist es eine Illusion, wenn man glaubt, echte moralische Erkenntnisse gewinnen zu können? Kurzum: Kann die Moral Objektivität beanspruchen? Die (...) vorliegende Arbeit versucht, eine Antwort auf diese zentrale Frage der Metaethik zu geben. Dazu wird zunächst gezeigt, dass uns der Status der Moral ein Rätsel ist, weil wir dazu neigen, drei Thesen für wahr zu halten, die nicht zugleich wahr sein können. Die drei prinzipiell möglichen Strategien zur Auflösung dieses Trilemmas geraten jedoch in Schwierigkeiten, weil es bisher nicht gelungen ist, ein passendes Vergleichsobjekt für die Moral zu finden. In dieser Arbeit wird dafür argumentiert, dass die Moral in genau der gleichen Weise wie die Wissenschaft Objektivität beanspruchen kann. (shrink)

The articles collected in this volume document the eighth conference organized by the Institute for the Cultural and Intellectual History of Asia of the Austrian Academy of Sciences. The conference in which Indologists, Theologians and Philosophers participated in, took place in september 2004 under the title "Certainty of Believe and Truth in Religious Tradition". Against the background of Gerhard Oberhammer's hermeneutics of religious traditions the contributors challenge from their professional viewpoint the traditional understanding of the relationship between certainty of (...) belief and truth and give reasons that certainty of belief found in a special religious tradition cannot claim absolute truth, even if its validity within a tradition is not to be denied. (shrink)

Die in diesem Bande vereinigten Aufsatze dokumentieren die siebte einer Reihe thematisch aufeinander bezogener Arbeitstagungen von Indologen, Buddhologen und Theologen, zu der das Institut fur Kultur- und Geistesgeschichte Asiens der Osterreichischen Akademie der Wissenschaften eingeladen hatte, und die im September 2000 unter dem Titel "Mythisierung der Transzendenz als Entwurf ihrer Erfahrung" stattfand. Zur Diskussion stand die Tragweite und Anwendbarkeit des Begriffes "Mythisierung", ein zentraler Terminus der Religionshermeneutik Gerhard Oberhammers. Dieser Begriff ermoglichte es den Beitragenden nicht nur, den Gegensatz von (...) Erfahrung, Sprache und Transzendenz in den unterschiedlichen Religionen zu problematisieren, sondern mit ihm konnte auch auf die Bedingungen jeder historisch-konkreten Religion reflektiert werden. Zu den theologischen und philosophischen Beitragen gehoren: Gerhard Oberhammer, Mit-sein, Mythisierung und Transzendenz. Einleitende Gedanken; Siegfried Wiedenhofer, "Mythisierung der Transzendenz". Zwischen Offenbarungsereignis und Traditionsvermittlung; H. J. Adriaanse, Wort, Offenbarung und Theologie als Momente der Mythisierung. Karl Barths Theologie des Wortes Gottes als Prufstein eines religionshermeneutischen Grundbegriffs; Desiree J. Berendsen, Mythisierung der Transzendenz als Ordnung des Lebens. Uber Kierkegaard und Oberhammer; Marcus Schmucker, Von der individuellen Erfahrung zum Text; Norbert Hintersteiner, Von der Gebung des Unendlichen. Phanomen und Transzendenz bei Jean-Luc Marion. Shizuteru Ueda, Mythisierung und Ent-Mythisierung der Transzendenz als Entwurf ihrer Erfahrung im Zen-Buddhismus; Hans-Peter Muller, Mythisierung geschichtlicher Ereignisse im Alten Testament und im Alten Vorderen Orient; Lourens Minnema, Bildlose Bildhaftigkeit. "Mythisierung" im Werk Mark Rothkos; Johann Reikerstorfer, Kritische Toleranz. Verstandigungsmoglichkeiten im interreligiosen Dialog? Indologische Beitrage: Halina Marlewicz, Advaita Vedanta Hermeneutics of Revelation Key-Statements as "Mythicising" of Transcendence; Jan C. Heesterman, Opfer, Transzendenz und Dharma in der Sicht der Mima'sa; Andre Padoux, Mythisierung am Beispiel des Sivaismus; Marion Rastelli, Der Tempel als Mythisierung der Transzendenz; Axel Michaels, Tirtha - Orte der Transzendenz in hinduistischen Texten, Ritualen und Karten; Tilmann Vetter, Zur Anthropologie der Khandha-Passagen in den alteren Sammlungen des Pali-Kanons. (shrink)

In this book, Gerhard Richter explores the aesthetic and political ramifications of the literary genre of the Denkbild, or thought-image, as it was employed by four major German-Jewish writers and philosophers of the first half of the ...

Despite a constitutional and oft-stated political commitment to an undefined notion of non-racialism, South Africans continue to operate in formal and informal ways with ‘race’ as the common-sense organizing principle of legal systems, ways of thinking, social identities, constructing arguments or closing debate, organizational and mobilizing strategies, policy development and execution, and interaction in daily life. This state of affairs is regrettable and dangerous, often questioned and rejected, but objections are waged and alternatives suggested against the tide of societal trends. (...) What the organizing principle of race thinking does is to close the mind to alternative possibilities – of thought, social practice and ways of living. Here I explore an overview of racialism as it permeates and shapes the life cycles of citizens from birth to death. I make an argument for a way of thinking that is necessarily utopian, as one of few options of escaping a social world made in the image of apartheid. (shrink)