内插材料加工对内隐记忆的影响:干扰?还是促进?

针对Manens和WolterS(2002)关于内插材料加工对内隐记忆的影响的研究设计中没有考虑到内插材料与目标词语义特征匹配这一条件,通过实验证实了,与目标词有不同特征匹配的内插材料加工对目标词线索提取的内隐记忆有着不同影响：可能没有影响,可能干扰也可能促进。在不同学习加工类型和不同测验类型条件下,内插材料对内隐记忆的影响将可能表现出更加复杂的情况。     

内插材料加工范式下语义加工水平(量)对内隐记忆影响的实验研究

基于内插材料加工对内隐记忆的干扰的研究范式(Martens＆Wohers．2002)所带来的启示,满足启动材料与目标词在语义线索上的匹配要求,根据启动材料的数量来控制语义加工水平(量)的大小,探索意识条件下和无意识条件下(阈限下)语义加工水平(量)对内隐记忆的影响。结果表明,无论是意识条件下．还是无意识条件下,内隐记忆成绩随语义加工水平的提高而提高。内插材料加工范式无疑是一种从更微观的角度探讨加工水平对内隐记忆的影响的较好的途径。     

基于广义谢弗竖的分析性模态公理系统

沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍。在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质：单调性和切割性。     

复杂性视野下的内环境和内环境稳态

研究和总结了复杂系统的基本特征,从复杂性的角度讨论了内环境作为动态非线性系统存在具有的诸种性质和正反馈在维持、调节内环境稳定中的作用,指出现阶段需要重新认识内环境和内环境稳态的生理学机制.     

复杂性视野下的内环境和内环境稳态

研究和总结了复杂系统的基本特征,从复杂性的角度讨论了内环境作为动态非线性系统存在具有的诸种性质和正反馈在维持、调节内环境稳定中的作用,指出现阶段需要重新认识内环境和内环境稳态的生理学机制。     

应激和应激系统紊乱概念（续）：躯体和行为内环境稳定综述

应激和应激系统紊乱概念（续）──躯体和行为内环境稳定综述ＧｅｏｒｇＰ等应激系统的病理生理一般说来,应激反应是急性或至少是有限的一个阶段。这个过程具有时间限制的性质表明它所伴随的抗合成代谢、分解代谢和免疫抑制效应会有短暂性的好处而无副作用。但另一方面,...     

超模态逻辑K[T_nK]和K[TK_n](英文)

本文的工作是在D.M.Gabbay的一篇论文《超模态逻辑理论:在模态逻辑中的模转换》基础上所做的,主要是将他的两类满足关系扩充到n+1种满足关系,然后在此基础上得到两类一般性的逻辑类K[T_nK]和K[TK_n],其中n≥1。我们得到了一些更为一般性的结论:（1）逻辑类K[T_nK]的定理模式是:对任意n≥1,□^j+（n+1）kp→□^i+（n+1）kp,其中0≤in]的定理模式是:□^1+（n+1）kp→□^（n+1）kp,其中b≥1。不过,□^j+（n+1）kp→□^i+（n+1）kp,其中0≤in]的定理模式,因此,（3）每一个逻辑K[T_nK]都是相应的逻辑K[TK_n]的真扩张,其中n≥1;（4）必然化规则在两类逻辑K[T_nK]和K[TK_n]中都不成立,但是,这样的规则成立,即如果A分别是两类逻辑K[T_nK]和K[TK_n]的定理,那么对于任意n≥1,□ⁿ⁺¹A也分别是逻辑类K[T_nK]和K[TK_n]的定理;（5）等值替换规则在逻辑类K[T_nK]和K[TK_n]下都不封闭;此外,（6）我们将D.M.Gabbay的从超模态逻辑到正规模态逻辑K的两类翻译τ₀和τ₁扩充到n+1类翻译τ₀,τ₁,…,τ_n。在超模态逻辑K[T_nK]和K[TK_n]与正规模态逻辑K之间,我们找到了点模型满足对应理论,即对任意的超模态逻辑公式α,在某个世界ω上为真,当且仅当,在正规模态逻辑K中τ_i（α）在世界ω上也为真。其中τ_i（α）是公式α从超模态逻辑到正规模态逻辑K的翻译。     

内隐理论与群体关系

内隐理论是外行人对社会世界中人与事的朴素解释。人们对社会分类(种族、宗教、性别、职业等)属性的理解, 影响着个体对群体信息的加工、判断和反应, 能显著地预测群体过程(如刻板印象、偏见、歧视等), 并调节着社会认同的心理效应, 这弥补了社会认同过程中对个体差异的考虑, 对社会认同理论的发展具有重要贡献。实证研究表明：在改善和促进群体关系的实践中, 可以将外行人的内隐理论作为一个中介, 以此减少刻板印象和偏见, 培育良好的群体关系。未来研究中, 需要进一步整合内隐理论的概念, 采取一些纵向的研究为实践提供科学的指导。     

教师的创造力内隐理论

创造力内隐理论是指一般公众（专家和外行人）在日常生活和工作背景下所形成的,且以某种形式存在于个体头脑中的关于创造力概念、结构及其发展的看法。教师的创造力内隐理论对学生创造力的培养和发展起着至关重要的作用。本文从教师对创造力的理解、创造性学生的态度和创造力培养观三个方面对该领域的研究进行综述,以期为我国开展此领域的研究提供一些借鉴。     

内隐追随理论:概念、测量、前因及后果

内隐追随理论,是个体心目中既存的关于追随者的特质和行为的认知结构或图式,是当前组织行为研究领域中的一个新兴的概念。内隐追随理论与X-Y理论、内隐绩效理论等既有区别又有联系。内隐追随理论研究的理论基础主要可归纳为认知分类模型、信息加工模型及联结主义网络模型等。现有研究还对内隐追随理论的测量、前因变量和后果变量等进行了初步的探讨。未来研究中,可能会注重开发更有效的测验工具,深入探索影响内隐追随理论形成的因素,采用多种方法进一步澄清变量间的因果联系,以及加强内隐追随理论的本土化研究等。     

The Craig Interpolation Theorem in abstract model theory

The Craig Interpolation Theorem is intimately connected with the emergence of abstract logic and continues to be the driving force of the field. I will argue in this paper that the interpolation property is an important litmus test in abstract model theory for identifying “natural,” robust extensions of first order logic. My argument is supported by the observation that logics which satisfy the interpolation property usually also satisfy a Lindström type maximality theorem. Admittedly, the range of such logics is small.     

An Institution-independent Proof of Craig Interpolation Theorem

We formulate a general institution-independent (i.e. independent of the details of the actual logic formalised as institution) version of the Craig Interpolation Theorem and prove it in dependence of Birkhoff-style axiomatizability properties of the actual logic.We formalise Birkhoff-style axiomatizability within the general abstract model theoretic framework of institution theory by the novel concept of Birkhoff institution.Our proof destills a set of conditons behind the Craig Interpolation Property, which are easy to establish in the applications. Together with the generality of our approach, this leads to a wide range of applications for our result, including conventional and non-conventional logics (many of them from algebraic specification theory), such as general algebra, classical model theory, partial algebra, rewriting logic, membership algebra, etc. all of them in various versions and with various types of sentences (including infinitary ones). In dependence of axiomatizability properties many other applications are expected for various institutions or logics.     

An Interpolation Theorem for First Order Logic with Infinitary Predicates

An interpolation Theorem is proved for first order logic withinfinitary predicates. Our proof is algebraic via cylindricalgebras.¹     

Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL

Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation properties and explain how they imply the amalgamation property for certain varieties of residuated lattices. Dedicated to the memory of Willem Johannes Blok     

The Problem of Harmonizing Laws

Philosophical Studies - More laws obtain in the world,it appears, than just those of microphysics –e.g. laws of genetics, perceptual psychology,economics. This paper assumes there indeedare...     

The Fundamental Theorem of World Theory

The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only if there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has very small models and hence that its ontological commitments—and, therefore, those of the fundamental principle of world theory—are minimal.     

Ceteris Paribus Laws and Minutis Rectis Laws

Special science generalizations admit of exceptions. Among the class of non‐exceptionless special science generalizations, I distinguish (what I will call) minutis rectis (mr) generalizations from the more familiar category of ceteris paribus (cp) generalizations. I argue that the challenges involved in showing that mr generalizations can play the law role are underappreciated, and quite different from those involved in showing that cp generalizations can do so. I outline a strategy for meeting the challenges posed by mr generalizations.     

The Second Incompleteness Theorem and Bounded Interpretations

In this paper we formulate a version of Second Incompleteness Theorem. The idea is that a sequential sentence has ‘consistency power’ over a theory if it enables us to construct a bounded interpretation of that theory. An interpretation of V in U is bounded if, for some n, all translations of V-sentences are U-provably equivalent to sentences of complexity less than n. We call a sequential sentence with consistency power over T a pro-consistency statement for T. We study pro-consistency statements. We provide an example of a pro-consistency statement for a sequential sentence A that is weaker than an ordinary consistency statement for A. We show that, if A is ${{\sf S}^{1}_{2}}$ , this sentence has some further appealing properties, specifically that it is an Orey sentence for EA. The basic ideas of the paper essentially involve sequential theories. We have a brief look at the wider environment of the results, to wit the case of theories with pairing.