个体解决三项系列问题的心理模型

该研究设计了2种实验条件,对360名6-19岁个体解决三项系列问题的能力发展进行了研究,旨在讨论个体解决三项系列问题的心理模型的发展问题,结果表明：(1)6-19岁个体对三项系列问题中有必然逻辑答案的题目的判断能力的发展速度比较平稳;(2)个体对三项系列问题中有必然逻辑答案的题目的判断能力先于对没有逻辑答案的题目,6-9岁个体对三项系列问题中没有必然逻辑答案的题目的判断能力的发展速度低于10岁以后的个体;(3)空间模型、语义模型、语义一空间混合模型和枢纽项比较模型是相互补充的,是在不同认知发展阶段依一定次序,按一定的阶段逐渐形成的,经历了5个不同的发展阶段,最终形成以枢纽项比较模型为核心、四种心理模型并存于个体的心理结构之中的复合模型。     

Aging and sexuality

Many see old age as asexual but studies show that significant numbers of people 65 years old and older continue to desire and engage in acts of sexual intimacy as seem in long‐term care facilities and in cohabitation. Sexual ethics in the context of aging requires respect for the sexuality of older adults and sensitivity to their needs and challenges.     

Unique contribution of semantic representations to immediate memory: an individual-differences approach

Studies have reported dissociations between the contributions of semantic and phonological representations to immediate remembering, found through experimental manipulations as well as specific clinical cases. Also, some studies based on the analysis of individual differences reported that a semantic cued recall task has a variance unshared with the immediate memory tasks which tap the contribution of phonological representations. However, another study suggested that cued recall performance could reflect a wider ability to cluster information by category. Furthermore, no studies of individual differences have investigated the unique semantic contribution in the visual domain. Therefore, the present study used specific immediate recognition memory tasks that have been used to investigate the semantic contribution in the verbal and visual domains. The results demonstrate the unshared variance that reflects the semantic contribution in both the verbal and the visual domain, and some commonality in these variances across the domains.     

Neural substrates of the ‘low‐level’ system for speech articulation: Evidence from primary opercular syndrome

We describe a patient with progressive disorder of speech, without language impairment (opercular syndrome). Morphometric analysis confirmed asymmetric volume reduction of the precentral areas (>left). Diffusion imaging showed significant white matter changes in the left frontal lobe, with specific involvement of the left corticobulbar tract and connections between supplementary/pre‐supplementary motor areas and the frontal operculum (frontal aslant tract). We suggest that the organization of expressive language includes a ‘low level’ motor system principally distributed in the left hemisphere that shows specific susceptibility to neurodegeneration, distinct from neural systems subtending praxic, and cognitive aspects of language.     

Recognition Decisions From Visual Working Memory Are Mediated by Continuous Latent Strengths

Making recognition decisions often requires us to reference the contents of working memory, the information available for ongoing cognitive processing. As such, understanding how recognition decisions are made when based on the contents of working memory is of critical importance. In this work we examine whether recognition decisions based on the contents of visual working memory follow a continuous decision process of graded information about the correct choice or a discrete decision process reflecting only knowing and guessing. We find a clear pattern in favor of a continuous latent strength model of visual working memory–based decision making, supporting the notion that visual recognition decision processes are impacted by the degree of matching between the contents of working memory and the choices given. Relation to relevant findings and the implications for human information processing more generally are discussed.     

The Universal Group of a Heyting Effect Algebra

A Heyting effect algebra (HEA) is a lattice-ordered effect algebra that is at the same time a Heyting algebra and for which the Heyting center coincides with the effect-algebra center. Every HEA is both an MV-algebra and a Stone-Heyting algebra and is realized as the unit interval in its own universal group. We show that a necessary and sufficient condition that an effect algebra is an HEA is that its universal group has the central comparability and central Rickart properties. Presented by Daniele Mundici     

MV-Algebras and Quantum Computation

We introduce a generalization of MV algebras motivated by the investigations into the structure of quantum logical gates. After laying down the foundations of the structure theory for such quasi-MV algebras, we show that every quasi-MV algebra is embeddable into the direct product of an MV algebra and a “flat” quasi-MV algebra, and prove a completeness result w.r.t. a standard quasi-MV algebra over the complex numbers. Presented by Heinrich Wansing     

Recent Innovative Studies of Memory in Temporal Lobe Epilepsy

Investigations of patients with temporal lobe epilepsy continue to result in significant advancements in the neuroscience of human memory, as they have for over 50 years. Recent reviews describing the state of the art in the clinical neuropsychology of TLE generally have emphasized (1) lateralization of cognitive deficits and the material-specific model of memory and/or (2) the relationships among pre- and post-surgery performance on standardized measures of anterograde memory, demographic and epilepsy variables and neuroimaging, neuropathology, and neurosurgery data. As information continues to accumulate about the pattern of performance on standard laboratory memory tests and the implications of these data before and after anterior temporal lobectomy for the treatment of TLE, innovative assessment techniques also are increasingly being applied. This review focuses on English language publications that addressed selected novel topics in adult TLE memory research. These topics are: (1) remote memory; (2) accelerated forgetting or long term amnesia; and (3) lateral versus mesial temporal lobe contributions to memory.     

On Fork Arrow Logic and its Expressive Power

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order correspondence language, so both can express the same input–output behavior of processes.     

What is Classical Mereology?

Classical mereology is a formal theory of the part-whole relation, essentially involving a notion of mereological fusion, or sum. There are various different definitions of fusion in the literature, and various axiomatizations for classical mereology. Though the equivalence of the definitions of fusion is provable from axiom sets, the definitions are not logically equivalent, and, hence, are not inter-changeable when laying down the axioms. We examine the relations between the main definitions of fusion and correct some technical errors in prominent discussions of the axiomatization of mereology. We show the equivalence of four different ways to axiomatize classical mereology, using three different notions of fusion. We also clarify the connection between classical mereology and complete Boolean algebra by giving two “neutral” axiom sets which can be supplemented by one or the other of two simple axioms to yield the full theories; one of these uses a notion of “strong complement” that helps explicate the connections between the theories.