We start this paper by arguing that causality should, in analogy with force in Newtonian physics, be understood as a theoretical concept that is not explicated by a single definition, but by the axioms of a theory. Such an understanding of causality implicitly underlies the well-known theory of causal nets and has been explicitly promoted by Glymour. In this paper we investigate the explanatory warrant and empirical content of TCN. We sketch how the assumption of directed cause–effect relations can be (...) philosophically justified by an inference to the best explanation. We then ask whether the explanations provided by TCN are merely post-facto or have independently testable empirical content. To answer this question we develop a fine-grained axiomatization of TCN, including a distinction of different kinds of faithfulness. A number of theorems show that although the core axioms of TCN are empirically empty, extended versions of TCN have successively increasing empirical content. (shrink)

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)

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)

This paper has three goals. The first goal is to work out the difference between literal ceteris paribus laws in the sense of “all others being equal” and ceteris rectis “laws” in the sense of “all others being right”. While cp laws involve a universal quantification, cr generalizations involve an existential quantification over the values of the remainder variables Z. As a result, the two differ crucially in their confirmability and lawlikeness. The second goal is to provide a classification of (...) different kinds of cr generalizations, including certain transition cases between cr generalizations and cp laws. The third goal is to work out what cp laws and all kinds of cr assertions have in common: they figure as an information source for assertions of causal influence between variables. (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.

In this paper I reconstruct and compare criteria of theoreticity that have been developed by Carnap, Sneed and proponents of the Munich school of structuralist philosophy of science. For this purpose I develop a unified framework in which one can transform model-theoretic theory representations into linguistic ones, and vice versa. This bridges the gap between statement and non-statement view and allows a precise comparison of linguistic and model-theoretic criteria of theoreticity. In the final part I suggest a system of improved (...) definitions of theoreticity and pre-theoreticity. (shrink)

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.

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)

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)

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)

Organisms are self-producing and self-maintaining, or autopoietic systems. Therefore, the course of evolution and adaptation of an organism is strongly determined by its own internal properties, whatever role external selection may play. The internal properties may either act as constraints that preclude certain changes or they open new pathways: the organism canalizes its own evolution. As an example the evolution of feeding mechanisms in salamanders, especially in the lungless salamanders of the family Plethodontidae, is discussed. In this family a large (...) variety of different feeding mechanisms is found. The authors reconstruct this evolutionary process as a series of bifurcation points of either constraints or opportunities forming a sequence of preconditions for the formation of a high-speed projectile tongue characteristic of tropical salamanders. Furthermore, it is shown how parallel evolution of seemingly unrelated domains within an organism such as respiratory physiology, life history biology and pattern of ontogeny has rather direct relevance to the feeding biology, thus demonstrating that organisms always evolve as wholes. (shrink)

This book deals with the metaphysics of Giordano Bruno. It is very controversial until today, whether Giordano Bruno is a Pantheist or not. There are even authors who believe that Bruno was an Atheist. Other authors like Frances Yates believes that Bruno was a representative of the Hermetic Tradition, but not in the sense of Ficino. This work tries to find out whether Giordano Bruno had a concept of god or not. Finally, there is a concept of god in Giordano (...) Bruno´s works. His concept of god is very similar to that of the Hermetic Tradition and that of neoplatonic philosophy. The reason why Bruno was burned in Rome was not that he was an Atheist, but Bruno denied that Jesus Christ was the son of god. (shrink)

Logic programs under answer set semantics have become popular as a knowledge representation formalism in Artificial Intelligence. In this paper we investigate the possibility of using answer sets for qualitative decision making. Our approach is based on an extension of the formalism, called logic programs with ordered disjunction (LPODs). These programs contain a new connective called ordered disjunction. The new connective allows us to represent alternative, ranked options for problem solutions in the heads of rules: A × B intuitively means: (...) if possible A, but if A is not possible then at least B. The semantics of logic programs with ordered disjunction is based on a preference relation on answer sets. We show that LPODs can serve as a basis for qualitative decision making. (shrink)

I explain the asymmetry between innocent aggressors and their victims, and attempt to separate justified and unjustified defensive force when both parties are innocent. I propose the principle of initiating behaviour, which states that: ‘In order for one person to be justified in using defensive force the other party must initiate the apparently threatening behaviour, but the defendant’s interpretation of that behaviour, as being threatening, would have to be reasonable.’ We can thereby maintain the view that there is a significant (...) relation between an act being justified and which party ought eventually to be given priority in a conflict situation. If we know that an act is justified, we know that we have to give preference to its agent when there is a choice between imposing equal harm on him or her and his or her victim. (shrink)

Buchholz’s Ω μ+1-rules provide a major tool for the proof-theoretic analysis of arithmetical inductive definitions. The aim of this paper is to put this approach into the new context of modal fixed point logic. We introduce a deductive system based on an Ω-rule tailored for modal fixed point logic and develop the basic techniques for establishing soundness and completeness of the corresponding system. In the concluding section we prove a cut elimination and collapsing result similar to that of Buchholz (Iterated (...) inductive definitions and subsystems of analysis: recent proof theoretic studies. Lecture notes in mathematics, vol. 897, pp. 189–233, Springer, Berlin, 1981). (shrink)