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).     

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.     

Expletives and woman's place

This study empirically examined the relationship between the expletives, bitch and bastard, and sex-role stereotyping. The expletives were rated by 68 men and 68 women on 80 trait adjectives as to how typical or characteristic each trait was of the stereotypic bitch or bastard in our society. The sex-role implications of the 10 trait terms judged most characteristic of each expletive were then examined. For male subjects, the most distinguishing feature between the two expletives was the inclusion of the stereotypically masculine trait dominant, in their characterization of bitch. Female subjects, on the other hand, did not ascribe such opposite sex-role stereotype traits to bitch, but rather emphasized stereotypically masculine traits in their characterization of bastard. These results are discussed in terms of the regulatory and expressive nature of language, as well as the differential sanction value of the terms bitch and bastard for out-of-role behavior.     

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).

     

Self-Constitution in the Ethics of Plato and Kant

Plato and Kant advance a constitutional model of the soul, in which reason and appetite or passion have different structural and functional roles in the generation of motivation, as opposed to the familiar Combat Model in which they are portrayed as independent sources of motivation struggling for control. In terms of the constitutional model we may explain what makes an action different from an event. What makes an action attributable to a person, and therefore what makes it an action, is that it issues from the person's constitution, and therefore from the person as a whole, rather than from some force working on or in the person. This in turn implies an account of what makes an action good: what makes an action good is that it is deliberated upon and chosen in a way that unifies the person into a constitutional system. Through deliberative action we constitute ourselves as unified agents. Platonic justice and Kant's categorical imperative are shown to be normative standards for action because they are principles of self-constitution.     

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.     

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.     

Naive realism about operators

A source of much difficulty and confusion in the interpretation of quantum mechanics is a naive realism about operators. By this we refer to various ways of taking too seriously the notion of operator-as-observable, and in particular to the all too casual talk about measuring operators that occurs when the subject is quantum mechanics. Without a specification of what should be meant by measuring a quantum observable, such an expression can have no clear meaning. A definite specification is provided by Bohmian mechanics, a theory that emerges from Schrödinger's equation for a system of particles when we merely insist that particles means particles. Bohmian mechanics clarifies the status and the role of operators as observables in quantum mechanics by providing the operational details absent from standard quantum mechanics. It thereby allows us to readily dismiss all the radical claims traditionally enveloping the transition from the classical to the quantum realm — for example, that we must abandon classical logic or classical probability. The moral is rather simple: Beware naive realism, especially about operators!     

Visual discrimination and response programming

Summary Choice reaction time (RT) depends on the relationship between responses, and these dependencies are usually interpreted in terms of the advance-specification assumption. According to this assumption characteristics that are the same for the choice responses can be specified in advance of the response signal, thus allowing faster RTs. Since the advance-specification assumption is called into question by some of the available data, an alternative interpretation is suggested and formalized in terms of an accumulator model. According to the programming-interactions assumption, stimulus processing is tightly linked to response programming, so that both the possible responses are programmed as long as there is uncertainty with regard to stimulus identity. This gives rise to interactions between simultaneous processes of motor programming. Predictions of this assumption for the joint effects of signal similarity and the relationship between responses are tested and confirmed.This research was supported by grant no. He 1187/3–1 from the Deutsche Forschungsgemeinschaft     

The relationship of sexual attitudes,attitudes about women,and racial attitudes in white males

A questionnaire measuring sexual attitudes, attitudes about women, and racial attitudes was administered to 350 White male college students. Sexual attitudes characterized by sexual guilt, emphasis on personal and social control of sexual expression, and depersonalization of sex were significantly positively correlated (p<.001) with attitudes that typified women in terms of traditional masculine—feminine stereotypes and good (nonsexual)—bad (sexual) dichotomies. These stereotyped and dichotomous attitudes about women and constricted and depersonalized sexual attitudes were both significantly positively correlated (p<.001) with negative racial attitudes. The implications of these results and other research suggested by this investigation are discussed.This report is based on a dissertation submitted in partial fulfillment of the requirements for the Ph.D. degree at Michigan State University, 1973. The author would like to express appreciation to Dozier W. Thornton for continued guidance and assistance as dissertation advisor. In addition, the author gratefully acknowledges the assistance of Donald L. Grummon, Andrew M. Barclay, and Jeanne E. Gullahorn, all of whom served on the dissertation committee.     

Three prepositional calculi of probability

Attempts are made to transform the basis of elementary probability theory into the logical calculus.We obtain the propositional calculus NP by a naive approach. As rules of transformation, NP has rules of the classical propositional logic (for events), rules of the ukasiewicz logic ₀ (for probabilities) and axioms of probability theory, in the form of rules of inference. We prove equivalence of NP with a fragmentary probability theory, in which one may only add and subtract probabilities.The second calculus MP is a usual modal propositional calculus. It has the modal rules x x, x y x y, x x, x y (y x), (y x), in addition to the rules of classical propositional logic. One may read x as x is probable. Imbeddings of NP and of ₀ into MP are given.The third calculus P is a modal extension of ₀. It may be obtained by adding the rule ((xy)y) xy to the modal logic of quantum mechanics Q [5]. One may read x in P as x is observed. An imbedding of NP into P is given.     

Development of Gender Differences in Children's Responses to Animated Entertainment

This study examined gender differences in children's responses to animated scenes from an action adventure versus a sad film, and to animated previews of a prototypical male versus female movie. Females were more likely than males to express sadness in response to the sad scene, and gender differences in intensities of sadness increased with age. Children were much more likely to stereotype the male preview as most liked by other boys, whereas the majority of children perceived the female preview as liked by either gender equally. In terms of enjoyment of the male and female previews, gender differences in enjoyment of the male preview were apparent only among children who perceived the film as more appealing to boys, and gender differences in enjoyment of the female preview were apparent only among children who perceived the film as more appealing to girls. Implications for children's programming are discussed.     

Before refraining: Concepts for agency

A structure is described that can serve as a foundation for a semantics for a modal agentive construction such as sees to it that Q ([ stit: Q]). The primitives are Tree,,Instant, Agent, choice. Eleven simple postulates governing this structure are set forth and motivated. Tree and encode a picture of branching time consisting of moments gathered into maximal chains called histories. Instant imposes a time-like ordering. Agent consists of agents, and choice assigns to each agent and each moment in Tree a set of possible choices, where each possible choice is a set of histories. All of these ingredients are referred to in the semantics suggested for [ stit: Q]. The most complex part of the discussion is the motivation for the definition of what it means for a typically non-terminating chain of moments jointly to witness the truth of [ stit: Q] at a moment.The paper begins with an informal account of the Refref conjecture, which says that the only way to refrain from refraining from seeing to something is to see to it. The paper ends with a consideration of an argument of Prior's that in a certain sense contemplation and action are inconsistent.     

Clutching at Certainty: Thoughts on the Coercive Grip of Cult-Like Groups

This response to Richard Raubolt's article, Attack on the Self, attempts to understand the intense and enduring connection that often develops between charismatic leaders of cult-like groups and their followers in terms of their mutual need to regulate uncertainty. After describing the intersubjective regulation of uncertainty, a concept influenced by self psychology and intersubjectivity systems theory, a number of uncertainty regulating modes that emerged in the training program are examined including: 1) the denial of difference, 2) the denial of sameness, 3) alter ego relating, 4) the inflamation of passion, and 5) faith-keeping fantasies.     

Relentless writing and the death of memory in elementary education

This paper explores the relentless character of writing in elementary education. We begin with the reflections of a Grade Three teacher on incidents in her classroom regarding writing and the leaving of traces, followed with a consideration of the deep cultural investment we have in leaving such traces. A brief examination of the latest work by Lucy Calkins is followed by a discussion of the paradoxical relations between writing, remembering and forgetting and the forging of community as an order of memories. The issue of writing as the rendering of experience into cultural capital is followed by concluding remarks on the pleasures of walking around unwritten.     

Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours

In "Doing Well Enough: Toward a Logic for Common Sense Morality", Paul McNamara sets out a semantics for a deontic logic which contains the operator It is supererogatory that. As well as having a binary accessibility relation on worlds, that semantics contains a relative ordering relation, . For worlds u, v and w, we say that u w v when v is at least as good as u according to the standards of w. In this paper we axiomatize logics complete over three versions of the semantics. We call the strongest of these logics DWE for Doing Well Enough.     

Structuring argumentation in a social constructivist framework: A pedagogy with computer support

What we usually think of as higher order skills in argumentation can be profitably viewed as systematic structures for organizing and representing information. Standard terms like line of argument, synthesis, analysis and draft can be viewed as ways of constructing, storing, and accessing data in a social context — data structures for social communication. What makes argument difficult are the multiple structures that arguers have to construct and negotiate when reading and composing. In this paper, we describe the WARRANT project, a project designed to identify data structures of written argument and to design and implement computer tools to aid in the reading and design of argument.     

Defining features of natural kinds and artifacts

Two experiments investigated the role of three types of features (physical characteristics, functions, and chromosomal/molecular structure) in determining membership in natural kind and artifact categories. In the first, subjects decided if an object X would still be an X if it were different in one type of feature. A significant interaction was found between word type and change type, with the effects of chromosomal/molecular changes significantly greater for natural kinds than for artifacts, and the effects of functional changes significantly greater for artifacts than natural kinds. In the second experiment, subjects judged whether something would be an X if it were unlike instances of X in two of the above types of features, but like instances of X in one. There was again a significant interaction, with the effects of chromosomal/molecular features significantly greater for natural kinds than for artifacts, and the effects of functional changes significantly greater for artifacts than for natural kinds. These results suggest that chromosomal/molecular features define membership in natural kind categories and functional features define membership in artifact categories. The implications of these findings for the meaning of defining features are also discussed.The first experiment was conducted by the first author as part of a senior comprehensive exercise at Carleton College. We thank Kathleen Galotti, Matthew Gish, Neil Lutsky, and an anonymous reviewer for comments on earlier drafts of this article.     

Computer content analysis of sex differences in the language of children

This study presents empirical procedures for the collection and content analysis of the oral language of kindergarten children. The analysis technique used material and machines available to most researchers. The results of the analysis of language samples of 144 randomly selected children from the entire kindergarten class of the Ithaca, New York, school system showed that boys produced significantly more language than did the girls as well as significantly more references to aggression, self, time, space, quantity, fears, good, act of oral communication, negation, and affirmation, and asked more questions of the examiner than did the girls. The girls made significantly more female references than did the boys. Implications for future research are discussed.     

Strategically Speaking: The Problem of Essentializing Terms in Feminist Theory and Feminist Organizational Talk

This paper examines the discursive construction of collective identity in several feminist organizations, as a way of shedding new light on the debate over essentializing or totalizing terms in contemporary feminist/postmodernist theory. We argue that while this debate is about language, it has remained largely untouched by the insights of a discursive approach. The latter as we take it up here treats language as irremediably strategic or interested. In contrast, the feminist argument over essentializing terms appears to hold to a correspondence version of language, a position which limits the debate in fatal ways. Part 1 reviews the argument that terms such as women, feminist and feminist identity are essentializing discourses which dominate by silencing difference. Part 2 then considers the way one such concept – feminist identity – is actually constructed and used in the routine talk of members of feminist organizations. In Part 3 we draw out the implications of a discursive approach to such terms for the feminist/postmodernist debate.