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

A reduction rule for Peirce formula

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P ⁽⁽⁾⁾. It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another reduction rule which simplifies of (( ) ) into an atomic type.This work was partially supported by a Grant-in-Aid for General Scientific Research No. 05680276 of the Ministry of Education, Science and Culture, Japan and by Japan Society for the Promotion of Science. Hiroakira Ono     

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.     

Truth,Sentential Non-Compositionalit,and Ontology

The paper attempts to clarify some fundamental aspects of an explanationof the concept of truth which is neither deflationary nor substantive.The main aspect examined in detail concerns the ontological dimension of truth, the mind/language-world connection traditionally associated with the concept of truth. It is claimed that it does not make sense to defend or reject a relatedness of truth to the ontological dimension so long as the kind of presupposed or envisaged ontology is not made explicit and critically examined. In particular, it is shown that generally an objectual ontology is – often only implicitly – presupposed, i.e., an ontology admitting objects (substances), properties, relations, sometimes also facts, events, and the like. The paper demonstrates that such an ontology derives from the Principle of Semantic Sentential Compositionality and that this principle should be rejected. It introduces instead the Principle of Semantic Sentential Contextuality (or Context Principle) as the semantic basis of a new ontology, an ontology of primary states of affairs. After sketching such an ontology, it is shown that the relatedness of truth to the ontological dimension becomes intelligible.     

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.     

Michael Balint's Group Approach: The Boston Balint Group

Michael Balint was a physician/psychoanalyst who trained in Hungary and emigrated to England in 1939 when Nazi Germany began to dominate Europe. At the Tavistock Clinic, he and his wife met with social workers and physicians around case discussion seminars. With his strong interest in medicine and his curiosity about the patient-physician relationship, he initiated research/training groups with interested physicians, which ultimately led to publication of the now-classic The Doctor, His Patient, and the Illness, a rich text that has become a virtual staple of family practice residencies, along with Balint Groups for training. Balint refrained from considering his groups psychotherapy in order to minimize resistance of his physician-students. But because the groups lasted sometimes for years and explored transference and countertransference in patient-physician relationships, he acknowledged that the result was personal growth of the participants. His techniques are described and an example of a Balint Group (Boston Group) are presented here.     

Ambiguous Communication of Sexual Intentions as a Risk Marker of Sexual Aggression

Three studies are reported that explored the role of ambiguous communication of sexual intentions as a risk factor for sexual aggression and victimization. Two main forms of ambiguous communication were distinguished: token resistance (saying no when you mean yes) and compliance (saying yes when you mean no). Two samples of heterosexual men and women and a sample of homosexual men with a total N of 1284 completed a measure of sexual victimization or aggression and indicated whether or not they had ever shown token resistance or compliance in a sexual encounter. Moreover, the heterosexual male respondents indicated whether they had ever perceived token resistance or compliance in a female partner. Logistic regression analyses revealed that the risk of experiencing sexual victimization was significantly increased as a function of token resistance. Two of the three studies also showed compliance to be a risk factor for sexual victimization. For the male respondents, token resistance was consistently linked to a higher likelihood of perpetrating sexually aggressive acts in the three studies. Perceived compliance was also found to increase the risk of sexual aggression in three of four analyses. Support for a link between perceived token resistance and sexual aggression was found in the first study only. Overall, the findings suggest that the use of ambiguous communication in negotiating sexual encounters is associated with an increased risk of sexual victimization as well as perpetration of sexually aggressive acts in both heterosexual and homosexual contacts. The implications of the findings are discussed with respect to the issue of rape prevention.     

Third Men: The Logic of the Sophisms at Arist. SE 22, 178b36–170a10

This article aims at elucidating the logic of Arist. SE 22, 178b36–179a10 and, in particular, of the sophism labelled "Third Man" discussed in it. I suggest that neither the sophistic Walking Man argument, proposed by ancient commentators, nor the Aristotelian Third Man of the , suggested by modern interpreters, can be identified with the fallacious argument Aristotle presents and solves in the passage. I propose an alternative reconstruction of the Third Man sophism and argue that an explanation of the lines regarding the identity of Coriscus and Coriscus the musician (178b39–179a3) is indispensable for its correct understanding, since they hint at another sophism in some important aspects analogous. Finally, I show that two contradictions concerning spotted by scholars in the passage are only apparent and can be dissolved once the assumption that the anti-Platonic Third Man argument is at stake here is discarded, and once the passage is read in the light of its agonistic context.     

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.     

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.     

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     

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.     

Set theory as modal logic

A logical systemBM ⁺ is proposed, which, is a prepositional calculus enlarged with prepositional quantifiers and with two modal signs, and These modalities are submitted to a finite number of axioms. is the usual sign of necessity, corresponds to transmutation of a property (to be white) into the abstract property (to be the whiteness). An imbedding of the usual theory of classesM intoBM ⁺ is constructed, such that a formulaA is provable inM if and only if(A) is provable inBM ⁺. There is also an inverse imbedding with an analogous property.     

Belief change as change in epistemic entrenchment

In this paper, it is argued that both the belief state and its input should be represented as epistemic entrenchment (EE) relations. A belief revision operation is constructed that updates a given EE relation to a new one in light of an evidential EE relation, and an axiomatic characterization of this operation is given. Unlike most belief revision operations, the one developed here can handle both multiple belief revision and iterated belief revision.The authors are thankful to John G. Bennett, Henry E. Kyburg, Jr., Norman Foo, Pavlos Pepas, Maurizio Pagnucco, Bob Hadley, members of the Knowledge Systems Group at the University of Sydney and participants of the AI'93 workshop on Belief Revision: Bridging the Gap Between Theory and Practice at Melbourne where a version of this paper was presented, for their suggestions. The authors also express their gratitude to the two anonymous referees for Synthese for their excellent comments and suggestions. Of course it is only the authors that are responsible for the errors that remain.     

Internal approach to external sets and universes

In this article we show how the universe of HST, Hrbaek set theory (a nonstandard set theory of external type, which includes, in particular, the ZFC Replacement and Separation schemata for all formulas in the language containing the membership and standardness predicates, and Saturation for standard size families of internal sets, but does not include the Power set axiom) admits a system of subuniverses which keep the Replacement, model Power set and Choice (in fact all of ZFC, with the exception of the Regularity axiom, which indeed is replaced by the Regularity over the internal subuniverse), and also keep as much of Saturation as it is necessary.This gives sufficient tools to develop the most complicated topics in nonstandard analysis, such as Loeb measures.Partially supported by AMS grants in 1993 – 1995 and DFG grants in 1994 – 1995. Robert Goldblatt     

Cooperation,Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems.