It has been about fifty years since the topic of divine impassibility was the subject of book-length philosophical treatments in English. In recent years process and analytic philosophers have returned this issue to the forefront of professional attention. Divine Impassibility traces the issue of classical sources, relates the positions of nineteenth- and early twentieth-century books, and surveys the writings of contemporary British analytic philosophers such as Peter Geach, Anthony Kenny, Richard Swinburne, John Hick, and H. P. Owen, American analytic (...) philosophers such as Norman Kretzmann, Eleonore Stump, Nelson Pike, Robert Adams, and Bruce Reichenbach, and process philosophers such as Charles Hartshorne and Lewis Ford. The author shows that clear, adequate analysis of the issue must distinguish four respects in which God might be passible or impassible: nature, will, knowledge, and feeling. He shows also how decisions on this topic bear on numerous others in philosophical theology such as creation, eternality, evil, and human freedom. His creative proposals on these and other topics attempt to go beyond the difficulties of both classical and process conceptions of God. (shrink)

Cairns, D. My own life.--Chapman, H. The phenomenon of language.--Embree, L. E. An interpretation of the doctrine of the ego in Husserl's Ideen.--Farber, M. The philosophic impact of the facts themselves.--Gurwitsch, A. Perceptual coherence as the foundation of the judgment of prediction.--Hartshorne, C. Husserl and Whitehead on the concrete.--Jordan, R. W. Being and time: some aspects of the ego's involvement in his mental life.--Kersten, F. Husserl's doctrine of noesis-noema.--McGill, V. J. Evidence in Husserl's phenomenology.--Natanson, M. Crossing the Manhattan Bridge.--Spiegelberg, (...) H. Husserl's way into phenomenology for Americans: a letter and its sequel.--Zaner, R. M. The art of free phantasy in rigorous phenomenological science.--Cairns, D. An approach to Husserlian phenomenology.--Cairns, D. The ideality of verbal expressions.--Cairns, D. Perceiving, remembering, image-awareness, feigning awareness.--Bibliography of the writings of Dorion Cairns (p. [263]-264). (shrink)

The purpose of this article is to explore the relationship between the thought of Richard Rorty and that of his former teacher, Charles Hartshorne. There are important similarities between the two, but ultimately the differences are more readily apparent, especially in terms of the battle between poetry (in the wide sense of the term conceived by Rorty) and (Hartshornian) metaphysics. Hartshorne is defended against Rorty.

In The Untamed God (2003), Jay Wesley Richards defends what he calls “theological essentialism,” which affirms God’s essential perfections but also recognizes contingent properties in God. This idea places Richards’s view in the vicinity of Charles Hartshorne’s dipolar theism. However, Richards argues that Hartshorne’s modal theory suffers from the defects that it abandons the principle ab esse ad posse, makes nonsense of our counter-factual discourse, and can only be expressed by C. I. Lewis’s S4, although for certain purposes (...) Hartshorne needs the stronger S5. Richards, however, fails to realize that Hartshorne’s theory involves two concepts of necessity—necessity as what is common to every possible world-state and necessity as it pertains to the unalterability of the past. While questions remain about Hartshorne’s theory, Richards’s arguments against it are unsuccessful. Most importantly, Richards uncritically accepts the concept of possible worlds as a basis for his critique, but Hartshorne’s arguments cast doubt on the coherence of this idea. Possible worlds provide anything but a firm foundation on which to make sense of either theological essentialism or Hartshorne’s panentheistic dipolar theism. (shrink)

This wide-ranging anthology of philosophical writings on the concept of God presents a systematic overview of the chief conceptions of deity as well as skeptical and atheistic critiques of theological ideas. The selections cover key philosophic developments in this subject area from ancient times to modern in both the East and West. Editors Hartshorne and Reese-two of the most highly respected scholars in the philosophy of religion-have not only selected many arresting passages from the world's great thinkers but have (...) also analyzed and evaluated the underlying ideas, showing how they fit into major, overarching systems of thought. Part One, "Classical Views," includes passages from ancient Egyptian, Indian, Chinese, and Judeo-Christian scriptures as well as philosophical writings from ancient Greece, the medieval church, and the Enlightenment. Part Two, "Modern Views," considers the ideas of more recent influential thinkers from diverse cultures and philosophical schools: Schelling, Peirce, Whitehead, Schweitzer, Buber, Radhakrishnan, and Watts, among others, are represented and discussed. Part Three, "Skeptical or Atheistic Views: Ancient and Modern," examines various kinds of skepticism and includes selections from Carneades, Buddha, Hume, Schopenhauer, Feuerbach, Nietzsche, Dennes, and Freud. Throughout their presentation the editors analyze and contrast theistic, atheistic, pantheistic, and panentheistic systems of thought. Philosophers Speak of God is a richly varied selection of high-quality writing on a perennial subject that will provide the serious student a thorough foundation in the philosophy of religion. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.

Early in the first volume of his Ideen zu einer reinen Phiinomeno logie und phiinomenologischen Philosophie, Edmund Husserl stated concisely the significance and scope of the problem with which this present study is concerned. When we reflect on how it is that consciousness, which is itself absolute in relation to the world, can yet take on the character of transcendence, how it can become mundanized, We see straightaway that it can do that only by means of a certain participation in (...) transcendence in the first, originary sense, which is manifestly the transcendence of material Nature. Only by means of the experiential relation to the animate organism does consciousness become really human and animal (tierischen), and only thereby does it achieve a place in the space and in the time of Nature. l Consciousness can become "worldly" only by being embodied within the world as part of it. In so far as the world is material Nature, consciousness must partake of the transcendence of material Nature. That is to say, its transcendence is manifestly an embodiment in a material, corporeal body. Consciousness, thus, takes on the characteristic of being "here and now" (ecceity) by means of experiential (or, more accurately, its intentive) relation to that corporeal being which embodies it. Accordingly, that there is a world for consciousness is a conse quence in the first instance of its embodiment by 2 that corporeal body which is for it its own animate organism. (shrink)

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.