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     

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.     

On finite approximability of ψ-intermediate logics

The aim of this note is to show (Theorem 1.6) that in each of the cases: = {, }, or {, , }, or {, , } there are uncountably many -intermediate logics which are not finitely approximable. This result together with the results known in literature allow us to conclude (Theorem 2.2) that for each : either all -intermediate logics are finitely approximate or there are uncountably many of them which lack the property.     

Hick's interpretation of religious pluralism

Conclusion There is no question that Hick's theory rests upon multiple assumptions about a singular, transcendental grounding and the fundamental equality of the various religions that cannot be inductively verified beyond all doubt. That need not mean, however, that the attractiveness of his theory derives solely from the peculiar charm of supposing that the One and the Many are no more at odds in the realm of religion than anywhere else. For Hick's assumptions are not just an exercise in wishful thinking or wild speculation. They are based upon experience from within what he calls the benign circle of faith. Because the reality experienced is ambiguous, acceptance or rejection of his views will, of course, be a matter of choice. And, admittedly, this choice will be dictated not so much by a weighing of empirical evidence that might prove the various religions to be exactly as he sees them, as by a consideration of what we have been surveying in the preceding pages, namely, the import of seeing things as Hick does.

---

     

Hemingway's Aging Heroes and the Concept of Phronesis

This article explores the concept of phronesis (practical wisdom) in four aging protagonists in Ernest Hemingway's works ranging from the short story A Clean Well-Lighted Place to the novella The Old Man and the Sea. Phronesis represents an understanding of the ways of the world, an acute sensitivity to a critical logic of human existence that can be attained only through extensive experience and suffering. The four aging protagonists are examples of Hemingway's definition of aging productively and profitably by purchasing an inner peace that consists of an intuitive system of continuous adjustment to the exigencies of daily living.     

Parameter estimation in latent trait models

Latent trait models for binary responses to a set of test items are considered from the point of view of estimating latent trait parameters=( ₁, , _n ) and item parameters=( ₁, , _k ), where _j may be vector valued. With considered a random sample from a prior distribution with parameter, the estimation of (, ) is studied under the theory of the EM algorithm. An example and computational details are presented for the Rasch model.This work was supported by Contract No. N00014-81-K-0265, Modification No. P00002, from Personnel and Training Research Programs, Psychological Sciences Division, Office of Naval Research. The authors wish to thank an anonymous reviewer for several valuable suggestions.     

Death and the “life review” in Halakhah

Coping with old age involves resolving the task of integrity versus despair, which demands a nondefensive confrontation with the inevitability of death. Halakhah (Jewish ethics) also considered this task critical in later years of life, spoke of death's inevitability, and attempted to discourage denial of death. The Jewish approach seems compatible with Butler's concept of life review as a reconciliation with death and a reintegration of one's identity that occurs throughout later years. While the Eriksonian goal is confronting old age with a certain capacity for wisdom, the rabbis maintained that such wisdom must culminate in the creative act of repentance.     

The battle within the self, 1: An existential framework for understanding personality disorders

A new phenomenologically based model for understanding personality disorders is presented. This model draws upon the existential concepts of Dasein and pitch to explain how individuals with personality disorders have extremely constricted and rigid experiences of the world. When they were children, these individuals internalized and retained hypercritical, sadistic parental messages. Such covert parental voices are misidentified as rational evaluations by these patients who are deficient in their capacity to engage in rational self-evaluation. When these individuals are encouraged to observe and report upon the internalized self-attacks, their observing ego is strengthened and an effective groundwork is set for ultimate changes in behavior.     

Identity,Love, and the Imaginary Father

The father of personal prehistory serves as the earliest and most enduring representation of God. This sexually undifferentiated father is identified by Freud as both parents and the flow of feeling between them. Kristeva elaborates to say that the first father creates the foundation for the infant's sexual differentiation, that is, a primary narcissistic screen. When parental flow of feeling provides inadequate compensation for the loss of oneness with Mother, the infant intrapsychically constructs its own foundation, an Other that has both parents' ideal qualities, a God who is a psychologically necessary He. Consequently, females have different experiences than males as they form and relate to their self- and God-representations.     

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.     

Confusion in philosophy: A comment on Williams (1992)

Patricia Williams made a number of claims concerning the methods and practise of cladistic analysis and classification. Her argument rests upon the distinction of two kinds of hierarchy: a divisional hierarchy depicting evolutionary descent and the Linnean hierarchy describing taxonomic groups in a classification. Williams goes on to outline five problems with cladistics that lead her to the conclusion that systematists should eliminate cladism as a school of biological taxonomy and to replace it either with something that is philosophically coherent or to replace it with pure methodology, untainted by theory (Williams 1992, 151). Williams makes a number of points which she feels collectively add up to insurmountable problems for cladistics. We examine Williams' views concerning the two hierarchies and consider what cladists currently understand about the status of ancestors. We will demonstrate that Williams has seriously misunderstood many modern commentators on this subject and all of her five persistent problems are derivable from this misunderstanding.

Nelson (1989, 67).

     

The Client Is the Most Important Common Factor: Clients' Self-Healing Capacities and Psychotherapy

I first briefly review the dodo bird verdict and suggest that we should be responding to it by looking for a new way to conceptualize how therapy works. Then I describe the dominant medical or treatment model of psychotherapy and how it puts the client in the position of a dependent variable who is operated on by supposedly potent therapeutic techniques. Next I argue that the data do not fit with this model. An alternative model is that the client is the most important common factor and that it is clients' self-healing capacities which make therapy work. I then argue that therapy has two phases—the involvement phase and the learning phase—and that the involvement phase is the most important. I next review the five learning opportunities provided by therapy. Finally, I argue that a relational model of therapy focused on consultation, collaboration, and dialogue is better than a treatment model.     

Construction of monadic three-valued Łukasiewicz algebras

The notion of monadic three-valued ukasiewicz algebras was introduced by L. Monteiro ([12], [14]) as a generalization of monadic Boolean algebras. A. Monteiro ([9], [10]) and later L. Monteiro and L. Gonzalez Coppola [17] obtained a method for the construction of a three-valued ukasiewicz algebra from a monadic Boolea algebra. In this note we give the construction of a monadic three-valued ukasiewicz algebra from a Boolean algebra B where we have defined two quantification operations and ^* such that ^*x=^*x (where ^*x=-^*-x). In this case we shall say that and ^* commutes. If B is finite and is an existential quantifier over B, we shall show how to obtain all the existential quantifiers ^* which commute with .Taking into account R. Mayet [3] we also construct a monadic three-valued ukasiewicz algebra from a monadic Boolean algebra B and a monadic ideal I of B. The most essential results of the present paper will be submitted to the XXXIX Annual Meeting of the Unión Matemática Argentina (October 1989, Rosario, Argentina).     

O liczbach kardynalnych

Tre: Wstp. I. Niektóre pojcia i prawa teorii klas stosunków. II. O klasach abstrakcji. III. O równoskadnikowoci. IV. O kardynalnych liczbach skadników. V. O. stosowanej teorii równoskadnikowoci. VI. O relacji równej liczby elementów. VII. Stosunek obu poj liczb kardynalnych. Zakoczenie.Allatum est die 30 Augusti 1961     

On superintuitionistic logics as fragments of proof logic extensions

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructedIn this diagram the maps, x and are isomorphisms, thereforex ^–1 = ; and the maps and are the semilattice epimorphisms that are not commutative with lattice operation +. Besides, the given diagram is commutative, and the next equalities take place: ^–1 = ^–1 and = ^–1 x. The latter implies in particular that any superintuitionistic logic is a superintuitionistic fragment of some proof logic extension.     

Reconsideration of “Motherhood” in Contemporary Japan

In this paper, the author reconsiders motherhood in Japan. This reconsideration is based on Japanese psychoanalytic knowledge and a case study of a woman. As a child she was physically abused by her father, and struggled throughout her life with conflicts with her mother. The Japanese have historically idealized the concept of motherhood and maintained that it was possible for women to become the ideal mother for their children. The author maintains that motherhood is not dependent only on mothers, but is created and shared by fathers, children and all of society. In psychotherapy, the therapist provides a motherly energy to the client and shares the motherhood fantasy with the client to a certain extent. The therapist assists the client in the gradual process of abandoning the desire to be loved by the ideal mother and accept motherhood from other sources.Kiyoko Kamibeppu, R.N., Ph.D., Associate Professor, The University of Tokyo, Clinical Psychologist, Japanese Association for Clinical Psychology. Address correspondence to Kiyoko Kamibeppu, Department of Family Nursing, Faculty of Medicine, Graduate School of Health and Nursing, The University of Tokyo, 7-3-1, Hongo, Bunkyo-ku, Tokyo, Japan; e-mail: kkamibeppu-tky@umin.ac.jp.     

“We're Fighting Two Different Battles Here”: An Exploration of African American Women's Definitions of Self at Predominately White Schools

Using Black feminist thought and the sociocultural model of the self, this paper explores the relationship between race and gender in the self-definitions of African American women attending predominately white colleges and universities. The African American women who participated in the study, suggest that knowledge generated about the self pushes us beyond the categorical thinking that limits our ability to understand the complexity of the self. Data from 13 interviews conducted at two predominately white schools is presented and analyzed. Using this data, I present a way of thinking about the identity of African American women that demonstrates the complexity of defining self within the narrow confines of race and gender.     

Distinctions between subgroups of asthmatic children: Parental reactions to experimental separation

Parental reactions to experimental separation were analyzed for two groups of asthmatic children, those for whom behavioral factors were judged highly relevant to asthma and those for whom such factors appeared unimportant. The former group of 13 (predicted positives) had shown a highly significant improvement in asthma during separation from their families; the latter group of 12 (predicted negatives) had not. Coding of standardized interviews conducted around the time of separation disclosed that parents (mothers, especially) of predicted positives scored significantly higher than parents of predicted negatives on such scales as fussing over the child at the time of leave taking, missing child, experiencing pain and discomfort during the separation, being anxious over child's welfare, etc. Psychological test data did not discriminate between the parents' or childrens' groups as clearly as the more focused separation interviews but the test results were consistent with interview differences. The separation elicited very strong emotional reactions from several mothers.This study was supported by United States Public Health Service Grant No. HD01060 from the National Institute of Child Health and Human Development. Kirk Brady, John Means, loan Muser, and Claire Purcell contributed to data collection and/or data analysis.     

Multidimensional Assessment of Chronic Low Back Pain: Predicting Treatment Outcomes

This study explored responses of chronic low back pain patients to treatment for different types of patients (dysfunctional, interpersonally distressed, and minimizer/adaptive coper), as classified using the Multidimensional Pain Inventory (MPI). In addition, changes in MPI scores during treatment were examined separately for each patient type. Finally, this study explored the relationships between changes in MPI scores and physical improvement. Between-group differences in improvement were significant, with dysfunctional patients showing the most improvement on several scales. MPI scales that best predicted physical improvement differed according to patient type. Implications for treatment of low back pain patients are suggested, based upon differential reactions to treatment and different predictors of physical improvement for each patient group.     

Sprachverstehende maschinen

In this paper the author tries to disentangle some of the problems tied up in John Searle's famous Chinese-room-argument. In a first step to answer the question what it would be for a system to have not only syntax, but also semantics the author gives a brief account of the functioning of the language understanding systems (LUS) so far developed in the framework of AI research thereby making clear that systems like Winograd's SHRDLU are indeed doing little more than mere number crunching. But things would be entirely different, the author argues, if the database of a LUS were built up by the system itself via some perceptual component-at least, if this perceptual component had the capacity to distinguish objects having a certain property F from objects which do not. For in this case the system could store an internal representation of the fact that the object has the property F in its database if and only if the object in fact has that property. And this would be a good basis for calling such a system a genuine LUS. But Searle has objected to a very similar account of J. Fodor that nothing could be further from true language understanding. The reason for this complaint seems to be that Searle holds the view that a true LUS must e.g., know that the word hamburgers refers to hamburgers and that he moreover claims that this knowledge must be explicit or that the system must be aware of the reference of hamburgers to hamburgers. The author argues that this is asking too much. For it seems plausible to say that a system is able to understand e.g., the word hamburger even if it has only implicit knowledge of the fact that hamburger refers to hamburgers in the sense that it has the capacity to tell hamburgers from non hamburgers and the capacity to bring the word hamburger together just with objects of the former kind.