Reviews

Russell,Robert John, Murphy, Nancey and Peacocke, Arthur R. (eds) Chaos and Complexity: Scientific Perspectives on Divine Action
Tigue, John W. The Transformation of Consciousness in Myth: Integrating the Thought of Jung and Campbell     

HOW DOES THE TEILHARDIAN VISION OF EVOLUTION COMPARE WITH CONTEMPORARY THEORIES?

Abstract. Teilhard de Chardin's ideas about the mechanisms of biological evolution are revised and their connections with contemporary theories are reported. Teilhard de Chardin's main contribution is the proposal of a new scientific discipline, geobiology—the science of the biosphere evolving as a whole. The main fields of interest of geobiology are reported, and its relationships with contemporary hypotheses, such as Lovelock's Gaia, are discussed. The consequences of this kind of approach are the parallel evolution described as orthogenesis and the presence of canalization phenomena. These Teilhardian hypotheses are discussed in relation to those of the process structuralists and to the novelties of the molecular evolution of the genome. Conclusions are that the mechanisms discussed by Teilhard are presently taken into consideration by contemporary evolutionists in order to construct a new theory of biological evolution.     

Human and machine perception of biological motion

More than 30 years ago, Johansson was the first to show that humans are capable of recovering information about the identity and activity of animate creatures rapidly and reliably from very sparse visual inputs – the phenomenon of biological motion. He filmed human actors in a dark setting with just a few strategic points on the body marked by lights – so-called moving light displays (MLDs). Subjects viewing the MLDs reported a vivid impression of moving human forms, and were even able to tell the activity in which the perceived humans were engaged. Subsequently, the phenomenon has been widely studied and many attempts have been made to model and to understand it. Typical questions that arise are: How precisely is the sparse low-level information integrated over space and time to produce the global percept, and how important is world knowledge (e.g., about animal form, locomotion, gravity, etc.)? In an attempt to answer such questions, we have implemented a machine-perception model of biological motion. If the computational model can replicate human data then it might offer clues as to how humans achieve the task. In particular, if it can do so with no or minimal world knowledge then this knowledge cannot be essential to the perception of biological motion. To provide human data for training and against which to assess the model, an extensive psychophysical experiment was undertaken in which 93 subjects were shown 12 categories of MLDs (e.g., normal, walking backwards, inverted, random dots, etc.) and were asked to indicate the presence or absence of natural human motion. Machine perception models were then trained on normal sequences as positive data and random sequences as negative data. Two models were used: a k-nearest neighbour (k-NN) classifier as an exemplar of ‘lazy’ learning and a back-propagation neural network as an exemplar of ‘eager’ learning. We find that the k-NN classifier is better able to model the human data but it still fails to represent aspects of knowledge about body shape (especially how relative joint positions change under rotation) that appear to be important to human judgements.     

The Epsilon Calculus and Herbrand Complexity

Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator e _x . Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure.     

Review

Book reviewed in this article:
David Ray Griffin, Religion and Scientific Naturalism: Overcoming the Conflicts     

The Impact of Cognitive Diversity on Crisis Negotiations

This paper reports on a series of experiments designed to assess the impact of grouping decision makers by level of cognitive complexity on the outcomes they attain in crisis negotiations. The participants—University of Maryland undergraduates who took roles in a simulated international hostage crisis—used a computer decision support system and a controlled network environment for communications. The goal of the experiments was to better understand the dynamics that lead certain types of groupings to have greater success in negotiations, and that lead certain groups of adversaries to achieve more mutually beneficial outcomes such as compromise and agreement. The findings point to a positive relationship between the level of homogeneity in cognitive complexity among decision makers and the achievement of positive outcomes in crisis negotiations.     

Embedding Logics into Product Logic

We construct a faithful interpretation of ukasiewicz's logic in product logic (both propositional and predicate). Using known facts it follows that the product predicate logic is not recursively axiomatizable.We prove a completeness theorem for product logic extended by a unary connective of Baaz [1]. We show that Gödel's logic is a sublogic of this extended product logic.We also prove NP-completeness of the set of propositional formulas satisfiable in product logic (resp. in Gödel's logic).