A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic

Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.     

Sexual coercion in high school dating

Retrospective data from a survey of Australian undergraduate university students indicated that sexual coercion leading to sex play and sexual intercourse is a feature of dating behavior in high school. Fifty-three percent of 217 females reported that a boy had overestimated the level of sexual intimacydesired, while 45 percent of 72 males reported that a girl had underestimated the level of sexual intimacydesired. While data was not gathered on ethnic origin, the majority of students were Australian born, although family of origin would have been culturally varied. The data illustrate sexual coercion leading to both sex play and intercourse, with a number of factors being implicated in its occurrence, including alcohol and drugs and males saying things they didn't really mean, through to threat and use of force. They support that the existence of sexual coercion among high school students, a population that has received little research attention in this area, is comparable to its existence in the college/university years.     

From I: A/M to “Who am I?”—Aggregation/Massification and Trauma-Based Affects and Object Relations in Groups: A Response to Earl Hopper

Hopper's portrayal of the fourth basic assumption of Incohesion: Aggregation/Massification has two components: (1) a revision of Turquet's theory of BA Oneness to incorporate the polarity of aggregation and massification stemming from annihilation anxiety; and (2) a conception of the difficult patient as having an encapsulated psychosis. Hopper's theory of the encapsulated psychosis offers an important but incomplete perspective in explaining borderline and narcissistic pathology, as well as psychological trauma. In this response to Hopper, I suggest that the fourth assumption is in fact a still more primitive state of boundary opening and closing. I also see a need to differentiate trauma as such from borderline pathology, and further hold that the relationship between Hopper's British Independent theory and trauma theories based on dissociation needs to be clarified.     

Stereotyped connotations of masculine and feminine names

This study was designed to provide a basis to understand better antifeminine stereotyped attitudes that occur in association with a stimulus no more informative about a person than her first name. College students, mostly freshmen and sophomores, ascribed connotative meanings to common and uncommon masculine and feminine first names while imagining either real or ideal persons. The results from 48 subjects disclosed that the semantic dimension of potency (e.g., strength and bravery) is likely to be a fundamentally important connotation associated more with masculine names than with feminine names. Two findings very much supported this conclusion. Thus, the potency dimension was the only one of five dimensions of semantic meaning that: (a) yielded any masculine-feminine difference in the ideal condition, and (b) showed a disfavorable connotation for feminine names in comparison to masculine names in either the real or ideal condition.     

Effects of format and expertise on the decision rules used to evaluate supermarket sales promotions

Heavy and light coupon users generated talk aloud protocols (Ericsson and Simon 1984) as they evaluated computerized supermarket sales promotions. Buy N get 1 Free and Buy A get B Free coupons were rapidly accepted or rejected. They led subjects to concentrate on their liking of the brand or need for the promoted product. Subjects evaluating price promotions thought of the deal rather than of the product. Heavy and light coupon users used different rules to evaluate promotions.William D. Diamond is an Assistant Professor of Marketing at the School of Management, University of Massachusetts, Amherst, MA 01003.The author thanks Dave Hosmer for his generous help with the analysis. Thanks also to Eric Berkowitz, Leland Campbell, Marsha Richins and Marc Weinberger for their constructive feedback on the project. This research was funded by a summer research support grant at the University of Massachusetts School of Management.     

Tomboys and sissies: Androgynous children?

Psychological studies of masculinity-femininity in children have paralleled those done with adults, which often consider deviations from masculinity for males and femininity for females as abnormal and perhaps pathological. Children who demonstrate cross-sex behaviors, however, may become androgynous adults whose cross-sex behaviors mean flexibility, not pathology. This study had two purposes: (1) to identify potentially androgynous children as those labeled by their peers as tomboys and sissies; (2) to compare personality characteristics of androgynous children with those of peers. Subjects were 312 elementary school children in a midwestern city. Results indicate that the labels tomboy and sissy are not necessarily indicators of androgynous children, but important social behaviors are related to the labels. For males, the possibility of frustrated creativity was raised.     

A further analysis of the affective meanings associated with male and female sex-trait stereotypes

This study was concerned with the qualitative differences in the male and female sex-trait stereotypes. Previous research employing the item pool of the Adjective Check List (ACL) had indicated no relationship between the stereotype loading of the adjectives and their favorability ratings. In the present study, university students rated the ACL items for strength and activity, and these ratings were used to demonstrate that the male stereotype was appreciably stronger and more active than the female stereotype. It was found that the strength ratings were highly correlated with both activity and favorability ratings which were, themselves, unrelated. It was concluded that the principal qualitative difference between the stereotypes lay in the connotations of activity and passivity associated, respectively, with the male and female stereotype traits, and that any assertion of greater social desirability for the male stereotype was based on its greater activity and not, as is often supposed, on its greater favorability.     

The numbers game: Gender and attention to numerical information

Research suggests that males outperform females on standardized tests of math ability from early adolescence onward. Several explanations for this difference focus on the different experiences of females and males with numerical information. We reasoned that males have more experience with numerical information than females because typical male interests (e.g., sports) are more likely to involve numerical information than typical female interests (e.g., physical appearance). Thus, we predicted that males would attend more to numerical information than would females, at least when the information was presented in a male-related or gender-neutral context. Females were expected to attend more than males when the context was female-related. Results using White/Caucasian subjects provided some support for these predictions. Implications for future research on the relationship between the gender-linkage of math materials and gender differences in math performance are discussed.     

On Ultrafilter Logic and Special Functions

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.Presented by André Fuhrmann     

Moral Responsibility, Determinism, and the Ability to do Otherwise

In his classic paper, The Principle of Alternate Possibilities, Harry Frankfurt presented counterexamples to the principle named in his title: A person is morally responsible for what he has done only if he could have done otherwise. He went on to argue that the falsity of the Principle of Alternate Possibilities (PAP) implied that the debate between the compatibilists and the incompatibilists (as regards determinism and the ability to do otherwise) did not have the significance that both parties had attributed to it -- since moral responsibility could exist even if no one was able to do otherwise. I have argued that even if PAP is false, there are other principles that imply that moral responsibility entails the ability to do otherwise, and that these principles are immune to Frankfurt-style counterexamples. Frankfurt has attempted to show that my arguments for this conclusion fail. This paper is a rejoinder to that reply; I argue that he has failed to show this.     

Six-year-old children's understanding of sentences adjoined with time adverbs

The adjoining of clauses with temporal links is the basis for many sentences that convey sequence of events. The present study attempts to delineate 6-year-old children's (N=30) understanding of the meaning sequences imparted by sentences adjoined with after, before, and until. Their performance of the meaning sequence for each of 24 carefully constructed sentences is compared to an adult model. Analysis of the results (using a Wilcoxon Matched Pairs Signed Rank Test) indicated that: (1)Ss understood sentences adjoined with after according to an adult model more frequently than before adjoined sentences (P<0.01); (b) Until adjoined sentences with a negative marker in the main clause were understood according to an adult model more often than until adjoined sentences with no such negative element, but the difference was not significant at a=0.01; (3)Ss understood before adjoined sentences according to an adult model more often than until adjoined sentences, but the difference was not significant at a=0.01. In general, the results indicated that 6-year-olds have not yet completed development of an adult grammar with respect to adjoining clauses with temporal links, after, before, and until.     

Semantic organization in deaf and hearing subjects

Hierarchical cluster analysis of data from the sorting of noun words was used to compare semantic structures in 63 profoundly deaf and 63 hearing adolescents. In the first study, performance differed only for a set of words referring to sounds, where deaf persons have no experience, and not for a set of common noun words and pictures. In the second study, differences between matched sets of high- and low-imagery words were comparable for 63 deaf and 63 hearing subjects. It is concluded that deaf subjects manifested abstract hierarchical relations and were not dependent on visual mediators or hindered by the absence of acoustic mediators.This investigation was supported in part by National Institutes of Health Research Grant NS-09590-03 from the National Institute of Neurological Diseases and Stroke and in part by a Faculty Research Grant from Bowling Green State University.Portions of Study 1 were previously reported at the Eighty-first Annual Convention of the American Psychological Association, Montreal, 1973.     

Care and the dynamics of social world

The concept of social world is formulated for the purpose of deepening our understanding of the dynamics of inclusion, exclusion, and care in interpersonal interaction. World is defined as an irreducible subject-object polarity.Social world is the extremely fragile environment within which people meet, and is easily destroyed. With special attention to family and church life, the conditions for maintaining or losing this environment are examined. Three levels of social world are defined. On the highest level, mutual care, rather than shared opinion, is seen as the factor that facilitates the preservation of social world in the face of world-threatening issues.     

Negative dominance in hedonic integration of noun-noun pairs

Subjects in Experiment 1 rated the pleasantness of nouns and of noun pairs. Although pair pleasantness was highly correlated with average component-word pleasantness, it was systematically lower than this average. In Experiment 2, subjects rated all combinations of 18 nouns on either pleasantness or unpleasantness of the pair, in a within-subject factorial design. Significant interactions in the two studies were interpreted in the context of algebraic integration theory as indicating a context-sensitive differential weighting of components: the more unpleasant noun of a pair had a greater effect on pair ratings than the more pleasant noun. The potential reliability and generality of this negative dominance effect was considered, and it was contrasted with the Pollyanna effect discussed by previous authors.The authors would like to thank Ronald Fox for his valuable help with the data analysis.     

Intensional Completeness in an Extension of Gödel/Dummett Logic

We enrich intuitionistic logic with a lax modal operator and define a corresponding intensional enrichment of Kripke models M = (W, , V) by a function T giving an effort measure T(w, u) {} for each -related pair (w, u). We show that embodies the abstraction involved in passing from true up to bounded effort to true outright. We then introduce a refined notion of intensional validity M |= p : and present a corresponding intensional calculus iLC-h which gives a natural extension by lax modality of the well-known G: odel/Dummett logic LC of (finite) linear Kripke models. Our main results are that for finite linear intensional models L the intensional theory iTh(L) = {p : | L |= p : } characterises L and that iLC-h generates complete information about iTh(L).Our paper thus shows that the quantitative intensional information contained in the effort measure T can be abstracted away by the use of and completely recovered by a suitable semantic interpretation of proofs.     

Treating the “Wise Baby”

In a previous examination of Ferenczis concept of the Wise Baby (1996), I had noted both its applications and its limitations in the analytic treatment of an unusually intelligent adult. Ferenczis concepts of the origin of intellect in trauma and of the wise baby have often left the indistinct impression of being interrelated phenomena. In this paper, I regard as arguable the notion that very high intelligence is pathological when it is precocious. This return visit to the territory of the wise baby extends Ferenczis ideas about the origin and use of the intellect to include a consideration of what may constitute effective treatment for those who suffer from giftedness.Judith E. Vida, M.D. edits On the Arts for this journal. She is a Founding Member and Faculty of the Institute of Contemporary Psychoanalysis in Los Angeles, CA, a member of both American and International Psychoanalytic Associations, and of the Sándor Ferenczi Society of Budapest. Her private practice is in Pasadena, CA.Address correspondence to Judith E. Vida, 301 S. Fair Oaks Ave., Suite 406A, Pasadena, CA 91105, USA; e-mail: jvida@spence.net     

Debiasing of Pessimistic Judgments Associated with Anxiety

This study tested the Consider-An-Alternative debiasing procedure and its ability to reduce pessimistic judgmental predictions associated with anxiety. Study participants were randomly assigned to either a control group or a debiasing group and were asked to rate the likelihood of hypothetical events. Level of trait anxiety was assessed to assign participants to a normal and a highly anxious group. The results showed that the debiasing procedure was effective in the reduction of pessimistic judgmental predictions for participants with both high and normal levels of trait anxiety. Specifically, the generation of alternative positive information significantly reduced pessimistic predictions of future events. The results were discussed in terms of availability of information in memory and cognitive biases.     

The retrieval of scaled English consonants

Two scales of the perceptual differences among English consonants had been constructed earlier, one from pairs of aural syllables and one from pairs of viewed one-syllable English words. In both instances the pairs of stimuli differed only in the initial consonants. In the present work 276 pairs of syllables were assembled in sets of six. A set was viewed sequentially for 1.5 sec/slide. Then 25 subjects who worked in groups of 4–6 attempted to write one randomly chosen omitted member of each pair on an answer form; another 25 subjects were asked to supply the opposite syllables of each pair. This task was termed primary memory. Fifty additional subjects repeated the tasks but spent 10 sec counting backward by 3s before trying to recall and write the missing syllables, thus setting up a task of secondary memory. Response forms were scored for right, wrong, and omitted responses. All responses were then compared with each of the scales referred to above, and the mean value for each group of 50 subjects (25 who used the anser form in theab order+ 25 who used theba order) was computed. The difference between the scores for the two tasks was statistically significant, as was the difference between the scores yielded by the two scales. The visual scale appeared to fit the data better than the aural scale. The procedures employed and the assumptions that were made yielded results that would not justify an opinion that an error in recall is typically almost right. However, the data did reflect partial forgetting.     

On a certain class ofm-address machines

Conclusion It follows from the proved theorems that ifM =Q, (whereQ={0,q ₁,q ₂,...,q }) is a machine of the classM _F then there exist machinesM _i such thatM _i(1,c)=M (q _i,c) andQ _i={0, 1, 2, ..., +1} (i=1, 2, ..., ).And thus, if the way in which to an initial function of content of memorycC a machine assigns a final onecC is regarded as the only essential property of the machine then we can deal with the machines of the formM ={0, 1, 2, ..., }, and processes (t) (wheret=1,c,cC) only.Such approach can simplify the problem of defining particular machines of the classM _F , composing and simplifying them.Allatum est die 19 Januarii 1970     

O pojęciu zdania analitycznego

Rezultaty przedstawione w pracy niniejszej pokrywaj si czciowo z wynikami osignitymi przezR. Wójcickiego w pracy:Analityczne komponenty definicji arbitralnych. Studia Logica, t. XIV. Dotyczy to gównie rezultatów zawartych w czci pierwszej. Chciabym podkreli, i wyniki R. Wójcickiego uzyskane zostay cakowicie niezalenie od rezultatów przedstawionych w pracy obecnej.Allatum est die 16 Aprilis 1962