Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics

In so-called Kripke-type models, each sentence is assigned either to true or to false at each possible world. In this setting, every possible world has the two-valued Boolean algebra as the set of truth values. Instead, we take a collection of algebras each of which is attached to a world as the set of truth values at the world, and obtain an extended semantics based on the traditional Kripke-type semantics, which we call here the algebraic Kripke semantics. We introduce algebraic Kripke sheaf semantics for super-intuitionistic and modal predicate logics, and discuss some basic properties. We can state the Gödel-McKinsey-Tarski translation theorem within this semantics. Further, we show new results on super-intuitionistic predicate logics. We prove that there exists a continuum of super-intuitionistic predicate logics each of which has both of the disjunction and existence properties and moreover the same propositional fragment as the intuitionistic logic.     

Visual evoked potentials to the geometric forms in the randomized presentation

Two outlined geometric figures, an equilateral triangle and a circle, of equal contour length, were randomly presented at a fixed position in the lower or upper part of the visual field (LVF and UVF). Transient visual evoked potentials (VEPs) were recorded monopolarly from the inion (I), 5, 10, 15 cm above it (I5, I10, I15) and Fz, for 12 subjects. Grand-averaged VEPs were computed. A negative (N) wave (averaged peak latency 155 ms) was identified in the LVF and a positive (P) wave (130 ms) in the UVF. In the LVF, the N amplitude of the triangle was significantly larger than that of the circle at I5 and I. Regarding the P wave in the UVF, the triangle was of a significantly longer latency than the circle at I15, I10 and I5. The enhancement of the N amplitude for the triangle in the LVF is not attributable to the arousal caused by the preparatory state for the figure, since the subject could not predict the figure to be presented next or its position.     

Mapping of interneurons that contribute to food aversive conditioning in the slug brain

To determine the distribution of neurons that contribute to memory formation induced by odor-taste associative conditioning in the slug's brain, we examined neuronal activity of the central nervous system of the slug Limax marginatus using a fluorescent activity marker [Lucifer yellow (LY)]. When LY was injected into the body cavity just after the conditioning, many of the procerebral (PC) interneurons were labeled. The PC lobe was considered to play important roles in the olfaction of the slug, because the olfactory afferent fibers from both the inferior and the superior tentacular noses innervate it. Such strong dye-uptake activity of PC interneurons was not observed when LY was injected just after unpaired control treatment. Thus, it was suggested that enhancement of dye-uptake activity upon conditioning was caused by the association of a conditioning stimulus (CS) with an unconditioned stimulus (UCS). The distribution patterns of PC interneurons that were labeled by LY after conditioning showed a characteristic feature: They usually formed a belt-shaped cluster parallel to the dorsoventral axis. This feature of the distribution was maintained when different odors were used as a CS. Furthermore, the number of the clusters reflected the number of CS odors but not the number of conditioning sessions. From these observations, we considered that enhancement of the neural activity involving dye uptake in each belt-shaped cluster contributed to formation of each odor memory.     

Egalitarian sex role attitudes: Scale development and comparison of American and Japanese women

The English Form of the Scale of Egalitarian Sex Role Attitudes was administered to 238 American women after the original Japanese Form was developed and administered to 420 Japanese women. The results reveal that the English Form has a potential for use as a measurement of American women's sex role attitudes. The results of cross-cultural comparisons suggest that American women have more egalitarian attitudes than their Japanese counterparts. However, they have basically similar attitudes toward more general egalitarian values. Among the four roles of woman, wife, mother, and person, the majority of the American women choose person as the most important role, whereas the Japanese women do not claim any clear dominant role. But the results show that the Japanese women's attitudes toward women's roles have become more egalitarian and individualistic during the past two decades.This research was partly supported by a grant from the Dentsu Corporation's Yoshida Hideo Memorial Foundation. The author wishes to thank Roger Brown, Cynthia Chataway, Matina Horner, Ellen Langer, and Annemette Sorensen, Yoshiyasu Uno, and the reviewers for their critical and helpful comments on an earlier version of this article. The statistical help by Ellen Herbener and Valerie Leiter are gratefully acknowledged.     

Effects of visual-field inversions on the reverse-perspective illusion

The 'reverse-perspective' illusion entails the apparent motion of a stationary scene painted in relief and containing misleading depth cues. We have found that, using prism goggles to induce horizontal or vertical visual-field reversals, the illusory motion is greatly reduced or eliminated in the direction for which the goggles reverse the visual field. We argue that the illusion is a consequence of the observer's inability to reconcile changes in visual information due to body movement with implicit knowledge concerning anticipated changes. As such, the reverse-perspective illusion may prove to be useful in the study of the integration of linear perspective and motion parallax information.     

Understanding priming of color-singleton search: roles of attention at encoding and "retrieval"

We investigated how the performance of a color-singleton search (the search for a single odd-colored item among homogeneously colored distractors) left a persistent memory trace (lasting up to six intervening trials or approximately 17 sec) that facilitated a subsequent color-singleton search (when the same target-distractor color combination was repeated). Specifically, we investigated the roles of attention in the encoding and "retrieval" stages of this priming effect by intermixing trials in which the target location was precued by an onset cue. We found that the encoding of both target and distractor colors was automatic in that whether or not observers had to use color in locating the target in the preceding trial did not substantially affect priming. However, priming required that the color-singleton item be attended in the preceding trial. Once a color singleton display was encoded, our results indicated that priming facilitated the direction of attention to the color-singleton target on a subsequent trial. In short, when a color-singleton item happened to be a critical item to be attended in one situation, another color-singleton item defined by the same color combination tended to attract attention in subsequent encounters.     

Meta-analysis using linear mixed models

Psychologists often use special computer programs to perform meta-analysis. Until recently, this had been necessary because standard statistical packages did not provide procedures for such analysis. This paper introduces linear mixed models as a framework for meta-analysis in psychological research, using a popular general purpose statisticalpackage, SAS. The approach is illustrated with three examples, usingsas peoc mixed.     

Short report: the effect of expertise in hiking on recognition memory for mountain scenes

The nature of an expert memory advantage that does not depend on stimulus structure or chunking was examined, using more ecologically valid stimuli in the context of a more natural activity than previously studied domains. Do expert hikers and novice hikers see and remember mountain scenes differently? In the present experiment, 18 novice hikers and 17 expert hikers were presented with 60 photographs of scenes from hiking trails. These scenes differed in the degree of functional aspects that implied some action possibilities or dangers. The recognition test revealed that the memory performance of experts was significantly superior to that of novices for scenes with highly functional aspects. The memory performance for the scenes with few functional aspects did not differ between novices and experts. These results suggest that experts pay more attention to, and thus remember better, scenes with functional meanings than do novices.     

Japanese death rituals in transit: From household ancestors to beloved antecedents

The recent trend in contemporary Japanese funerals reflects changing family relationships, religious affiliation and individual values. Increasingly, Japanese people are conducting a living‐funeral or a non‐religious funeral (as opposed to a common Buddhist funeral), and dispersing ashes after cremation. Such funeral ceremonies and mortuary rites demonstrate the isolation of the elderly during the process of dying, the asymmetrical relationship between the deceased and the bereaved, and the attenuating ties between people and Buddhist temples. The fundamental change that underlies these transformation of funerary practices, I argue, is the shift from the ancestor worship that values the deceased for the purpose of household perpetuation, to the memorialism of individuals that celebrates the deceased's personal life based on the bereaved's love toward the deceased.