Etwa seit Beginn der 90er Jahre des letzten Jahrhunderts hat die innerdeutsche wie die internationale Wahrheitsdebatte einen ausserordentlichen und so nicht vorhersehbaren Aufschwung genommen. Dies lasst sich parallel auf philosophischem wie auf theologischem Gebiet beobachten - ein geistesgeschichtlich durchaus bemerkenswerter, vielleicht einzigartiger Umstand. Differenzierte Reflexe dieser erneuten Aufmerksamkeit fur Eigenart und Bedeutung des Wahrheitsproblems bieten auch die vier Beitrage des vorliegenden Bandes. Aus religionsgeschichtlicher, exegetischer und fundamentaltheologischer Perspektive nahern sie sich je auf ihre Weise einer Antwort auf diejenigen Fragen, die (...) in diesem Zusammenhang den Kern des Problems ausmachen: Was ist Wahrheit, christlich verstanden? Was ist Christentum in Wahrheit? Ist das Christentum wahr? (shrink)

In accordance with the Christian understanding ofhuman dignity, torture can be considered as a Iegitimale ethical alternative only if it does not serve as punishment or intend to elicit a juridical confession but rather intends to rescue actually threatened human life. However, the indirect relation between torture and potential rescue creates an unavoidable uncertainty ofknowing and deciding. This is the most important difference between torture on the one hand and both self-defence and self-defence by proxy on the other. And precisely (...) this difference excludes any ethical justification of torture. Who nevertheless- for ethical reasons- in a situation of serious conflict decides to command ortoperform torture must at least accept the juridical consequences of his or her decision. (shrink)

The autor directs attention to a basic distinction for the method of treatment of understanding the term »justice«. The theological notion of justice is accuracy to differentiate from the ethical notion. The author points out this distinction at the example of one of principles of justice: »suum cuique«. In a strict theological perspective »justice« tends towards »agape« -in an ethical perspective »justice« tends towards the regulation of right and legal procedure.

Keine ausführliche Beschreibung für "Sein und Gnade" verfügbar.

Seiner inzwischen weit verbreiteten Dogmatik (1995, 20073) lässt der emeritierte Heidelberger Systematische Theologe und Ethiker nunmehr eine Ethik folgen. Auch sie zeichnet sich aus durch Klarheit und Verständlichkeit der Sprache, durch biblisch-theologische Fundierung und ausgeprägten Gegenwartsbezug. Sie hat einen Grundlegungs- und einen Konkretisierungsteil. Der Grundlegungsteil führt in ethische Grundbegriffe, Theorien, Argumentationen und Urteilsbildung ein. Dabei kommen philosophische und theologische Zugangsweisen gleichermaßen zur Geltung. Der Anwendungsteil orientiert sich an konkreten, aktuellen Konzepten wie Menschenwürde; Gesundheit; Sexualität, Liebe und Lebensformen; Gerechtigkeit; Friede und (...) Sprache. Eine zusammenfassende Einführung in die evangelische Sozialethik schließt den Band ab. Bibelstellen-, Personen- und Begriffsregister sorgen für eine sehr gute Benutzbarkeit. Das Buch eignet sich sowohl für das Selbststudium wie auch als Textgrundlage in Lehrveranstaltungen. Studierende und Berufspraktiker in Schule und Pfarramt sowie interessierte Zeitgenossen finden hier verlässliche Informationen zu ethischen Fragen unserer Zeit und - vor allem - Anleitung zur eigenständigen ethischen Urteilsbildung. (shrink)

Was ist Religion in der Religionsphilosophie von Heinrich Scholz? / Theodor Mahlmann -- Husserls phänomenologischer Zugangsweg zu den Problemen der Religion / Ludwig Landgrebe -- Religion, Religionsphilosophie und Theologie bei Geradus van der Leeuw / Hubertus G. Hubbeling -- Anders Nygrens Religionsbegriff / Hampus Lyttkens -- Charles S. Peirce's Religionsphilosophie als Metaphysik der Evolution / Hermann Deuser -- Die theoretische Theologie der Prozessphilosophie Whiteheads / Ingolf U. Dalferth -- Metaphysik und Religion im Spätwerk Knud Logstrups / Svend Andersen.

This volume views human existence from various perspectives and asks what its purpose is. The underlying thesis is that humans are creatures of relationships. Any anthropology that fails to take this fact seriously will of necessity remain abstract. Instead the authors are interested in how different academic disciplines describe the variety of relationships in human life, taking into account their ethical and theological dimensions.

ZusammenfassungDie Hauptthese dieses Artikels ist inspiriert von Lessings Werk „Nathan der Weise“: Die monotheistischen Religionen – was auch immer sie sonst sein mögen – sind soziale Systeme. Als solche können sie weder wahr noch falsch sein. Dennoch beinhalten sie Propositionen und Wirklichkeitsverständnisse, die für sich Wahrheit beanspruchen. Deren Verifikation ist aber unter irdischen Bedingungen nicht möglich. Als Menschen können wir nur nach Wahrheit suchen und darauf hoffen, dass Gott uns in die Wahrheit führt. Daher muss das Verhältnis von Religion und (...) Wahrheit in Modellen der Partizipation und der Approximation gedacht werden. Abzulehnen sind hingegen Modelle wie Dogmatismus, Skeptizismus, Pluralismus, Indifferentismus und Egalismus. (shrink)

Die Gattungsbestimmung stellt die Gesellschaft im Kontext biotechnologischer Entwicklungen immer wieder vor neue ethische, rechtliche und soziale Herausforderungen. Scheinbar längst geklärte Probleme tauchen neu auf, und konsensfähige Annahmen werden brüchig. So hat sich in weiten Teilen der akademischen Bioethik die Auffassung durchgesetzt, dass dem biologischen Menschsein als solchem keine moralische Bedeutung zukommt. Auf der anderen Seite ist in jüngster Zeit die Forderung nach einer eigenen 'Gattungsethik' erhoben worden. Mit diesem Programm verbinden sich freilich eine Reihe von konzeptuellen und argumentativen Schwierigkeiten. (...) Der vorliegende Band geht der Gattungsbestimmung aus der Perspektive von Biologie, Philosophie, Recht, Theologie, Soziologie und Kulturwissenschaften nach, um ihre deskriptive und normative Erschließungskraft auf den Prüfstand zu stellen. Was leistet sie innerhalb ethischer Diskurse? Wie kann sie für rechtliche Regelungen bedeutsam werden? Mit Beiträgen von:Jörn Ahrens, Steffen Augsberg, Peter Dabrock, Ruth Denkhaus, Wilfried Härle, Gerald Hartung, Jan C. Joerden, Nikolaus Knoepffler, Gesa Lindemann, Elisabeth List, Thomas Potthast, Markus Rothhaar, Stephan Schaede, Marianne Schark, Ludwig Siep, Klemens Störtkuhl, Manfred Weinberg, Martin G. Weiss. (shrink)

Wilfried Sieg and John Byrnes. AnModel for Parallel Computation: Gandy's Thesis.

David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg frames Hilbert's foundational work, from 1890 to 1939, in a comprehensive way and integrates it with modern proof theoretic investigations.

On June 4, 1925, Hilbert delivered an address to the Westphalian Mathematical Society in Miinster; that was, as a quick calculation will convince you, almost exactly sixty years ago. The address was published in 1926 under the title Über dasUnendlicheand is perhaps Hilbert's most comprehensive presentation of his ideas concerning the finitist justification of classical mathematics and the role his proof theory was to play in it. But what has become of the ambitious program for securing all of mathematics, once (...) and for all? What of proof theory, the very subject Hilbert invented to carry out his program? The Hilbertian ambition reached out too far: in its original form, the program was refuted by Gödel's Incompleteness Theorems. And even allowing more than finitist means in metamathematics, the Hilbertian expectations for proof theory have not been realized: a constructive consistency proof for second-order arithmetic is still out of reach. Nevertheless, remarkable progress has been made. Two separate, but complementary directions of research have led to surprising insights: classical analysis can be formally developed in conservative extensions of elementary number theory; relative consistency proofs can be given by constructive means for impredicative parts of second order arithmetic. The mathematical and metamathematical developments have been accompanied by sustained philosophical reflections on the foundations of mathematics. This indicates briefly the main themes of the contributions to the symposium; in my introductory remarks I want to give a very schematic perspective, that is partly historical and partly systematic. (shrink)

Wilfred Sieg. Relative Consistency and Accesible Domains.

Wilfried Sieg. Calculations by Man and Machine: Mathematical Presentation.

:According to current interpretation of their ethics the Stoics incorporated in the theory of happiness the conception of attachment to oneself supposed to be changed into attachment to reason. This article aims to show that there is no textual evidence to corroborate this idea, and that, on the contrary, several texts and conceptual configurations tell against it. The same seems to hold true for the life of human adults who are not wise and keep their animal attachment to themselves : (...) as Cicero apparently suspected, the moral maxim of this life, i.e. self-preservation. (shrink)

Wilfred Sieg and Dirk Schlimm. Dedekind's Analysis of Number: Systems and Axioms.

Hilbert's finitist program was not created at the beginning of the twenties solely to counteract Brouwer's intuitionism, but rather emerged out of broad philosophical reflections on the foundations of mathematics and out of detailed logical work; that is evident from notes of lecture courses that were given by Hilbert and prepared in collaboration with Bernays during the period from 1917 to 1922. These notes reveal a dialectic progression from a critical logicism through a radical constructivism toward finitism; the progression has (...) to be seen against the background of the stunning presentation of mathematical logic in the lectures given during the winter term 1917/18. In this paper, I sketch the connection of Hilbert's considerations to issues in the foundations of mathematics during the second half of the 19th century, describe the work that laid the basis of modern mathematical logic, and analyze the first steps in the new subject of proof theory. A revision of the standard view of Hilbert's and Bernays's contributions to the foundational discussion in our century has long been overdue. It is almost scandalous that their carefully worked out notes have not been used yet to understand more accurately the evolution of modern logic in general and of Hilbert's Program in particular. One conclusion will be obvious: the dogmatic formalist Hilbert is a figment of historical (de)construction! Indeed, the study and analysis of these lectures reveal a depth of mathematical-logical achievement and of philosophical reflection that is remarkable. In the course of my presentation many questions are raised and many more can be explored; thus, I hope this paper will stimulate interest for new historical and systematic work. (shrink)

Natural Formalization proposes a concrete way of expanding proof theory from the meta-mathematical investigation of formal theories to an examination of “the concept of the specifically mathematical proof.” Formal proofs play a role for this examination in as much as they reflect the essential structure and systematic construction of mathematical proofs. We emphasize three crucial features of our formal inference mechanism: (1) the underlying logical calculus is built for reasoning with gaps and for providing strategic directions, (2) the mathematical frame (...) is a definitional extension of Zermelo–Fraenkel set theory and has a hierarchically organized structure of concepts and operations, and (3) the construction of formal proofs is deeply connected to the frame through rules for definitions and lemmas. To bring these general ideas to life, we examine, as a case study, proofs of the Cantor–Bernstein Theorem that do not appeal to the principle of choice. A thorough analysis of the multitude of “different” informal proofs seems to reduce them to exactly one. The natural formalization confirms that there is one proof, but that it comes in two variants due to Dedekind and Zermelo, respectively. In this way it enhances the conceptual understanding of the represented informal proofs. The formal, computational work is carried out with the proof search system AProS that serves as a proof assistant and implements the above inference mechanism; it can be fully inspected at (see link below). (shrink)

The Carnegie Mellon Proof Tutor project was motivated by pedagogical concerns: we wanted to use a "mechanical" (i.e. computerized) tutor for teaching students..

Wilfried Sieg and John Byrnes. Gödel, Turing, and K-Graph Machines.

Zuerst im 2CV, dann im umgebauten VW-Bus: Das Zürcher Fotografenpaar Margrit und Ernst Baumann, 1929 bzw. 1928 geboren, begann in den 1950er-Jahren rund um den Erdball zu reisen. Ihre Fotografien publizierten sie in Zeitschriften und Zeitungen wie Stern, Neue Zürcher Zeitung oder Das gelbe Heft und brachten so die Welt in die Wohnzimmer. Kosmopolitan und neugierig kamen sie zu Motiven mit Seltenheitswert: Farbporträts von Che Guevara gehören ebenso dazu wie Reportagen über die letzten Kopfjäger im ecuadorianischen Urwald. Ein Schwerpunkt dieser (...) reich bebilderten Doppelmonografie ist ihre Reise entlang der “Panamericana” 1957-1959, die Süd- und Nordamerika verbindet. Sie fotografierten Reportagen, Porträts und Landschaftsbilder und drehten den wohl ersten Farbfilm über den legendären Verkehrsweg. Dieser Film und ein Filporträt über die beiden Fotografen sind dem Buch auf DVD beigefügt. Das Buch präsentiert Funde aus ihrem Fotoarchiv - viele Bilder erstmals im Originalausschnitt - sowie Publikationen in Zeitschriften. Der Historiker und Schriftsteller Wilfried Meichtry erzählt vom ereignisreichen Leben des Paars, das sich zeitlebens als journalistische Handwerker verstanden hat. Der Fotohistoriker Markus Schürpf ordnet ihr Werk in die Foto- und Pressegeschichte ein, Nadine Olonetzky verfasst Begleittexte zu den Bildern. Eine Entdeckung in der Schweizer Fotogeschichte. (shrink)

The paper discusses the problem of global distributive justice. It proposes to distinguish between principles for the domestic and for the global or intersocietal distribution of wealth. It is argued that there may be a plurality of partly diverging domestic conceptions of distributive justice, not all of which need to be liberal egalitarian conceptions. It is maintained, however, that principles regulating the intersocietal distribution of wealth have to be egalitarian principles. This claim is defended against Rawls's argument in The Law (...) of Peoples that egalitarian principles of distributive justice should not be applied globally. Moreover, it is explained in detail, why Rawls's “duty of assistance to burdened societies” cannot be an appropriate substitute for a global principle of distributive justice. (shrink)