Modal Correspondence for Models

This paper considers the correspondence theory from modal logic and obtains correspondence results for models as opposed to frames. The key ideas are to consider infinitary modal logic, to phrase correspondence results in terms of substitution instances of a given modal formula, and to identify bisimilar model-world pairs.     

Nature and Dynamics of Reference Frames in Visual Search for Orientation: Implications for Early Visual Processing

Visual detection of a line target differing in orientation from a background of lines is assumed to occur early in vision and to involve filter mechanisms acting in parallel over the visual field in retinotopic maps (Foster & Ward, 1991; Treisman, 1985; Wolfe, 1994). But retinotopicality does not imply that early vision takes place in a retinal reference frame. This article briefly reviews experiments on this issue and analyzes their implications regarding early visual processing. The review shows that the spatial frame of reference used in visual search for orientation is dynamically determined by various sensory cues to orientation (Marendaz, Stivalet, Barraclough, & Walkowiac, 1993; Stivalet, Marendaz, Barraclough, & Mourareau, 1995). These findings suggest that intersensory integration and perceptual organization are involved at a processing level preceding visual search. This functional viewpoint is discussed in relation to data from neuroscience and psychology (visual search, microgravity).     

Effects of Predator-Induced Stress and Age on Working Memory in Rats

The Psychological Record - The effects of age and predator-induced stress, by exposing rats to a cat, were examined during subsequent testing of spatial working memory. Male rats (3 months and 20...     

Priming,analogy, and awareness in complex reasoning

The mechanisms by which a concept used in solving one complex task can influence performance on another complex task were investigated. We tested the hypothesis that even when subjects do not spontaneously make an analogy between two domains, knowledge of one domain can still spontaneously influence reasoning about the other domain via the mechanism of priming. Four groups of subjects (two experimental and two control) were given a simulated biochemistry problem on Day 1 and a simulated molecular genetics problem on Day 2. For the two experimental groups, the solution to the biochemistry problem involved inhibition. For the two control groups, the solution did not involve inhibition. On Day 2, all subjects received the same version of the molecular genetics problem in which the solution involved the concept of inhibition. Subjects in the experimental conditions were more likely to attain the correct answer, to propose inhibition, and to propose inhibition early in the problemsolving session than were subjects in the control conditions. However, subjects in the experimental conditions made no reference to the biochemistry problem either in their verbal protocols or in a posttask questionnaire. The results are interpreted as demonstrating that an implicit process—priming— can make old knowledge available for current problem solving.     

Spatial Repetition Blindness Is Modulated by Selective Attention to Color or Shape

Subjects reported either the colors or shapes of two simultaneous masked letters. Our first study found that they were less accurate when the reported features were identical ("repetition blindness," or RB), while repetition along the unreported dimension had no effect. Three follow-up studies confirmed that when the same dimension was judged (overtly or covertly) for both stimuli, performance was only affected by repetition along that dimension. However, when different dimensions were judged for the two stimuli, performance was affected by repetition on both dimensions. These findings support new conclusions about both RB and visual attention. First, RB depends critically on visual attention, rather than simply on the stimulus presented or the overt response required. Second, while attention can be restricted to a single visual dimension, this is efficient only when the same dimension is selected for both objects. Selecting the color of one object and the shape of another simultaneous object results in both dimensions being accessed for both objects.