Aus der vielsprachigen Korrespondenz des Aufklärers, Metaphysikers, Religionsphilosophen und Literaturwissenschaftlers Moses Mendelssohn liegen bisher 1038 Briefe im Druck vor. Der Band "Einsichten" bietet eine repräsentative Auswahl, die Mendelssohns wissenschaftliche Vielseitigkeit, geistige Produktivität und menschliche Größe beleuchtet. Sie zeigt den "Sokrates des 18. Jahrhunderts" als bedeutenden Denker seiner Epoche und Wegbereiter wesentlicher Erkenntnisse und Entwicklungen.

Moses Maimonides, known by the acronym "Rambam," was unquestionably the foremost intellectual figure of medieval Judaism. Born in Cordova, Spain, forced at an early age to conceal his faith, he emigrated to Morocco and then Palestine before settling in Egypt, where financial necessity compelled him to study medicine and where he eventually became personal physician to Saladin. Although his medical skills were renowned and his writings in this field were widely studied throughout the Western world in the following centuries, (...) Maimonides' primary interest was theology. He devoted ten years to preparing Mishnah Torah and fifteen years to The Guide to the Perplexed - the first written in Hebrew, the second in Arabic. These studies of Jewish law were first considered radical in their efforts to reconcile religious and scientific thought, but later became pillars of traditional Jewish faith. Dr. Lenn Goodman has prepared new translations from these works, arranging the extensive excerpts by topic to focus on Maimonides' principal contributions to philosophy. These are accompanied by commentary and analysis, clarifying the complexities of his thought and providing the historical and religious background required by the modern lay reader. The introduction details Rambam's life and evaluates his role in history and theology. The study of Maimonides is essential to the understanding of Judaism and Western culture. Rambam makes his writings accessible to those who cannot work from the original texts, and meaningful to those who have not had extensive previous exposure to medieval theology. — Publisher description. (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 “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.

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.

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.

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)

In seiner Zeit am Institute of Advanced Study wurde Kurt Gödel ein enger Freund von Albert Einstein und hat sich insbesondere mit der Relativitätstheorie beschäftigt. Ein Ergebnis dieser Untersuchung war die Entdeckung des sogenannten Gödel-Universums (Genau genommen handelt es sich um eine ganze Klasse von Universen; die Singularform steht hier als Kollektivum.), einem Modell der Einsteinschen Feldgleichungen der allgemeinen Relativitätstheorie, in dem sich keine absolute Zeit definieren lässt – theoretisch wären in einem solchen Universum Zeitreisen möglich.

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

In this paper we introduce applicative theories which characterize the polynomial hierarchy of time and its levels. These theories are based on a characterization of the functions in the polynomial hierarchy using monotonicity constraints, introduced by Ben-Amram, Loff, and Oitavem.

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.

Es ist bekannt, dass Kurt Gödel im „mathematischen Realismus“ seine philosophische Grundposition wiedergegeben sah. Zielsetzung dieses Essays ist es zu zeigen, dass sich auch umgekehrt ein mathematischer Realismus praktisch zwangsläufig als eine Konsequenz aus dem Unvollständigkeitssatz ergibt. Im Weiteren zeigt sich damit eine unüberwindliche Hürde für eine reduktionistische Mathematik.

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.

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.

The goal of this paper is to provide a general discussion about the legitimacy of corporate social responsibility. Given that social responsibility projects entail costs, it is not always obvious under what precise conditions managers will have a responsibility to engage in activities primarily designed to promote societal goals.In this paper we discuss four distinct criteria for evaluating the legitimacy of corporate projects for institutionalizing social responsibility.

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

Wayne Norman and Chris MacDonald launch a strong attack against Triple Bottom Line or 3BL accounting in their article “Gettingto the Bottom of ‘Triple Bottom Line’” (2004). This response suggests that, while limitations to 3BL accounting do exist, the critique of Norman and MacDonald is deeply flawed.

Philosophers generally agree that meaningful ethical statements are universal in scope. If so, what sense is there to speak about a business ethics particular to Judaism? Just as a Jewish algebra and a Jewish physics are contradictions in terms, so too, is the notion of a particularly Jewish business ethics. The goal of this paper is to deny the above assertion and to explore the potentially unique characteristic of a Jewish business ethics. Ethics, in the final analysis, is not like (...) algebra or physics. Specifically, it is argued here that – in terms of substance – Jewish business ethics differs from secular approaches in three very specific ways. Jewish ethics: (1) recognizes God as the ultimate source of value, (2) acknowledges the centrality of the community, (3) and holds out the promise that men and women (living in community) can transform themselves. We define Jewish ethics as the interpretation of the written and oral Torah to determine what God commands us to be and to do. The paper carefully explores this definition and examines its specific implications for modern business ethics. (shrink)

This superb abridgement and annotated translation of Maimonides' monumental work includes discussions of divine language, the scope and limits of human knowledge, cosmological doctrines concerning the creation or eternity of the world, prophecy and providence, the nature and purpose of divine law, and moral and political philosophy.

“[T]here is something rotten at the heart of medicine” —this is one of the central statements of Jeffrey Paul Bishop in his book The Anticipatory Corpse. Medicine, Power and the Care of the Dying. The obvious, if somewhat morbid, thought that “rotten” would refer to the decaying body as the central subject of investigation is, however, misleading. Instead, Bishop aims to demonstrate that the modern trend of medicalizing dying and death is the wrong way.The book explores contemporary medicine’s practices, their (...) historical evolvement, and their underpinnings with regard to the care of the dying. Informed by Foucault’s genealogy of medicine, the book argues that the dead body has become the epistemologically normative body for medicine: medical knowledge of the living body is derived from investigating the dead body. With the help of autopsies, medicine has learned to view life as “matter in motion” and people as moving machines with interchangeable parts. Furthermore, medicine has .. (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, 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_.

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.