否定情绪词的具身动态模拟过程

实验1和实验2分别以“（不）+积极/消极情绪词”和“（不）+愤怒/悲伤情绪词”形式的情绪词语或否定短语作为实验材料,分别采取词-图匹配范式和趋近-回避范式,以否定加工的早期（250ms）和中后期（1000ms）两种探测时间,探讨否定对情绪词效价与动机维度加工是否符合否定的两步模拟假设。结果发现,否定情绪效价部分符合否定的两步模拟假设,早期以被否定的情绪状态模拟为主,即不高兴会首先激活高兴;中后期,否定消极词和积极词都被理解为积极;否定情绪动机维度并不符合否定的两步模拟假设,否定对愤怒与悲伤的趋近－回避的影响出现在否定加工中后期,否定改变愤怒的动机方向,由趋近变为回避,却没有改变悲伤的动机方向,悲伤仍表现为回避。本研究证明否定对情绪词的效价和动机维度部分符合两步模拟假设,否定情绪词有其特定的加工过程,各维度加工有所不同。     

Negation in the Context of Gaggle Theory

We study an application of gaggle theory to unary negative modal operators. First we treat negation as impossibility and get a minimal logic system Ki that has a perp semantics. Dunn's kite of different negations can be dealt with in the extensions of this basic logic K_i. Next we treat negation as “unnecessity” and use a characteristic semantics for different negations in a kite which is dual to Dunn's original one. K_u is the minimal logic that has a characteristic semantics. We also show that Shramko's falsification logic FL can be incorporated into some extension of this basic logic K_u. Finally, we unite the two basic logics K_i and K_u together to get a negative modal logic K_-, which is dual to the positive modal logic K₊ in [7]. Shramko has suggested an extension of Dunn's kite and also a dual version in [12]. He also suggested combining them into a “united” kite. We give a united semantics for this united kite of negations.     

Mainstreams and Perspectives in Research on Learning (Mathematics) From Instruction

Le domaine de l’enseignement et de l’apprentissage des mathématiques est un exemple des plus représentatives de l’orientation des recherches sur l’apprentissage et l’instruction dans les différentes matières. Au cours du dernier quart de siècle écoulé, ce champ de questionnement a produit nombre d’investigations qui résultent d’une conception de l’apprentissage des mathématiques comme construction sociale de la signification et de la comprehension basée sur la modélisation de la réalité. Dans cet article, quelques tendances majeures et perspectives de recherche s.0s principalement aux Etats‐Unis et en Europe. Il y sera montré que d’une part, les investigations empiriques ont déjà produit des blocs de construction pour l’élaboration d’une théorie de l’apprentissage des mathématiques à partir d’instructions mais que, d’autre part, des questions et des problèmes majeurs requièrent d’être démêlés par la poursuite d’investigations. Ceci y sera documenté de façon exemplaire en utilisant comme cadre de référence quatre composants principaux d’une théorie de l’apprentissage des mathématiques à partir d’instructions: une théorie de l’expertise visant à analyser des compétences dans un domaine; une théorie de l’acquisition tendant à comprendre et expliquer les processus d’apprentissage qui conduisent à la réalisation de compétences; une théorie de l’intervention, focalisée sur la conception d’environnements enseignement‐apprentissage puissants pour provoquer ces processus d’acquisition; et une théorie de l’évaluation s’adressant au développement de méthodes et techniques pour la construction et l’application d’outils et instruments d’évaluation. The domain of mathematics learning and teaching is one of the most representative examples of the subject‐matter orientation in research on learning and instruction. During the last quarter of the past century this field of inquiry has produced a vast body of investigations, resulting in an enriched conception of mathematics learning as involving the (social) construction of meaning and understanding based on modeling of reality. In this article some of the main trends and perspectives in the field of research on mathematics learning and instruction are discussed, and illustrated with examples of empirical research, mainly carried out in Europe and the United States. It will be shown that, on the one hand, the available empirical investigations have already yielded substantial building blocks for the elaboration of a theory of mathematics learning from instruction, but that, on the other hand, major issues and problems need to be unravelled by continued inquiry. This will be documented in an exemplary way, using as a frame of reference four main components of a theory of learning mathematics from instruction: a theory of expertise, aiming at analysing competence in a domain; a theory of acquisition, attempting to understand and explain the processes of learning that are conducive to the attainment of competence; a theory of intervention, focusing on the design of powerful teaching–learning environments for eliciting those acquisition processes; and a theory of assessment, addressing the development of methods and techniques for the construction and application of assessment tools and instruments.     

Normal Modal Substructural Logics with Strong Negation

We introduce modal propositional substructural logics with strong negation, and prove the completeness theorems (with respect to Kripke models) for these logics.     

Diamonds are a Philosopher's Best Friends

The knowability paradox is an instance of a remarkable reasoning pattern (actually, a pair of such patterns), in the course of which an occurrence of the possibility operator, the diamond, disappears. In the present paper, it is pointed out how the unwanted disappearance of the diamond may be escaped. The emphasis is not laid on a discussion of the contentious premise of the knowability paradox, namely that all truths are possibly known, but on how from this assumption the conclusion is derived that all truths are, in fact, known. Nevertheless, the solution offered is in the spirit of the constructivist attitude usually maintained by defenders of the anti-realist premise. In order to avoid the paradoxical reasoning, a paraconsistent constructive relevant modal epistemic logic with strong negation is defined semantically. The system is axiomatized and shown to be complete.     

汉语确定性无界否定句模拟加工的时间进程

以往关于否定句理解的心理模拟过程是一步完成的还是两步完成的, 结果并不一致, 这与各个研究使用的实验材料类型有关。本研究以汉语确定性无界否定句为研究对象, 采用句-图匹配范式和2(句子类型：汉语确定性无界肯定句和汉语确定性无界否定句) × 2 (图片描绘事物状态与句子描述的事物状态的匹配类型：匹配与不匹配)被试内实验设计, 以对图片判断的反应时和正确率为指标, 探讨其理解的早期(250 ms)、中期(750 ms)和晚期(1500 ms)的心理模拟过程。研究结果表明：确定性无界否定句理解的心理模拟是分两步进行的, 首先模拟的是否定句的被否定状态, 随着加工时间的推进, 完成了对确定性无界否定句的第二步模拟即对实际状态的模拟。但是, 比其他类型否定句的模拟过程所用的时间要短, 即在阅读理解的中期就完成了心理模拟。     

Hybrids of the -translation for

In [W. Burr, Functional interpretation of Aczel's constructive set theory, Annals of Pure and Applied Logic 104 (2000) 31–73] Wolfgang Burr presents a functional interpretation of constructive set theory in all finite types, , in a theory of constructive set functionals. is a subtheory of , containing bounded quantifiers only. His interpretation theorem reduces the consistency problem of (and certain extensions thereof) to the consistency problem of .We want to study admissible rules in , i.e. rules under which is closed. To do so, we study a Troelstra-style q-hybrid of, in fact, a modification ^× of Burr's translation. We introduce this modification in order to close a minor gap in Burr's proof of the functional interpretation of the schema of (Strong Collection).First of all, but surely after a short introduction, we analyse the less complex translation of modified realisation ^mr and its hybrids ^mq and ^mrt.     

Constructive Thought Strategies and Job Satisfaction: A Preliminary Examination

In order to examine the potential of constructive thought strategies for enhancing employee job satisfaction, an existing dispositional model of job satisfaction was expanded and tested. Structural equation modeling techniques indicated significant relationships among constructive thought strategies, dysfunctional thought processes, subjective well-being, and job satisfaction. In addition, two competing models were examined to test for the full or partial mediation of the effects of constructive thought strategies on job satisfaction. The implications of these findings for constructive thought strategy training interventions are discussed, along with directions for future research efforts.     

中风病简化辨证的哲学思考

中风病分阴证和阳证为纲辨治,不但有是充分的实践依据和理论基础,而且符合哲学的否定之否定定律。从中风病简化辨证的必要性,中风病阴阳辨证的发展,中风病的病因病机、证候属性可从阴阳两方面认识,中风病阴阳为纲辨证方法符合哲学否定之否定定律4方面进行了论述。