Given the largely Eurocentric nature of moral theology in the history of the Roman Catholic Church, what will it take to invest the theological community in the history and moral challenges of the Church in other parts of the world, especially Africa? What is to be gained for the whole Church when this happens in a deep and lasting way? In this timely and important study, Paulinus Ikechukwu Odozor brings greater theological clarity to the issue of the relationship between Christianity (...) and African tradition in the area of ethical foundations. He also provides a constructive example of what fundamental moral theology done from an African and Christian moral theological point of view could look like._ Following a brief history of the development of African Christian theology, Odozor examines responses of African theologians to African tradition and Christian responses to the reality of non-Christian religions. In a context where the African religious experience and heritage are powerful sources of meaning and identity, Christian evangelization raises questions both about the African primal religions and about Christianity itself and its claims. Odozor takes up the subject of moral reasoning in an African Christian theological ethics and concludes with case studies that show how the African Church has tried to inculturate moral discourse on a religiously pluralistic continent and relate the healing gospel message to African situations. Students and scholars of moral theology and ethics and church leaders will profit from the issues raised in _Morality Truly Christian, Truly African_. "This is an ambitious book. The scholarship is sound and the author engages a range of authors and their views. Odozor takes seriously the critical and moral demands of Christian theology as well as those of African indigenous religions and their cultures. There is perhaps nothing so thoroughgoing on this topic since Bénézet Bujo’s _Foundations of an African Ethic: Beyond the Universal Claims of Western Morality_." — M. Shawn Copeland, Boston College_. (shrink)

In this volume, Elizabeth Phillips brings together scholarly essays on eschatology, ethics, and politics, as well as a selection of sermons preached in the chapels of the University of Cambridge arising from that scholarly work. These essays and sermons explore themes ranging from ethnography to Anabaptism and Christian Zionism to Afro-pessimism. Drawing on a wide range of authors from Flannery O'Conner and Herbert McCabe to James Cone and M. Shawn Copeland, this collection provides insight into the fields of (...) Christian ethics and political theology, as well as ethnography and homiletics. Phillips challenges theologians to interdisciplinarity in their work, and to keep historical and traditional sources in conversation with contemporary sources from critical and liberative perspectives. She challenges Christians to engage in apocalyptic practices which name and resist the false pretenses of the political status quo. And she challenges preachers to call their congregations to moral and political faithfulness, opening up possibilities beyond both the squeamish evasion of politics in some preaching traditions and the didactic political partisanship of others."--Publisher's website. (shrink)

Memory, funerals, and the communion of the saints: growing old and practices of remembering / M. Therese Lysaught -- God bends over backward to accommodate humankind...while the Civil Rights Acts and the Americans with Disabilities Act require [only] minimum effort / Mary Jo Iozzio -- Radical solidarity: migration as challenge ofr contemporary Christian ethics / Kristin E. Heyer -- Catholic lesbian feminist theology / Mary E. Hunt -- Theology of whose body? Sexual conplementarity, intersex conditions, and La Virgen de Guadalupe (...) / Katie M. Grimes -- Social conscience and politics in the United States of America: reflections / Mary Jo Bane -- Pope Francis, women, and the church for the poor / Lisa A. Fullam -- Floodwaters and the ticking clock: the systematic oppression and stigmatization of poor, single mothers in American and Christian theological responses / Julie A. Mavity Maddalena --What causes inequity? / Dean Baker -- Engaging the U.S. Bishops' pastoral on crime and criminal justice: from atomism to community justice / Robert DeFina and Lance Hannon -- Reconstructing the moral claim of racially unjust mass incarceration / Alison Benders -- The systemic erasure of the Black/dark-skinned body in Catholic ethics / Bryan Massingale -- Anti-blackness and white supremacy in the making of American Catholicism / M. Shawn Copeland -- White privilege / Charles E. Curran -- The Black Lives Matter Movement: justice and health equity / Michael P. Jaycox -- Mujerista theology: a challenge to traditional theology / Ada María Isasi-Díaz -- Faith of our mothers; Catholic womanist God-talk / Diana L. Hayes. (shrink)

We present an extension of the basic revision theory of circular definitions with a unary operator, □. We present a Fitch-style proof system that is sound and complete with respect to the extended semantics. The logic of the box gives rise to a simple modal logic, and we relate provability in the extended proof system to this modal logic via a completeness theorem, using interpretations over circular definitions, analogous to Solovay’s completeness theorem forGLusing arithmetical interpretations. We adapt our proof to (...) a special class of circular definitions as well as to the first-order case. (shrink)

There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine. The Church-Turing thesis is often misunderstood, particularly in recent writing in the philosophy of mind.

Presupposing no familiarity with the technical concepts of either philosophy or computing, this clear introduction reviews the progress made in AI since the inception of the field in 1956. Copeland goes on to analyze what those working in AI must achieve before they can claim to have built a thinking machine and appraises their prospects of succeeding.There are clear introductions to connectionism and to the language of thought hypothesis which weave together material from philosophy, artificial intelligence and neuroscience. John (...) Searle's attacks on AI and cognitive science are countered and close attention is given to foundational issues, including the nature of computation, Turing Machines, the Church-Turing Thesis and the difference between classical symbol processing and parallel distributed processing. The book also explores the possibility of machines having free will and consciousness and concludes with a discussion of in what sense the human brain may be a computer. (shrink)

To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...) a difficulty that has persistently been raised against it, and undercuts various objections that have been made to the computational theory of mind. (shrink)

Presupposing no familiarity with the technical concepts of either philosophy or computing, this clear introduction reviews the progress made in AI since the inception of the field in 1956. Copeland goes on to analyze what those working in AI must achieve before they can claim to have built a thinking machine and appraises their prospects of succeeding. There are clear introductions to connectionism and to the language of thought hypothesis which weave together material from philosophy, artificial intelligence and neuroscience. (...) John Searle's attacks on AI and cognitive science are countered and close attention is given to foundational issues, including the nature of computation, Turing Machines, the Church-Turing Thesis and the difference between classical symbol processing and parallel distributed processing. The book also explores the possibility of machines having free will and consciousness and concludes with a discussion of in what sense the human brain may be a computer. (shrink)

A survey of the field of hypercomputation, including discussion of a variety of objections.

As local food activities expand and grow, an important question to answer is how various participants contribute to a local food system’s overall vitality and strength. This paper does so by focusing on the relationships between locally-oriented farm and retail actors and assessing what the configuration of these relationships tells us about the workings of the broader local food system. Such an analysis reveals two things. Empirically, it shows the important role food retailers play in the overall vibrancy of local (...) food exchanges: food retailers form crucial links holding the broader system together and significantly expanding consumer access to local foods. Further, different retailer types have distinct impacts on network configurations, each serving particular roles in the development and maintenance of local food systems. Methodologically, this paper shows the value of applying social network analysis techniques to the study of local food systems: such an approach yields insights that may not be as readily assessable from other strategies. In this paper, I overview common network analysis techniques and apply them to a case study of local food activities in New England, suggesting how such an approach might be applied to local food systems in other places. (shrink)

This article examines selected texts in which Martin Heidegger thematizes the ontology of images, in order to adduce a view of how he under­stands their merits and limitations. I am primarily interested in the images seen in art works, especially those in film and photography, given Heidegger’s strong criticism of the latter alongside other 20th-century communicative media. The goal of the article is not to determine what is Heidegger’s central or overall position regarding images, as it is not clear that (...) he has such a position. Rather, the goal is to analyze how his various statements on images, as well as imagination, fit together. I contrast Heidegger’s critical views in “The Age of the World Picture” with other texts in which he describes images more favorably. I also devote some space to texts in which Heidegger treats imagination and the origin of images more broadly. (shrink)

Turing''s test has been much misunderstood. Recently unpublished material by Turing casts fresh light on his thinking and dispels a number of philosophical myths concerning the Turing test. Properly understood, the Turing test withstands objections that are popularly believed to be fatal.

Logic and Reality is a collection of essays by philosophers, logicians, mathematicians, and computer scientists, celebrating the work of the late distinguished philosopher Arthur Prior on the eightieth anniversary of his birth. Topics range from philosophical discussions of the nature of time and of the nature of logic itself, to descriptions of computer systems that can reason and take account of the fact that they exist in a temporal world.

There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In (...) this paper, I explore the limits of what a relevant connective is, showing how some basic criteria motivated by the ideology of relevant logicians provide robust limits on potential connectives. These criteria provide some plausible necessary conditions on being a relevant connective. (shrink)

Lectures, scientific papers, top secret wartime material, correspondence, and broadcasts are introduced and set in context by Jack Copeland, Director of the Turing Archive for the History of Computing."--Jacket.

This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.

In this article, we present a definition of a hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including HYPE and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results.

Alan M. Turing, pioneer of computing and WWII codebreaker, is one of the most important and influential thinkers of the twentieth century. In this volume for the first time his key writings are made available to a broad, non-specialist readership. They make fascinating reading both in their own right and for their historic significance: contemporary computational theory, cognitive science, artificial intelligence, and artificial life all spring from this ground-breaking work, which is also rich in philosophical and logical insight. An introduction (...) by leading Turing expert Jack Copeland provides the background and guides the reader through the selection. About Alan Turing Alan Turing FRS OBE, (1912-1954) studied mathematics at King's College, Cambridge. He was elected a Fellow of King's in March 1935, at the age of only 22. In the same year he invented the abstract computing machines - now known simply as Turing machines - on which all subsequent stored-program digital computers are modelled. During 1936-1938 Turing continued his studies, now at Princeton University. He completed a PhD in mathematical logic, analysing the notion of 'intuition' in mathematics and introducing the idea of oracular computation, now fundamental in mathematical recursion theory. An 'oracle' is an abstract device able to solve mathematical problems too difficult for the universal Turing machine. In the summer of 1938 Turing returned to his Fellowship at King's. When WWII started in 1939 he joined the wartime headquarters of the Government Code and Cypher School (GC&CS) at Bletchley Park, Buckinghamshire. Building on earlier work by Polish cryptanalysts, Turing contributed crucially to the design of electro-mechanical machines ('bombes') used to decipher Enigma, the code by means of which the German armed forces sought to protect their radio communications. Turing's work on the version of Enigma used by the German navy was vital to the battle for supremacy in the North Atlantic. He also contributed to the attack on the cyphers known as 'Fish'. Based on binary teleprinter code, Fish was used during the latter part of the war in preference to morse-based Enigma for the encryption of high-level signals, for example messages from Hitler and other members of the German High Command. It is estimated that the work of GC&CS shortened the war in Europe by at least two years. Turing received the Order of the British Empire for the part he played. In 1945, the war over, Turing was recruited to the National Physical Laboratory (NPL) in London, his brief to design and develop an electronic computer - a concrete form of the universal Turing machine. Turing's report setting out his design for the Automatic Computing Engine (ACE) was the first relatively complete specification of an electronic stored-program general-purpose digital computer. Delays beyond Turing's control resulted in NPL's losing the race to build the world's first working electronic stored-program digital computer - an honour that went to the Royal Society Computing Machine Laboratory at Manchester University, in June 1948. Discouraged by the delays at NPL, Turing took up the Deputy Directorship of the Royal Society Computing Machine Laboratory in that year. Turing was a founding father of modern cognitive science and a leading early exponent of the hypothesis that the human brain is in large part a digital computing machine, theorising that the cortex at birth is an 'unorganised machine' which through 'training' becomes organised 'into a universal machine or something like it'. He also pioneered Artificial Intelligence. Turing spent the rest of his short career at Manchester University, being appointed to a specially created Readership in the Theory of Computing in May 1953. He was elected a Fellow of the Royal Society of London in March 1951 (a high honour). (shrink)

Accelerating Turing machines have attracted much attention in the last decade or so. They have been described as “the work-horse of hypercomputation” (Potgieter and Rosinger 2010: 853). But do they really compute beyond the “Turing limit”—e.g., compute the halting function? We argue that the answer depends on what you mean by an accelerating Turing machine, on what you mean by computation, and even on what you mean by a Turing machine. We show first that in the current literature the term (...) “accelerating Turing machine” is used to refer to two very different species of accelerating machine, which we call end-stage-in and end-stage-out machines, respectively. We argue that end-stage-in accelerating machines are not Turing machines at all. We then present two differing conceptions of computation, the internal and the external, and introduce the notion of an epistemic embedding of a computation. We argue that no accelerating Turing machine computes the halting function in the internal sense. Finally, we distinguish between two very different conceptions of the Turing machine, the purist conception and the realist conception; and we argue that Turing himself was no subscriber to the purist conception. We conclude that under the realist conception, but not under the purist conception, an accelerating Turing machine is able to compute the halting function in the external sense. We adopt a relatively informal approach throughout, since we take the key issues to be philosophical rather than mathematical. (shrink)

This paper criticizes three assumptions regarding terrorism and the agents who carry it out: 1) terrorists are always indiscriminate in their targeting, 2) terrorism is never effective in combating oppression, and 3) terrorists never participate in fair negotiations as they merely wish to switch places with their oppressors. By criticizing these three prejudices against terrorism, the paper does not attempt to justify or excuse terrorism generally nor in the specific case of Sri Lanka which is examined. Instead, it creates the (...) necessary room for such justifications or excuses to be critically appraised by dismantling the popular myths surrounding terrorism. (shrink)

A myth has arisen concerning Turing's paper of 1936, namely that Turing set forth a fundamental principle concerning the limits of what can be computed by machine - a myth that has passed into cognitive science and the philosophy of mind, to wide and pernicious effect. This supposed principle, sometimes incorrectly termed the 'Church-Turing thesis', is the claim that the class of functions that can be computed by machines is identical to the class of functions that can be computed by (...) Turing machines. In point of fact Turing himself nowhere endorses, nor even states, this claim (nor does Church). I describe a number of notional machines, both analogue and digital, that can compute more than a universal Turing machine. These machines are exemplars of the class of _nonclassical_ computing machines. Nothing known at present rules out the possibility that machines in this class will one day be built, nor that the brain itself is such a machine. These theoretical considerations undercut a number of foundational arguments that are commonly rehearsed in cognitive science, and gesture towards a new class of cognitive models. (shrink)

The operational semantics of Urquhart is a deep and important part of the development of relevant logics. In this paper, I present an overview of work on Urquhart’s operational semantics. I then present the basics of collection frames. Finally, I show how one kind of collection frame, namely, functional set frames, is equivalent to Urquhart’s semilattice semantics.

This paper charts some early history of the possible worlds semantics for modal logic, starting with the pioneering work of Prior and Meredith. The contributions of Geach, Hintikka, Kanger, Kripke, Montague, and Smiley are also discussed.

This article responds to critical views of John Rhym, Martin Rossouw, Ludo de Roo, and Annie Sandrussi on my 2017 book Phenomenology of Film: A Heideggerian Account of the Film Experience. The article also takes up positive footholds from the analyses of Chiara Quaranta and Jason Wirth. The main topics addressed include Martin Heidegger’s ontic-ontological distinction; the notion of film-as-philosophy; being-in-the-world read as being-in-the-film-world; and questions surrounding the facticity and identity of the film viewer.

This interdisciplinary study explores the relevance and application of Martin Heidegger’s phenomenology to key issues in the philosophy film. It develops a comprehensive look at how Heidegger’s thought illuminates historical and contemporary problems the film medium poses to philosophers.

In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition.

In classically based modal logic, there are three common conceptions of necessity, the universal conception, the equivalence relation conception, and the axiomatic conception. They provide distinct presentations of the modal logic S5, all of which coincide in the basic modal language. We explore these different conceptions in the context of the relevant logic R, demonstrating where they come apart. This reveals that there are many options for being an S5-ish extension of R. It further reveals a divide between the universal (...) conception of necessity on the one hand, and the axiomatic conception on the other: The latter is consistent with motivations for relevant logics while the former is not. For the committed relevant logician, necessity cannot be the truth in all possible worlds. (shrink)

Justification logics provide frameworks for studying the fine structure of evidence and justification. Traditionally, these logics do not impose any closure requirements on justification. In this paper, we argue that for some applications they should subject justification to closure under some variety of logical consequence. Specifically, we argue, building on ideas from Beall, that the non-classical logic FDE offers a particularly attractive notion of consequence for this purpose and define a justification logic where justification is closed under FDE consequence. We (...) show the resulting logic to be sound and complete. Lastly, we discuss how the closure of justification under FDE ontrasts closure under related non-classical logics and how our approach contrasts with some alternatives. (shrink)

Accelerated Turing machines are Turing machines that perform tasks commonly regarded as impossible, such as computing the halting function. The existence of these notional machines has obvious implications concerning the theoretical limits of computability.

This book examines influential conceptions of sport and then analyses the interplay of challenging borderline cases with the standard definitions of sport. It is meant to inspire more thought and debate on just what sport is, how it relates to other activities and human endeavors, and what we can learn about ourselves by studying sport.