Identical Twins,Deduction Theorems,and Pattern Functions: Exploring the Implicative BCSK Fragment of S5

We recapitulate (Section 1) some basic details of the system of implicative BCSK logic, which has two primitive binary implicational connectives, and which can be viewed as a certain fragment of the modal logic S5. From this modal perspective we review (Section 2) some results according to which the pure sublogic in either of these connectives (i.e., each considered without the other) is an exact replica of the material implication fragment of classical propositional logic. In Sections 3 and 5 we show that for the pure logic of one of these implicational connectives two – in general distinct – consequence relations (global and local) definable in the Kripke semantics for modal logic turn out to coincide, though this is not so for the pure logic of the other connective, and that there is an intimate relation between formulas constructed by means of the former connective and the local consequence relation. (Corollary 5.8. This, as we show in an Appendix, is connected to the fact that the ‘propositional operations’ associated with both of our implicational connectives are close to being what R. Quackenbush has called pattern functions.) Between these discussions Section 4 examines some of the replacement-of-equivalents properties of the two connectives, relative to these consequence relations, and Section 6 closes with some observations about the metaphor of identical twins as applied to such pairs of connectives.     

Using temporal logics of knowledge for specification and verification—a case study

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temporal logics of knowledge and prove statements about the knowledge of the players using a clausal resolution calculus for this logic. We discuss the advantages and disadvantages of using this logic to specify and verify the game Cluedo and describe related implementations.     

Can Cognitive‐Behavioral Therapy Be Optimized With Parent Psychoeducation? A Randomized Effectiveness Trial of Adolescents With Major Depression in Puerto Rico

This is a longitudinal randomized control trial on the impact of adding a parent psychoeducation intervention (TEPSI) as part of cognitive‐behavioral therapy (CBT) for adolescents with Major Depressive Disorder (MDD) in a Puerto Rican sample. We tested the efficacy of adding 8 group sessions of TEPSI to 12 sessions of individual CBT on reducing depressive symptoms, MDD diagnosis, and improving family functioning. Participants (n = 121) were randomized to individual CBT with or without TEPSI. No main group effects were found for most patient domains including depression symptoms, as well as presence of adolescent's MDD diagnosis at posttreatment. Results did show a main effect of CBT over time for depression symptoms, suicide ideation, family criticism, and the presence of MDD diagnosis decreasing from pre‐ to postintervention. A year post treatment, almost 70% of adolescents in both conditions (CBT and CBT + TEPSI) remained in remission. A main effect was obtained for treatment in the adolescent's perception of familism and family emotional involvement. The primary hypothesis that family psychoeducation would optimize CBT for depression in adolescents was not supported. Both conditions yielded similar clinical end points. The culturally adapted CBT was found effective with Latino/a adolescents showing clinically significant improvements from pretreatment to posttreatment and remained stable at a 1‐year follow‐up. Regarding family outcomes, adolescents in CBT + TEPSI remained stable from pretreatment to posttreatment on family emotional involvement, while adolescents in CBT‐alone showed an increase. The implication of these findings is discussed.     

Idealizations and Concretizations in Laws and Explanations in Physics

The paper tries to provide an alternative to Hempel’s approach to scientific laws and scientific explanation as given in his D-N model. It starts with a brief exposition of the main characteristics of Hempel’s approach to deductive explanations based on universal scientific laws and analyzes the problems and paradoxes inherent in this approach. By way of solution, it analyzes the scientific laws and explanations in classical mechanics and then reconstructs the corresponding models of explanation, as well as the types of scientific laws appearing in it. Finally, it compares this reconstruction with the approaches of J. Woodward and C. Hitchcock, C. Liu and with the views of M. Thalos on analytic mechanics.

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     

语境和构词法线索对外国学生汉语词义猜测的作用

要求学习汉语的欧美和日本留学生对三种条件下(只有词没有语境、只有语境没有词、既有词也有语境)的语义半透明的双音复合词进行猜测, 考察语境和构词法线索在欧美和日本留学生汉语生词猜测中的作用。结果显示：在猜测词义中语境和构词法线索分别都能提供一定的信息, 但同时提供两种信息能得到更好的猜测; 语境和构词法线索在生词猜测过程中所起的作用不同, 语境能提供更多句法上的信息, 构词法能提供更多语义上的信息; 目标词的结构方式对生词猜测产生影响, 与动宾式生词相比, 偏正式生词的猜测较为容易且构词法线索在其中的作用较大; 母语文字背景可能影响词义猜测的效果, 日本留学生对于构词法、语境线索以及两者的整合都比欧美留学生好。     

How is the arrival of things possible?

Ancient Chinese thought inquired primarily into how the achievement of things is possible rather than into what a thing as a thing is. It held that man should participate in the achieving or generation of things in order to realize his self-achievement. A thing is understood as an event. Because all things and man are united as one, it is possible for man to enter into things by tasting and feeling rather than by relying on the sense of sight. This may provide a possible new means of rescuing things from the numericalization and phenomenalization that sweep over the world today. Translated by Liu Liangjian from Renwen Zazhi 人文杂志 (The Journal of Humanities), 2007, (2): 14–21     

Rethinking the Human Being in Light of Evolutionary Biology

Abstract : For the sake of its own enrichment and relevance, Christian anthropology today must be informed by what we are learning from the biosciences, including the theory of biological evolution. The two quite different paradigms of theology and biology should be seen as complementary to each other, with theology recognizing the biological foundation of human nature. This necessitates a repudiation of the traditional body/soul dualism and re‐conceptualizing the concept of soul as a metaphorical expression rather than a spiritual entity. It affirms the spiritual dimension of human life that relates us to God and neighbor. Biblical scholarship affirms this psychosomatic, holistic view of the human being.     

Formation of partially and fully elaborated generalized equivalence classes

Most complex categories observed in real-world settings consist of perceptually disparate stimuli, such as a picture of a person's face, the person's name as written, and the same name as heard, as well as dimensional variants of some or all of these stimuli. The stimuli function as members of a single partially or fully elaborated generalized equivalence class when they occasion the mutual selection of each other after the establishment of some subset of relations among the stimuli. Indeed, it is these generalized relations among stimuli that enable an individual to respond appropriately to the inevitable flux of natural environments. The present experiments involved procedures for producing both types of generalized equivalence class and for evaluating their retention. Granting the formal and functional similarities that exist between generalized equivalence classes and natural categories, natural kinds, and fuzzy superordinate classes, the variables responsible for the emergence of the former might also account for the emergence of the latter three phenomena. In Experiment 1, After forming an A'-B' class, a B'-C relation was trained and generalization tests were conducted with B'-C, C-B', A'-C, and C'-A. Two of 5 participants passed the tests documenting the formation of A'-B'-C classes. Failures occurred in the A'-C and C-A' tests but not the B'-C and C-B' tests. Failures were also correlated with time between A'-B' class formation and C-based testing and with the absence of baseline confirmation when training and testing were separated by about one week. Experiment 2 replicated Experiment 1 but presented baseline confirmation probes immediatley prior to testing when training and testing were separated by one week; all participants then formed partially elaborated generalized equivalence classes. In Experiment 3, 5 of 6 participants formed fully elaborated generalized equivalence classes, represented as A' = B' = C'.     

汉语作为第二语言的越南大学生汉字部件意识的发展*

以226名将汉语作为第二语言的越南大学一到四年级学生为研究对象,以低频独体字、部件熟悉假字和部件不熟悉假字为材料,采用延迟书写任务,考察了不同年级的越南大学生汉字部件意识的发展及其影响因素。结果发现：（1）学习3个月汉语的大一学生能以部件作为汉字加工单元,其延迟书写部件熟悉假字显著好于低频独体字,并与高年级学生没有差异,说明越南大学生很早就发展出了汉字部件意识;（2）不同年级大学生书写部件不熟悉假字的成绩都显著低于部件熟悉假字,也低于低频独体字,表明部件构字能力是越南大学生汉字书写的重要影响因素。（3）越南大一学生的汉字书写成绩受到汉字结构的影响,左右结构优于上下结构,但其他年级的成绩不受汉字结构的影响。