On regular modal logics with axiom □ ⊤ → □□ ⊤

This paper is devoted to showing certain connections between normal modal logics and those strictly regular modal logics which have as a theorem. We extend some results of E. J. Lemmon (cf. [66]). In particular we prove that the lattice of the strictly regular modal logics with the axiom is isomorphic to the lattice of the normal modal logics.The results in this paper were reported at Logic Colloquium '87 in Granada.     

Sex bias in visual images evoked by generics: A new zealand study

Male biases are known to exist in the usage, evaluation, and interpretation of masculine generics. This study explored, by means of a tachistoscope, sex-specific biases in visual images evoked by masculine (All men are created equal, At university a student can study whatever he wants) and feminine (The feminists protested outside the town hall, At university a student can study whatever she wants) generics. Photographs of male and female faces were presented in a deliberately ambiguous (subthreshold) viewing field while maintaining the masculine or feminine generic sentence on constant view. It was predicted and found in a sample of 48 university students that if generics invoked sex-specific images, the images would affect the direction in which the viewer would resolve the ambiguous faces, resulting in more reported male faces in the masculine than in the feminine generic condition.Preparation of this article was supported by a New Zealand Social Sciences Research Fund Committee grant (8632/21/24/8604) to S. H. Ng.     

The logical structure of linguistic commitment II: Systems of relevant commitment entailment

In The Logical Structure of Linguistic Commitment I (The Journal of Philosophical Logic 23 (1994), 369–400), we sketch a linguistic theory (inspired by Brandom's Making it Explicit) which includes an expressivist account of the implication connective, : the role of is to make explicit the inferential proprieties among possible commitments which proprieties determine, in part, the significances of sentences. This motivates reading (A B) as commitment to A is, in part, commitment to B. Our project is to study the logic of . LSLC I approximates (A B) as anyone committed to A is committed to B, ignoring issues of whether A is relevant to B. The present paper includes considerations of relevance, motivating systems of relevant commitment entailment related to the systems of commitment entailment of LSLC I. We also consider the relevance logics that result from a commitment reading of Fine's semantics for relevance logics, a reading that Fine suggests.     

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.     

Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?

The main result of this paper belongs to the field of the comparative study of program verification methods as well as to the field called nonstandard logics of programs. We compare the program verifying powers of various well-known temporal logics of programs, one of which is the Intermittent Assertions Method, denoted as Bur. Bur is based on one of the simplest modal logics called S5 or sometime-logic. We will see that the minor change in this background modal logic increases the program verifying power of Bur. The change can be described either technically as replacing the reflexive version of S5 with an irreflexive version, or intuitively as using the modality some-other-time instead of sometime. Some insights into the nature of computational induction and its variants are also obtained.This project was supported by the Hungarian National Foundation for Scientific Research, Grant No. 1810.     

The Risk-Based View of Trust: A Conceptual Framework

Trust and risk have often been linked in the literature, but their relationship is far from clear. Trust has been used in three different ways — namely, as a perception (subjective trust), as various personal and situational factors that lead to subjective trust (trust antecedents), and as the actions resulting from subjective trust (behavioral trust). We explain how risk is related to these three conceptions of trust. First, we argue that subjective trust and perceived risk are in fact mirror images of each other. Second, we show how behavioral trust can be viewed as risk taking, so that the causal relationship between subjective trust and behavioral trust is similar to that of perceived risk and risk taking. And third, we discuss the role of personal characteristics (such as risk propensity and trust propensity) in the risk–trust relationship. We also develop a number of propositions based on our risk-based view of trust.     

In-home treatment for families in crisis and its supervision: A systemic multi-level approach

The author discusses his experience with a five-phase model which built on congruency at all systemic levels of in-home family treatment and its supervision. Five phases are presented, as well as the group process during supervision. In-home family treatment confronts the family helper with different tasks in each phase of the treatment process and with different expectations within the professional network and the institutional context.The author's work as a supervisor and trainer of in-home family treatment was made possible by Diakonisches Werk Hannover. Grateful acknowledgment is made to Heike Müller, Claudia Eckert, and all their colleagues for their trust and support, to Winiger Beuse for his professional friendship, and most importantly to Dr. Carole Gammer and Prof. Dr. Martin Kirschenbaum for their helpful comments on an earlier version of this paper. Thank you Sandy and Susan. In this article the German expression Sozialpädagogischer/r Familienhelfer/in is translated into family helper. In Hannover, as in many other German cities, family helpers are graduate social workers. Family therapy training is not obligatory but appreciated.     

The Deep Structure of Group Life: Unconscious Dimensions

There is a reconsideration and renaissance of interest in expanded conceptions of unconscious processes as they affect individuals and groups (Grotstein, 1999). Recent focus on social unconscious (Hopper, 1996) and cultural unconscious processes (Henderson, 1988) and the nature of intersubjectivity (Harwood and Pines, 1998) raise questions about the location of group analysis. This paper considers the deep structure of group life by examining four functions of the unconscious: repressive, conservative, creative, and mythopoetic (Ellenberger, 1970). On an individual level of analysis, these functions are equated respectively with formative ideas about the: personal–subjective, social–political, intersubjective–cultural and collective–objective unconscious. Group level analogs, as they develop and affect groups and their members, are explored as synthetic, shared, symbolicy and synchronous unconscious processes.     

The elimination of de re formulas

It is shown that de re formulas are eliminable in the modal logic S5 extended with the axiom scheme x x.     

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.     

The Fear of Happiness Anthropological Motives

Anthropologies are different – but Man has seldom been defined as a creature of happiness. Especially in German philosophy there has been a deep scepticism against happiness, most famously in Schopenhauer's pessimistic world view, but also in the desperate visions and in the heroic cynicism following from them in Nietzsche's philosophy. Although Kant and Hegel – influenced by liberal (English) thoughts – have not under estimated the happiness of the single individual, the majority of philosophers – particularly the representatives of Philosophical Anthropology in the 20th century (Scheler, Plessner and Gehlen) – remained (as will be examined in this essay in more detail) sceptical about happiness as fulfilment. In this topos there is also an evident emotion against mass society and a cultural-critical aversion to the eudaimonia of consumerism. In this way, from the point of view of the educated elites, happiness in modern times can only be found in social and intellectual distance, e.g. in the security of contemplation (especially after fascism with its promises of an activism bringing happiness). The dominant element seems to be a philosophical fear of happiness, of decadence and of happy nivellement. Even Goethe had seen Dr. Faustus losing his life and eternal salvation when he was thinking of the moment as so beautiful that it should remain so forever. But in spite of all these attitudes and modes of sceptical thinking, it may be neither naïve nor uncritical to concur with Blaise Pascal: That pleasure is good and suffering bad does not need further evidence. The heart feels it.     

“Soul-making” in a schizophrenic saint

Soul-making (cf. Jung and Hillman) is the process of integrating spiritual and bodily imagery into an intimated wholeness transcending conscious comprehension. Pierre Janet's case of the psychotic mystic, Madeleine, reveals that the patient had been making her own-soul even though his theory had no provision for soul. Janet's soul-stripping theory is contrasted with a soul-making approach, primarily in their respective interpretations of Madeleine's altered states of consciousness. Religious ecstasy is a stretching of soul, an expansion into the realm of spirit, which requires a subsequent descent into and reconciliation with tradition, society, outer world, and body.     

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.     

Gender Stereotypes in Japanese Television Advertisements

The aim of this study was to reveal gender portrayal types in Japanese television advertisements through content analysis. Five hundred and thirty-one adult main characters were coded for sex, age, ethnic background, credibility, role, place, dress, background, persuasion type, camera work, camera angle, product type, target, and sex of voice-over. Five types were found by performing quick cluster analysis: beautiful and wise housewives, young ladies attracting people's attention, young celebrities, middle- and old-aged people enjoying private time, and middle-aged worker bee. The first three were mainly women and the latter two were mainly men. The results indicate that in Japanese television advertisements men and women are portrayed differently, and the differences correspond with traditional gender stereotypes.     

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.     

Логистическая система, исходными связками которой являются эквивалентность и дизъюнкция

- Allatum est die 5 Martii 1970     

“Anchor-range” results with “same” and “different” responses and similar and dissimilar stimuli

Summary Blocks of pairs of dissimilar (anchor-like) circles were unexpectedly followed by single pairs of similar circles and vice versa. The dissimilar circles were 3 and 10 mm in diameter, and the similar circles were 3 and 5 mm, 5 and 7 mm, and 7 and 10 mm in diameter. In a second experiment, the dissimilar and similar circles did not overlap in size (e.g., they were 1.5 and 5 mm and 7 and 10 mm, respectively). The same responses to the unexpected same pairs of similar circles were faster than the same responses to the identical pairs in the blocks. In contrast, the different responses to the unexpected different pairs of similar circles were slower than the different responses to the identical pairs in the blocks. Similar stimuli accelerate same responses and slow down different responses. So the time results (and the error results as well) suggest that the context of the block dissimilar circles increased the perceived similarity of the unexpected similar circles. These anchor-range results are not explained by Thurstonian theories, which are based on the absolute properties of stimuli. Instead, they imply that the relation between the similar circles in the context of the relation between the dissimilar circles affected performance.     

Beholding the beholder: The reception of “Dutch” painting

While a lucid and understandable interpretation can be given for most pictures, typically Dutch paintings (i.e. seventeenth-century genre and still-life pictures) seem to allow for or even demand some measure of freedom for the beholder. The cause of this ambiguity lies in the typically Protestant disregard for works of art and in a concomitant characteristic of these works: they address the viewer in an ethical manner.In memoriam Sixten Ringbom, 1935-1992     

The artist as transgressor in Mandel'štam's poetry

In Mandel'tam's writing, artistic creativity is described as based on the indispensable yet contradictory modes of compliance and deviation. The artist, by his artistic nature, must be an obedient disciple to the tradition that inspires him, and, at the same time, a violator who renders what inspires him in an individual form. Thus, art implies iterability through novelty. In the totalitarian state, this double nature of art acquires a sinister context and brings the artist to an unavoidable conflict with the state. He has a choice between a servile compliance with the state's command and artistic independence. If the artist complies, he loses his ingenuity; if, on the other hand, he has the courage to break away from the established order, his fate is martyrdom. The criteria of truth and falsehood, the issue of loyalty, of compromise and collaboration or resistance become most relevant. Such words as outcast or non-contemporary acquire the meaning of non-collaborationist or enemy of the people. In the totalitarian state a genuine artist is viewed as a law-breaker, and his art leads him to crime. The notions of compliance and deviation cease being merely aesthetic terms and assume in Mandel'tam's poetry complex, subtle and tragic overtones.I would like to express my gratitude to John Barnstead, Thomas Blakeley, James Doull, Elena Glazov-Corrigan, Gregory Glazov, Leonard Kazdan, Peter Kussmaul, Malcolm Ross, Detlev Steffen, and Ieva Vitins for their valuable criticism, suggestions, and revisions of my English.