Computers & the Cybernetic Society

Computers & Technology

Michael A. Arbib

Computer Science

Academic Press

This collection of twenty-one essays explores the creative interaction among the cognitive neurosciences, philosophy, and theology. It is the result of the fourth of five international research conferences co-sponsored by the Vatican Observatory, Rome, and the Center for Theology and the Natural Sciences, Berkeley. The overarching goal of these conferences is to support the engagement of constructive theology with the natural sciences and to investigate the philosophical and theological elements in ongoing theoretical research in the natural sciences. This series of conferences builds on the initial Vatican Observatory conference and its resulting publication, Physics, Philosophy, and Theology: A Common Quest for Understanding (1988), and on previous jointly-sponsored conferences and their publications: Quantum Cosmology and the Laws of Nature (1993), Chaos and Complexity (1995); and Molecular and Evolutionary Biology (1998). A future conference will focus on quantum physics and quantum field theory. In Section One, essays on biblical accounts of human nature (Joel B. Green) and on the role of philosophical theories of human nature in recent theology (Fergus Kerr) are paired with “snapshots” of neuroscientific research (Joseph E. LeDoux, Peter Hagoort, Marc Jeannerod, and Leslie A. Brothers) to set the poles between which the volume’s dialogue proceeds. In Section Two, essays of two types bridge the fields of cognitive neuroscience and philosophy of mind: the first begin with findings in science that raise philosophical issues (Michael A. Arbib, LeDoux, Jeannerod); the second type address current philosophical accounts of human nature, focusing especially on reductionism (William R. Stoeger, Nancey Murphy, Theo C. Meyering). Essays in Section Three proceed from neuroscientific or philosophical accounts of human nature to theological interpretations: three essays provide comprehensive accounts of human nature consistent with both theology and science (Philip Clayton, Arthur Peacocke, Ian G. Barbour); others relate findings and general trends in neuroscience to phenomenological and Thomistic accounts of human experience (Stephen Happel), to Christian teaching on life after death (Ted Peters), and to religious experience (Fraser Watts, Wesley J. Wildman, and Leslie Brothers). Section Four offers conflicting answers to the question whether or not a theistic account is needed to make sense of the various dimensions of human nature canvassed in this volume.

Neuroscience and the Person: Scientific Perspectives on Divine Action (Scientific Perspectives on Divine Action/Vatican Observatory) (Scientific Perspectives on Divine Action/Vatican Observatory, 4)

Religion & Spirituality

Robert J. Russell

Nancey Murphy

Theo C. Meyering

Religious Studies

The Vatican Observatory

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific machine. The development of such languages led in turn to the general analysis of questions of syntax, structuring strings of symbols which could count as legal programs, and semantics, determining the "meaning" of a program, for example, as the function it computes in transforming input data to output results. An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification. An alternative approach, pioneered by Scott and Strachey, is called denotational semantics: it offers algebraic techniques for characterizing the denotation of (i. e. , the function computed by) a program-the properties of the program can then be checked by direct comparison of the denotation with the specification. This book is an introduction to denotational semantics. More specifically, we introduce the reader to two approaches to denotational semantics: the order semantics of Scott and Strachey and our own partially additive semantics.

Ernest G. Manes Michael A. Arbib

Springer

Book by Leonard S. Bobrow, Michael A. Arbib

Discrete Mathematics: Applied Algebra for Computer and Information Science

Science & Math

Leonard S. Bobrow

Mathematics

W.B.SAUNDERS COMPANY

Dynamic Interactions in Neural Networks

Certification

Springer-Verlag,N.Y.

See the best price to sell, buy, or rent books by Michael A. Arbib. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Michael A. Arbib