This book offers an annotated English translation of one of the oldest pharmacological works preserved in the Arabic language, viz. The small dispensatory of Sābūr ibn Sahl . The translation is framed by an introductory study and various glossaries.

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.

Die Zeit selbst lag nun tot darnieder: Die Stadt Assiut und ihre Nekropolen nach westlichen Reiseberich- ten des 17. bis 19. Jahrhunderts. Konstruktion, Destruktion und Rekonstruktion. By Jochem Kahl. The Asyut Project, vol. 5. Wiesbaden: Harrasso-witz Verlag, 2013. Pp. x + 438 + *162, illus. €68.

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.

We study the logical relationship of various forms of induction, as well as quantification operators in applicative theories. In both cases the introduced notion of $\hbox{\sf N}$ -strictness allows us to obtain the appropriate results.

This paper provides a phenomenological analysis of postphenomenological philosophy of technology. While acknowledging that the results of its analyses are to be recognized as original, insightful, and valuable, we will argue that in its execution of the empirical turn, postphenomenology forfeits a phenomenological dimension of questioning. By contrasting the postphenomenological method with Heidegger’s understanding of phenomenology as developed in his early Freiburg lectures and in Being and Time, we will show how the postphenomenological method must be understood as mediation theory, (...) which adheres to what Heidegger calls the theoretical attitude. This leaves undiscussed how mediation theory about ontic beings involves a specific ontological mode of relating to beings, whereas consideration of this mode is precisely the concern of phenomenology. This ontological dimension is important to consider, since we will argue that postphenomenology is unwittingly technically mediated in an ontological way. The upshot of this is that in its dismissal of Heidegger’s questioning of technology as belonging to “classical philosophy of technology,” postphenomenology implicitly adheres to what Heidegger calls technology as Enframing. We argue that postphenomenology overlooks its own adherence to the theoretical attitude and ultimately to Enframing, and we will conclude with calling for a phenomenological questioning of the dimension that postphenomenology presently leaves unthought, meaning that we will develop a plea for a rehabilitation of the ontological dimension in the philosophy of technology. (shrink)

In this paper, we argue that the Anthropocene is relevant for philosophy of technology because it makes us sensitive to the ontological dimension of contemporary technology. In §1, we show how the Anthropocene has ontological status insofar as the Anthropocenic world appears as managerial resource to us as managers of our planetary oikos. Next, we confront this interpretation of the Anthropocene with Heidegger’s notion of “Enframing” to suggest that the former offers a concrete experience of Heidegger’s abstract, notoriously difficult, and (...) allegedly totalitarian concept. In consequence, technology in the Anthropocene cannot be limited to the ontic domain of artefacts, but must be acknowledged to concern the whole of Being. This also indicates how the Anthropocene has a technical origin in an ontological sense, which is taken to imply that the issue of human responsibility must be primarily understood in terms of responsivity. In the final section, we show how the Anthropocene is ambiguous insofar as it both accords and discords with what Heidegger calls the “danger” of technology. In light of this ambiguity, the Earth gains ontic-ontological status, and we therefore argue that Heidegger’s unidirectional consideration concerning the relation between being and beings must be reoriented. We conclude that the Anthropocene entails that Heidegger’s consideration of the “saving power” of technology as well as the comportment of “releasement” must become Earthbound, thereby introducing us to a saving Earth. (shrink)

In this paper we inquire into the fundamental assumptions that underpin the ideal of the Bio-Based Economy as it is currently developed . By interpreting the BBE from the philosophical perspective on economy developed by Georges Bataille, we demonstrate how the BBE is fully premised on a thinking of scarcity. As a result, the BBE exclusively frames economic problems in terms of efficient production, endeavoring to exclude a thinking of abundance and wastefulness. Our hypothesis is that this not only entails (...) a number of internal tensions and inconsistencies with regard to the ideal of BBE, but ultimately undermines the ideal itself, by pushing purported regenerativity into a cataclysmic and terminal discharge. We here point to the strategies that the BBE employs in this exclusion, the fundamental assumptions regarding the relation between energy and economy that underpin this endeavor, as well as to the resulting inconsistencies and their catastrophic consequences. We finally argue for the introduction of the presently excluded question of abundance and wastefulness and explore the implications of such a question for the ideal of a zero-waste humanity. (shrink)

This commentary attempts to contribute to a further elucidation of Dominic Smith’s call for a rehabilitation of the transcendental in philosophy of technology. On the one hand, it focuses on why such a rehabilitation is deemed necessary, particularly in light of Smith’s diagnosis of a contemporary tendency towards reification and presentism. Postphenomenology is discussed as a challenge and invitation to further clarify the stakes. On the other hand, this commentary inquires into how Smith envisages the achievement of a rehabilitation of (...) the transcendental. Further attention is given to Smith’s idea of a renewed sense of the transcendental. Following his own cues and situating this renewal in the philosophical tradition, the question whether the involved philosophical praxis should be primarily understood as political is brought to the fore. In so doing, Smith’s reading and extension of Luciano Floridi’s attempts to move beyond Kant receive special attention, since the transcendental is here understood in terms of conditions of feasibility. The challenge put to Smith is to contrast this approach with social-constructivist approaches on the one hand, and Stiegler’s thought regarding technics and the transcendental on the other. Finally, Smith’s commitment to taking exception is analyzed to ask how and which logic is at play there. (shrink)

We discuss Lorenzen’s consistency proof for ramified type theory without reducibility, published in 1951, in its historical context and highlight Lorenzen’s contribution to the development of modern proof theory, notably by the introduction of the ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}-rule.

In this chapter, we develop the claim that today, in light of the distributed catastrophe called the Anthropocene, the question of ethics first and foremost becomes a question of economy and energy. Supplementing existing ethical approaches to the question of economy and energy, we offer what we understand to be a more fundamental economical interpretation of the Anthropocene by way of Georges Bataille’s philosophical thought on economy. We will argue that inasmuch as it results from what has come to be (...) known as “the great acceleration”, the Anthropocene can be understood as a consequence of an economic consideration of energy that is oriented towards scarcity and utility, which is to say to Bataille’s “restricted economy”. Additionally, we show how for Bataille, such a ‘restricted’ consideration of energy is an ethical affair, since it misunderstands the constitutive abundance of energy associated with “the general economy”, thereby simultaneously and catastrophically misunderstanding the ethos of human existence in servile terms of labour and efficiency. Finally, we investigate how Bataille’s concept of sovereignty seeks to surpass such servility and efficiency by way of a consideration of energy that is oriented towards expenditure. We offer a reinterpretation of the ethics of sovereignty by confronting it with our contemporary deteriorating oikos inhabited in the Anthropocene. We close by arguing that notwithstanding its irrevocable difficulties, the question of ethics in the Anthropocene must be considered as an energetic ethics of sovereignty. (shrink)

This paper offers a twofold ontological conceptualization of technology in the Anthropocene. On the one hand, we aim to show how the Anthropocene occasions an experience of our inescapable inclusion in the technological structuring of reality that Martin Heidegger associates with cybernetics. On the other hand, by confronting Heidegger’s thought on technology with Georges Bataille’s consideration of technological existence as economic and averted existence, we will criticize Heidegger’s account by arguing that notwithstanding its inescapable inclusion in cybernetics, technology in the (...) Anthropocene itself fosters an experience of what remains excluded. We conclude by indicating how such an experience is relevant for contemporary philosophical investigation of technology. (shrink)

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

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

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.

Name der Zeitschrift: Das Mittelalter Jahrgang: 21 Heft: 2 Seiten: 295-331.

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.

In this paper, we discuss the question how Peano’s Arithmetic reached the place it occupies today in Mathematics. We compare Peano’s approach with Dedekind’s account of the subject. Then we highlight the role of Hilbert and Bernays in subsequent developments.

The vague idea of likening soccer to religion, specifically in watching soccer as a fan, is widespread spread in both everyday life media and academia. The slightly muddled discourse can be clarified by focusing on two variations, differentiating between sport in religion and sport as religion. Concentrating on sport as a form of religious activity and experience, it seems obvious that one’s theoretical framework here connects Durkheim’s elevation of formerly profane objects to a Sacred with concepts of individualization and secularization. (...) Yet, taking a critical look from the perspective of Luckmann’s theory of invisible or private religion, religion ought to be more narrowly conceived as a specific experience of transcendency. Employing Berger, it is plausible to employ a different rationale, leading to the conclusion that fandom constitutes a mimicry-religion. Mimicry-religion adheres to the inclination of the Self to understand his or her experience as religious for the need of a nomos, a legitimization of social institutionalizations. (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)

In this paper, we discuss the question how Peano’s Arithmetic reached the place it occupies today in Mathematics. We compare Peano’s approach with Dedekind’s account of the subject. Then we highlight the role of Hilbert and Bernays in subsequent developments.