Die Vielfalt der mittelalterlichen Epik bietet ein fruchtbares Feld für gattungstheoretische Bestimmungen, das bislang in keiner Hinsicht ausgeschöpft ist. Da die mittelalterlichen Poetiken Gattungszuordnungen nicht zwingend festschreiben, bietet sich die Möglichkeit, auf der Basis einer induktiven Poetik mittelalterliche Werke in ihren generischen Verwandschaftsverhältnissen neu zu bestimmen. Entgegen dem Trend der älteren Forschung, Beschreibungspassagen in der mittelalterlichen Erzählliteratur eher negativ zu bewerten, soll in dem vorliegenden Beitrag die Bedeutung der Ekphrasis für Gattungsbestimmungen mittelalterlicher Erzähltexte herausgearbeitet und mit dem Begriff des „ekphrastischen (...) Romans“ ein neuer, auch die Antike und die Neuzeit umfassender Gattungstypus kreiert werden. Wer sich zünftig vorwiegend mit der modernen Literatur befasst, weiß um die gattungsbildende Funktion der Beschreibung im neoavantgardistischen Nouveau Roman, doch ist die generische Relevanz von ekphrastischen Passagen im mittelalterlichen Versroman noch weithin unerforscht und den Mediävisten unbekannt. Dass gerade der Beschreibung von Kunstwerken, auf die in letzter Zeit immer mehr der Begriff der Ekphrasis eingeschränkt wird, eine große poetische Relevanz zukommt, dokumentiert nicht nur ihre häufige Positionierung am Werkeingang oder ihre motivische Verknüpfung mit Passageriten des Protagonisten, sondern auch ihre besondere digressive Stellung im Erzählkontinuum mit komplexen Rahmen- und Binnenstrukturen, vor allem aber ihre für das ganze Werk repräsentative und quasi gattungsgenerierende Funktion als mise en abyme. Zudem sind die Beschreibungen von Kunstwerken in der Erzählliteratur des Hochmittelalters Zeichen einer neuen materiellen Sachkultur sowie symbolisch-diagrammatische Spiegelungen zeitgenössischer Weltbilder. Durch Partizipation an Formen der Visualität und Intermedialität sind die Ekphrasen auch mediengeschichtlich attraktiv und fungieren außerdem als Vehikel nicht nur einer werkimmanenten Poetik, sondern auch einer intrinsischen, Kunst wie auch Technik umgreifenden und universellen Ästhetik. Das hier rekonstruierte Genos des „ekphrastischen Romans“, das sich bis auf Homers,Ilias' zurückverfolgen lässt, die mit der Beschreibung von Achills Schild einen Prototypen liefert, zeigt bei aller Kontinuität einen besonderen Schub im Hochmittelalter, der neben byzantinischen Einflüssen u. a. mit einer ausgebildeten Exkurstheorie sowie Innovationen in der Erzähltechnik zusammenhängt, wie man z. B. aus dem,Erec' Hartmanns von Aue ersehen kann. Der „ekphrastische Roman“ zielt nicht auf einen nur an Aktionen interessierten Leser ab, der im Extremfall Haltepunkte im Erzählfluss überspringt, sondern auf einen Rezipienten, der sich geduldig mit der Dekodierung imaginärer Bildwelten befasst und bereit ist, sich in poetologische und kunstästhetische Reflexionen zu vertiefen, die eine eigene Ebene der Werkdeutung konstituieren. (shrink)

All the way back in 1916, in the middle of the Great War, the prominent Homer scholar Ulrich Wilamowitz-Moellendorf wrote: “More and ever more the challenge narrows down to the crucial issue for me...

Der Laureatus dieser Schrift hatte 1986 Hans Jonas eröffnet, daß er an einer Politischen Philosophie arbeite, aus der, wie die Autoren dieses Bandes wissen, nichts geworden ist und von der man auch sonst nicht viel vernommen hat. Jonas wandte damals ein: "Wie wollen Sie der Politischen Vernunft auf die Beine helfen? Das Wissen über die politischen Bewußtseinsvoraussetzungen in uns und ihre Struktur in Gesellschaften ist in esoterische Teilbestände und exoterische politische Religionen, Ideologien und Denkschulen zerfallen. Diese Angelegenheit müßte einer umfassenden (...) Kritik unterzogen werden. Außerdem müßten alle gescheiterten Restitutionsversuche von Platon bis heute auf ihre Prägnanz hin durchgegangen werden. Er nannte Thomas von Aquin, Spinoza, Kant, Hegel, Arendt, Strauss, Voegelin und sich selbst. Sie müßten die Erfahrungen und die Maßstäbe, aus denen das politische Bewußtsein sich ernährt und aufrichtet und die, die es vergiften, frei legen." Im nachfolgenden Gespräch über verschiedene Denker und ihre Texte zur politischen Philosophie tauchten metaphorisch die "leuchtenden Fünkchen" oder "Goldklümpchen" auf, in denen Jonas und der Laureatus lebendige Reste der Politischen Vernunft und die menschheitliche Erinnerung an sie erkannten. "Wir sind womöglich aus einer Jeremiade herausgekommen …" lautete der verheißungsvolle Schlußpunkt des kurzen Gesprächs. Der Laureatus, Jurist und Politikwissenschaftler, konnte während seiner Lehr- und Forschungstätigkeit einige Anregungen für "philosophische Fragestellungen" zu den grotesken und verflachten Formationen des politischen Denkens unserer Zeit geben. Die Autoren sind Claus-Ekkehard Bärsch, Giandomenico Bonanni, Ulrich Diehl, Michael Ensslen, Jürgen Gebhardt, Volker Gerhardt, Manfred Henningsen, Vittorio Hösle, Klaus Kodalle, Peter König, Daniel Krochmalnik, Jan-Ivar Lindén, Reiner Manstetten, Krzysztof Maurin, Peter J. Opitz, Thomas Petersen, Walter Rothholz, Florian Sattler, Stephan Sattler, Julius H. Schoeps, Peter von Sivers, Chiara Staude-Colli, Jakob Staude, Kurt Stenzel, Peter Weber-Schäfer, Reiner Wiehl und James Wood. (shrink)

How can one distinguish the concept of second modernity from the concept of postmodernity? Postmodernists are interested in deconstruction without reconstruction, second modernity is about deconstruction and reconstruction. Social sciences need to construct new concepts to understand the world dynamics at the beginning of the 21st century. Modernity has not vanished, we are not post it. Radical social change has always been part of modernity. What is new is that modernity has begun to modernize its own foundations. This is what (...) it means to say modernity has become reflexive. It has become directed at itself. This causes huge new problems both in reality and in theory. There has been a pluralization of the boundaries within and between societies, between society and nature, between Us and Other, between life and death. This pluralization also changes the inherent nature of boundaries. They become not so much boundaries as a variety of attempts to draw of boundaries. Border conflicts become transformed into conflicts over the drawing of boundaries. Where postmodernism simply celebrates this multiplication of boundaries, the theory of second modernity starts with the problem this new reality poses for individual and collective decisions, and with the problem that the continued existence of such decisions poses for theory. Institutions that are capable of such conscious boundary drawing are enabled in a way that those of the first modernity were not. But this process also generates qualitatively new kinds of trouble and crises. To investigate those troubles is to unveil the emergence of the second modernity. (shrink)

Berger, U., Total sets and objects in domain theory, Annals of Pure and Applied Logic 60 91-117. Total sets and objects generalizing total functions are introduced into the theory of effective domains of Scott and Ersov. Using these notions Kreisel's Density Theorem and the Theorem of Kreisel-Lacombe-Shoenfield are generalized. As an immediate consequence we obtain the well-known continuity of computable functions on the constructive reals as well as a domain-theoretic characterization of the Heriditarily Effective Operations.

Der transzendentalen Subjektivität als sinngebender Instanz liegt in der Husserlschen Phänomenologie ein fundamentaler, der Reflexion nicht zugänglicher Bewusstseinsbereich zugrunde: die absolute Subjektivität.Das basale Defizit der epistemisch ausgerichteten Phänomenologie Husserls ist die Unmöglichkeit einer unmittelbaren Selbstreferenzialität in Bezug auf das eigene Selbst-Bewusstsein. Ausgehend von einem ersten Zugang zur Präreflexivität bei Sartre wird auf Grundlage eines radikalisierten phänomenologischen Designs Michel Henrys und Jean-Luc Marions die Struktur dieser basalen Bewusstseinssphäre systematisch entwickelt.

Hit the lights and jump in the fire, you’re about to enter the School of Rock! Today’s lecture will be a crash course in brain surgery. This hard and fast lesson is taught by instructors who graduated from the old school—they actually paid $5.98 for _The $5.98 EP_. But back before these philosophy professors cut their hair, they were lieutenants in the Metal Militia. A provocative study of the ‘thinking man’s’ metal band Maps out the connections between Aristotle, Nietzsche, Marx, (...) Kierkegaard, and Metallica, to demonstrate the band’s philosophical significance Uses themes in Metallica’s work to illuminate topics such as freedom, truth, identity, existentialism, questions of life and death, metaphysics, epistemology, the mind-body problem, morality, justice, and what we owe one another Draws on Metallica’s lyrical content, Lars Ulrich’s relationship with Napster, as well as the documentary _Some Kind of Monster_ Serves as a guide for thinking through the work of one of the greatest rock bands of all time Compiled by the editor of _Seinfeld and Philosophy: A Book about Everything and Nothing_ and _The Simpsons and Philosophy: The D’oh! of Homer_. (shrink)

Hit the lights and jump in the fire, you’re about to enter the School of Rock! Today’s lecture will be a crash course in brain surgery. This hard and fast lesson is taught by instructors who graduated from the old school—they actually paid $5.98 for _The $5.98 EP_. But back before these philosophy professors cut their hair, they were lieutenants in the Metal Militia. A provocative study of the ‘thinking man’s’ metal band Maps out the connections between Aristotle, Nietzsche, Marx, (...) Kierkegaard, and Metallica, to demonstrate the band’s philosophical significance Uses themes in Metallica’s work to illuminate topics such as freedom, truth, identity, existentialism, questions of life and death, metaphysics, epistemology, the mind-body problem, morality, justice, and what we owe one another Draws on Metallica’s lyrical content, Lars Ulrich’s relationship with Napster, as well as the documentary _Some Kind of Monster_ Serves as a guide for thinking through the work of one of the greatest rock bands of all time Compiled by the editor of _Seinfeld and Philosophy: A Book about Everything and Nothing_ and _The Simpsons and Philosophy: The D’oh! of Homer_. (shrink)

This article differentiates between three different axes of conflict in world risk society. The first axis is that of ecological conflicts, which are by their very essence global. The second is global financial crises, which, in a first stage, can be individualized and nationalized. And the third, which suddenly broke upon us on September 11th, is the threat of transnational terror networks, which empowers governments and states. Two sets of implications are drawn: first, there are the political dynamics of world (...) risk society. In an age where trust and faith in God, class and progress have largely disappeared, humanity's common fear has proved the last - ambivalent - resource for making new bonds. Second, the methodological nationalism that preoccupies the sociological imagination has to be overcome and a `methodological cosmopolitism' has to be created. (shrink)

The aim of the paper is this: Instead of presenting a provisional and necessarily insufficient characterization of what mathematical physics is, I will ask the reader to take it just as that, what he or she thinks or believes it is, yet to be prepared to revise his opinion in the light of what I am going to tell. Because this is precisely, what I intend to do. I will challenge some of the received or standard views about mathematical physics (...) and replace them by a more sophisticated picture, which takes into account the methodological and philosophical roots of mathematical physics in Göttingen. (shrink)

The paper reformulates empirical naturalism by 4 theses, points out a Popperian trend to its resuscitation, argues for its central thesis by rejecting formal objections that the good cannot be defined by any, any descriptive, or any empirical, concept, and material objections that the good is something different from happiness, esp, that it is justice, and conjectures about a motive for rejecting naturalism.

This book answers questions about secularization: Does it dissolve religion, or transform it into faith in a universally valid value? Is it restricted to the west or can it occur everywhere? Using ideas of Max Weber, the book conceives secularization as a process comparable to the rational development of science and production. What is the value secularization propagates? Sifting historical texts, Steinvorth argues the value is authenticity, to be understood as being true to one's talents developed in activities that are (...) done for their own sake and provide life with meaning, and as unconditionally commanded. How can a value be unconditionally demanded? This question leads to an investigation of the self that combines Kant's ideas on the conditions of the possibility of experience with modern brain science, and to the metaphysical deliberation whether to prefer a world with creatures able to do both good and evil to one without them. It is not enough, however, to point to facts. We rather need to understand what secularization, religion and their possible rationality consist inches Max Weber's sociology of religion has provided us with the conceptual means to do so, which this book develops. Secularization is rediscovered as the same progress of rationality in the sphere of religion that we find in the development of the spheres of science, art, the economy and politics or public affairs. It proves to be the perfection rather than the dissolution of religion - a perfection that consists in recognizing authenticity as the successor of the absolute of religion. (shrink)

We present an extension of Heyting arithmetic in finite types called Uniform Heyting Arithmetic that allows for the extraction of optimized programs from constructive and classical proofs. The system has two sorts of first-order quantifiers: ordinary quantifiers governed by the usual rules, and uniform quantifiers subject to stronger variable conditions expressing roughly that the quantified object is not computationally used in the proof. We combine a Kripke-style Friedman/Dragalin translation which is inspired by work of Coquand and Hofmann and a variant (...) of the refined A-translation due to Buchholz, Schwichtenberg and the author to extract programs from a rather large class of classical first-order proofs while keeping explicit control over the levels of recursion and the decision procedures for predicates used in the extracted program. (shrink)

In this paper a new method, elimination of Skolem functions for monotone formulas, is developed which makes it possible to determine precisely the arithmetical strength of instances of various non-constructive function existence principles. This is achieved by reducing the use of such instances in a given proof to instances of certain arithmetical principles. Our framework are systems ${\cal T}^{\omega} :={\rm G}_n{\rm A}^{\omega} +{\rm AC}$ -qf $+\Delta$ , where (G $_n$ A $^{\omega})_{n \in {\Bbb N}}$ is a hierarchy of (weak) subsystems (...) of arithmetic in all finite types (introduced in [14]), AC-qf is the schema of quantifier-free choice in all types and $\Delta$ is a set of certain analytical principles which e.g. includes the binary König's lemma. We apply this method to show that the arithmetical closures of single instances of $\Pi^0_1$ -comprehension and -choice contribute to the growth of extractable bounds from proofs relative to ${\cal T}^\omega$ only by a primitive recursive functional in the sense of Kleene. In subsequent papers these results are widely generalized and the method is used to determine the arithmetical content of single sequences of instances of the Bolzano-Weierstraß principle for bounded sequences in ${\Bbb R}^d$ , the Ascoli-lemma and others. (shrink)

In recent years the works of Friedman, Howard and many others have made obvious what perhaps was always self-evident. Namely, that the philosophy of the logical empiricists was shaped primarily by Einstein and his invention of the theory of relativity, whereas Hilbert and his axiomatic approach to the exact sciences had comparatively little impact on the logical empiricists and their understanding of science — if they had any effect at all. This is in one respect quite astonishing, insofar as Einstein (...) himself confessed 1921 in his famous lecture before the Prussian Academy of Science that “without it [the axiomatic point of view] it would have been impossible for me to propound the theory of relativity”.2 Hence the simple question arises: why didn’t the logical empiricists pay more attention to Hilbert and his axiomatic point of view, than they in fact did? It is an aim of this paper to answer this question and in part to correct this one-sided view in the hypothetical or contra-factual sense that the logical empiricists would have done better, if they had paid somewhat more attention to Hilbert and his axiomatic approach to science. (shrink)

The paper presents a refined method of extracting reasonable and sometimes unexpected programs from classical proofs of formulas of the form ∀x∃yB . We also generalize previously known results, since B no longer needs to be quantifier-free, but only has to belong to a strictly larger class of so-called “goal formulas”. Furthermore we allow unproven lemmas D in the proof of ∀x∃yB , where D is a so-called “definite” formula.

This paper describes formalizations of Tait's normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs programs are machine-extracted that implement variants of the well-known normalization-by-evaluation algorithm. The case study is used to test and compare the program extraction machineries of the three proof assistants in a non-trivial setting.

philosophical investigations, reasoning, subject-matter.

https://www.amazon.co.uk/Philosophy-Future-Limits-Conditions-Philosophizing/dp/1872152104/ref=sr_1_9 ?s=books&ie=UTF8&qid=1494929448&sr=1-9.

Philosophical investigations, reasoning, subject-matter https://www.amazon.com/Philosophical-Notes-Explorations-Insights-v/dp/1874440999/ref=la_B001K87NZ6_1 _1?s=books&ie=UTF8&qid=1494928623&sr=1-1 https://www.amazon.com/Philosophical-Notes-Explorations-Insights-v/dp/1874440999/ref=la_B001K87NZ6_1 _1?s=books&ie=UTF8&qid=1494928623&sr=1-1.