降低决策冲动性的方法及其神经机制

大量实验研究显示, 成瘾患者、多动症患者和病态赌博者在决策中表现出冲动偏好。目前研究冲动性决策偏好的经典实验范式是延迟折扣任务。通过延迟折扣任务, 心理学家揭示了冲动性决策偏好的神经机制并构建了多种理论, 包括单一系统评价理论、双系统评价理论、自我控制理论和自我参照加工理论。基于这些理论, 已经发展出了多种降低决策冲动性的方法, 包括想象未来具体事件、工作记忆训练、预先承诺以及提高血液中葡萄糖水平, 其背后的神经机制是通过认知控制和价值表征理论来实现的。未来研究方向需集中于价值计算、价值系统和多体素模式分析(MVPA)在改善决策冲动性以及内在机制研究上的应用。     

先天性音乐障碍的音高空间表征能力研究

利用音高空间表征任务、心理旋转任务和音高辨别任务,探讨先天性音乐障碍者音高空间表征能力、心理旋转加工能力和音高辨别能力。结果发现：先天性音乐障碍组音高空间表征任务标准差、心理旋转任务错误率和音高辨别任务错误率均显著高于控制组。 这些结果表明先天性音乐障碍并非音乐特异性障碍,而是音乐相关性障碍。     

汉字识别的反启动效应

为验证记忆的重叠表征理论,采用包括基线测量的启动实验范式,通过三个系列实验探讨了汉字识别的反启动效应。实验一结果表明,与基线条件相比,启动显著提高了启动的汉字的识别正确率,但却显著降低了与该汉字部分字形相同的未启动的汉字的识别正确率;实验二和三结果显示,反启动效应不是源于注意偏向和疲劳因素。因此,汉字识别中存在反启动效应,这为重叠表征理论提供了新的支持证据。     

Pointing with the eyes: the role of gaze in communicating danger

Facial expression and direction of gaze are two important sources of social information, and what message each conveys may ultimately depend on how the respective information interacts in the eye of the perceiver. Direct gaze signals an interaction with the observer but averted gaze amounts to "pointing with the eyes", and in combination with a fearful facial expression may signal the presence of environmental danger. We used fMRI to examine how gaze direction influences brain processing of facial expression of fear. The combination of fearful faces and averted gazes activated areas related to gaze shifting (STS, IPS) and fear-processing (amygdala, hypothalamus, pallidum). Additional modulation of activation was observed in motion detection areas, in premotor areas and in the somatosensory cortex, bilaterally. Our results indicate that the direction of gaze prompts a process whereby the brain combines the meaning of the facial expression with the information provided by gaze direction, and in the process computes the behavioral implications for the observer.     

Towards a “Sophisticated” Model of Belief Dynamics. Part I: The General Framework

It is well-known that classical models of belief are not realistic representations of human doxastic capacity; equally, models of actions involving beliefs, such as decisions based on beliefs, or changes of beliefs, suffer from a similar inaccuracies. In this paper, a general framework is presented which permits a more realistic modelling both of instantaneous states of belief, and of the operations involving them. This framework is motivated by some of the inadequacies of existing models, which it overcomes, whilst retaining technical rigour in so far as it relies on known, natural logical and mathematical notions. The companion paper (Towards a “sophisticated” model of belief dynamics. Part II) contains an application of this framework to the particular case of belief revision. Presented by Hannes Leitgeb     

Ontological Proofs of Existence and Non-Existence

Caramuels’ proof of non-existence of God is compared with Gödel’s proof of existence.     

Proper Semantics for Substructural Logics,from a Stalker Theoretic Point of View

We study filters in residuated structures that are associated with congruence relations (which we call -filters), and develop a semantical theory for general substructural logics based on the notion of primeness for those filters. We first generalize Stone’s sheaf representation theorem to general substructural logics and then define the primeness of -filters as being “points” (or stalkers) of the space, the spectrum, on which the representing sheaf is defined. Prime FL-filters will turn out to coincide with truth sets under various well known semantics for certain substructural logics. We also investigate which structural rules are needed to interpret each connective in terms of prime -filters in the same way as in Kripke or Routley-Meyer semantics. We may consider that the set of the structural rules that each connective needs in this sense reflects the difficulty of giving the meaning of the connective. A surprising discovery is that connectives , ⅋ of linear logic are linearly ordered in terms of the difficulty in this sense. Presented by Wojciech Buszkowski     

The scientific use of ‘representation’ and ‘function’: avoiding explanatory vacuity

Nearly all of the ways philosophers currently attempt to define the terms ‘representation’ and ‘function’ undermine the scientific application of those terms by rendering the scientific explanations in which they occur vacuous. Since this is unacceptable, we must develop analyses of these terms that avoid this vacuity. Robert Cummins argues in this fashion in Representations, Targets, and Attitudes. He accuses ‘use theories’ of representational content of generating vacuous explanations, claims that nearly all current theories of representational content are use theories, and offers a non-use theory of representational content which avoids explanatory vacuity. One task I undertake in this article is to develop an alternative non-use theory which avoids an objection fatal to that theory. My second task is to adapt Cummins’ argument to criticize most current analyses of ‘function,’ which undermine scientific explanation in an analogous way. Though Cummins does not explicitly argue in this manner, his own analysis of ‘function,’ by avoiding any appeal to use, avoids the explanatory vacuity to which they succumb. Consequently, I endorse Cummins’ notion of function. However, although use theories fail as analyses of the terms ‘representation’ and ‘function,’ they can still make significant contributions to the sciences employing these terms. For, while philosophers seeking to define ‘representation’ and ‘function’ must avoid incorporating representational and functional uses into their definitions, scientists must still find a way to determine which representations and functions are being used. Suitably re-construed use theories of representation and function may in many cases assist them in this task.     

Elimination problems in logic: a brief history

A common aim of elimination problems for languages of logic is to express the entire content of a set of formulas of the language, or a certain part of it, in a way that is more elementary or more informative. We want to bring out that as the languages for logic grew in expressive power and, at the same time, our knowledge of their expressive limitations also grew, elimination problems in logic underwent some change. For languages other than that for monadic second-order logic, there remain important open problems.     

Was ist seit BGHSt 45, 164 geschehen? Ein Überblick über die neuere Rechtsprechung des Bundesgerichtshofs zur Beurteilung der Glaubhaftigkeit von Zeugenaussagen

Zusammenfassung  Der 1. Strafsenat des Bundesgerichtshofs hat in seinem Urteil vom 30. Juli 1999 (BGHSt 45, 164) die wissenschaftlichen Anforderungen beschrieben, die an eine aussagepsychologische Begutachtung (Glaubhaftigkeitsgutachten) zu stellen sind, und die Richter verpflichtet, zukünftig darauf zu achten, dass diese Mindeststandards bei der Erstattung von Gutachten eingehalten werden. Ausgehend von dieser Entscheidung stellt der Beitrag die seitherige Entwicklung der Rechtsprechung zur Glaubhaftigkeitsbeurteilung von Zeugenaussagen dar. Er geht dabei über die an das Gutachten zu stellenden Anforderungen hinaus und befasst sich auch damit, wann ein solches Gutachten erforderlich, von wem es zu erstatten und in welcher Weise es vom Richter in den Entscheidungsgründen darzustellen ist. Zudem schildert er, welchen Einfluss die Anerkennung der hypothesengeleiteten, kriterienorientierten Aussageanalyse auf die Beweiswürdigung durch den Tatrichter und deren überprüfung durch das Revisionsgericht hat.