小学生学习动机的培养:五年追踪研究

采用聚合交叉研究设计,利用"学思维"活动课程,对某小学1～3年级学生的学习动机进行了4年的干预培养,停止培养一年后,再次收集了数据,分析了变化趋势、即时效果及其长时效应。结果表明:(1)随着年龄的增大,儿童的表层动机和成就动机呈下降趋势;深层动机呈先上升后下降的趋势;(2)男生的表层动机和成就动机都高于女生;(3)年级越高,表层动机、深层动机和成就动机越低;(4)培养一年后,实验组学生的深层动机显著高于控制组,且长时效应显著。     

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.     

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Constraint Handling Rules (CHR) is an extension to Prolog which opens up a spectrum of hypothesis-based reasoning in logic programs without additional interpretation overhead. Abduction with integrity constraints is one example of hypothesis-based reasoning which can be implemented directly in Prolog and CHR with a straightforward use of available and efficiently implemented facilities.The present paper clarifies the semantic foundations for this way of doing abduction in CHR and Prolog as well as other examples of hypothesis-based reasoning that is possible, including assumptive logic programming, hypotheses with priority and scope, and nonmonotonic reasoning.Examples are presented as executable code so the paper may also serve the additional purpose of a practical guide for developing such programs, and it is demonstrated that the approach provides a seamless integration with existing constraint solvers.     

小学儿童互选友谊的发展趋势及攻击行为的影响：3年追踪研究

对小学3、4年级的285名儿童进行了3年追踪调查,分析了儿童分别与男、女生互选友谊数的变化趋势及其在个体间的差异,探讨了外部攻击和关系攻击分别对两类互选友谊数的影响。结果表明：（1）儿童的男、女生互选友谊数在3年时间内都有显著的增加趋势,并表现出显著的性别差异,儿童与同性互选友谊数显著多于他们与异性的互选友谊数,男生与女生互选友谊数的增加速度比女生与女生互选友谊数增加速度慢,儿童与男生的互选友谊数越多,他/她与女生的互选友谊数就越少,表明了性别隔离现象的存在。（2）在控制了关系攻击的影响后,儿童的外部攻击对他们在各时间点测得的与女生的互选友谊数有显著的消极影响,而对他们与男生的互选友谊数影响不显著;在控制了外部攻击的影响后,儿童的关系攻击对他们在各时间点测得的与女生的互选友谊数有显著的积极影响,而对他们与男生的互选友谊数影响不显著。这说明外部攻击和关系攻击对儿童互选友谊数的影响存在性别差异     

Understanding the Brandenburger-Keisler Paradox

Adam Brandenburger and H. Jerome Keisler have recently discovered a two person Russell-style paradox. They show that the following configurations of beliefs is impossible: Ann believes that Bob assumes that Ann believes that Bob’s assumption is wrong. In [7] a modal logic interpretation of this paradox is proposed. The idea is to introduce two modal operators intended to represent the agents’ beliefs and assumptions. The goal of this paper is to take this analysis further and study this paradox from the point of view of a modal logician. In particular, we show that the paradox can be seen as a theorem of an appropriate hybrid logic. Special Issue Formal Epistemology II. Edited by Branden Fitelson     

The Logical Basis of the Tractarian Ontology

This paper focuses on the relation between logic and ontology. In particular, it demonstrates how classical logical theory can clarify the ontological part of Ludwig Wittgenstein’s Tractatus Logico-Philosophicus. To this end, the work examines the adequacy of a formal system that was devised by the Polish logician, mathematician and philosopher Roman Suszko (1919–1979) as a model for the Tractatus. Following a brief explanation of the Tractarian ontology, the main ideas of Suszko’s system and its philosophical significance will be considered. The latter will be illustrated in the context of central Tractarian concepts. Finally, two implications for a better understanding of the Tractarian ontology will be pointed out.

Preferential theory revision

Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means of preferences on the possible abductive extensions to the theory. And, in particular, how to prefer among plausible abductive explanations justifying observations.