A Deep Inference System for the Modal Logic S5

We present a cut-admissible system for the modal logic S5 in a formalism that makes explicit and intensive use of deep inference. Deep inference is induced by the methods applied so far in conceptually pure systems for this logic. The system enjoys systematicity and modularity, two important properties that should be satisfied by modal systems. Furthermore, it enjoys a simple and direct design: the rules are few and the modal rules are in exact correspondence to the modal axioms. Presented by Heinrich Wansing     

Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition

The paper presents a way to transform pregroup grammars into contextfree grammars using functional composition. The same technique can also be used for the proof-nets of multiplicative cyclic linear logic and for Lambek calculus allowing empty premises.     

文化心理学的跨学科运用——以跨文化传播研究为例

文化心理学是最近二三十年来心理学中发展最快的领域之一,作为一门典型的交叉学科,它有人类学、心理学、传播学等多种学科取向,是一门有胸怀、有气度、能包容的学科。文化心理学与跨文化传播研究诞生在相同的社会历史文化背景中,拥有共同的学科渊源,这种天然的关系决定了跨文化传播研究中运用文化心理学的正当性、必然性。文化心理学的全球化研究视角为跨文化传播研究提供了参照; 文化的观念、文化适应理论、文化敏感性和文化冲突理论等文化心理学的概念和理论为跨文化传播研究提供了理论支撑; 文化心理学还为跨文化传播现象和问题的具体研究提供了分析工具。反之,跨文化传播研究不仅为文化心理学提供了鲜活的案例,还为其理论建构提供了重要资源。     

基本医疗卫生改革的政治伦理、市场逻辑与未来走向

基本医疗卫生改革是当前实现“2030健康中国”和新时代下践行人民健康优先战略的一项制度创新。然而,现实中改革仍面临医疗资源配置不均和医疗服务供给效率不高的双重困境。本质上,医疗服务具有公利性与私利性二元属性,进而延伸出立足于公利性属性,基本医疗卫生改革应当坚守“人人公平享有”的政治伦理,鉴于私利性属性改革需要维护医疗市场主体合法逐利的正当权利,政府公利性创造与市场私利驱动是辩证性的哲学思考。我国医改未来应以公民健康与福祉共享为价值依归,始终坚持政府严守底线、市场有序竞争、社会和谐稳定的发展主线。     

逻辑训练对不同理性思维方式大学生三段论推理的影响

采用理性—经验思维方式量表对105名大学生进行测量,选出高、低理性思维方式各35名大学生进行实验,探讨了逻辑训练对不同理性思维方式大学生三段论推理的影响。结果表明：(1)高理性思维方式个体三段论推理的平均反应时快于低理性思维方式个体;非冲突类型题目推理的平均正确率高于冲突类型题目;逻辑训练可以提高个体三段论推理的平均反应时和正确率;(2)逻辑训练后非冲突任务类型题目的平均正确率高于冲突任务类型题目;(3)逻辑训练对低理性思维方式个体冲突任务类型题目平均正确率的提高效果更明显。这意味着逻辑训练可以显著提升个体的推理成绩,但不能完全消除信念偏差对推理的影响,而且逻辑训练对低理性思维方式个体推理成绩的提升效果更加明显。     

纵向数据分析方法

纵向研究方法是心理学研究领域的一种重要方法。近年来,国外在纵向研究数据分析方法上取得了一系列理论和应用上的进展。章对此方法进行了简要的回顾,并重点阐述了最近发展起来的纵向研究的方法：多层线性模型和潜变量增长曲线模型,并在此基础上对几种常用的方法进行了比较。