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

Dieser Band setzt die Annaherung an eine relationale Erkenntnistheorie und Ontologie fort, die 1999 mit dem Band Im Kontinuum begonnen wurde. Der neue Band behandelt ein Grundproblem ethischer Urteilsbildung, das insbesondere dort auftaucht, wo die Ethik sich mit lebendigen Phanomenen und Prozessen beschaftigt, die den Kontinuums-Charakter haben (Lebensbeginn und Lebensende, Gesundheit und Krankheit etc.), aber gleichwohl die Setzung von Zasuren erfordern. Die hier veroffentlichten von Theologen, Medizinern und Juristen erarbeiteten Beitrage suchen nach lebensdienlichen Verbindungen zwischen Kontinuum und Differenz - (...) grundsatzlich und anhand aktueller medizinethischer Themen. (shrink)

Der Band untersucht die fünf Stellen des Hebräerbriefes, die herkömmlicherweise als Hinweise auf die Parusie Christi gedeutet werden (Hebr 1,6; 9,28; 10,25.36-39; 12,25-29). Ausgangspunkt ist die Feststellung, dass eine apokalyptische Rede von der Parusie zur übrigen Denkweise des Schreibens nicht recht passen will, die eher von einer mittelplatonischen Ontologie geprägt ist. Zur Auflösung dieser Spannung werden in Teil I die problematischen Stellen des Hebräerbriefes textimmanent analysiert und in Teil II mit relevanten Texten von Philon, Plutarch, Seneca und Alkinoos in (...) Verbindung gebracht, die ebenfalls eingehend analysiert werden. Teil III führt schließlich die Ergebnisse der ersten beiden Teile zusammen und macht eine mittelplatonische Umformung des Parusiegedankens durch den Autor des Hebräerbriefes plausibel. (shrink)

Die Wirklichkeit »sakramental« zu verstehen macht die Schöpfung durchscheinend für Gottes Herrlichkeit. Diese Sicht schwindet jedoch zunehmend. Die vorliegende Studie baut auf einer trinitarischen Ontologie auf und entfaltet dieses Wirklichkeitsverständnis mit besonderer Berücksichtigung der Sicht auf den Menschen theologisch. Dabei sind folgende Fragen leitend: Welche Auswirkungen für die Schöpfung hat es, dass Gott als Trinität das Universum geschaffen hat? Sind diese Auswirkungen in der Schöpfung erkennbar? Was bedeutet es für das Verständnis des Menschen, dass er Gottes Ebenbild ist? In (...) vier Teilen zeigt die Studie die erschliessende Kraft »sakramentalen« Denkens auf. Nach grundsätzlichen Überlegungen zum »sakramentalen« Wirklichkeitsverständnis folgt eine biblische Vergewisserung dieses Verständnisses anhand anthropologischer Fragen. Anschliessend wird »sakramentales« Denken an Cyrill von Jerusalem, Odo Casel und Paul Tillich erprobt. Im Blick auf den ökumenischen Bereich werden exemplarisch orthodoxe (Dumitru Staniloae) und protestantische Autoren (Wilfried Härle, Gerhard Sauter) sowie eine Studie des Ökumenischen Rates der Kirchen auf »sakramentales« Denken hin untersucht. (shrink)

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)

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)

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture Notes in Logic series, collects papers presented at the symposium 'Reflections on the Foundations of Mathematics' held in celebration of Solomon Feferman's 70th birthday (The 'Feferfest') at Stanford University, California in 1988. (...) Feferman has shaped the field of foundational research for nearly half a century. These papers reflect his broad interests as well as his approach to foundational research, which emphasizes the solution of mathematical and philosophical problems. There are four sections, covering proof theoretic analysis, logic and computation, applicative and self-applicative theories, and philosophy of modern mathematical and logic thought. (shrink)

Wilfried Sieg. Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science.

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

English summary: Does pastoral care require ethical competence in order to fulfil its task properly? And, conversely, to what extent does ethical reflection require feedback from pastoral experience in order to remain true to life and of practical relevance? Wilfried Sturm examines the way hospital pastors deal with ethical challenges and conflict situations in neonatal clinics and enquires into the insights that can be gained from them for the relationship of pastoral care and ethics. German description: Braucht Seelsorge ethische (...) Kompetenz, um ihrem Auftrag gerecht zu werden? Inwiefern bedarf umgekehrt die ethische Reflexion der Ruckkopplung an seelsorgerliche Erfahrung, um lebensnah und praxisrelevant zu bleiben? Wilfried Sturm untersucht den Umgang von Klinikseelsorgerinnen und -seelsorgern mit ethischen Herausforderungen und Konfliktsituationen in der Fruh- und Neugeborenenmedizin und fragt, welche Einsichten sich daraus fur das Verhaltnis von Seelsorge und Ethik gewinnen lassen. (shrink)

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.

In his classic paper On Computable Numbers Turing analyzed what can be done by a human computor in a routine, “mechanical” way. He argued that mechanical op-erations obey locality conditions and are carried out on configurations satisfying boundedness conditions. Processes meeting these restrictive conditions can be shown to be computable by a Turing machine. Turing viewed memory limitations of computors as the ultimate reason for the restrictive conditions. In contrast, Gandy analyzed in his paper Church’s Thesis and Principles for Mechanisms (...) what can be done by “discrete deterministic mechanical devices” and appealed to physical considerations to motivate restrictive principles. These devices include, crucially, ones that carry out parallel processes, e.g., cellular automata. Following Turing’s methodological ways and guided by Conway’s “Game of Life” as a paradigm, Gandy formulated four restrictive principles and proved that devices satisfying them are computationally equivalent to Turing machines. (shrink)

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)

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.

Two young logicians, whose work had a dramatic impact on the direction of logic, exchanged two letters in early 1931. Jacques Herbrand initiated the correspondence on 7 April and Kurt Gödel responded on 25 July, just two days before Herbrand died in a mountaineering accident at La Bérarde (Isère). Herbrand's letter played a significant role in the development of computability theory. Gödel asserted in his 1934 Princeton Lectures and on later occasions that it suggested to him a crucial part of (...) the definition of a general recursive function. Understanding this role in detail is of great interest as the notion is absolutely central. The full text of the letter had not been available until recently, and its content (as reported by Gödel) was not in accord with Herbrand's contemporaneous published work. Together, the letters reflect broader intellectual currents of the time: they are intimately linked to the discussion of the incompleteness theorems and their potential impact on Hilbert's Program. (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..

Natural deduction (for short: nd-) calculi have not been used systematically as a basis for automated theorem proving in classical logic. To remove objective obstacles to their use we describe (1) a method that allows to give semantic proofs of normal form theorems for nd-calculi and (2) a framework that allows to search directly for normal nd-proofs. Thus, one can try to answer the question: How do we bridge the gap between claims and assumptions in heuristically motivated ways? This informal (...) question motivates the formulation of intercalation calculi. Ic-calculi are the technical underpinnings for (1) and (2), and our paper focuses on their detailed presentation and meta-mathematical investigation in the case of classical predicate logic. As a central theme emerges the connection between restricted forms of nd-proofs and (strategies for) proof search: normal forms are not obtained by removing local "detours", but rather by constructing proofs that directly reflect proof-strategic considerations. That theme warrants further investigation. (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)

In Hume’s Of Miracles the person movecl by faith is put in a dilemma between faith and reason. Can one resolve this dilemma as a compleat Humean? The answer is yes. Within the Humean context different approaches can be developed ta overcome Hume’s dilemma. One uses Hume’s theory of utility to defend the belief in the afterlife. The other requires Hume to place faith on a par with beauty and therefore among the passions to which reason must be a slave. (...) Historically there was at least one compleat Humean who was also moved by faith --- Johann Georg Hamann [1730- 1788]. (shrink)

Wilfred Sieg. “Church's Thesis”, “Consistency”, “Formalization”, “Proof Theory”: Dictionary Entries.

Wilfred Sieg and Stanley S. Wainer. Program Transformation and Proof Transformation.