Models for normal intuitionistic modal logics

Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given for analogues of the modal systemK based on Heyting's prepositional logic. It is shown that these two relations can combine with each other in various ways. Soundness and completeness are proved for systems with only the necessity operator, or only the possibility operator, or both. Embeddings in modal systems with several modal operators, based on classical propositional logic, are also considered. This paper lays the ground for an investigation of intuitionistic analogues of systems stronger thanK. A brief survey is given of the existing literature on intuitionistic modal logic.     

The induced effect,vertical disparity,and stereoscopic theory

The induced effect is an apparent slant of a frontal plane surface around a vertical axis, resulting from vertical magnification of the image in one eye. It is potentially important in suggesting a role for vertical disparity in stereoscopic vision, as proposed by Helmholtz. The paper first discusses previous theories of the induced effect and their implications. A theory is then developed attributing the effect to the process by which the stereoscopic response to horizontal disparity is scaled for viewing distance and eccentricity. The theory is based on a mathematical analysis of vertical disparity gradients produced by surfaces at various distances and eccentricities relative to the observer. Vertical disparity is shown to be an approximately linear function of eccentricity, with a slope or gradient which decreases with observation distance. The effect of vertical magnification on such gradients is analyzed and shown to be consistent with a change in the eccentricity factor, but not the distance factor, required to scale horizontal disparity. The induced effect is shown to be an appropriate stereoscopic response to a zero horizontal disparity surface at the eccentricity indicated. However, since extraretinal convergence signals provide conflicting evidence about eccentricity, they may attenuate the induced effect from its mathematically predicted value. The discomfort associated with the induced effect is attributed to this conflict.     

NOTE ON THE RETENTION OF CONNECTED DISCOURSE

Two sentences were constructed having roughly the same content but different predictability ( P -) scores. One or other of the sentences was presented auditorily once only to different groups of subjects who were instructed to listen carefully, without however, being informed of the learning character of the experiment. The groups were then tested for retention after one of the following intervals: IM, 3 min., 2 hours, 20 hours. The sentences were found to differ in memorability (amount recalled) in IM but not in LTM. The reproductions were also analysed with regard to synonym and non-synonym substitutions and the implications for the chunking hypothesis discussed.     

Gender and projective imagination of threat in achievement and affiliation situations

In a study by Pollak and Gilligan (1982) where fantasies of violence were seen as indicative of perception of danger, women responded with more violent imagery to situations of achievement, whereas men responded with more violent imagery to affiliation situations. This indicates gender differences in motivational needs, which corresponds to modern gender development theories (e.g., Chodorow, 1978). In the present studies, the hypotheses that women fear achievement situations whereas men fear situations of affiliation were tested on Swedish samples totaling 44 men and 47 women. In Study 1, the hypothesis that violent imagery correlates with affiliation themes in the stories written by men was partly supported, whereas the hypothesis that violent imagery would be highly correlated with achievement themes in the stories written by women was not confirmed. In Study 2, no support was obtained for the hypotheses. In sum, contrary to previous studies, no substantial support was obtained for the hypothesis that women connect violent imagery with achievement situations, whereas some evidence was found for the hypothesis that men construe danger as arising from affiliation situations. The greater incidence of violence in men’s fantasy reported in previous studies was not supported in either of the two studies. The results are discussed in the context of cross-cultural differences.     

A COMPARATIVE STUDY OF SOME MULTIDIMENSIONAL VECTOR MODELS FOR SUBJECTIVE SIMILARITY

E kehammar B. A comparative study of some multidimensional vector models for subjective similarity. Scand. J. Psychol ., 1972, 1 3 , 190–197.—h this report, two theoretical vector models for subjective similarity were deduced from a "content" definition of subjective similarity. One of the derived similarity equations proved in empirical model testing to describe the similarity principle in perception of form better than earlier, similar models. Deviations between observed similarity estimates and values expected according to the model are discussed, among other things, in terms of the heterogeneity of the stimulus set.     

Against Disjunctive Properties: Four Armstrongian Arguments

Philosophia - This paper defends the case against (sparse) disjunctive properties by means of four Armstrongian arguments. The first of these is a logical atomist argument from truthmaking, which...     

消除威胁或无能狂怒?自恋对暴力犯攻击的影响机制

通过2个研究探索了自恋与暴力犯攻击行为的关系及机制。研究1通过问卷法(N = 498)发现, 自恋与攻击存在正相关, 特质愤怒在自恋与预谋性和冲动性攻击间的中介作用成立, 心理特权的中介作用只对预谋性攻击成立。研究2对90名暴力犯进行了行为学实验, 结果表明威胁感和负性情绪在自恋与攻击间起中介作用, 挑衅调节了上述中介作用。显性自恋者只在挑衅条件下表现出更强的攻击性, 隐性自恋者则在挑衅和无挑衅条件下均有较强的攻击性。研究厘清了不同亚型下自恋与攻击的关系, 突出了隐性自恋的“黑暗性”, 并为罪犯矫治管理及犯罪预防提供了参考。     

Egocentric Distance Perception Disorder in Amblyopia

Egocentric distance perception is a psychological process in which observers use various depth cues to estimate the distance between a target and themselves. The impairment of basic visual function and treatment of amblyopia have been well documented. However, the disorder of egocentric distance perception of amblyopes is poorly understood. In this review, we describe the cognitive mechanism of egocentric distance perception, and then, we focus on empirical evidence for disorders in egocentric distance perception for amblyopes in the whole visual space. In the personal space (within 2 m), it is difficult for amblyopes to show normal hand-eye coordination; in the action space (within 2 m~30 m), amblyopes cannot accurately judge the distance of a target suspended in the air. Few studies have focused on the performance of amblyopes in the vista space (more than 30 m). Finally, five critical topics for future research are discussed: 1) it is necessary to systematically explore the mechanism of egocentric distance perception in all three spaces; 2) the laws of egocentric distance perception in moving objects for amblyopes should be explored; and 3) the comparison of three subtypes of amblyopia is still insufficient; 4) study the perception of distance under another theoretical framework; 5) explore the mechanisms of amblyopia by Virtual Reality.     

Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking

We investigate a SAT-based bounded model checking (BMC) method for EMTLK (the existential fragment of the metric temporal logic with knowledge) that is interpreted over timed models generated by timed interpreted systems. In particular, we translate the existential model checking problem for EMTLK to the existential model checking problem for a variant of linear temporal logic (called HLTLK), and we provide a SAT-based BMC technique for HLTLK. We evaluated the performance of our BMC by means of a variant of a timed generic pipeline paradigm scenario and a timed train controller system.     

Investigation of tensile deformation mechanisms at room temperature in a new Ni-based single crystal superalloy

The deformation microstructures of a new Ni-based single crystal superalloy, M 4706, have been characterized by transmission electron microscopy after interrupted tensile tests at room temperature. It is found that besides shearing of γ′ precipitates by strongly coupled dislocations, another unusual shearing process involving a single a/2 〈1?0?1〉 matrix dislocation as well as the formation of the isolated superlattice stacking fault and Shockley loop also operates actively during initial yielding. Based on experimental observations, occurrence of these different shearing processes is discussed.