The Epsilon Calculus and Herbrand Complexity

Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator e _x . Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure.     

Paraconsistent Metatheory: New Proofs with Old Tools

Journal of Philosophical Logic - This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard...     

Women, men, work, and family. An expansionist theory.

The lives of women and men, the relationships that they establish, and their work have changed dramatically in the past 50 years, but the dominant theories driving research in these areas have not. In this article, the authors argue that the facts underlying the assumptions of the classical theories of gender and multiple roles have changed so radically as to make the theories obsolete. Moreover, a large body of empirical data fails to support the predictions flowing from these theories. Yet the development of new theory for guiding research and clinical practice has not kept pace. The authors attempt to fill this theoretical gap by reviewing the research literature and articulating an expansionist theory of gender, work, and family that includes four empirically derived and empirically testable principles better matched to today's realities.     

Learned helplessness and IQ differences

Two groups of adult Ss differing in verbal IQ were compared in a learned helplessness experiment involving cognitive tasks and non-contingent rewards. The mean IQs for the two groups were 131 and 117. As predicted, the higher IQ Ss performed better overall and showed greater awareness of the response-outcome contingency. Their test-task performance was also more affected by the contingency manipulation although this occured only with success feedback. Implications of the results for cognitive accounts of human helplessness are discussed.     

The effects of a career course on undecided college students

The effects of a career course taught by 11 instructors (two sections each) for college students, who were undecided about a major field or career, were evaluated in a pre-post design using the Vocational Identity, Occupational Information, and Barrier scales of the My Vocational Situation (J. A. Holland, D. C. Daiger, & P. G. Power, Palo Alto, Calif.: Consulting Psychologists Press, 1980). Large main effects were observed for the Identity and Occupational Information scales, but not for the Barriers scale. No interactions by instructor or student characteristics were found by using a simple ANOVA procedure or by using a split plot factorial design. The implications for new research and career instructors were discussed.     

A criminal offender introspective report.

The development of a new scale suitable for research with the criminal offender was described. Based on the factor analysis of an item pool delineating sociopathic personality traits, five factors were derived to compose an 80-item criminal offender introspective report (COIR).