A cut-free gentzen-type system for the logic of the weak law of excluded middle

The logic of the weak law of excluded middleKC _p is obtained by adding the formula A A as an axiom scheme to Heyting's intuitionistic logicH _p . A cut-free sequent calculus for this logic is given. As the consequences of the cut-elimination theorem, we get the decidability of the propositional part of this calculus, its separability, equality of the negationless fragments ofKC _p andH _p , interpolation theorems and so on. From the proof-theoretical point of view, the formulation presented in this paper makes clearer the relations betweenKC _p ,H _p , and the classical logic. In the end, an interpretation of classical propositional logic in the propositional part ofKC _p is given.     

Cross-alphabet and cross-modal long-term priming in Serbian and English

In Experiments 1 and 2, we investigated long-term repetition priming effects in Serbian under crossalphabet and cross-modal conditions. In both experiments, results followed the same pattern: significant priming in all conditions and no significant reduction in priming in the cross-modal as opposed to the cross-alphabet condition. These results are different from those obtained in English (Experiment 3), in which a modality shift led to a reduction in priming. The findings are discussed within a theoretical framework, in which long-term priming is a by-product of learning within the language system. A full list of word stimuli for all three experiments presented in this article can be found at www.psychonomic.org/archive.     

Lightness of an object under two illumination levels

Anchoring theory (Gilchrist et al, 1999 Psychological Review 106 795-834) predicts a wide range of lightness errors, including failures of constancy in multi-illumination scenes and a long list of well-known lightness illusions seen under homogeneous illumination. Lightness values are computed both locally and globally and then averaged together. Local values are computed within a given region of homogeneous illumination. Thus, for an object that extends through two different illumination levels, anchoring theory produces two values, one for the patch in brighter illumination and one for the patch in dimmer illumination. Observers can give matches for these patches separately, but they can also give a single match for the whole object. Anchoring theory in its current form is unable to predict these object matches. We report eight experiments in which we studied the relationship between patch matches and object matches. The results show that the object match represents a compromise between the match for the patch in the field of highest illumination and the patch in the largest field of illumination. These two principles are parallel to the rules found for anchoring lightness: highest luminance rule and area rule.     

Screening people with disturbed sleep for depression

Disturbed sleep may be associated with a multitude of environmental, medical, and psychological conditions. Since sleep disturbances are leading manifestations of major depression, a common potentially fatal disorder, persons with disturbed sleep must be screened for depression. Different forms of disturbed sleep are associated with specific subtypes of depression. Those with evidence of depression must then be referred for prompt treatment to abort serious adverse outcomes, including suicide.     

Relations between different types of children's aggressive behavior and sociometric status among peers of the same and opposite gender

Croatian elementary school children in grades 4 to 6 (N= 151) reported on direct and indirect aggressive behaviors of their classmates. Acceptance and rejection by classmates were also assessed, employing the sociometric nomination technique. Correlational analyses revealed that both forms of aggression were related to peer rejection, but unrelated to peer acceptance. Girls' aggression was more strongly related to peer rejection than boys' aggression, independent of the type of aggression. Aggressive children of both genders tended to be more rejected by their same-gender classmates than by classmates of the opposite gender. Results were discussed in terms of children's attitudes towards aggression, and gender stereotyped perception of appropriateness of aggressive behavior. A need to examine developmental changes and cultural differences in relationships between aggression and peer status was emphasized.     

Body mass index and waist: hip ratio are not enough to characterise female attractiveness

The assessment of characteristic body features of Miss Poland beauty contest finalists compared with the control group, can contribute to recognising the contemporary ideal of beauty promoted by the mass media. The studies of Playboy models and fashion models conducted so far have been limited to the following determinants of attractiveness: body mass index, waist:hip ratio, and waist:chest ratio, which only partially describe the body shape. We compared 20 body features of the finalists of Miss Poland 2004 beauty contest with those of the students of Medical Academy in Bydgoszcz. Discriminant analysis showed that the thigh girth-height index, waist: chest ratio, height, and body mass index had the greatest discrimination power distinguishing the two groups. A model of Miss Poland finalists figure assessment is presented which allows one to distinguish super-attractive women from the control group.     

Identification of partially presented meaningless patterns: effect of completeness and distinctiveness

The role of parts versus that of wholes in a visual perception has been debated for a century as two opposite approaches, namely, an analytic and holistic. In two psychophysical experiments we investigated whether the stimulus completeness or distinctiveness is essential for identification of the partially presented patterns under brief presentation conditions. For this purpose, a special class of stimuli was constructed in such a way that the patterns could be divided into informative and redundant parts. The first experiment clearly demonstrated the importance of the redundant part for effective pattern identification for the majority of subjects. The second experiment revealed the direct dependence of identification accuracy of the patterns on their completeness (2, 3, 4, 5, or 6 elements). Familiarisation of subjects with the test stimuli influenced the strength of this dependence.     

The understanding of spirituality in French and German culture. By Emmanuel Levinas,translated by Andrius Valevičius.

Continental Philosophy Review -     

Connections Between BCK-algebras and Difference Posetse

We discuss the interrelations between BCK-algebras and posets with difference. Applications are given to bounded commutative BCK-algebras, difference posets, MV-algebras, quantum MV-algebras and orthoalgebras.     

Gender and well-being in the Czech Republic

American women are stressed by network events and men by economic events outside the home, with women internalizing distress symptoms and men externalizing them. This gender pattern of stress-distress in the United States was tested in the 1990–1991 Czech Republic with a two-wave panel based on 294 households, 90% of which are Czech. This analysis is restricted to the 192 respondents who completed questionnaires in the second wave, 1991. The country was in the shock phase of its transition from state socialism to democracy and a market economy, and people were experiencing economic hardship and uncertainty. Czech women and men reported similar exposure to economic and network stress and were similar in their vulnerability to stress (mastery and social support) as well. Women reported higher levels of internalized distress symptoms (depression, anxiety, and somatization) than men, but there were no significant gender differences in externalized symptoms (hostility). The effects of economic and network stress on the distress symptoms were the same for women and men. Mastery buffered the relationship between economic stress and somatization and hostility, but social support was not a buffer between the stressors and distress, and these were true for both men and women. Interpretations of the results rest on the convergence of gender roles in the Czech Republic since 1948, which exposed Czech women and men equally to the shock phase of the post-communist transformation.Research for this paper was supported by the National Institutes of Mental Health (MH50369), NATO, and IREX, with funds provided by the Andrew W. Mellon Foundation, the National Endowment for the Humanities, and the U.S. Department of State. Partial support was provided by Iowa State University and the Agriculture University of Prague as well. Lorenz was also funded by the Iowa Agricultural and Home Economics Experimentation Station. None of these organizations is responsible for the views expressed.