Normality,Non-contamination and Logical Depth in Classical Natural Deduction

Studia Logica - In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for classical propositional logic that (i) represents classical proofs in a more natural...     

我国市场经济"信用"动力机制分析及其体系建构

现代社会生活的生产实践表明,分工是交换的前提,交换是分工的实现,这就是现代社会活动的全部内容和过程。在此事实基础上构建的市场经济体制,其管理理念内含着丰富的伦理意蕴[1]。本文首先分析阐述了市场经济信用体系的建立是市场经济体制内在规律的必然要求,揭示了“信用”是承诺者之间能量均衡与博弈的结果,既具有丰富的道德理性又具有明显的功利要求。文章进而通过对信用体系维护的动力因素及其与市场主体行为的相关性进行比较研究后指出:政府在参与市场经济活动中要坚持“有所为,有所不为”,应把政府置于经济利益之外,使之具有超脱于市场各成员的地位;同时,信用体系的创立和维护并不必然由政府主导,而是市场经济环境中公共合意选择的必然结果。     

What do you think I think you think?: Strategic reasoning in matrix games

In reasoning about strategic interpersonal situations, such as in playing games, an individual's representation of the situation often includes not only information about the goals and rules of the game, but also a mental model of other minds. Often such mental models involve a hierarchy of reflexive reasoning commonly employed in social situations ("What do you think I think you think..."), and may be related to the developmental notion of 'theory of mind'. In two experiments, the authors formally investigate such interpersonal recursive reasoning in college-age adults within the context of matrix games. Participants are asked to predict the moves of another player (experimenter's confederate) in a two-choice, sequential-move game that may terminate at various stages with different payoffs for each player. Participants are also asked to decide optimally on their own moves based on the prediction made. Errors concerning the prediction, or translation of those predictions into decisions about one's action, were recorded. Results demonstrate the existence of a "default" mental model about the other player in the game context that is dynamically modified as new evidence is accumulated. Predictions about this other player's behavior are, in general, used consistently in decision-making, though the opponent tends to be modeled, by default, to behave in a myopic fashion not anticipating the participant's own action.     

Action-based and vision-based selection of input: Two sources of control

In the first part of this paper we review evidence suggesting that there exists a mechanism that selects input on the basis of its similarity to the required action. This response-based input selection differs from the more established space- and object-based input selection in that it is not constrained by the structure of the input. Our evidence suggests that the two-choice Stroop effect is caused by this response-based selection mechanism. By contrast, it is known that the flanker effect is determined by the space- and object- based selection mechanisms. We explore whether the conflict resolution of the Stroop and flanker tasks is different as well by embedding these two tasks in a PRP (Psychological Refractory Period) paradigm. We show that the Stroop and the PRP effects are additive whereas the flanker and the PRP effects are underadditive, suggesting that the processes in charge of the conflict resolution in the Stroop and the flanker tasks are indeed different. We discuss possible reasons for this difference, and discuss possible ways in which the response-based mechanism can be implemented in information processing models.     

Win-shift and win-stay learning in the short-beaked echidna (<Emphasis Type="Italic">Tachyglossus aculeatus</Emphasis>)

Numerous previous investigators have explained species differences in spatial memory performance in terms of differences in foraging ecology. In three experiments we attempted to extend these findings by examining the extent to which the spatial memory performance of echidnas (or "spiny anteaters") can be understood in terms of the spatio-temporal distribution of their prey (ants and termites). This is a species and a foraging situation that have not been examined in this way before. Echidnas were better able to learn to avoid a previously rewarding location (to "win-shift") than to learn to return to a previously rewarding location (to "win-stay"), at short retention intervals, but were unable to learn either of these strategies at retention intervals of 90 min. The short retention interval results support the ecological hypothesis, but the long retention interval results do not. Electronic Publication     

Selective influence of second target exposure duration and Task1 load effects in the attentional blink phenomenon

The purpose of the experiments was to constrain the locus of interference in the attentional blink (AB) paradigm. Two visual stimuli, T₁ and T₂, were shown 300 msec apart, and each was followed by a mask. T₁ was an “H,” an “S,” an “ &, ” or a blank field; T₂ consisted of five letters. In Task₁, blank fields and & characters could be ignored, whereas Hs and Ss had to be identified and reported. Task₂ was always to report as many letters as possible from T₂. Task₂ performance was lower when T₁ had to be reported, as expected from the attentional blink phenomenon (AB). The exposure duration of T₂ was also manipulated. More letters could be reported as exposure duration was increased. However, this effect was additive with manipulations of Task₁ processing load that produced the AB effect. Log-linear analyses assuming that effects of T₂ exposure duration and Task₁ load effects occur at functionally distinct stages of processing provided satisfactory fits to the results, suggesting that none of the AB effect occurs as early as those of T₂ exposure duration. The results suggest that the locus of the AB effect is later than the stage(s) of processing affected by exposure duration.     

The Factor Structure of the Beavers Interactional Scales

Confirmatory factor analysis and regression analyses of the Beavers Interactional Scales did not appear to support the model offered by its developers, namely, several specified family attributes contributing respectively to two global factors of Family Competence and Family Style. Moreover, regression analysis indicated that only three of 12 items predicted raters' assessments of Global Family Health, and one of seven items predicted Global Family Style. Individuals interested in the family dynamic centripetal/centrifugal might best think of that as a unitary entity and rate it accordingly.     

Plantinga’s Reformed Epistemology: What’s the Question?

Alvin Plantingas Warranted Christian Belief is without questionone of the central texts of the Reformed epistemology movement. Critiques of Plantingas defence have been both multiple and varied. As varied as these responses are, however, it is my contention that many of them amount to the same thing. It is the purpose of this paper to offer an overview of the main lines of attack that have been directed as Plantingas project, and thereafter to show how many, if not most, of these objections can be understood as versions or aspects of the same criticism, what I call the Inadequacy Thesis.     

Adjusting To a New Racial Climate: Maintenance of Personal Integrity

This paper will focus on the writer’s experience as a native New Yorker relocating to Montgomery, Alabama. The writer will share how he adjusted and coped with overt discrimination and racism in the context of the high school in which he attended there-a majority white high school on the “other” side of town. The writer will share how he employed the following coping mechanisms as methods of adjusting to his new environment: translating emotional experiences into words (relaxation and talk therapy), involvement with other black positive peers, careful assessment before acting, withdrawal and avoidance, and consuming African-American literature.