On Reduction Rules,Meaning-as-use,and Proof-theoretic Semantics

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. Presented by Heinrich Wansing     

Was it designed to do that? Children's focus on intended function in their conceptualization of artifacts

Do young children who seek the conceptual kind of an artifact weigh the plausibility that a current function constitutes the function intended by the object designer? Three- and four-year-olds were encouraged to question adults about novel artifacts. After inquiring about what an object was, some children were shown a function that plausibly accounted for the structural features of the object; others were shown a possible, but implausible function. Children given implausible functions were less satisfied with these responses than those given plausible functions, as shown by their more persistent attempts to ask follow-up questions about function. Accordingly, preschoolers appear to take into account matters of intentional design when assigning artifacts to conceptual kinds.     

流畅性对自然概念类别检索的影响

探讨不同转换条件下,流畅性对自然概念类别检索的影响.实验1探讨自由转换条件下,流畅性对自然概念类别检索的影响.实验2探讨限制转换条件下,流畅性对自然概念类别检索的影响.结果表明:两种转换条件下,对熟悉性流畅性一致类别的检索时间策略主要受到根据熟悉性形成的知晓感的调节和监控.对熟悉性流畅性不一致的类别,知晓感的形成主要受流畅性的影响,并以此来控制和调节检索时间策略.     

The ELCA at 20 Years: Flunking the Theological Test

Abstract : This article deals with four theological issues at the forefront of controversy in the ELCA. They are: 1) the naming of God; 2) the unique place of Jesus in the world's salvation; 3) the authority and interpretation of the Bible; 4) the place of the law in theological ethics. The response to these issues holds the key as to whether or to what extent the ELCA will be faithful to its confessional commitment or become just another variety of liberal Protestantism.     

A preliminary comparison of functional analysis results when conducted in contrived versus natural settings

A preliminary evaluation of the correspondence between functional analysis outcomes across settings was conducted with 2 children who had been diagnosed with autism and who engaged in challenging behavior. Differences across settings (a therapy room and a classroom) were demonstrated in ABAB reversal designs. Three potential patterns of results that may occur when comparing functional analyses across environments are described, and one possible explanation for the occurrence of discrepancies between environments (differing learning histories within separate environments) is offered.     

The Suszko Operator. Part I.

The paper is conceived as a first study on the Suszko operator. The purpose of this paper is to indicate the existence of close relations holding between the properties of the Suszko operator and the structural properties of the model class for various sentential logics. The emphasis is put on generality both of the results and methods of tackling the problems that arise in the theory of this operator. The attempt is made here to develop the theory for non-protoalgebraic logics.     

Pluralism and Ambivalence in the Evolution of Morality

Much good work has been done on the evolution of human morality by focusing on how “selfish genes” can give rise to altruistic human beings. A richer research program is needed, however, to take into account the ambivalence of naturally evolved biopsychological motivators and the historical pluralism of human morality in religious systems. Such a program is described here. A first step is to distinguish the ultimate cause of natural selection from proximate causes that are the results of natural selection. Next, some proximate causes are suggested as possible conditions of biological and emotional valuing as well as of customary social morality and individual rational ethical thought. Finally, different moral perspectives of Confucianism, Hinduism, Buddhism, and Christianity are briefly presented in order to illustrate how one might inquire about the selection of a variety of biopsychological and cultural proximate causes that enable the evolution of a plurality of religious moral systems.     

现代医学人文回归的学术性与现实性

以生物-心理-社会医学模式为背景,以哲学和生态审美理论为起点,提出了"医学人文精神"、"医学人文关怀"等概念,在此基础上,分析了医学人文回归的内容及其与医学审美之间的内在联系.从学术性和现实性两个层面,针对我国存在的医学人文缺失的现状,分析了以"三观"(生命观、健康的可持续发展观、科学观)为基础的人文信仰的内容、功能与意义,以及如何从内容与形式辩证统一的审美视角出发,运用美的规律去改善、丰富和提升医学人文关怀的境界.     

The conceptualisation of the psychical in psychoanalysis

This article aims to clarify the psychoanalytic conceptualisation of the psychical, which includes a discussion of the relationship between consciousness and the unconscious. The unconscious is conceived of as being on the border between the so-called 'ego's conscious intending' and a rudimentary body-ego experiencing. Phenomenological ideas on the essence of consciousness are used in order to help delineate the crucial differences between consciousness and the unconscious. Only consciousness is characterised by an awareness of itself, that is; self-consciousness. Furthermore, consciousness is characterised by an intentional, synthesising capacity, whereas the functioning of the unconscious, in its most radical form, is the opposite ofthe intentionality of consciousness. It is argued that the unconscious pre-supposes certain pre-sexual processes, in the form of a body-ego's formation of continuity, coherence and wholeness. The body-ego belongs to the sphere of consciousness/self-consciousness, even if self-consciousness is only given implicitly in the body-ego and not as a fully fledged ego cogito . Attention is drawn to neglected issues in psychoanalytic theorising, namely self-consciousness and the constitution of existence. The importance of this neglected area for the psychoanalytic process is illustrated with clinical examples.