From IF to BI

We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and Väänänen, and their compositional semantics due to Hodges. We show how Hodges’ semantics can be seen as a special case of a general construction, which provides a context for a useful completeness theorem with respect to a wider class of models. We shed some new light on each aspect of the logic. We show that the natural propositional logic carried by the semantics is the logic of Bunched Implications due to Pym and O’Hearn, which combines intuitionistic and multiplicative connectives. This introduces several new connectives not previously considered in logics of informational dependence, but which we show play a very natural rôle, most notably intuitionistic implication. As regards the quantifiers, we show that their interpretation in the Hodges semantics is forced, in that they are the image under the general construction of the usual Tarski semantics; this implies that they are adjoints to substitution, and hence uniquely determined. As for the dependence predicate, we show that this is definable from a simpler predicate, of constancy or dependence on nothing. This makes essential use of the intuitionistic implication. The Armstrong axioms for functional dependence are then recovered as a standard set of axioms for intuitionistic implication. We also prove a full abstraction result in the style of Hodges, in which the intuitionistic implication plays a very natural rôle.     

经颅直流电刺激技术在物质依赖治疗中的应用

物质依赖是一种慢性、复发性脑部疾病, 给个体及社会带来极大损害。研究发现, 经颅直流电刺激(transcranial direct current stimulation, tDCS)可以通过调节背外侧前额叶(dorsolateral prefrontal cortex, DLPFC)脑区的兴奋性降低物质依赖者的渴求, 并改善受损的认知功能。tDCS具有副作用小、操作简便、费用低廉等优点, 因此在物质依赖治疗领域应用前景广泛。未来应考虑确定最佳的刺激参数及刺激位置, 同时考虑物质依赖者的种类及个体差异, 与其他疗法结合使用, 并进一步深入探索tDCS治疗物质依赖的神经机制。     

Double reorientation in 〈1 1 0〉 Cu nanowires

Molecular dynamics simulations performed on tensile deformation of 〈1?1?0〉 Cu nanowire indicated that the nanowire undergoes double reorientation from 〈1?1?0〉 to 〈1?0?0〉 tensile axis followed by 〈1?0?0〉 to 〈1?1?2〉 tensile axis. It has been observed that the double reorientation results from the occurrence of twinning mode of deformation in both the original 〈1?1?0〉 and reoriented 〈1?0?0〉 Cu nanowires. The double reorientation in 〈1?1?0〉 Cu nanowire leads to tensile ductility as high as 260% thereby displaying superplastic like behaviour. The occurrence of double reorientation and the associated high tensile ductility have been restricted to low nanowire length below or equal to 7.15 nm with aspect ratio ≤1. Above this length (higher aspect ratio), the reorientation process has not been observed and the nanowire fails at significantly lower strains due to activation of multiple twin systems facilitating twin–twin interactions.     

自动化信任和依赖对航空安全的危害及其改进

自动化系统在现今航空业中得到了广泛应用,然而复杂的自动化系统的引入产生了新的失误模式,使航空人因安全问题变得更加突出。受多种因素影响,操作者在与自动化系统的交互过程中并不总能达到适度的信任校准水平。非适度自动化信任和依赖引发了严重的航空安全事故。值得欣慰的是,以人为中心的自动化显示设计和训练能够将非适度自动化信任和依赖调整到适度状态。     

背景性渴求与事件性渴求:区分心理渴求对尼古丁成瘾的不同作用路径

大量研究发现心理渴求机制的紊乱是尼古丁成瘾的核心机制之一。线索暴露是探索心理渴求与尼古丁成瘾关系的重要研究范式。但最近研究者提出该范式较难区分事件性渴求与背景性渴求,导致无法清楚定位渴求在尼古丁成瘾中扮演的角色。通过对以往文献的回顾,对不同成瘾概念、作用机制和生理基础进行对比分析,认为事件性渴求与背景性渴求两者在维持成瘾行为上的确存在不同的作用路径。未来研究应改进实验范式,分别探讨两种心理渴求与尼古丁成瘾的内在联系,完善心理渴求与尼古丁成瘾的关系模型,为尼古丁成瘾的治疗和干预等方法提供一定的理论依据。     

‘Telepathic’ phenomena and separation anxiety

By discussing a treatment characterized by its difficult ending, the author strives to show the dynamic impact of separation on phenomena that can be seen as ‘telepathic’. Led to develop some inalienable attachment to her analyst in the primary transference, the analysand found herself caught up in the contradiction of her visceral dread of dependency, which compelled her to interrupt the work in progress. She then began to work out her analyst's comings and goings and to run into him in public places, as if to be assured of his immovability. This phenomenon arose with high frequency as the effect of some idealization of the maternal object aiming to deny the spatiotemporal gap. The chance that the experience of rejection via indifference may be repeated also entailed the transferential unfurling of a fantasy involving a double, undifferentiation counterbalancing the lived experience of separation. Furthermore, a ‘telepathic’ dream occurred as confirmation of this twin relationship which illustrates the analysand's refusal to renounce her narcissistic object. Projective identifications, agglutinated ego nuclei along with primitive cross‐identifications could, among other concepts, account for such phenomena which are projective in nature yet real all the same. Such mechanisms could have the power to relay thoughts the moment undifferentiated parts of the ego – if not unborn parts of the self – were activated in a potentially symbiotic zone. Marked by a feeling of dispossession, the analyst's countertransference not only seemed to underscore this hypothesis, it also gave a partial explanation for it. Until the analyst could recognize his own nostalgia for a symbiotic relationship, he had to encourage the occurrence of those unexpected meetings which stemmed from a convergence between the transference and the countertransference.     

温尼科特的精神分析客体关系理论的治疗观

温尼科特是英国精神分析客体关系学派的重要代表人物,提出了独特的精神分析治疗观,以提供抱持性的分析情境为核心,强调退行至依赖的治疗过程,重视精神分析师的反移情中的恨的情绪体验,珍视病人的主动不交流等,在很多方面颠覆了经典的精神分析治疗观。     

The effects of aerobic exercise on working memory in methamphetamine-dependent patients: Evidence from combined fNIRS and ERP

ObjectiveTo explore the effect of aerobic exercise on working memory according to exercise intensity in patients with methamphetamine (MA) dependence.DesignTwelve-week randomized controlled trial.MethodForty-five MA-dependent patients were divided randomly into three groups participating in 12-week moderate- and high-intensity aerobic exercise interventions and no intervention (control), respectively. Working memory performance was assessed using a 2-back task, and a combined functional near-infrared spectral imaging–event-related potential measure was used to identify spatial and temporal components of the neurofunctional underpinnings of this performance.ResultsHigh-intensity exercise significantly enhanced the discernment aspect of working memory. It also decreased N1 and P2 amplitudes, and increased neural activity in the left dorsolateral prefrontal cortex.ConclusionsThe findings of this study suggest that high-intensity aerobic exercise can enhance working memory and neural activity in MA-dependent patients, and thus that it may serve as an effective therapeutic tool for these patients.     

行为公共管理学视角下公共决策的社会许可机制：“一提两抑”

公共管理的本质是公共决策。“公共决策的社会许可”指当地民众对于公共决策的持续接受和支持程度, 是公共决策合法性的基石。本研究借助“行为公共管理学”的理论视角, 通过两个调查实验(N = 354 + 354), 一个现场调查(N = 520), 全面考察公共决策透明(过程透明和内容透明)与社会许可之间的因果关系, 进而明确这一关系的作用边界。结果发现：1) 决策过程透明与内容透明正向影响社会许可; 2) 政府信任调节决策内容透明与社会许可的关系; 3) 结果依赖调节两类透明与社会许可的关系。基于这些结果, 作者总结出正性的“决策透明效应”以及“谨慎的不介意”和“有选择的忽视”之双缓冲作用, 即“一提两抑”, 以更好地理解公共决策的社会许可机制。     

THE RELIGIOUS ETHICS IMPLICIT IN SCHLEIERMACHER'S DOCTRINE OF CREATION

There is a religious ethics implicit in Schleiermacher's doctrine of creation based on the universal feeling of absolute dependence “prior to” its being informed by any historical tradition. The “highest good” which fundamentally characterizes his religious ethics is found at the intersection of God and the World. The “original perfection of man” and the “original perfection of the world” come together when human life in the world is fully informed by the feeling of absolute dependence. Although Schleiermacher did not develop his religious ethics to the same extent as his philosophical and Christian ethics, it should still be of interest to ethicists in many religious traditions, as it establishes contours and sets limits for the ethics of any monotheistic religious tradition.