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)

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.

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.

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.

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)

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.

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.

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.

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.

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

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.

In this paper we summarize some results about sets in Frege structures. The resulting set theory is discussed with respect to its historical and philosophical significance. This includes the treatment of diagonalization in the presence of a universal set.

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

During his time at the Institute for Advanced Study, Kurt Gödel became a close friend of Albert Einstein, and in particular studied the theory of relativity. One result of this study was the discovery of the so-called Gödel universe (strictly speaking, it is about a whole class of universes; the singular form stands here as a collective noun.), a model of Einstein’s field equations of general relativity in which no absolute time can be defined. Theoretically, time travel would be possible (...) in such a universe. (shrink)

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.

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.