The possibility of proving the existence of God has fascinated thinkers and believers throughout the centuries. This book critically analyzes both sides of the contemporary debate between the two most important living philosophers of religion--Richard Swinburne and D.Z. Phillips--and constructs an alternative solution. Instead of taking sides on the issue of God's existence, Messer argues that behind each thinkers' work, and their attitudes toward proving the existence of God, lies fundamental trust. A positive discussion of relativism leads to (...) a fresh analysis of the arguments for God's existence, particularly the ontological argument. In this way, Messer concludes that they are indeed worthwhile, although not for the traditional reasons. (shrink)

The possibility of proving the existence of God has fascinated thinkers and believers throughout the centuries. For those like Richard Swinburne, such a project is both worthwhile and successful. For others, like D. Z. Phillips, it is wholly inappropriate. Most critics have simply taken sides at this point; but this book argues a way forward, showing that the disparity between Swinburne and Phillips goes deeper - questioning the fundamental nature of God, the meaning of religious language, and the proper (...) task of philosophy. The author argues that behind each thinker's work, and their attitudes towards proving the existence of God, lies fundamental trust. A positive discussion of relativism leads to a fresh analysis of the arguments for God's existence, particularly the ontological argument: Dr Messer shows that these are worthwhile - although not for the traditional reasons. (shrink)

The Cambridge Companion to Piaget provides a comprehensive introduction to different aspects of Jean Piaget's work.

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (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)

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)

Keine ausführliche Beschreibung für "Kants Ethik" verfügbar.

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)

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.

Philosophical accounts of health, disease, and illness -- Disability perspectives: critical insights and questions -- Theological resources for understanding health and disease -- Theological theses concerning health, disease, and illness.

The ancient Taoist text that forms the central part of this book was discovered by Wilhelm, who recognized it as essentially a practical guide to the integration of personality. Foreword and Appendix by Carl Jung; illustrations. Translated by Cary F. Baynes.A Helen and Kurt Wolff Book.

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)

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.

This book is the complete story of the creation of the universe, as it was understood by the ancient Egyptians. It is a collection of harmonic and radical 'Black Thoughts' and the pursuit of equality for all of this planet's inhabitants"--P. vii.

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.

On the basis of careful textual exegesis and philosophical analysis, and contrary to the received view, Mark R. Wheeler demonstrates that Aristotle presents and systematically explicates his definition of the essence of the truth in the Metaphysics. Aristotle states the nominal definitions of the terms "truth" and "falsehood" as part of his arguments in defense of the logical axioms. These nominal definitions express conceptions of truth and falsehood his philosophical opponents would have recognized and accepted in the context of dialectical (...) argument. On the basis of these nominal definitions, Aristotle develops his definitions of the essences of truth and falsehood--his "real" definitions of truth and falsehood. Aristotle's methodical exposition of his essential definitions of truth and falsehood in the Metaphysics serves as a well-developed example of how his philosophical inquiry starts with nominal definitions and ends with real definitions. Wheeler also argues for the novel claim that Aristotle defines the most fundamental kind of truth in terms of accurate measurement. Aristotle's metrical conception of truth serves as the theoretical basis for specifying the truth conditions of various assertions, for identifying the sorts of beings implicated in these truth conditions, and for explaining the nature of approximate truth and falsehood. Far from offering us a minimal account of truth, Wheeler shows how Aristotle offers us a sophisticated and metrical theory of truth. (shrink)

This paper maps the different levels of the problem of healthcare resource allocation — micro, macro and international — with reference to three cases. It is argued that two standard approaches to the issue of distributive justice in healthcare, the QALY (quality-adjusted life year) approach and the social-contract approach developed by Norman Daniels, are fundamentally unsatisfactory for reasons identified by Alasdair MacIntyre. Although the virtue theory articulated by MacIntyre and others has been influential in many areas of healthcare ethics, there (...) seems to have been relatively little discussion of the difference it might make to the problems of resource allocation. The potential of such an approach is explored in the later sections of the paper. Two apparently promising ways of bringing virtue ethics to bear on resource allocation are examined and found wanting to greater or lesser extents. Firstly, Beauchamp and Childress’s account of the virtues as a supplement to their ‘Four Principles’ is found to have little or no substantive contribution to make to this issue. Secondly, the ‘liberal communitarian’ system of resource allocation proposed by Ezekiel Emanuel, while a considerable improvement on the account of Beauchamp and Childress, remains problematic in some respects. An alternative Christian account is developed by identifying significant influences that might shape the ‘political prudence’ which would enable Christian communities to form sound judgments about distributive justice in healthcare. The paper concludes with some remarks about the relationship between this tradition-constituted account and the wider public sphere of policy-making and practice. (shrink)

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

Discusses the moral and ethical aspects of euthanasia and related topics.

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.

In this study, Worsley argues that it is rational to believe in a loving God in the face of evil. Beginning with a critique of Alvin Plantinga, he shows that human freedom is highly complex, and so depends upon complex structures in nature. These are both necessary for freedom but also sufficient for natural evil. He offers close analysis of the evolution of the human brain. The book develops a parallel argument that human evil stems from the evolution of personality.

. History of the concept of economic efficiency . INTRODUCTION James Buchanan won the Nobel Prize by proving that the process by which elected officials ...

Affect-based theorists and life satisfaction theorists disagree about the nature of happiness, but agree about this methodological principle: a philosophical theory of happiness should be in line with the folk concept HAPPINESS. In this article, we present two empirical studies indicating that it is affect-based theories that get the folk concept HAPPINESS right: competent speakers judge a person to be happy if and only if that person is described as feeling pleasure/good most of the time. Our studies also show that (...) the judgement that a person is feeling pleasure/good most of the time reliably brings about the judgement that they are satisfied with their life, even if that person is described as not satisfied. We suggest that this direct causal relation between the concepts POSITIVE AFFECT and LIFE SATISFACTION might explain why many philosophers have been attracted to life satisfaction theories. (shrink)

Affect-based theorists and life satisfaction theorists disagree about the nature of happiness, but agree about this methodological principle: a philosophical theory of happiness should be in line with the folk concept HAPPINESS. In this article, we present two empirical studies indicating that it is affect-based theories that get the folk concept HAPPINESS right: competent speakers judge a person to be happy if and only if that person is described as feeling pleasure/good most of the time. Our studies also show that (...) the judgement that a person is feeling pleasure/good most of the time reliably brings about the judgement that they are satisfied with their life, even if that person is described as not satisfied. We suggest that this direct causal relation between the concepts POSITIVE AFFECT and LIFE SATISFACTION might explain why many philosophers have been attracted to life satisfaction theories. (shrink)