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.     

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.     

Physicians' values and physician-value neutrality

For years articles have decried the lack of empathy in physicians' relationships with patients. In addition to being empathetic, physicians are called upon to assume the posture of value neutrality, i.e., not imposing one's values when dealing with patients. Empathy is clearly an expression of deeply held values; even the language used to define it is value-laden. Physicians are consistently called upon to exhibit traits which are expressions of their underlying values. However, if proponents of value-neutrality are to be taken literally one must not impose any of one's values on one's patients. But then one wonders how empathy could ever be expressed; further, it is hard to imagine what a truly value neutral physician would be like. It is time we recognize that any relationship between two persons requires the expression of values from both parties. These values help shape that relationship and define its further history. Physicians are not excluded from this process just because they consider themselves professionals. Divulging personal values to patients is both more honest and more in keeping with the concepts of justice, beneficence, non maleficence, and autonomy than to feign value-neutrality. A presentation of some type statement of values is timely and would give patients an idea of where a physician stands on a myriad of issues. Rather than being value-neutral, value non-neutrality seems a more right and reasonable posture for physicians to assume.     

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.     

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.     

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.     

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.     

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.     

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.     

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.     

The endorsement of irrational beliefs in a general clinical population

Burgess' Attitude and Belief Scale, a measure of Ellis' irrational beliefs, was administered to a large sample of outpatients. All 13 subscales demonstrate very adequate internal consistency. A factor analysis yielded one factor accounting for 83% of the variance, which was labeled irrationality. Clients endorsed focused items more than overgeneralized items, self-referential items more than non-self-referential items, and preferential items more than irrational items. Clients also received higher scores on the irrational process of demandingness than they did on the irrational process of awfulizing, self-worth and low frustration tolerance. The results were consistent with new formulations in Rational-Emotive theory. Suggestions were made for the construction of measures of irrational beliefs.     

Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic

For every sequence |p _n } _n of formulas of Peano ArithmeticPA with, every formulaA of the first-order theory diagonalizable algebras, we associate a formula ⁰ A, called the value ofA inPA with respect to the interpretation. We show that, ifA is true in every diagonalizable algebra, then, for every, ⁰ A is a theorem ofPA.     

Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators

The addition of actually operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing actually operators has concentrated entirely upon extensions of KT5 and has employed a particular model-theoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing actually operators, the weakest of which are conservative extensions of K, using a novel generalisation of the standard semantics.     

Clients Helping Therapists Find Solutions to their Therapy

This paper is offered as a beginning toward including client perspectives on treatment and client participation in supervision. Rather than see therapists as technical experts who do things to people, many of us now see therapists as nonexperts who create conversations with people (Goolishian & Anderson, 1992). This new shift challenges the traditional training positions of supervisor and supervisee, respectively. Including clients' voices the supervisor participate from a nonexpert position.     

A partially ordered extention of the integers

This paper presents a monotonic system of Post algebras of order +* whose chain of Post constans is isomorphic with 012 ... -3-2-1. Besides monotonic operations, other unary operations are considered; namely, disjoint operations, the quasi-complement, succesor, and predecessor operations. The successor and predecessor operations are basic for number theory.The editing of this unified version of two previous papers [Epstein, Rasiowa 1990, 1991] by the authors was completed, except for footnotes, while the first author visited at Warsaw University during June–July, 1994. The footnotes were added by the first author in September, 1994.Presented byRyszard Wójcicki     

Sheaves over Heyting lattices

For a complete Heyting lattice , we define a category Etale (). We show that the category Etale () is equivalent to the category of the sheaves over , Sh(), hence also with -valued sets, see [2], [1]. The category Etale() is a generalization of the category Etale (X), see [1], where X is a topological space.     

The Primacy of the “Shoulds”: Where Is the Evidence?

A central tenet of rational emotive behaviour therapy (REBT) has always been that irrational beliefs which express demands through absolutistic shoulds, musts or oughts are the basic cause of emotional disturbance. This premise is characteristic of Ellis' theory but is not always supported by other REBT writers or other writers within the cognitive therapy field. This paper reviews a range of research findings which appear to call into question Ellis' tenet of the primacy of the shoulds and which, in turn, raise theoretical and methodological difficulties in the measurement of beliefs. This along with the current theoretical debate regarding irrational belief processes may preclude the possibility of testing the proposition that demandingness is the primary irrational or dysfunctional belief.     

Game Logic and its Applications II

This paper provides a Genzten style formulation of the game logic framework GLm (0 m ), and proves the cut-elimination theorem for GLm. As its application, we prove the term existence theorem for GL used in Part I.