Auch als originar politischer Denker ist Karl Jaspers reich an Einsichten: Ausgehend vom Ethos der Freiheit jedes Einzelnen richtet er seinen Blick auf die konkrete politische Gestaltung einer Freiheitsordnung. Dabei steht fur ihn im Hinblick auf die noch junge Bundesrepublik die Selbsterziehung in Freiheit im Zentrum seiner oft mahnenden Worte. Ganz im sokratischen Sinne fordert er intellektuelle Redlichkeit und politische Wahrhaftigkeit ein, um den beiden grossen Gegenwartsherausforderungen gewachsen zu sein: einer atomwaffenbestuckten Welt, die sich jederzeit selbst ausloschen kann, und (...) dem modernen Totalitarismus, der in seiner Verherrlichung des Antipolitischen allen politischen Ordnungsbestrebungen die Vernichtung androht. Jeder Frieden, der mehr ist als die Friedhofsruhe eines Waffenstillstands, grundet fur Jaspers in der politischen Freiheit handelnder Burgerinnen und Burger, die gemeinsam Sorge fur die Integritat ihres politischen Gemeinwesens tragen. Mit Beitragen von Karl-Heinz Breier, Alexander Gantschow, Anton Hugli, Annabelle Petschow, Kurt Salamun, Reinhard Schulz, Bernhard Sutor, Bernd Weidmann. (shrink)

The differentiation of trait anxiety and depression in nonclinical and clinical populations is addressed. Following the tripartite model, it is assumed that anxiety and depression share a large portion of negative affectivity, but differ with respect to bodily hyperarousal and anhedonia. In contrast to the tripartite model, NA is subdivided into worry and dysthymia, which leads to a four-variable model of anxiety and depression encompassing emotionality, worry, dysthymia, and anhedonia. Item-level confirmatory factor analyses and latent class cluster analysis based on (...) a large nation-wide representative German sample substantiate the construct validity of the model. Further evidence concerning convergent and discriminant validity with respect to related constructs is obtained in two smaller nonclinical and clinical samples. Factors influencing the association between components of anxiety and depression are discussed. (shrink)

Romano Guardini gilt als einer der massgeblichen christlichen Denker des 20. Jahrhunderts. Seine Schriften, philosophische und theologische Abhandlungen, aber auch zahlreiche meditative und spirituelle Texte, haben eine weltweite Verbreitung gefunden und pragen ungebrochen bis heute Generationen von Leserinnen und Lesern. Der vorliegende Band, der aus Anlass des 50. Todestages Romano Guardinis am 1. Oktober 2018 sowie zur Eroffnung des Seligsprechungsprozesses erscheint, versammelt Beitrage namhafter Autorinnen und Autoren. Aus unterschiedlichen Perspektiven widmen sie sich insbesondere Guardinis Buch "Der Herr" uber Person und (...) Botschaft Jesu Christi, aber beispielsweise auch Aspekten der Gottesfrage, der Ethik oder des Gebets. Eine Fundgrube fur alle, die sich der Person und dem Denken Guardinis neu nahern mochten. Mit Beitragen von Hanna-Barbara Gerl-Falkovitz, Jean Greisch, Karl Kardinal Lehmann (+), Peter Reifenberg, Marius Reiser, Peter Schallenberg, P. Kosmas Lars Thielmann OCist, Karl-Heinz Wiesemann. (shrink)

We study a notion ofpartial primitive recursion (p.p.r.) including the concept ofparallelism in the context of partial continuous functions of type level one in the sense of [Krei], [Sco82], [Ers]. A variety of subrecursive hierarchies with respect top.p.r. is introduced and it turns out that they all coincide.

Is there still any importance of Husserl's Phenomenology for contemporary forms of philosophy of science? A comparison between Phenomenology and a prominent form of such modern philosophy of science, the so-called 'Critical Rationalism' of Karl Popper, may help to answer this question. Therefore, the different levels of argumentation have to be worked out to make the respective arguments applicable to one another. We are arguing for the following thesis: the strategy of corroboration in Critical Rationalism can be justified by (...) means of the phenomenological conception of 'intentionality of consciousness'. A typical example may illustrate how Popper's conception of taking the degree of corroboration as an indicator of the degree of verisimilitude can find its deeper foundation in Husserl's genetic interpretation of ordinary kinds of experience. (shrink)

The paper studies a simply typed term system Mω providing a primitive recursive concept of parallelism in the sense of Plotkin. The system aims at defining and computing partial continuous functionals. Some connections between denotational and operational semantics → for Mω are investigated. It is shown that → is correct with respect to the denotational semantics. Conversely, → is complete in the sense that if a program denotes some number k, then it is reducible to the numeral nk. Restricting to (...) the primitive recursive kernel Rω of Mω, it is shown that → is strongly normalising with uniquely determined normal forms. The twist is the design of fixed point style conversion rules for constants accounting for parallelly bounded parallel search such that correctness and strong normalisation hold. Thereupon, minor alternations to → bring about that every reduction sequence for a program of Rω terminates either in a numeral nk if the program denotes k, or in the term 0 if the program denotes the “undefined” object. Thus, Rω can be considered a primitive recursive version of Plotkin's PA+·. (shrink)

Two simply typed term systems $\sf {PR}_1$ and $\sf {PR}_2$ are considered, both for representing algorithms computing primitive recursive functions. $\sf {PR}_1$ is based on primitive recursion, $\sf {PR}_2$ on recursion on notation. A purely syntactical method of determining the computational complexity of algorithms in $\sf {PR}_i$ , called $\mu$ -measure, is employed to uniformly integrate traditional results in subrecursion theory with resource-free characterisations of sub-elementary complexity classes. Extending the Schwichtenberg and Müller characterisation of the Grzegorczyk classes ${\mathcal{E}}_n$ for $n\ge (...) 3$ , it is shown $\mathcal{E}_{n+1} = \mathcal{R}^n_1 $ for $ n\ge 1 $, where $ \mathcal{R}^n_i$ denotes the \emph{ $n$ th modified Heinermann class} based on $\mu$ . The proof does not refer to any machine-based computation model, unlike the Schwichtenberg and Müller proofs. This is due to the notion of modified recursion lying on top of each other provided by $\mu$ . By Ritchie's result, $\mathcal{R}^1_1$ characterises the linear-space computable functions. Using the same method, a short and straightforward proof is presented, showing that $\mathcal{R}^1_2$ characterises the polynomial time computable functions. Furthermore, the classes $\mathcal{R}^n_2$ and $\mathcal{R}^n_1$ coincide at and above level 2. (shrink)

In Homer’s account of the adventurous journey of Odysseus, the song of the sirens was so appealing and tempting that it lured sailors to their deaths. Warned by the goddess Kirke, Odysseus overcame the trap by plugging his crew’s ears with wax. An archaeo-acoustical research expedition undertaken by members of Humboldt University Berlin made sound propagation experiments at the supposedly historical scene at the Galli Islands where it’s said that the sirens originally sung. At the site we broadcasted both synthetic (...) signals and natural voices via loudspeakers in the direction Odysseus most probably should have approached the Siren’s island. Subjective listening as well as objective acoustic analysis of the recorded signals revealed evidence for a combination of site-specific acoustic effects, which may explain the nature and origin of the song of the sirens in Homer. The local arrangement of the three islands deforms the acoustic signals by amplification and by changes in timbre. Two female singers from the Berlin State Opera were asked to sing differently pitched musical intervals to be tested in the Li Galli environment. The experiment evinced that the first overtones would be merged by the echo of the rocks; yet when singing pure thirds and less consonant intervals, which yield higher orders in the overtone series, the voices appear recognisable as being two. As a result, and particularly because Homer stresses the number of exactly two sirens several times, the evidence of our research supports the musicological theory for a rather early existence of enharmonic tunings and most prominently a two-part polyphonic singing of Greek songs. Given that the rocky formation of the Galli Islands most likely didn’t change during the geological tick of just 2,700 years, we conclude that there has been a real acoustic basis for the myth reported by Homer and that a “song of the Sirens”, most probably based on natural voices, was transformed by the particular acoustic conditions of the landscape in such a way that signals were amplified and sent out in one concrete direction. Based on these results, we continue to discuss further leading acoustic theories that offer new insights into the mythology and which were essential to motivate our expedition in the first place. After all, the question remains open what kind of beings the first emitters of the song might have been. (shrink)

The paper builds on both a simply typed term system ${\cal PR}^\omega$ and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion of partial primitive recursive functional on Scott domains $D_\rho$ supporting a suitable concept of parallelism. Computability on Scott domains seems to entail that Kleene's schema of higher type simultaneous course-of-values recursion (scvr) is not reducible to partial primitive recursion. So extensions ${\cal PR}^{\omega e}$ and PTWP $^e$ are studied that (...) are closed under scvr. The twist are certain type 1 Gödel recursors ${\cal R}_k$ for simultaneous partial primitive recursion. Formally, ${\cal R}_k\vec{g}\vec{H}xi$ denotes a function $f_i \in D_{\iota\to\iota}$ , however, ${\cal R}_k$ is modelled such that $f_i$ is finite, or in other words, a partial sequence. As for PTWP $^e$ , the concept of type $\iota\to\iota$ writable variables is introduced, providing the possibility of creating and manipulating partial sequences. It is shown that the PTWP $^e$ -computable functionals coincide with those definable in ${\cal PR}^{\omega e}$ plus a constant for sequential minimisation. In particular, the functionals definable in ${\cal PR}^{\omega e}$ denoted ${\cal R}^{\omega e}$ can be characterised by a subclass of PTWP $^e$ -computable functionals denoted ${\rm PPR}^{\omega e}$ . Moreover, hierarchies of strictly increasing classes ${\cal R}^{\omega e}_n$ in the style of Heinermann and complexity classes ${\rm PPR}^{\omega e}_n$ are introduced such that $\forall n\ge 0. {\cal R}^{\omega e}_n ={\rm PPR}^{\omega e}_n$ . These results extend those for ${\cal PR}^\omega$ and PTWP [Nig94]. Finally, scvr is employed to define for each type $\sigma$ the enumeration functional $E^\sigma$ of all finite elements of $D_\sigma$. (shrink)

We investigate a simply typed term system ℘R ω aimed at defining partial primitive recursive functionals over arbitrary Scott domains . A hierarchy of complexity classes R n ω for functionals definable in ℘R ω is given based on a hierarchy of term classes ℘R n ωpn denoting the n th class of so-called prenormal terms . They come into play by the key observation that every term t can be transformed by what we call higher type modularization as a (...) kind of inversion of normalization into an αβη equal term t ′ having almost no structural complexity. However, it turns out that normalization of a prenormal term may increase its structural complexity with respect to the classes ℘R n ωpn , and conversely, ground type modularization being still possible may reduce it. Thus the structural complexity of a prenormal term t defined as the least n with t ϵ ℘R n ωpn depends strongly on the representation of t . We present a measure denoted μ = n rel v , ϱ for prenormal terms t to be read as t is of complexity n with valued free variables v and valued type π . It is shown that μ is stable on αβη equal terms and furthermore, μ ⩽ min {n |∃t′ ϵ ℘R n ω pn .t′ = αβη t} . Moreover, if t is in a certain μ- normal form 2, the estimate above is even true with equality, that is μ yields the structural complexity of the maximal modularization of t , clearly the best a purely structural measure can do. μ-normal forms 2 do not always exist. The counterexample we give, however, clearly shows that μ does not only take into account the structural complexity of a prenormal term but also the nature and computationl complexity of the algorithm it represents. (shrink)

The paper studies a domain theoretical notion of primitive recursion over partial sequences in the context of Scott domains. Based on a non-monotone coding of partial sequences, this notion supports a rich concept of parallelism in the sense of Plotkin. The complexity of these functions is analysed by a hierarchy of classes ${\cal E}^{\bot}_n$ similar to the Grzegorczyk classes. The functions considered are characterised by a function algebra ${\cal R}^{\bot}$ generated by continuity preserving operations starting from computable initial functions. Its (...) layers ${\cal R}^{\bot}_n$ are related to those above by showing $\forall n \ge 2.{\cal E}^{\bot}_{n+1} ={\cal R}^{\bot}_n$ , thus generalising results of Schwichtenberg/Müller and Niggl. (shrink)

In literature and the humanities, guilt has the same major importance as in penal law. Due to the anthropocentric legal system, however, guilt is the linchpin par excellence within the framework of penal law. The article confirms this emphasis on guilt through an examination of the constitutional determinants of penal law, the development of the concept of guilt, and also a change in its perspective which has shifted to an emphasis on the purpose of punishment rather than on the reasons (...) for it. Penal law is intended to ensure legal peace and map out a path for reconciliation within society. (shrink)

Este ensaio discute a tensão entre ética e estética (que corresponde à oposição da filosofia da arte e da teoria estética) com a ajuda de três pensadores, que interiorizaram a experiência romântico-moderna, sem que se tornassem suspeitos de qualquer idealismo: Kierkegaard, Musil, Adorno.Palavras-chave: Estética. Ética. Kierkegaard. Musil. Adorno. AbstractThis essay discusses the tension between Ethics and Esthetics (which corresponds to the opposition of Philosophy of Arts and Esthetic Theory) helped by three thinkers, who interiorized the modern-romantic experience, without any suspicion (...) of any idealism: Kiierkegaard, Musil, Adorno.Keywords: Esthetics. Ethics. Kierkegaard. Musil. Adorno. (shrink)

Zentrale Denkfiguren der von Wolfgang Klafki begründeten kritisch-konstruktiven Erziehungswissenschaft werden in diesem Buch aufgegriffen und in ihrem Innovationswert für die wissenschaftliche Pädagogik reflektiert. Namhafte Autorinnen und Autoren unterschiedlicher Subdisziplinen und Generationen vertiefen Klafkis Ansatz theoretisch wie methodisch und öffnen Problemstellungen, die bisher nicht bearbeitet worden sind.

Kann die Kritische Theorie im erziehungswissenschaftlichen und bildungspolitischen Diskurs noch Aktualität beanspruchen? In ihren Beiträgen befassen sich die Autorinnen und Autoren mit einzelnen erziehungs- und bildungstheoretischen Aspekten des aktuellen Diskurses sowie mit pädagogisch relevanten Themen aus dem gesellschaftspolitischen Bereich. Im Fokus steht die Frage, ob die Denkinstrumente der Kritischen Theorie noch zur Analyse von Entwicklungen und zur Aufklärung über Widersprüche im erziehungswissenschaftlichen Diskurs beitragen können.

It is easy to prove in ZF− that a relation R satisfies the maximal condition if and only if its transitive hull R* does; equivalently: R is well-founded if and only if R* is. We will show in the following that, if the maximal condition is replaced by the chain condition, as is often the case in Algebra, the resulting statement is not provable in ZF− anymore . More precisely, we will prove that this statement is equivalent in ZF− to (...) the countable axiom of choice ACω. Moreover, applying this result we will prove that the axiom of dependent choices, restricted to partial orders as used in Algebra, already implies the general form for arbitrary relations as formulated first by Teichmüller and, independently, some time later by Bernays and Tarski. (shrink)