English summary: In this volume, the Munich and Vienna-based theologian Falk Wagner's work in the fields of philosophical theology, sociology and lived religion is taken up for the first time against the backdrop of current theological and philosophical controversies. The essays integrate Wagner's thinking into the history of theology and philosophy in the twentieth century, reconstruct fundamental elements of his philosophical theology between the poles of speculative theology and lived religion, while also highlighting the constellations and context wherein his theology (...) is situated. The authors explore from a work- and problem-historical perspective the contribution of the systematic theologian to the relevant twenty first century debates. German description: Der vorliegende Band thematisiert erstmals vor dem Hintergrund der gegenwartigen theologischen und philosophischen Kontroversen das Gesamtwerk des Munchener und Wiener Theologen Falk Wagner im Spannungsfeld von philosophischer Theologie, Sozialwissenschaften und gelebter Religion. Die einzelnen Beitrage ordnen dessen Denken in die theologie- und philosophiegeschichtliche Entwicklung des 20. Jahrhunderts ein, rekonstruieren grundlegende Aufbauelemente seiner philosophischen Theologie und beleuchten die Konstellationen, in denen seine Theologie steht. Dabei loten die Autoren sowohl in werkgeschichtlicher als auch in problemgeschichtlicher Perspektive den Beitrag des systematischen Theologen fur die theologischen Debatten im 21. Jahrhundert aus. Mit Beitragen von: Christine Axt-Piscalar, Ulrich Barth, Christian Danz, Wilhelm Grab, Kathrin Mette, Michael Murrmann-Kahl, Jan Rohls, Ewald Stubinger, Folkart Wittekind, Kurt Walter Zeidler, Manuel Zelger. (shrink)

In “The Book of the Crown (_Kitāb al-Iklīl_) of pseudo-Rhazes” Oliver Kahl and Henrietta Sharp Cockrell offer a facsimile edition, with annotated English translation and introductory study, of a unique and highly unusual medieval Arabic medical text.

In this programmatic paper we renew the well-known question “What is a proof?”. Starting from the challenge of the mathematical community by computer assisted theorem provers we discuss in the first part how the experiences from examinations of proofs can help to sharpen the question. In the second part we have a look to the new challenge given by “big proofs”.

I show that centered propositions—also called de se propositions, and usually modeled as sets of centered worlds—pose a serious problem for various versions of Lewis's Principal Principle. The problem, put roughly, is that in scenarios like Elga's `Sleeping Beauty' case, those principles imply that rational agents ought to have obviously irrational credences. To solve the problem, I propose a centered version of the Principal Principle. My version allows centered propositions to be objectively chancy.

In this paper, I give an argument for the view that non-fact entities – such as physical objects, abstract objects, events and so on – can ground other entities. Roughly put, the argument is as follows: those who accept this view can provide a more plausible account of the grounds of identity facts than those who deny this view.

In this study, we use a mixed methods research design to investigate how national cultural forces may impede or enhance the positive impact of females’ economic and political empowerment on increasing gender diversity of corporate boards. Using both a longitudinal correlation-based methodology and a configurational approach with fuzzy-set qualitative comparative analysis, we integrate theoretical mechanisms from gender schema and institutional theories to develop a mid-range theory about how female empowerment and national culture shape gender diversity on corporate boards around the (...) world. With our configurational approach, we conceptually and empirically model the complexity that is associated with the simultaneous interdependencies, both complementary and substitutive ones, between female empowerment processes and various cultural dimensions. Our findings contribute unique insights to research focused on board gender diversity as well as provide information for firm decision makers and policymakers about possible solutions for addressing the continuing issue of the underrepresentation of women on corporate boards. (shrink)

This book is a pioneering effort to elaborate a general theory of the human sciences, especially history, and to distinguish these sciences radically from the ...

This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{ the exact proof-theoretic ordinals of these systems are presented.

We give recursion-theoretic characterizations of the counting class \(\textsf {\#P} \), the class of those functions which count the number of accepting computations of non-deterministic Turing machines working in polynomial time. Moreover, we characterize in a recursion-theoretic manner all the levels \(\{\textsf {\#P} _k\}_{k\in {\mathbb {N}}}\) of the counting hierarchy of functions \(\textsf {FCH} \), which result from allowing queries to functions of the previous level, and \(\textsf {FCH} \) itself as a whole. This is done in the style of (...) Bellantoni and Cook’s safe recursion, and it places \(\textsf {\#P} \) in the context of implicit computational complexity. Namely, it relates \(\textsf {\#P} \) with the implicit characterizations of \(\textsf {FPTIME} \) (Bellantoni and Cook, Comput Complex 2:97–110, 1992) and \(\textsf {FPSPACE} \) (Oitavem, Math Log Q 54(3):317–323, 2008), by exploiting the features of the tree-recursion scheme of \(\textsf {FPSPACE} \). (shrink)

This is an entirely new translation of one of the fundamental works in the development of the study of language. Published in 1836, it formed the general introduction to Wilhelm von Humboldt's three-volume treatise on the Kawi language of Java. It is the final statement of his lifelong study of the nature of language, and presents a survey of a great many languages, exploring ways in which their various grammatical structures make them more or less suitable as vehicles of (...) thought and cultural development. Empirically wide-ranging - von Humboldt goes far beyond the Indo-European family of languages - it remains one of the most interesting and important attempts to draw philosophical conclusions from comparative linguistics. (shrink)

I propose a `stage theory’ of groups: a group is a fusion of group-stages, where a group-stage is a plurality of individuals at a world and a time. The stage theory consists of existence conditions, identity conditions, and parthood conditions for groups.

This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{<\alpha};$ the exact proof-theoretic ordinals of these systems are presented.

In 2000, a draft note of David Hilbert was found in his Nachlass concerning a 24th problem he had consider to include in the his famous problem list of the talk at the International Congress of Mathematicians in 1900 in Paris. This problem concerns simplicity of proofs. In this paper we review the traces of this problem which one can find in the work of Hilbert and his school, as well as modern research started on it after its publication. We (...) stress, in particular, the mathematical nature of the problem.1. (shrink)

Falk Wagner was the leading Hegelian in late 20th century German Protestant theology. Wagner who had studied philosophy with Theodor W. Adorno and Wolfgang Cramer in Frankfurt am Main and Systematic Theology with Wolfhart Pannenberg at the University of Mainz taught Systematic Theology at the Universities of Munich and, since 1988, Vienna. He published several influential books. In his lectures and seminars he frequently handed out short theory papers to his students which should serve as the basis for debate. The (...) five texts presented here for the first time deal with the problems of individual in society and of the modern history of theology, with the doctrine of God, with the significance of the Bible for the systematic theology and finally with the concept of „Subjektivität“ in G. W. F. Hegel’s philosophy. These texts are an essential source for the development of Wagner’s thought when teaching at the university of Munich until 1988. (shrink)

This paper deals with universes in explicit mathematics. After introducing some basic definitions, the limit axiom and possible ordering principles for universes are discussed. Later, we turn to least universes, strictness and name induction. Special emphasis is put on theories for explicit mathematics with universes which are proof-theoretically equivalent to Feferman's.

Die Gründe, die C. I. Lewis [5], [6] bewogen haben, neben der gewöhnlichen Implikation eine strikte Implikation einzuführen, sind bekannt. In der vorliegenden Arbeit wird aus ähnlichen Gründen eine strenge Implikation eingeführt, die jedoch einen engeren Begriff darstellt als die strikte Implikation. Mit einer Arbeit von Arnold Schmidt [7] hat meine nur geringe Berührungspunkte, da der Verfasser sich mit der strikten Implikation beschäftigt. Für diese wird ein relativ einfaches Axiomensystem angegeben und gezeigt, wie man durch geeignete Definitionen von Notwendigkeit und (...) Möglichkeit bei eventueller Hinzufügung von Zusatzaxiomen die bekannten Systeme des Modalitätenkalküls erhält. Den Hauptteil meiner Arbeit bildet die Einführung meines Implikationsbegriffs; im zweiten Teil der Arbeit komme ich dann auf dieser Basis auch zu einer Einführung der Modalitäten.Um die Art der Einführung des Kalküls zu motivieren, wollen wir kurz auf das eingehen, das uns mehr oder weniger deutlich vorschwebt, wenn wir von der strengen Implikation sprechen. Die strenge Implikation, die wir durchA → Bwiedergeben, soll ausdrücken, daß zwischenAundBein logischer Zusammenhang besteht, daß der Inhalt vonBein Teil des Inhaltes vonAist, oder wie wir es sonst ausdrücken wollen. Das hat mit der Richtigkeit oder Falschheit vonAundBnichts zu tun. So würde man die Allgemeingültigkeit einer FormelA→ (B → A) ablehnen, da sie den Schluß vonAaufB → Aeinschließt und da die Richtigkeit vonAnichts damit zu tun hat, ob zwischenBundAein logischer Zusammenhang besteht. (shrink)

Nietzsche called The Gay Science "the most personal of all my books." It was here that he first proclaimed the death of God -- to which a large part of the book is devoted -- and his doctrine of the eternal recurrence. Walter Kaufmann's commentary, with its many quotations from previously untranslated letters, brings to life Nietzsche as a human being and illuminates his philosophy. The book contains some of Nietzsche's most sustained discussions of art and morality, knowledge and truth, (...) the intellectual conscience and the origin of logic. Most of the book was written just before Thus Spoke Zarathustra, the last part five years later, after Beyond Good and Evil. We encounter Zarathustra in these pages as well as many of Nietzsche's most interesting philosophical ideas and the largest collection of his own poetry that he himself ever published. Walter Kaufmann's English versions of Nietzsche represent one of the major translation enterprises of our time. He is the first philosopher to have translated Nietzsche's major works, and never before has a single translator given us so much of Nietzsche. (shrink)

Pars 1. Philosophia generalis -- pars 2. Logica -- pars 3. Metaphysica -- pars 4. Ethica et politica -- pars 5. De anima -- pars 6. Philosophia naturalis -- pars 7. Doxoscopia -- pars 8. Theses academicae. T. 1. Index disputationum: Aagardus- Maes. T. 2. Maestlinus-Zyra. Opera anonyma. T. 3. Index respondentium -- Pars 9. Syllabus auctorum.