v. 1. Foundations.--v. 2. Politics.--v. 3. Sex.

Combining scientific understanding and Christian insight, this is a comprehensive and magisterial discussion of the theology of sexual ethics, ranging from sexual relationships and gender equality to birth control and artificial insemination.

Professor Thielicke's lectures on nihilism deal with the experience of nothingness in Europe after World War II, and trace the development of the ism which attempts to interpret that experience.

Professor Thielicke's lectures on nihilism deal with the experience of nothingness in Europe after World War II, and trace the development of the ism which attempts to interpret that experience.

1. Bd. Dogmatische, philosophische und kontroverstheologische Grundlegung.--2. Bd. Entfaltung. 2. T. Ethik des Politischen.

Friedrich Wilhelm Graf skizziert die Biographie des in den 1950er und 1960er Jahren uberaus einflussreichen Hamburger Systematischen Theologen Helmut Thielicke, um dann dessen Aktivitaten zur Grundung einer Zeitschrift fur Theologische Ethik zu rekonstruieren. Dabei untersucht er auch Thielickes Kontakte zu dem amerikanischen Theologen Reinhold Niebuhr und zu Paul Tillich. Vorgestellt werden die von Thielicke zunachst in den Blick genommenen Herausgeber, seine Programmentwurfe zu Aufgabe und Profil der seit Januar 1957 erscheinenden Zeitschrift fur Evangelische Ethik und das tatsachliche (...) Herausgebergremium, dem neben Thielicke protestantische Universitatstheologen wie Heinz-Dietrich Wendland, Hendrik van Oyen, Wolfgang Schweitzer sowie der kirchlich vielfaltig engagierte rheinische Unternehmer Friedrich Karrenberg und der spatere WDR-Intendant Klaus von Bismarck angehorten. Durch die dichte Analyse der in den ersten Jahrgangen der Zeitschrift fur Evangelische Ethik gefuhrten Kontroversen uber die atomare Bewaffnung sowie den Institutionenbegriff zeigt Friedrich Wilhelm Graf, dass die ZEE primar ein Organ innerprotestantischer Verstandigung sein und zugleich die politisch-soziale Gestaltungskraft des bundesdeutschen Protestantismus starken sollte. Trotz ihres dezidiert internationalen Anspruchs wurde die Zeitschrift schon bald zu einem Organ, in dem hauptsachlich nur noch deutschsprachige protestantische Theologen publizierten. (shrink)

English summary: The conference papers collected in this volume focus on Platonism in the Byzantine Middle Ages and Italian Renaissance. Authors considered are Maximos and Psellos, as well as Nicolas Cusanus, the Florentine Platonics of the 15th century, up to Pico della Mirandola. German description: Zu den charakteristischen Aspekten der italienischen Renaissance gehort ein esoterisch gepragter Platonismus, der wesentlich auf Vorlaufern im byzantinischen Mittelalter beruht. Von besonderer Bedeutung sind dabei die Chaldaeischen Orakel und der Hermetismus; weiterhin treten neben die Hinwendung (...) zur Weisheit des alten Agypten vielfaltige Varianten des Interesses an Platonismus und Esoterik. Diese Themen, dazu Phanomene der spateren Rezeptionsgeschichte bis in die Zeit der Aufklarung, waren Gegenstand einer Tagung, die vom 19. bis 23. Juli 2010 in Frankfurt am Main stattfand. Die im vorliegenden Sammelband enthaltenen Beitrage gehen auf diese Veranstaltung zuruck. Im Mittelpunkt stehen dabei aus byzantinischer Zeit Schriften des Maximos und des Psellos, aus der Renaissance Texte von Nikolaus von Kues und den Florentiner Platonikern des fruhen 15. Jahrhunderts bis zu Giovanni Pico della Mirandola. Weitere Beitrage gelten Malerei (Benozzo Gozzoli), Architektur (Leon Battista Alberti, Filarete) und dem Interesse an magischen Gemmen. Auf die spatere Rezeptionsgeschichte zielen Artikel zu Jean Le Clerc und den Freimaurern bis ins 18. Jahrhundert. (shrink)

1. Bd. Sprachanalyse, Deduktion, Induktion in Natur- und Sozialwissenschaften -- 2. Bd. Geisteswissenschaftliche Methoden: Phänomenologie, Hermeneutik und historische Methode, Dialektik -- 3. Bd. Handlungstheorie, Modallogik, Ethik, Systemtheorie.

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to Π11-CA0. Ordinal analysis and the (Schwichtenberg-Wainer) subrecursive hierarchies play a central role and are (...) used in proving the 'modified finite Ramsey' and 'extended Kruskal' independence results for PA and Π11-CA0. Part III develops the theoretical underpinnings of the first author's proof assistant MINLOG. Three chapters cover higher-type computability via information systems, a constructive theory TCF of computable functionals, realizability, Dialectica interpretation, computationally significant quantifiers and connectives and polytime complexity in a two-sorted, higher-type arithmetic with linear logic. (shrink)