A close analysis of truth and freedom in Heidegger’s Beiträge zur Philosophie is offered, demonstrating that an engagement with Friedrich Wilhelm Joseph vonSchelling is decisive in bringing Heidegger to an understanding of Dasein in terms of freedom, community, culture, and history. The controversial claim that a reconsideration of German Idealism can provide a new way of accessing Heidegger’s later work is strongly supported in this essay, demonstrating that the payoff of this approach is vast as well as highly coherent with (...) many recent developments in Heidegger scholarship which focus on practical philosophy. (shrink)

This paper provides a discussion to which extent the Mathematician David Hilbert could or should be considered as a Philosopher, too. In the first part, we discuss some aspects of the relation of Mathematicians and Philosophers. In the second part we give an analysis of David Hilbert as Philosopher.

This book offers an Arabic edition, English translation, study and glossaries of ʿUbaidallāh Ibn Buḫtīšūʿ’s important work on apparent death; an appendix moreover provides the Arabic and Hebrew recensions of ʿUbaidallāh’s lost Greek _Vorlage_.

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”.

Mario Bunge forcefully argues for Dual Axiomatics, i.e., an axiomatic method applied to natural sciences which explicitly takes into account semantic aspects of the concepts involved in an axiomatization. In this paper we will discuss how dual axiomatics is equally important in mathematics; both historically in Hilbert and Bernays’s conception as well as today in a set-theoretical environment.

Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen’s original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer (...) science such as automated theorem proving and type theory. (shrink)

We give an overview of recent results in ordinal analysis. Therefore, we discuss the different frameworks used in mathematical proof-theory, namely "subsystem of analysis" including "reverse mathematics", "Kripke-Platek set theory", "explicit mathematics", "theories of inductive definitions", "constructive set theory", and "Martin-Löf's type theory".

This book offers an Arabic edition and English translation of a recension of Sābūr ibn Sahl's famous dispensatory as prepared by the physicians of a Baghdad hospital around the middle of the 11th century CE.

This book offers a critical Arabic edition, annotated English translation, introductory study, and two-way glossaries of a pharmacological masterpiece composed around the middle of the 12th century CE in Baghdad by the Nestorian physician Ibn at-Tilmīḏ.

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)

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 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 draw from resource dependence and institutional theories to explore how board characteristics associated with directors’ capacities to provide resources and legitimacy (i.e., board size, the number of non-executive, interlocking, and female directors) along with regulative, normative, and cultural-cognitive institutional conditions combine to shape firm environmental, social, and governance (ESG) performance. Using a process of configurational theorizing with fuzzy set qualitative comparative analysis and data from firms in 32 countries, we identify multiple equifinal configurations that are associated with high and (...) low ESG performance. We find that high and low ESG performance have different drivers due to complementarities among the presence and absence of board characteristics. Our results also show that the effectiveness (or not) of the bundles of boards’ characteristics for ESG performance varies across institutional contexts. By leveraging these findings to construct a typology of board archetypes that lead to high and low ESG performance, we offer novel theoretical and empirical insights to scholars as well as implications for practice. (shrink)

In this note, we review paradoxes like Russell’s, the Liar, and Curry’s in the context of intuitionistic logic. One may observe that one cannot blame the underlying logic for the paradoxes, but has to take into account the particular concept formations. For proof-theoretic semantics, however, this comes with the challenge to block some forms of direct axiomatizations of the Liar. A proper answer to this challenge might be given by Schroeder-Heister’s definitional freedom.

In his introductory paper to first-order logic, Jon Barwise writes in the Handbook of Mathematical Logic :[T]he informal notion of provable used in mathematics is made precise by the formal notion provable in first-order logic. Following a sug[g]estion of Martin Davis, we refer to this view as Hilbert’s Thesis.This paper reviews the discussion of Hilbert’s Thesis in the literature. In addition to the question whether it is justifiable to use Hilbert’s name here, the arguments for this thesis are compared with (...) those for Church’s Thesis concerning computability. This leads to the question whether one could provide an analogue for proofs of the concept of partial recursive function. (shrink)

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)

"Each nation can do well, as in the life of individuals, only if things go equally well in all of her neighboring nations; the life of sciences is similar to that of states whose interest demands that everything be in order within individual states as properly as their relations be in good order among themselves. Understanding this correctly, the most important carriers of mathematical thoughts have always shown great interest in the law and order in neighboring sciences and, above all (...) for the benefit of mathematics, have cultivated the relations to the neighboring sciences, in particular to physics and epistemology. The essence of these relations and the ground of their fertility will be made most distinct, I believe, if I sketch to you that general method of inquiry which appears to grow more and more significant in modern mathematics; the axiomatic method, I mean." (David Hilbert, 1917). (shrink)

The paper lists all the predictions and observations of eclipses of Jupiter's satellites 1668–1678 and compares them with modern computations of the these eclipses by J. H. Lieske. We discuss Roemer's method that led to his discovery of the retardment of light and finally we shall interpret Roemer's calculations.

This anthology of articles provides contemporary international feminist perspectives on issues of identity, agency, and difference as they pertain to both feminist politics in particular, and contemporary western politics more generally.

We give a survey on truth theories for applicative theories. It comprises Frege structures, universes for Frege structures, and a theory of supervaluation. We present the proof-theoretic results for these theories and show their syntactical expressive power. In particular, we present as a novelty a syntactical interpretation of ID1 in a applicative truth theory based on supervaluation.

Solidarity is one of the central concepts in social theory and has gained much attention due to the multiple challenges that the EU has been facing the last decade and due to the most recent COVID-19 pandemic. Although the debate on the nature and conditions of solidarity has been revitalized, there remains a large variety in how to conceptualize solidarity. In contrast to other approaches, we do not conceive solidarity as normative concept, but as descriptive–analytical one. Therefore, we provide a (...) theory-based definition that is prone to capture the empirical dimensions of solidarity. Accounting for the dynamic and interactive character of solidarity as subject to permanent societal and political renegotiation, we conceptualize solidarity from a discourse perspective and follow a multilevel design breaking down the understandings of solidarity on different levels. This approach contributes to the research of solidarity that is interested to capturing the ‘real world’ dimensions of solidarity. (shrink)

In this paper, we study a concept of universe for a truth predicate over applicative theories. A proof-theoretic analysis is given by use of transfinitely iterated fixed point theories . The lower bound is obtained by a syntactical interpretation of these theories. Thus, universes over Frege structures represent a syntactically expressive framework of metapredicative theories in the context of applicative theories.