On Kreisel's notion of validity in post systems

This paper investigates various interpretations of HPC (Heyting's predicate calculus) and mainly of HPC₀ (Heyting's propositional calculus) in Post systems.§1 recalls some background material concerning HPC including the Kripke and Beth interpretations, and later sections study the various interpretations available.Allatum est die 27 Octobris 1975     

Une contribution aux theories modernes de communication: machines de Turing et problemes de mot

Sans résumé     

The materialist mentality revisited

My thanks to Jacob Joshua Ross for his helpful advice, and to an anonymous reviewer for detailed and useful comments on an earlier version of this essay.     

Negative bodily self in suicide attempters

In the present study we investigated the relationship between suicidal behavior and aspects of bodily perception and parental care. Measures of bodily perception included measures of tactile sensitivity, body attitudes, and body experiences. Measures of parental care included parental bonding, negative and positive touch, and early maltreatment. One hundred and two adolescents (suicidal and nonsuicidal inpatients, and a control group) participated in the study. It was hypothesized that suicidal adolescents would (1) have higher tactile sensation thresholds, and more negative body attitudes and experiences; and (2) report less parental care, lower positive and higher negative parental touch, and higher parental maltreatment. It was also hypothesized that bodily sensitivity would mediate the relationship between suicidal tendencies and perceived negative early care. These hypotheses were confirmed. The role of a negative bodily self in suicidal behavior is proposed and discussed.     

A multilevel model of safety climate: cross-level relationships between organization and group-level climates

Organizational climates have been investigated separately at organization and subunit levels. This article tests a multilevel model of safety climate, covering both levels of analysis. Results indicate that organization-level and group-level climates are globally aligned, and the effect of organization climate on safety behavior is fully mediated by group climate level. However, the data also revealed meaningful group-level variation in a single organization, attributable to supervisory discretion in implementing formal procedures associated with competing demands like safety versus productivity. Variables that limit supervisory discretion (i.e., organization climate strength and procedural formalization) reduce both between-groups climate variation and within-group variability (i.e., increased group climate strength), although effect sizes were smaller than those associated with cross-level climate relationships. Implications for climate theory are discussed.     

A small step for rats alters spatial behavior: rats on a bi-level arena explore each level separately

Animal Cognition - We tested rats on a ‘bi-level open-field’ whose two halves were separated vertically by an 8-cm step that the rats could easily ascend/descend. We sought to determine...