On the Consistency of the Δ1 1-CA Fragment of Frege's Grundgesetze

It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing ¹ ₁-comprehension schema would already be inconsistent. In the present paper, we show that this is not the case.     

The ties that bind what is known to the recall of what is new

Cued recall success varies with what people know and with what they do during an episode. This paper focuses on prior knowledge and disentangles the relative effects of 10 features of words and their relationships on cued recall. Results are reported for correlational and multiple regression analyses of data obtained from free association norms and from 29 experiments. The 10 features were only weakly correlated with each other in the norms and, with notable exceptions, in the experiments. The regression analysis indicated that forward cue-to-target strength explained the most variance, followed by backward target-to-cue strength. Target connectivity and set size explained the next most variance, along with mediated cue-to-target strength. Finally, frequency, concreteness, shared associate strength, and cue set size also contributed significantly to recall. Taken together, indices of prior word knowledge explain 49% of the recall variance. Theoretically driven equations that use free association to predict cued recall were also evaluated. Each equation was designed to condense multiple indices of word interconnectivity into a single predictor.     

Maze navigation by honeybees: learning path regularity

We investigated the ability of honeybees to learn mazes of four types: constant-turn mazes, in which the appropriate turn is always in the same direction in each decision chamber; zig-zag mazes, in which the appropriate turn is alternately left and right in successive decision chambers; irregular mazes, in which there is no readily apparent pattern to the turns; and variable irregular mazes, in which the bees were trained to learn several irregular mazes simultaneously. The bees were able to learn to navigate all four types of maze. Performance was best in the constant-turn mazes, somewhat poorer in the zig-zag mazes, poorer still in the irregular mazes, and poorest in the variable irregular mazes. These results demonstrate that bees do not navigate such mazes simply by memorizing the entire sequence of appropriate turns. Rather, performance in the various configurations depends on the existence of regularity in the structure of the maze and on the ease with which this regularity is recognized and learned.     

多层线性模型在纵向研究中的运用

纵向研究中传统统计技术主要是重复测量的方差分析和多元回归分析，但是这两种技术存在一些局限性，不能合理而充分地解释纵向研究资料。近年来出现的多层线性模型能够更有效地利用纵向数据。为促进多层线性模型在纵向研究中的运用，简要论述了传统统计技术的局限，介绍了多层线性模型的原理及其在纵向研究中的作用，以一组模拟数据为例对多层线性模型中各种参数在纵向研究中的含义进行了详细讨论，对于纵向研究中运用多层线性模型时须注意的问题提出了建议。     

Intergenerational transmission of marital quality across the transition to parenthood

One of the most frequently reported changes across the transition to parenthood is a decline in marital quality after the birth of a first baby. Experiences in the family of origin may influence the trajectory of marital quality. Our study aimed to investigate the impact of recollections of family-of-origin marriage on marital quality (self-reports and clinical evaluation) from pregnancy to 1 year after the birth of a first child. A total of 62 first-time parents completed questionnaires (self-reported marital satisfaction) and clinical interviews (clinical evaluation of couples' dialogue quality). Although self-reported marital satisfaction and observed dialogue quality were highly associated, only self-reported marital satisfaction declined from pregnancy to 1 year after birth. This decrease was partly due to very high marital satisfaction during pregnancy. Different trajectories for self-reported marital satisfaction and observed dialogue quality were found for participants with recollections of low-, average-, and high-quality family-of-origin marriage. A structural equation model showed that participants who recollected a negative quality in their parents' relationship reported more negative changes in the quality of their own marriages. There seems to be an intergenerational transmission of marital quality that comes to light when couples are challenged by the birth and rearing of a baby.     

极权主义和政治现代性--读《极权主义的起源》

阿伦特的《极权主义的起源》是要揭示一种特殊的现代政治现象的起因和条件,探讨极权主义这个现代特有的现象的深层历史原因及其结构因素。正因为如此,她的许多观点和分析至今仍有重要的意义。极权主义是反犹主义、民族国家的衰落、种族主义、为扩张而扩张、资本和暴徒联盟结合在一起的产物。极权主义就是从根本上消灭人性,它反映了“我们世纪的危机”,揭示了西方文明及其价值体系的崩溃。     

创造与伸展:奥古斯丁时间观的两个向度

奥古斯丁《忏悔录》中的“时间之间”受到后世哲学家们的广泛关注和高度评价,但往往只重视其中“心灵的伸展”这一向度．而忽视上帝的创造这一向度,忽视了永恒之维。事实上,上帝的创造和心灵的伸展这两个向度不可分割．前者规定后者,阐明时间的起源;后者反映前者,说明时间的存在和本质。后者受前者的制约。也就是说,心灵的伸展有一个界限,是不可超越的。当文德尔班强调奥古斯丁的形而上学是“内在经验的形而上学”时,他确认了奥古斯丁时间观的心灵向度;当吉尔松称之为“皈依的形而上学”时,则是强调“心灵伸展的界限”,即永恒上帝的创造。     

Object location memory: The interplay of multiple representations

This article reports three experiments in which the representational nature of human object location memory was studied. The results show that multiple frames of reference can be used to encode the spatial relationships among objects. Depending on their dominancy, availability, and validity, these multiple representations interact to determine memory performance. Specifically, representations that are automatically encoded and extensively practiced are more dominant, and their availability improves performance when they are valid. On the other hand, when the dominant representations are available but invalid, people may have to resort to the less dominant representations. As a result, the availability of these dominant but invalid representations can actually hurt performance, due to interference. If these interfering representations are eliminated, the performance is again improved. The implications of these findings for general human spatial cognition are discussed.     

Reasoning about Sensing Actions in Domains with Multi-Valued Fluents

In this paper, we discuss the weakness of current action languages for sensing actions with respect to modeling domains with multi-valued fluents. To address this problem, we propose a language with sensing actions and multi-valued fluents, called AM_K, provide a transition function based semantics for the language, and demonstrate its use through several examples from the literature. We then define the entailment relationship between action theories and queries in AM_K, denoted by ⊧AM_K, and discuss some properties about AM_K.