From universal laws of cognition to specific cognitive models

The remarkable successes of the physical sciences have been built on highly general quantitative laws, which serve as the basis for understanding an enormous variety of specific physical systems. How far is it possible to construct universal principles in the cognitive sciences, in terms of which specific aspects of perception, memory, or decision making might be modelled? Following Shepard (e.g., 1987 ), it is argued that some universal principles may be attainable in cognitive science. Here, 2 examples are proposed: the simplicity principle (which states that the cognitive system prefers patterns that provide simpler explanations of available data); and the scale‐invariance principle, which states that many cognitive phenomena are independent of the scale of relevant underlying physical variables, such as time, space, luminance, or sound pressure. This article illustrates how principles may be combined to explain specific cognitive processes by using these principles to derive SIMPLE, a formal model of memory for serial order ( Brown, Neath, & Chater, 2007 ), and briefly mentions some extensions to models of identification and categorization. This article also considers the scope and limitations of universal laws in cognitive science.     

HIERARCHIES: THE CORE ARGUMENT FOR A NATURALISTIC CHRISTIAN FAITH

This article takes on a perhaps impossible task: not only to reconstruct the core argument of Arthur Peacocke's program in science and religion but also to evaluate it in two major areas where it would seem to be vulnerable, namely, more recent developments in systems biology and the philosophy of mind. If his theory of hierarchies is to be successful, it must stand up to developments in these two areas and then be able to apply the results in a productive way to Christian theological reflection. Peacocke recognized that one's model of the mind‐body relation is crucial for one's position on the God‐world relation and divine action. Of the three models that he constructed, it turns out that only the third can serve as a viable model for theology if it is to be more than purely deistic or metaphorical.     

聋童执行功能发展：聋童与正常儿童的比较

利用标准Dimensional Change Card Sort任务(DCCS),对76名智力正常的3~8岁聋童和78名3~5.5岁的正常儿童进行了对比测试,旨在考察聋童执行功能发展的年龄特征与发展水平。结果发现,3岁组的聋童和正常儿童在DCCS任务上的表现没有显著性差异,但正常儿童在4~4.5岁时进入一个迅速发展期,而聋童要在6岁时才有快速的发展,到7岁后才相当于正常儿童5岁的发展水平,大约滞后2年。研究认为,造成聋童执行功能发展滞后的原因主要有：（1）语言符号系统和聋童特有的符号系统之间可能存在的差异;（2）聋童可能存在计划和灵活性的缺陷;（3）聋童可能存在命名和标识策略上的困难和注意机制的缺陷。结合关于聋童心理理论发展滞后于正常儿童7年以上的报道,心理理论发展和执行功能发展在聋童身上表现出较大的不一致性。     

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.     

EMERGENCE EVERYWHERE?! REFLECTIONS ON PHILIP CLAYTON'S MIND AND EMERGENCE

Abstract. Emergence is a powerful concept marked by great emotional, aesthetic, and intellectual appeal. It makes inroads into the understanding of the most diverse phenomena. Emergence appears to have the potential of explaining anything from the behavior of atoms, ant colonies, and traffic jams to insurance risks, human consciousness, and divine action. Philip Clayton's book Mind and Emergence (2004) offers much‐needed clarification of the philosophical grounding of emergence theory. To a large extent, emergence hinges on the concept of levels and hierarchies in nature. The preferred metaphor is that of a ladder. Given the tendency of concepts like emergence to build ideology, a careful analysis of language and metaphor is called for, however. I argue that the preference for the ladder metaphor does not do justice to the differentiated relationality that is a distinct mark of emergence. This oversight may have detrimental consequences when emergence theory is transferred from natural to social and cultural processes. A hermeneutical analysis suggests that better metaphors and visualizations need to be found. As an invitation to consider alternatives, some examples of complex regular poly topes are offered.     

Interlevel Relations and Manipulative Causality

Summary  The topic of this article is the analysis of the relations between different levels of reality. The core argument is based on considerations of both an epistemology of action and manipulative causality as a criterion of object identity. The argumentation is extended towards the concepts of self-organization and self-regulation. Finally, several views on reduction and the problems of emergence and complexity are discussed.     

Supporting the formal verification of mathematical texts

The formal verification of mathematical texts is one of the most interesting applications for computer systems. In fact, we argue that the expert language of mathematics is the natural choice for achieving efficient mathematician–machine interaction. Our empirical approach, the analysis of carefully authored textbook proofs, forces us to focus on the language and the reasoning pattern that mathematician use when presenting proofs to colleagues and students. Enabling a machine to understand and follow such language and argumentation is seen to be the key to usable and acceptable math assistant systems. In this paper, we first perform an analysis of three textbook proofs by hand; we then describe a computational framework that aims at mechanising such an analysis. The resulting proof-of-concept implementation is capable of processing simple textbook proofs and constitutes promising steps towards a natural mathematician–machine interface for proof development and verification.     

Effects of object complexity and type on the gaze behavior of children with pervasive developmental disorder

The looking behavior of children with pervasive developmental disorder (PDD) and age- and IQ-matched normal control children was studied using infrared oculography. Stimuli varying in complexity and topic were presented to test whether children with PDD have specific abnormalities in looking behavior to complex stimuli and/or to faces. All children showed more and longer fixations on the complex objects than on the simple objects, especially the complex nonsense figure, but group differences were not found. The results show no evidence for specific abnormalities in looking behavior to either faces or to complex stimuli in high functioning children with PDD.     

Probability and Evolution. Why the Probability Argument of Creationists is Wrong

Summary  Evolution is a time process. It proceeds in steps of definite length. The probability of each step is relatively high, so self organization of complex systems will be possible in finite time. Prerequisite for such a process is a selection rule, which certainly exists in evolution. Therefore, it would be wrong to calculate the probability of the formation of a complex system solely on the basis of the number of its components and as a momentary event.