Modal Logics of Succession for 2-Dimensional Integral Spacetime

We consider the problem of axiomatizing various natural successor logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic in the standard modal language (i.e. the language containing and ) is not finitely axiomatizable.     

Algebraic aspects of deduction theorems

The first known statements of the deduction theorems for the first-order predicate calculus and the classical sentential logic are due to Herbrand [8] and Tarski [14], respectively. The present paper contains an analysis of closure spaces associated with those sentential logics which admit various deduction theorems. For purely algebraic reasons it is convenient to view deduction theorems in a more general form: given a sentential logic C (identified with a structural consequence operation) in a sentential language I, a quite arbitrary set P of formulas of I built up with at most two distinct sentential variables p and q is called a uniform deduction theorem scheme for C if it satisfies the following condition: for every set X of formulas of I and for any formulas and , C(X{{a}}) iff P(, ) AC(X). [P(, ) denotes the set of formulas which result by the simultaneous substitution of for p and for q in all formulas in P]. The above definition encompasses many particular formulations of theorems considered in the literature to be deduction theorems. Theorem 1.3 gives necessary and sufficient conditions for a logic to have a uniform deduction theorem scheme. Then, given a sentential logic C with a uniform deduction theorem scheme, the lattices of deductive filters on the algebras A similar to the language of C are investigated. It is shown that the join-semilattice of finitely generated (= compact) deductive filters on each algebra A is dually Brouwerian.A part of this paper was presented in abstracted form in Bulletin of the Section of Logic, Vol. 12, No. 3 (1983), pp. 111–116, and in The Journal of Symbolic Logic.     

Isotonic ordinal probabilistic models (ISOP)

The concept of an ordinal instrumental probabilistic comparison is introduced. It relies on an ordinal scale given a priori and on the concept of stochastic dominance. It is used to define a weakly independently ordered system, or isotonic ordinal probabilistic (ISOP) model, which allows the construction of separate sample-free ordinal scales on a set of subjects and a set of items. The ISOP-model is a common nonparametric theoretical structure for unidimensional models for quantitative, ordinal and dichotomous variables.Fundamental theorems on dichotomous and polytomous weakly independently ordered systems are derived. It is shown that the raw score system has the same formal properties as the latent system, and therefore the latter can be tested at the observed empirical level.I wish to thank 3 reviewers and 2 editors who contributed a lot to the readability and precision of the article.     

On seeing oneself as “left out”: The chronically complaining patient in psychotherapy

A clinical observation regarding patients who complain about feeling left out and/or second best provides the framework for this paper. What is expressed is a form of separation anxiety coupled with a loser self-concept. It is suggested that these patients represent a milder form of the moral masochism. Early theoretical formulations include Freud and his emphasis on the superego and Reich's emphasis on the masochist's fear of being left alone. Kramer's little man phenomenon is an example of a more current theoretical formulation which takes account of the complexities of the ego, and composite self and identity in the clinical phenomena observed. A case of a latency-aged child is provided.     

Understanding the Self in Self-Transcendence

Based on the work of William James and Bernard Lonergan, this article proposes an understanding of the self as a duplex, dialectical, first-person reality constituted by consciousness and experienced as I and me.     

Heidegger's Brightness as a Responsibility of the Therapist in Existential Family Therapy

The author reflects upon the Heideggerian concepts of thrown-ness, death imagery, arrogance and brightness and their usefulness in existential family therapy. The article describes and illustrates with clinical material the process of helping a couple or family to move from an arrogance response to thrownness and death imagery to the response of brightness as attendants of Being. The responsibilities of the therapist in facilitating such a process are also described.Director of the Worthington Logotherapy Institute, co-director of Lantz and Lantz Counseling Associates, and a professor at The Ohio State University. College of Social Work     

The estimation of ultrametric and path length trees from rectangular proximity data

A least-squares algorithm for fitting ultrametric and path length or additive trees to two-way, two-mode proximity data is presented. The algorithm utilizes a penalty function to enforce the ultrametric inequality generalized for asymmetric, and generally rectangular (rather than square) proximity matrices in estimating an ultrametric tree. This stage is used in an alternating least-squares fashion with closed-form formulas for estimating path length constants for deriving path length trees. The algorithm is evaluated via two Monte Carlo studies. Examples of fitting ultrametric and path length trees are presented.G. De Soete is Aspirant of the Belgian Nationaal Fonds voor Wetenschappelijk Onderzoek at the University of Ghent, Belgium. W. S. DeSarbo and J. D. Carroll are Members of Technical Staff at AT&T Bell Laboratories, Murray Hill, N.J. G. W. Furnas is Member of Technical Staff at Bell Communications Research, Murray Hill, N.J.     

Axiomatization of the De Morgan type rules

In Section 1 we show that the De Morgan type rules (= sequential rules in L(, ) which remain correct if and are interchanged) are finitely based. Section 2 contains a similar result for L(). These results are essentially based on special properties of some equational theories.     

Verisimilitude vs. legisimilitude

The recent theories of truthlikeness have not paid attention to the distinction between lawlike and accidental generalizations. L.J. Cohen has expressed this by saying that science aims at legisimilitude rather than verisimilitude. G. Oddie has given a reply to Cohen by defining the notion of legisimilitude in terms of higher-order logics. This paper gives a different reply to Cohen by treating laws as physically necessary generalizations and by defining the notion of legisimilitude as closeness to a suitably chosen lawlike sentence.     

Proximal Peer-Level Effects of a Small-Group Selected Prevention on Aggression in Elementary School Children: An Investigation of the Peer Contagion Hypothesis

Examined peer contagion in small group, selected prevention programming over one school year. Participants were boys and girls in grades 3 (46 groups, 285 students) and 6 (36 groups, 219 students) attending school in low-resource, inner city communities or moderate resource urban communities. Three-level hierarchical linear modeling (observations within individuals within groups) indicated that individual change in aggression over time related to the average aggression of others in the intervention group. The individual child was pulled toward peers mean level of aggression; so the intervention appeared to reduce aggression for those high on aggression, and to make those low on aggression more aggressive. Effects appeared to be magnified in either direction when the child was more discrepant from his or her peers. From these results we derive a principle of discrepancy-proportional peer-influence for small group intervention, and discuss the implications of this for aggregating aggressive children in small group programs.     

The Self Psychology of Heinz Kohut: What's It All About Theologically?

As a psychoanalytic thinker who offered by means of his self psychology a new paradigm of psychological development and functioning, Heinz Kohut was also a theologian manqué. With the help of the method of interpretation devised by Paul Tillich and David Tracy, Kohut's limit-concepts of tragic man, the self-object, and empathy, all set within his theory of narcissism, are elucidated as theological constructs. These are critiqued for adequacy from a Christian perspective. The conclusion is that Kohut's understanding of the human dilemma and of the way of salvation correlates well with Christianity, while his view of empathy as the means of salvation has created some confusion. Kohut has thus left an unfinished, profoundly important, agenda for theologians and clinicians.     

Fallacies and moral dilemmas

The continuing debate between utilitarians and deontologists often takes the form of disagreement over how particular moral dilemmas are to be resolved, but protagonists on both sides tend to overlook the possibility of resolving a dilemma with remainder, such as regret. The importance of remainder is also overlooked by critics of some absolutist ways of resolving or slipping between the horns of certain moral dilemmas. Moreover, deontologists, if not utilitarians, can be criticised for overlooking the possibility that, according to their theory, some dilemmas may be irresolvable. Virtue ethics, with its concentration on the agent, readily accommodates both mention of remainder and irresolvable dilemmas, and yields a specification of tragic dilemmas which the other two theories might like to take on.     

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.     

Intellectual fascism

Intellectual fascism is the arbitrary belief that individuals possessing certain good traits (such as intelligence and creativity) are intrinsically superior to those possessing bad traits (such as stupidity or lack of artistry). Although it is true that under certain conditions and for various purposes some human traits are more advantageous or better than others, rating people as good or bad on the basis of their intellectual performances is inaccurate and is often as pernicious as is political-social fascism. Moreover, where political fascists at least rate themselves highly while damning and persecuting others, intellectual fascists tend to severely damn themselves (as well as others) when they lack superlative intellectual and artistic traits. According to RET, all global ratings of people tend to be fascistic overgeneralizations. Intellectual fascism is political-social fascism with the trait names changed—the same hearse with different license plates.This article is a revision of one that originally appeared in a book by Dr. Ellis entitledSuppressed.     

Aspectual Constraints in the Mental Lexicon

This study addresses the question of whether constraints on aspectual semantics play a role in lexical processing. Two universal cognitive constraints are identified: states cannot be delimited and telic predicates cannot be further telicized. The study investigates how these are obeyed in the productive process of perfective preverb and stem combination in Bulgarian. An off-line task ascertains that Bulgarian native speakers have a default semantic interpretation for the preverbs under investigation. A visual lexical decision task shows clear legality effects in nonwords composed of existing preverbs and stems, thereby supporting decompositional approaches. It is argued that, after the process of morpheme search, there must be a process of checking for combinatory felicity of the morphemes activated in the lexical access.     

“Some more” notes,toward a “third” sophistic

Historians of rhetoric refer to two Sophistics, one in the 5th century B.C. and another c. 2nd century A.D. Besides these two, there is a 3rd Sophistic, but it is not necessarily sequential. (The 3rd is counter to counting sequentially.) Whereas the representative Sophists of the 1st Sophistic is Protagoras, and the second, Aeschines, the representative sophists of the 3rd are Gorgias (as proto-Third) and Friedrich Nietzsche, Jean-François Lyotard, Michel Foucault, Jacques Lacan, and Paul de Man.To distinguish between and among Socrates, Plato, and Aristotle, and then Protagoras, Gorgias, and Lacan, the author determines how far each of these personages can count. The model of counting, used semiotically across the topoi of possible/impossible, is that of the people of New Guinea: one thing, two things, many things. It is determined (generally) that the philosophers, including Aristotle, count to one; the Sophists to two; and Gorgias, Lacan, and Lyotard, et al. count to many things, thereby breaking up a monism or binarism. The ancient philosophers employ a substratum of probability to hold together the contraries of possible/impossible; the Sophists employ anti/logic, which keeps the contraries/antitheses separate and therefore without synthesis, but which eventually threatens the integrity of the substratum, or the law of non-contradiction; and Gorgias, Lacan, Lyotard et al. theorize about the impossibility/Resistance of the Logos (reason, logic, law, argumentation, history) to Theory/Totalization, because of the Gorgian Kairos and the Lacanian Real — both of which enter the Logos and break up the cycle of the antitheses and create something new, irrational (Untersteiner).This breaking up has a negative/positive influence on Protagoras's man-measure doctrine, which in turn has a similar influence on the problem of the ethical subject. The subject/agent not only no longer knows (by way of Logos) but also no longer acts (as independent agent); the subject becomes a function of Logos as determined by Kairos/Real; it moves from a hypotaxis/syntaxis of one and two to a radical parataxis/paralogy of some more.From the Impossibility/tragedy of knowledge, however, comes the Possible, or Possibilisms, which allows for the new (though divided) ethical subject to reclaim its position as individual. Such a reclamation of the subject, however, has a profound effect on argumentation, and especially the notion of consensus. What is wanted, then, in a Third Sophistic ethical — as opposed to a political — rhetoric is dissensus through radical parataxes and paralogies.     

The Metaethical Paradox of Just War Theory

The traditional requirements upon the waging of a just war are ostensibly independent, but in actual practice each tenet is subject ultimately to the interpretation of a legitimate authority, whose declaration becomes the necessary and sufficient condition. While just war theory presupposes that some acts are absolutely wrong, it also implies that the killing of innocents can be rendered permissible through human decree. Nations are conventionally delimited, and leaders are conventionally appointed. Any group of people could band together to form a nation, and any person could, in principle, be appointed the leader of any nation. Because the just war approach assumes absolutism while implying relativism, the stance is paradoxical and hence rationally untenable.     

Sex bias and language

Recent research has suggested that in certain contexts male terms may fail to be gender neutral (Moulton, Robinson, & Elias, 1978). Stricker (1977) has proposed that even explicitly generic terms such as adult and person may not be gender neutral. The conclusions of the highly controversial and influential Broverman, Vogel, Broverman, Clarkson, and Rosenkrantz (1970) study were based directly on the assumption that adult is a gender-neutral term. The present study consisted of a modified replication of the Broverman et al. study followed by an addendum that asked subjects in the gender-neutral condition to indicate whether they had thought of a neutral, male, or female stimulus person. As predicted, subjects did not tend to think of a neutral stimulus person. The implications of this finding for sex-role stereotype research as well as for guidlines for nonsexist language are discussed.This article is based on a master's thesis completed at Southern Illinois University by the first author.     

A New Representation Theorem for Contranegative Deontic Logic

The logic of an ought operator O is contranegative with respect to an underlying preference relation if it satisfies the property Op & (¬p)(¬q) Oq. Here the condition that is interpolative ((p (pq) q) (q (pq) p)) is shown to be necessary and sufficient for all -contranegative preference relations to satisfy the plausible deontic postulates agglomeration (Op & OqO(p&q)) and disjunctive division (O(p&q) Op Oq).     

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.