In the last decade there has been a pragmatic turn in the work of those doing Christian ethics, especially as represented by the work of Jeffrey Stout and Franklin Gamwell. The pragmatic turn represents a critique of the highly influential work of Stanley Hauerwas and Alasdair MacIntyre, which argues for a strongly intra-church ethics. The pragmatists are correct in arguing that Christian ethics must engage the public sphere. However, I argue that they are deeply mistaken in their claim that this (...) engagement must rest on a weak or non-existent theology. I show that the claim that robust theology adds nothing to ethics, and that we can get along without it, is unsustainable. (shrink)

Several writers have recently developed proposals calling for a public policy that would allow a number of individuals to commit suicide if they so choose. Suicide, it is argued, is a fundamental matter of personal liberty and as such only very minimal restrictions should be placed on it. In this essay I offer a critique of these views and the public policies they entail. The result is a defense of the general outlines of current professional and legal policies which permit (...) intervention, even coercive intervention, with suicidal persons in almost every case. (shrink)

Several writers have recently developed proposals calling for a public policy that would allow a number of individuals to commit suicide if they so choose. Suicide, it is argued, is a fundamental matter of personal liberty and as such only very minimal restrictions should be placed on it. In this essay I offer a critique of these views and the public policies they entail. The result is a defense of the general outlines of current professional and legal policies which permit (...) intervention, even coercive intervention, with suicidal persons in almost every case. (shrink)

In what sense is the U.S. Constitution binding on contemporary and future generations of Americans? This question was at stake in the fights over the nominations of Robert Bork and Clarence Thomas to the Supreme Court and in the extensive debate over 'original intent' carried on by Attorney General Edwin Meese and Chief Justice William Rehnquist, among others. This collection brings together ten leading philosophers, legal scholars, and political scientists representing a spectrum of opinions.

In what sense is the U.S. Constitution binding on contemporary and future generations of Americans? This question was at stake in the fights over the nominations of Robert Bork and Clarence Thomas to the Supreme Court and in the extensive debate over 'original intent' carried on by Attorney General Edwin Meese and Chief Justice William Rehnquist, among others. This collection brings together ten leading philosophers, legal scholars, and political scientists representing a spectrum of opinions.

Fictional names have specific, cognitively relevant features, putting them in a category apart from the category of ordinary names. I argue that we should focus on the name or name form itself and refrain from looking for an assignment procedure and an assigned referent. I also argue that we should reject the idea that sentences containing fictional names express singular propositions. These suggestions have important consequences for the intuition that ‘Sherlock Holmes exists’ is either true or false, and they (...) put our intuitions concerning fictional names into perspective. If Millianism is the view that names only have a referent only as their semantic value, then my proposal on fictional names is not Millian in nature. (shrink)

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)

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.

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)

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)

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.

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)

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.

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.

Heuristic programming was the first area in which AI methods were tested. The favourite case-studies were fairly simple toyproblems, such as cryptarithmetic, games, such as checker or chess, and formal problems, such as logic or geometry theorem-proving. These problems are well-defined, roughly speaking, at least in comparison to real-life problems, and as such have played the role of Drosophila in early AI. In this chapter I will investigate the origins of heuristic programming and the shift to more knowledge-based and real-life (...) problem solving. (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.