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.     

Consistent (but not variable) names as invitations to form object categories: new evidence from 12-month-old infants

Recent research documents that for infants just beginning to produce words on their own, novel words highlight commonalities among named objects and, in this way, serve as invitations to form categories. The current experiment identifies more precisely the source of this invitation. We asked whether applying a consistent name to a set of distinct objects is crucial to categorization, or whether variable names might serve the same conceptual function. The evidence suggests that for 12-month-old infants, consistency in naming is critical. Infants hearing a single consistent novel noun for a set of distinct objects successfully formed object categories. Infants hearing different novel nouns for the same set of objects did not. These results lend strength and greater precision to the argument that naming has powerful and rather nuanced conceptual consequences for infants as well as for mature speakers.     

Stability of parental nurturance as a salient predictor of self-esteem.

The relationship of parental nurturance to self-esteem for seven distinct adolescent and early-adulthood age groups (N = 784) was investigated. Analysis showed that even though mothers' and fathers' nurturance together were more strongly related to self-esteem during the junior high school years (R2 values greater than 50% were obtained in each of the junior high samples) than during the high school and college years (R2 values less than 40% were obtained in each of these samples), parental nurturance still remained a robust predictor of self-esteem during these latter years. These results were discussed within the context of (a) the stability at different ages of the bases upon which one's judgments of self-esteem are made, and (b) parental nurturance as a stabilizing influence during the transitional years of adolescence and early adulthood.     

On the definability of the quantifier “there exist uncountably many”

In paper [5] it was shown that a great part of model theory of logic with the generalized quantifier Q x = there exist uncountably many x is reducible to the model theory of first order logic with an extra binary relation symbol. In this paper we consider when the quantifier Q x can be syntactically defined in a first order theory T. That problem was raised by Kosta Doen when he asked if the quantifier Q x can be eliminated in Peano arithmetic. We answer that question fully in this paper.I would like to thank Kosta Doen and Zoran Markovi who made valuable suggestions and remarks on a draft of this paper.