Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped λ-calculus and Gödel’s is presented and analysed in the coalgebraic framework of non-wellfounded terms with so-called repetition constructors.The primitive recursive normalization function is uniformly continuous w.r.t. the natural metric on non-wellfounded terms. Furthermore, the number of necessary repetition constructors is locally related to the number of reduction steps needed to reach the normal form and its size.It is also shown how continuous normal (...) forms relate to derivations of strong normalizability in the typed λ-calculus and how this leads to new bounds for the sum of the height of the reduction tree and the size of the normal form.Finally, the methods are extended to an infinitary λ-calculus with ω-rule and permutative conversions and this is used to derive a strong form of normalization for an iterative version of Gödel’s system , leading to a value table semantics for number-theoretic functions. (shrink)

Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all the known results on definable functions of certain such theories can be reobtained in a uniform way.

Consider the following restriction of the polymorphically typed lambda calculus . All quantifications are parameter free. In other words, in every universal type α.τ, the quantified variable α is the only free variable in the scope τ of the quantification. This fragment can be locally proven terminating in a system of intuitionistic second-order arithmetic known to have strength of finitely iterated inductive definitions.

A fragment with the same provably recursive functions as n iterated inductive definitions is obtained by restricting second order arithmetic in the following way. The underlying language allows only up to n + 1 nested second order quantifications and those are in such a way, that no second order variable occurs free in the scope of another second order quantifier. The amount of induction on arithmetical formulae only affects the arithmetical consequences of these theories, whereas adding induction for arbitrary formulae (...) increases the strength by one inductive definition. (shrink)

This edited volume of original contributions deals with the economic and political thought of Michael Polanyi. Requiring little prior knowledge of Polanyi, this volume further develops a somewhat neglected side of Polanyi's work. In particular it examines the 'tacit integration', of subsidiary details into focal objects or actions as central to all knowing and action. It traces ontological counterparts in the structures of comprehensive entities and complex actions, and a multi-level universe in which lower levels have their boundary conditions, the (...) extents to which they apply, determined by those of the next higher level, whilst each possessing its own laws or operative principles. This schema of 'dual control' preserves the reality and relative autonomy of each level, and its interactions with others, against the various reductions. The essays in this volume also employ and develop important additional concepts and distinctions such as: 'corporate' and 'spontaneous' order; 'public' and 'private' liberties; 'general' and 'specific authority'; and 'moral inversion'; which, as the essays show, are necessary for understanding and maintaining a free society and the freedom of institutions within it. Among the topics treated with them are: more of the prerequisites of freedom in public liberties dedicated to principles and transcendent values; totalitarianism and society as spontaneous order; the balance of general and specific authority in society and particular institutions; reductionism, totalitarianism and consumption in consumer societies, as moral inversions; the mutual interactions of economics and politics as distinct and autonomous but interacting levels; the sociological aspects of economics; and Polanyi's own contributions to sociology. Although, as indicated, Polanyi has his special terms, the essays in this volume, like his works, give them meaning with concrete examples and so avoid merely shuffling a mass of abstractions. Together the essays show that his work is a rich seam of ideas and inspiration for yet further extension and application--Publisher. (shrink)

Zusammenfassung Der Beitrag untersucht den Gebrauch von Moral in der Kommunikation zwischen Trainer und Ath­leten im Spitzensport. Dabei wird moralische Kommunikation aus systemtheoretischer Perspektive als soziale Tatsache konstruiert, um im Lichte dieser Konstruktion konkrete Beispiele aus den Sport­arten Handball und Hockey analysieren und im Hinblick auf ihre Funktionen und Folgen reflektie­ren zu können. Die Ergebnisse dieser Analysen münden in Empfehlungen an Trainer, die zu einem sensiblen Umgang mit Moral raten, da insbesondere dem polemogenen Charakter moralischer und moralisierender Kommunikation Rechnung zu (...) tragen ist. (shrink)

The goal of this paper is to propose a unified approach to the split scope readings of negative indefinites, comparative quantifiers, and numerals. There are two main observations that justify this approach. First, split scope shows the same kinds of restrictions across these different quantifiers. Second, split scope always involves low existential force. In our approach, following Sauerland, natural language determiner quantifiers are quantifiers over choice functions, of type <<,t>,t>. In split readings, the quantifier over choice functions scopes above other (...) operators (such as intensional verbs like must or can). Determiner quantifiers leave a choice-function trace when they move and this trace combines with the noun restriction, which is interpreted low. That split scope always involves low existential force is derived, without stipulation, from Kratzer’s idea that low existential force can be achieved via binding (into the noun restriction). (shrink)

In welcher Verbindung stehen Heiligkeit und Macht? Die Autorinnen und Autoren dieses Bandes gehen dieser Frage anhand von drei Manifestationspunkten von Sakralität nach: Orten, Personen und Dingen. Im Fokus steht das Zusammenspiel von Sakralität und Macht, deren Strukturen, Funktionen, Wirkungen, Repräsentationen und Ausdrucksweisen aus der Perspektive unterschiedlicher Kulturen und historischer Epochen. Entsprechend weit reicht das inhaltliche Spektrum der Beiträge, die unter anderem die Papstliturgie der Renaissance, die Performanz von Sakralität und Macht in einer südindischen Tradition oder auch sakrale Objekte und (...) die Beziehung zwischen Gott und Mensch im frühmittelalterlichen Kirchweihritus thematisieren. Grundlage des Bandes ist ein interdisziplinärer Ansatz, der Wissenschaftlerinnen und Wissenschaftler aus den Geschichtswissenschaften, der Sozialphilosophie und Soziologie, Japanologie, Indologie, Sinologie, Ethnologie, Religionswissenschaft und Komparatistik zusammenbringt. (shrink)

"Die Bildung muss auf die volle Entfaltung der menschlichen Persönlichkeit und auf die Stärkung der Achtung vor den Menschenrechten und Grundfreiheiten gerichtet sein.

Die besonderen Bedingungen der griechischen Sprache und ihrer langen Geschichte seit den Zeiten Homers haben schon seit der klassischen Epoche und zunehmend im Hellenismus und der Kaiserzeit Probleme der korrekten Akzentuierung und Orthographie aufgeworfen. Zumal die gelehrten hellenistischen und kaiserzeitlichen Editoren und Interpreten der homerischen Gedichte und anderer frühgriechischer und klassischer Poesie mußten zu unzähligen strittigen Fragen des Akzents und der richtigen Schreibung Stellung beziehen. Im 2. Jahrhundert n. Chr. hat der aus Alexandreia gebürtige, in Rom tätige Grammatiker Ailios Herodianos (...) über beide Bereiche umfassende Bücher verfaßt. Auf Aufforderung Kaiser Mark Aurels (und diesem gewidmet) schrieb er sein gewaltiges Hauptwerk in 21 Büchern, die Καθολιϰη πϱοσωδία („Allgemeine Akzentlehre“) und ebenfalls ein umfangreiches Buch Πεϱι οϱθογϱαϕίας. Beide sind wie alle seine anderen Werke bis auf die Schrift Πεϱι μονήϱους λέξεως verloren. Mit geradezu herodianischem Fleiß hat A. Lentz eine Rekonstruktion des Verlorenen unternommen. Man muß leider sagen, daß die Zeit für eine solche Rekonstruktion noch nicht reif war; einerseits mußte Lentz für fast alle Quellschriften auf Editionen zurückgreifen, die auf völlig unzureichender handschriftlicher Basis erstellt waren, andererseits konnte er noch nicht die spektakulären Handschriftenfunde R. Reitzensteins und die daraus resultierenden umstürzenden Ergebnis zur Kenntnis nehmen. „Es liegt eine Tragik darin, daß ein unter den größten Schwierigkeiten geleistetes Lebenswerk durch die Fahrlässigkeit der Herausgeber, deren Leistungen Lentz zugrunde legen mußte, von vornherein auf ungenügendem Fundament ruhte.“ Sowohl für den Bereich der Akzentlehre („Orthoepik“) wie den der Orthographie der Spätantike und der byzantinischen Zeit hat Peter Egenolff in zwei bahnbrechenden Schulprogrammen einen Überblick über die unzähligen Traktate in der Nachfolge Herodians und die sie tradierenden Handschriften geliefert. Egenolffs Arbeiten sind naturgemäß stark veraltet, da zahlreiche Handschriften erst nach ihm bekannt wurden und sehr viele neue Erkenntnisse auf dem Gebiet der griechischen Grammatik und Lexikographie seither erzielt worden sind. Aber Egenolffs Sammlungen und Überblicke sind bisher nicht überholt worden und werden auch für das Gebiet der Orthographien durch das hier zu behandelnde Werk leider nicht wirklich ersetzt. (shrink)

In this paper which consists of two parts (Teil I and Teil II) we champion Diophantus of Alexandria and Isabella BaÅ¡makova against Norbert Schappacher. In two publications ([Schappacher 1998a] and [Schappacher 1998b]) he puts forward inter alia two propositions: Questioning Diophantus’ originality he considers affirmatively the possibility that the Arithmetica are the joint work of a team of authors like Bourbaki. And he calls BaÅ¡makova’s claim (in [BaÅ¡makova 1972]) that Diophantus uses negative numbers, a nonsense , reproaching her for her (...) thoughtlessness . Teil I: First, we disprove Schappacher’s Bourbaki thesis. Second, we investigate the semantic meaning and historical significance of Diophantus’ keywords $ λvarepsilon tildeιψιζ and ὕπαρξιζ. Next, we discuss Schappacher’s epistemology of the history of mathematics and defend BaÅ¡makova’s methods. Finally we analyse in detail three problems from Diophantus’ Arithmetica (and their solutions) given by Thomas Heath and Helmuth Gericke as proof of the their claim that Diophantus did not use negative numbers. Teil II: In this Part, we give 33 places where Diophantus uses negative quantities as intermediate results; they appear as differences a − b of positive rational numbers, the subtrahend b being bigger than the minuend a; they each represent the (negative) basis ( πλvarepsilonυρacuteα ) of a square number ( τvarepsilonτρacuteαγω ν o ζ ), which is afterwards computed by the formula (a - b) 2 = a 2 + b 2 - 2ab $ . Finally, we report how the topic Diophantus and the negative numbers has been dealt with by translators and commentators from Maximus Planudes onwards. Und er kommt zu dem Ergebnis: ≪Nur ein Traum war das Erlebnis. Weil≫, so schlieβt er messerscharf, ≪nicht sein k a n n, was nicht sein d a r f.≫ CHRISTIAN MORGENSTERN: Palmstrm. (shrink)

In der 1970 gegr ndeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien ver ffentlicht. Gr ndungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), G nther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von J rgen Mittelstra mitherausgegeben.

In der 1970 gegründeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien veröffentlicht. Gründungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), Günther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von Jürgen Mittelstraß mitherausgegeben.

Zusammenfassung Dem deutschen Fußball scheint es geradezu mühelos zu gelingen, Spielerinnen und Spieler mit Migrationshintergrund zu integrieren, was sich deutlich in der Zahl betreffender Spielerinnen und Spieler in den Auswahlmannschaften des Deutschen Fußball Bundes zeigt. Die Mannschaften des Deutschen Handball Bundes dagegen rekrutieren sich bislang ausschließlich aus rein deutschstämmigen Spielerinnen und Spielern. Beim Handballsport scheint es sich hierzulande bislang um etwas ausgesprochen „Deutsches“ zu handeln, mithin um eine Sportart, die fast 20 % der Bevölkerung kaum erreicht und dabei offenkundig sogar (...) die größte Migrantengruppe, nämlich diejenige mit muslimischem Hintergrund, so gut wie vollständig ausschließt. Der Aufsatz steckt sich das Ziel, all jene Mechanismen der Exklusion von Migranten im Handball zu identifizieren und in einem theoretischen Modell zusammenzufassen, die in Deutschland zur Unter- bzw. Nichtrepräsentanz von Spielerinnen und Spielern mit unterschiedlichem Migrationshintergrund im Handballsport beitragen. Aufbauend darauf werden Leitfragen für eine empirische Untersuchung der Exklusionsmechanismen abgeleitet. (shrink)

Dem Rezensenten obliegt die traurige Pflicht, das letzte Buch des vor kurzem (am 18. August 2003) verstorbenen Berliner Emeritus für Byzantinistik, Paul Speck, zu besprechen. Wie die große Menge seiner früheren Artikel und Monographien beschäftigt sich auch dieses Buch in z.T. polemischer Auseinandersetzung mit den Positionen anderer Forscher mit den Quellen zur byzantinischen Geschichte des 7.–9. Jahrhunderts, also mit der Zeit der sog. Dunklen Jahrhunderte, vor allem mit der Periode des sog. Bilderstreites. Es handelt sich, wie Speck selbst in der (...) Einleitung darlegt (S. 24), bei der vorliegenden Monographie nicht um eine Biographie Kaiser Leons III. (717–741), sondern um eine Analyse der Berichte über die ersten Regierungsjahre dieses Herrschers in drei wichtigen griechischen und lateinischen Quellentexten, nämlich in der Historia syntomos des Patriarchen Nikephoros I. von Konstantinopel (806–815), in der Chronographia des Theophanes (von Speck zu Recht überwiegend als Werk des Georgios synkellos angesehen) und im römischen liber pontificalis. Letzterer spielt allerdings im hier besprochenen Teil 1 nur im XV. Abschnitt (S. 303) eine Rolle. Grundsätzlich gilt nach Speck, daß fast alles, was in der Historia syntomos des Nikephoros berichtet wird, sich meist sogar in derselben Reihenfolge auch in der Chronographia des „Theophanes“ wiederfindet, daß letztere aber zahlreiche zusätzliche Informationen enthält, so daß die Existenz einer beiden gemeinsame Quelle oder Vorlage sehr wahrscheinlich ist (S. 55–56). Bereits in seinen früheren Arbeiten entwickelte er dazu die Hypothese, zwei Materialsammlungen des Georgios synkellos (das sog. vielleicht noch in Palästina verfaßte erste und das dieses bis 815 fortsetzende, in Konstantinopel zusammengestellte zweite Dossier) hätten sowohl für die Historia syntomos des Patriarchen Nikephoros (1. Dossier) als auch für die Chronographia des „Theophanes“ (2. Dossier), aber auch für die christlich-orientalischen Chroniken (diese sind nach Speck vom 1. Dossier abhängig) die Masse der Informationen geliefert (zusammenfassend S. 19–23, ferner S. 95 und S. 375–376). (shrink)

Originally presented as the author's thesis, Darmstadt.

Empirische Wissenschaft und Philosophie, von T. Litt.--Die Erscheinung der lebendigen Gestalten im Lichtfelde, von A. Portmann.--Der Geschmack, von F. J. J. Buytendijk.--Natur und Humanität des Menschen, von K. Löwith.--Die Vernunft und die Mächte des Irrationalen, von O. F. Bollnow.--Existenz und System bei Sören Kierkegaard, von W. Schulz.--Kants Zum ewigen Frieden, von K. Jaspers.--Geschichte und teleologisches System bei Karl Marx, von R. E. Schulz.--Staat und Gewissen im Zeitalter des Säkularismus, von H. Barth.--Über den Konservativismus als historische Kategorie, ein Versuch, von J. (...) Romein.--Soziologie und empirische Forschung, von T. W. Adorno.--Zum Begriff des Menschen heute, von M. Horkheimer.--Die Natur der ästhetischen Wirkung, von J. König.--Bemerkungen zu Theorien des Stils, von B. Snell.--Objektivität, Subjektivität und Erzählkunst: zur Romantheorie Friedrich Spielhagens, von W. Hellmann.--Bibliographie Helmuth Plessner, zusammengestellt von L. Stern (p.[398]-403). (shrink)

Child psychologist Mallory James returns to Moonglade, the Australian plantation where she was raised, to care for her beloved uncle Robert, who has had a heart attack. Having left the area years earlier after being betrayed by her fiancâe, Jason Cartwright, Mallory is shocked and dismayed to find that Jason and his decidedly disturbed twin sister, Jessica, have been hired on at her uncle's estate. Her longtime friend and occasional adversary, Blaine Forrester, is also nearby. As Mallory settles back into (...) her old home, she can't help but begin to love Jason's feisty young daughter, Ivy. She and Blaine begin to wander down the path of romance, but it's obvious that their happiness won't come easily. (shrink)

Nichts anderes meint die romantische Ironie, als das Spiel des Lebens, das ein Widerspiel der Welt ist, auch wirklich als Spiel zu nehmen und darzustellen, aber: »Darstellung ist Sache der Kunst« und »Darstellen kann nur der Mensch.« So avanciert in der ästhetisch gedeuteten Tathandlung das allein zur Darstellung befähigte Bewußtsein zum »complementum existentiae« der äußeren Welt, indem es Darstellungen einer Welt hervorbringt, die nur in den Darstellungen ihre vielfältige Wirklichkeit oder wirkliche Vielfalt zum Dasein bringt. Jenseits und vorgängig dieser Darstellungen (...) liegt das Nichts der Möglichkeiten zur unendlichen Fülle, das Chaos, aus dem der Verstand diese eine unendliche Welt von Welten bildet. Aus dem Zusammenspiel von Chaos als der Grundlage aller Natur, also auch der menschlichen, in der es sich in der »schönen Verwirrung der Fantasie« manifestiert, und Verstand, der ebenso auch als natürlicher, im Sinne von Energie, aufzufassen ist, entspringt erst die eine Welt in der Unendlichkeit ihrer verdichteten Darstellungen. Diese Strukturierungsleistung aber obliegt der Poesie, eine Aufgabe, die sie wiederum mit der Natur selbst verbindet. Dieses mit bedenkend wird sich die Poesie nicht nur ihrer eigenen Voraussetzungen bewußt, sondern sie wird diese in ihr Produkt aufnehmen. Sie wird »Transzendentalpoesie« oder »progressive Universalpoesie«, deren eigentliches Wesen darin besteht, nie vollendet werden zu können, deren Unvollendung eben die Unvollendung der Welt darstellt. (shrink)

Nichts anderes meint die romantische Ironie, als das Spiel des Lebens, das ein Widerspiel der Welt ist, auch wirklich als Spiel zu nehmen und darzustellen, aber: »Darstellung ist Sache der Kunst« und »Darstellen kann nur der Mensch.« So avanciert in der ästhetisch gedeuteten Tathandlung das allein zur Darstellung befähigte Bewußtsein zum »complementum existentiae« der äußeren Welt, indem es Darstellungen einer Welt hervorbringt, die nur in den Darstellungen ihre vielfältige Wirklichkeit oder wirkliche Vielfalt zum Dasein bringt. Jenseits und vorgängig dieser Darstellungen (...) liegt das Nichts der Möglichkeiten zur unendlichen Fülle, das Chaos, aus dem der Verstand diese eine unendliche Welt von Welten bildet. Aus dem Zusammenspiel von Chaos als der Grundlage aller Natur, also auch der menschlichen, in der es sich in der »schönen Verwirrung der Fantasie« manifestiert, und Verstand, der ebenso auch als natürlicher, im Sinne von Energie, aufzufassen ist, entspringt erst die eine Welt in der Unendlichkeit ihrer verdichteten Darstellungen. Diese Strukturierungsleistung aber obliegt der Poesie, eine Aufgabe, die sie wiederum mit der Natur selbst verbindet. Dieses mit bedenkend wird sich die Poesie nicht nur ihrer eigenen Voraussetzungen bewußt, sondern sie wird diese in ihr Produkt aufnehmen. Sie wird »Transzendentalpoesie« oder »progressive Universalpoesie«, deren eigentliches Wesen darin besteht, nie vollendet werden zu können, deren Unvollendung eben die Unvollendung der Welt darstellt. (shrink)