This statement by the late Franz Rosenthal is, in a sense, the uniting theme of the present volume's 35 articles by renowned scholars of Islamic Studies, Middle ...

Averroes defended philosophy by returning to the true Aristotle. For this purpose, Aristotle's book in which he explained the eternity, uniqueness and movement of the universe, occupied a place of special importance. But the Aristotelian philosopher had a hard time holding his own in the face of contradictions within the book and with respect to Aristotle's later works. In his early Compendium, later Paraphrase, and final Long Commentary of De Caelo, Ibn Rushd continued the efforts of the Hellenistic commentators in (...) order to integrate all the elements of his doctrine into a unified system, to harmonize his early cosmology with his later Metaphysics and to uphold his models of homocentric planetary spheres against the mathematical paradigm of Ptolemaic astronomy. By insisting throughout on demonstrative arguments based on rational principles, he asserted the philosophers' claim to irrefutable truth. (shrink)

The fame of the Jacobite Christian Abu Zakariyya Yahya ibn ''Adi (893 bis 974) as in influential philosopher and as en eminent apologist of the Christian faith has been founded on reputation rather than on the study of his work. When Augustin Perier compiled the first list of his writings in 1920, most of his philosophical works were believed to be lost. Most recent publications have enabled us to appraise his merits as a translator an commentator of Aristotle. But only (...) a few of his philosophical monographs were available until an important collection of his treatises was discovered inthe libraries of Tehran. This. at last, has enabled us to study in detail his contribution to logic, his treatment of physical and metaphysical problems, and his position on questions of Muslim "kalam". The Monophysite theology of Yahya ibn ''Adi, on the other hand, though better known through the studies of G Graf and A. Perier, still awaits renewed examination. The most important works in this field have not even been published. So the new inventory of his writings is intended to provide the basis for a reassessment of his merits as an Aristotelean as well as a Christian thinker.The study contains a survey of biographical data, detailed bibliographical information on manuscripts and printed works and summaries of most the unpublished texts. The fame of the Jacobite Christian Abu Zakariyya Yahya ibn ''Adi (893 bis 974) as in influential philosopher and as en eminent apologist of the Christian faith has been founded on reputation rather than on the study of his work. When Augustin Perier compiled the first list of his writings in 1920, most of his philosophical works were believed to be lost. Most recent publications have enabled us to appraise his merits as a translator an commentator of Aristotle. But only a few of his philosophical monographs were available until an important collection of his treatises was discovered inthe libraries of Tehran. This. at last, has enabled us to study in detail his contribution to logic, his treatment of physical and metaphysical problems, and his position on questions of Muslim "kalam". The Monophysite theology of Yahya ibn ''Adi, on the other hand, though better known through the studies of G Graf and A. Perier, still awaits renewed examination. The most important works in this field have not even been published. So the new inventory of his writings is intended to provide the basis for a reassessment of his merits as an Aristotelean as well as a Christian thinker.The study contains a survey of biographical data, detailed bibliographical information on manuscripts and printed works and summaries of most the unpublished texts. The fame of the Jacobite Christian Abu Zakariyya Yahya ibn ''Adi (893-974) as in influential philosopher and as en eminent apologist of the Christian faith has been founded on reputation rather than on the study of his work. When Augustin Perier compiled the first list of his writings in 1920, most of his philosophical works were believed to be lost. Most recent publications have enabled us to appraise his merits as a translator an commentator of Aristotle. But only a few of his philosophical monographs were available until an important collection of his treatises was discovered inthe libraries of Tehran. This. at last, has enabled us to study in detail his contribution to logic, his treatment of physical and metaphysical problems, and his position on questions of Muslim "kalam". The Monophysite theology of Yahya ibn ''Adi, on the other hand, though better known through the studies of G Graf and A. Perier, still awaits renewed examination. The most important works in this field have not even been published. So the new inventory of his writings is intended to provide the basis for a reassessment of his merits as an Aristotelean as well as a Christian thinker.The study contains a survey of biographical data, detailed bibliographical information on manuscripts and printed works and summaries of most the unpublished texts. (shrink)

The reception of the rational sciences, scientific practice, discourse and methodology into Arabic Islamic society proceeded in several stages of exchange with the transmitters of Iranian, Christian-Aramaic and Byzantine-Greek learning. Translation and the acquisition of knowledge from the Hellenistic heritage went hand in hand with a continuous refinement of the methods of linguistic transposition and the creation of a standardized technical language in Arabic: terminology, rhetoric, and the genres of instruction. Demonstration more geometrico, first introduced by the paradigmatic sciences-mathematics, astronomy, (...) mechanics-and adopted by philosophers embracing the cosmology of Neoplatonism, was complemented and superseded by the methods of syllogistic demonstration. Faced with the establishment of philosophy as a demonstrative science, which claimed absolute and universal knowledge, even the hermeneuti. (shrink)

The contributions in this volume offer the first comprehensive effort to describe and analyse the collection, classification, presentation and methodology of information in the knowledge society of medieval Islam, as well as the rational sciences of Hellenistic origin.

Averroes the philosopher was the Commentator of Aristotle. In this, the project of his life coincided with the perception of his contemporary readers & with the esteem governing four centuries of European Aristotelianism. It has been the purpose of the 4th Symposium Averroicum to contribute to a better understanding of this philosophy: both on the basis of Averroes' works & in the light of his sources. The Symposium, held in conjunction with the 6th Editors Conference of the Averrois Opera, brought (...) together eminent scholars & researchers on Averroes & adjacent areas. Their contributions are presented in four sections: * The Project of Averroes * Averroes & the Hellenistic Commentators * Averroes, the Commentator * Averroes & the Latin Tradition A bibliography of editions & contributions to the text is appended (to date 1998). (shrink)

The transmission of Greek learning to the Arabic-speaking world paved the way to the rise of Arabic philosophy. This volume offers a deep and multifarious survey of transmission of Greek philosophy through the schools of late Antiquity to the Syriac-speaking and Arabic-speaking worlds.

A new approach to Hume's problem of induction that justifies the optimality of induction at the level of meta-induction. Hume's problem of justifying induction has been among epistemology's greatest challenges for centuries. In this book, Gerhard Schurz proposes a new approach to Hume's problem. Acknowledging the force of Hume's arguments against the possibility of a noncircular justification of the reliability of induction, Schurz demonstrates instead the possibility of a noncircular justification of the optimality of induction, or, more precisely, of (...) meta-induction (the application of induction to competing prediction models). Drawing on discoveries in computational learning theory, Schurz demonstrates that a regret-based learning strategy, attractivity-weighted meta-induction, is predictively optimal in all possible worlds among all prediction methods accessible to the epistemic agent. Moreover, the a priori justification of meta-induction generates a noncircular a posteriori justification of object induction. Taken together, these two results provide a noncircular solution to Hume's problem. Schurz discusses the philosophical debate on the problem of induction, addressing all major attempts at a solution to Hume's problem and describing their shortcomings; presents a series of theorems, accompanied by a description of computer simulations illustrating the content of these theorems (with proofs presented in a mathematical appendix); and defends, refines, and applies core insights regarding the optimality of meta-induction, explaining applications in neighboring disciplines including forecasting sciences, cognitive science, social epistemology, and generalized evolution theory. Finally, Schurz generalizes the method of optimality-based justification to a new strategy of justification in epistemology, arguing that optimality justifications can avoid the problems of justificatory circularity and regress. (shrink)

The negative aim of this paper is to identify shortcomings in received theories. First, we criticize approaching audiences, and large gatherings more general, in categories revolving around the notion of the crowd. Second, we show how leading paradigms in emotion research restrict research on the social-relational dynamics of emotions by reducing them to physiological processes like emotional contagion or to cognitive processes like social appraisal. Our positive aim is to offer an alternative proposal for conceptualizing emotional dynamics in audiences. First, (...) we offer a notion of emotional sharing for studying the social-relational dynamics of emotions. Second, we propose a working concept of audience as a dynamic and dispersed social collective. Finally, we bring these elements together in the description of two scenes of jubilation. (shrink)

Through a wide-ranging international collection of papers, this volume provides theoretical and historical insights into the development and application of phenomenological sociology and ethnomethodology and offers detailed examples of research into social phenomena from these standpoints. All the articles in this volume join together to testify to the enormous efficacy and potential of both phenomenological sociology and ethnomethodology.

This edited volume offers a new approach to understanding social conventions by way of Martin Heidegger. It connects the philosopher's conceptions of the anyone, everydayness, and authenticity with an analysis and critique of social normativity. Heidegger’s account of the anyone is ambiguous. Some see it as a good description of human sociality, others think of it as an important critique of modern mass society. This volume seeks to understand this ambiguity as reflecting the tension between the constitutive function of conventions (...) for human action and the critical aspects of conformism. It argues that Heidegger’s anyone should neither be reduced to its pejorative nor its constitutive dimension. Rather, the concept could show how power and norms function. This volume would be of interest to scholars and students of philosophy and the social sciences who wish to investigate the social applications of the works of Martin Heidegger. (shrink)

In this article we discuss the notion of a linguistic universal, and possible sources of such invariant properties of natural languages. In the first part, we explore the conceptual issues that arise. In the second part of the paper, we focus on the explanatory potential of horizontal evolution. We particularly focus on two case studies, concerning Zipf's Law and universal properties of color terms, respectively. We show how computer simulations can be employed to study the large scale, emergent, consequences of (...) psychologically and psychologically motivated assumptions about the working of horizontal language transmission. (shrink)

Jäger, G., Fixed points in Peano arithmetic with ordinals, Annals of Pure and Applied Logic 60 119-132. This paper deals with some proof-theoretic aspects of fixed point theories over Peano arithmetic with ordinals. It studies three such theories which differ in the principles which are available for induction on the natural numbers and ordinals. The main result states that there is a natural theory in this framework which is a conservative extension of Peano arithmeti.

In this article we discuss the notion of a linguistic universal, and possible sources of such invariant properties of natural languages. In the first part, we explore the conceptual issues that arise. In the second part of the paper, we focus on the explanatory potential of horizontal evolution. We particularly focus on two case studies, concerning Zipf’s Law and universal properties of color terms, respectively. We show how computer simulations can be employed to study the large scale, emergent, consequences of (...) psychologically and psychologically motivated assumptions about the working of horizontal language transmission. (shrink)

We study and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the realm of traditional set theory and introduce a new and interesting extension of which is conservative over.

Alexander Moritzi is one of the most obscure figures in the early history of evolutionary thought. Best known for authoring a flora of Switzerland, Moritzi also published Réflexions sur l’espèce en histoire naturelle, a remarkable book about evolution with an overtly materialist viewpoint. In this work, Moritzi argues that the generally accepted line between species and varieties is artificial, that varieties can over time give rise to new species, and that deep time and turnover of species in the fossil record (...) clearly support an evolutionary interpretation of biological diversity. Moritzi was also a gradualist and viewed relationships between taxa as best represented by a ramifying tree. Although Réflexions was the first full book to be written on the topic of evolution following Lamarck’s Philosophie zoologique, Moritzi’s evolutionist contribution was stillborn, read by almost no one in his lifetime and ultimately absent from the many historiographies of evolutionary thought. This is unfortunate since many of the arguments Moritzi marshaled on behalf of an evolutionary explanation of life can be found in subsequent transmutationist writings by Frédéric Gérard, Robert Chambers, Henri Lecoq, Baden Powell, Charles Naudin, Herbert Spencer, Alfred Russel Wallace, and Charles Darwin—none of whom is likely to have ever known of the existence of Réflexions. Finally, Moritzi’s arguments, along with those found in Darwin’s private essay on evolution of the same year, provide an excellent window into the state of evolutionary thought and debate over the nature of species at the beginning of the 1840s. (shrink)

Statistical mechanics attempts to explain the behaviour of macroscopic physical systems in terms of the mechanical properties of their constituents. Although it is one of the fundamental theories of physics, it has received little attention from philosophers of science. Nevertheless, it raises philosophical questions of fundamental importance on the nature of time, chance and reduction. Most philosophical issues in this domain relate to the question of the reduction of thermodynamics to statistical mechanics. This book addresses issues inherent in this reduction: (...) the time-asymmetry of thermodynamics and its absence in statistical mechanics; the role and essential nature of chance and probability in this reduction when thermodynamics is non-probabilistic; and how, if at all, the reduction is possible. Compiling contributions on current research by experts in the field, this is an invaluable survey of the philosophy of statistical mechanics for academic researchers and graduate students interested in the foundations of physics. (shrink)

In this paper we discuss extensions of Feferman's theory T 0 for explicit mathematics by the so-called limit and Mahlo axioms and present a novel approach to constructing natural recursion-theoretic models for systems of explicit mathematics which is based on nonmonotone inductive definitions.

We study the extension of Feferman’s operational set theory provided by adding operational versions of unbounded existential quantification and power set and determine its proof-theoretic strength in terms of a suitable theory of sets and classes.

Theodor W. Adorno's multifaceted work has exerted a profound impact on far-ranging discourses and critical practices in late modernity. His analysis of the fate of art following its alleged end, of ethical imperatives "after Auschwitz," of the negative dialectic of myth and freedom from superstition, of the manipulation of consciousness by the unequal siblings of fascism and the culture industry, and of the narrowly-conceived concept of reason that has given rise to an unprecedented exploitation of nature and needless human suffering, (...) all speak to central concerns of our time. The essays collected here analyze the full range of implications emanating from Adorno's demand that the task of critical thinking be to imagine a mode of being in the world that occurs in and through a language that has liberated itself from the spell of an alleged historical and political inevitability, what he once tellingly called a "language without soil." Adorno' s finely chiseled sentences perform a ceaseless gesture of thoughtful vigilance, a vigilance understood not in the sense of moralizing or ethical normativity but of a rigorous attention to the presuppositions of thinking itself. The volume's fresh readings conspire to yield a refractory and unorthodox Adorno, a suggestive and at times infuriating thinker of the first order, whose intellectual gestures sponsor politically conscious modes of theoretical speculation in a late modernity that may still have a future because its language and aspirations are without soil. Also included is an annotated translation of a seminal interview Adorno gave in 1969 concerning the relationship of Critical Theory to political activism. In it, the dialectical interplay between thought and action forcefully emerges. (shrink)

In this paper we establish the proof-theoretic equivalence of (i) $\hbox {\sf ATR}$ and $\widehat{\hbox{\sf ID}}_{\omega}$ , (ii) $\hbox{\sf ATR}_0+ (\Sigma^1_1-\hbox{\sf DC})$ and $\widehat{\hbox {\sf ID}}_{<\omega^\omega} , and (iii) $\hbox {\sf ATR}+(\Sigma^1_1-\hbox{\sf DC})$ and $\widehat{\hbox {\sf ID}}_{<\varepsilon_0} $.

Wer hat sich nicht schon gefragt, was es mit unseren moralischen Überzeugungen auf sich hat: Spiegeln diese die Wahrheit in Sachen Moral wieder? Gibt es eine solche Wahrheit überhaupt? Oder sind moralische Überzeugungen eher das Produkt unserer Interessen und Neigungen, Ausdruck unserer Wünsche oder Mittel der Machtausübung, das bloße Ergebnis unserer Erziehung, unseres sozialen Umfelds oder gar eine List der Evolution? Ist es eine Illusion, wenn man glaubt, echte moralische Erkenntnisse gewinnen zu können? Kurzum: Kann die Moral Objektivität beanspruchen? Die (...) vorliegende Arbeit versucht, eine Antwort auf diese zentrale Frage der Metaethik zu geben. Dazu wird zunächst gezeigt, dass uns der Status der Moral ein Rätsel ist, weil wir dazu neigen, drei Thesen für wahr zu halten, die nicht zugleich wahr sein können. Die drei prinzipiell möglichen Strategien zur Auflösung dieses Trilemmas geraten jedoch in Schwierigkeiten, weil es bisher nicht gelungen ist, ein passendes Vergleichsobjekt für die Moral zu finden. In dieser Arbeit wird dafür argumentiert, dass die Moral in genau der gleichen Weise wie die Wissenschaft Objektivität beanspruchen kann. (shrink)

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

We show that the principle of ω model reflection for Π1n − 1 formulas is equivalent over ACA0 to the scheme of Π1n bar induction. This extends and refines previous results of Friedman and Simpson.

We give a broad discussion of reflection principles in explicit mathematics, thereby addressing various kinds of universe existence principles. The proof-theoretic strength of the relevant systems of explicit mathematics is couched in terms of suitable extensions of Kripke–Platek set theory.

Although Walter Benjamin's writings are considered to be among the most powerful theoretical enterprises of the twentieth century, his ideas are resistant to cooptation by the doctrines of various critical programs. These essays engage this resistance by examining the ghostly in Benjamin's work. The contributors show that the haunting truths Benjamin offers point towards new forms of responsibility. These truths reside in a figurative elsewhere, a ghostly space that his texts delimit but never fully inhabit, and these essays seek to (...) do justice to the ghosts of Benjamin. Issues explored include: the status of the image in Benjamin's literary reflections and in his meditations on cinema and visual culture; abiding Benjaminian notions of messianism, aura, reproducibility, semblance, and melancholy; Benjamin's relation to Freud; his innovative rethinking of history, virtuality, and translation; and his reflections on tragedy and prophecy, the geometrical dimensions of writing, and the relation between eros and language. (shrink)

In this note it is shown that in explicit mathematics the strong power type axiom is inconsistent with (uniform) elementary comprehension and discuss some general aspects of power types in explicit mathematics.