Proof-theoretic Semantics for Classical Mathematics

We discuss the semantical categories of base and object implicit in the Curry-Howard theory of types and we derive derive logic and, in particular, the comprehension principle in the classical version of the theory. Two results that apply to both the classical and the constructive theory are discussed. First, compositional semantics for the theory does not demand ‘incomplete objects’ in the sense of Frege: bound variables are in principle eliminable. Secondly, the relation of extensional equality for each type is definable in the Curry-Howard theory.     

Pragmatism, Naturalism, and Phenomenology

Pragmatism’s naturalism is inconsistent with the phenomenological tradition’s anti-naturalism. This poses a problem for the methodological consistency of phenomenological work in the pragmatist tradition. Solutions such as phenomenologizing naturalism or naturalizing phenomenology have been proposed, but they fail. As a consequence, pragmatists and other naturalists must answer the phenomenological tradition’s criticisms of naturalism.     

The Frame Problem and Theories of Belief

The frame problem is the problem of how we selectively apply relevant knowledge to particular situations in order to generate practical solutions. Some philosophers have thought that the frame problem can be used to rule out, or argue in favor of, a particular theory of belief states. But this is a mistake. Sentential theories of belief are no better or worse off with respect to the frame problem than are alternative theories of belief, most notably, the “map” theory of belief.     

A reexamination of sex differences in job preferences

Previous research has found conflicting answers to the question of whether males and females share similar preferences for various job characteristics. It is difficult to determine if the different findings are due to the different populations sampled, the various methodologies employed, or to a real change in the phenomenon itself. This study essentially replicates earlier work by having 130 male and 84 female college students rate the importance of 10 job characteristics for both themselves and members of the opposite sex. Both sexes rated motivators as important, but females also placed importance on the hygienes. Males tended to underestimate the importance of the motivators for females, while females overestimated the importance of hygienes for males. The subject's sex could be predicted by both the importance for self and importance for opposite sex ratings, contrary to the earlier study. The difference in results and interpretation was shown to be due to the type of analyses used. Additionally, it was found that females' job preferences were related to their mothers' educational achievement.     

Reality therapy: Icing on the cake of behavior modification

The paper presents a conceptual model for therapeutic intervention based on a behavioral orientation. Behavioral therapy is viewed on a continuum ranging from basic operant techniques to cognitive strategies applied to human interaction. It is hypothesized that the elements of reality therapy, with its emphasis on human interaction, are needed to provide closure to the therapeutic intervention and to help maintain new coping behaviors. Utilizing the context of an institutionalized client, suggestions for how this process might occur are discussed.     

Social perspective-taking and adjustment in emotionally disturbed,learning-disabled,and normal children

Preadolescent emotionally disturbed, learning-disabled, and normal boys were compared on social perspective-taking and behavioral measures to examine possible contributions of social cognitive deficits to children's adjustment problems. Antisocial-prosocial and withdrawn-gregarious behavior dimensions were studied through subscales derived from teacher ratings. Results indicated that across all groups, high perspective-taking was associated with significantly less withdrawal than was low perspective-taking; within groups, this finding was significant only for the emotionally disturbed boys. Contrary to theoretical assumptions, antisocial behavior was not significantly related to perspective-taking across the sample. Among emotionally disturbed boys, relatively higher affective perspectivetaking was significantly correlated with higher antisocial behavior. This positive correlation for the emotionally disturbed group was significantly different from the nonsignificant negative correlation between antisocial behavior and perspective-taking among normals. Findings for learning-disabled boys were intermediate. between results for emotionally disturbed and normal boys on both perspectivetaking and behavioral measures, and the learning-disabled group generally did not differ significantly from either other group. Theoretical and clinical implications of the findings are discussed The authors acknowledge the invaluable assistance and cooperation of many teachers and principals in Jefferson County School District in Colorado, especially Ms. Norma Sobesky, coordinator of the program for Significantly Impaired Emotionally and Behaviorally Disturbed Children, and Ms. Beth Young, coordinator of the program for Perceptual and Communicative Disorders.     

Reminiscence as the cure of souls in early old age

Reminiscing is an important step in the direction of spiritual maturity and wholeness for the person in early old age. Reminiscence that is shared between persons easily fits into the early Christian concept of cure. It is an act of loving care that heals and helps shape the totality of existence. Therapeutic reminiscence not only enhances the cure of souls in early old age; it also helps to close the gap between the depressing expectations of younger generations and the reality of continued growth in the last half of life. A bibliography is appended.     

Piaget's data and spearman's theory—An empirical reconciliation and its implications for academic achievement

A hierarchical simple structure factor solution was obtained for item scores from a psychometrized battery of Piagetian-type tasks individually administered to 660 kindergarten children. At the first level of factors were the Piagetian theoretical entities of seriation, classification, conservation of number, and temporal and spatial reasoning, with numeration loading on seriation and classification as indicated by the theory. At the second level were two factors identified as Piaget's logicomathematical and infralogical operations. A third-level factor was identified as a g factor. The association of the Piagetian-type tasks with kindergarden and first grade academic achievement was through the third-level g factor. The second-level factors appeared to be similar to Vernon's k:m and v:ed but, like the first level factors, made no important contribution to predicted achievement above that contributed by the g factor. A socioeconomic factor made no unique contribution to predicted first grade achievement. It was concluded that the Piagetian concrete operations variables have no unique role in the prediction of kindergarten or first grade academic achievement.