Cut-free tableau calculi for some propositional normal modal logics

We give sound and complete tableau and sequent calculi for the prepositional normal modal logics S4.04, K4B and G ⁰(these logics are the smallest normal modal logics containing K and the schemata A A, A A and A ( A); A A and AA; A A and ((A A) A) A resp.) with the following properties: the calculi for S4.04 and G ⁰are cut-free and have the interpolation property, the calculus for K4B contains a restricted version of the cut-rule, the so-called analytical cut-rule.In addition we show that G ⁰is not compact (and therefore not canonical), and we proof with the tableau-method that G ⁰is characterised by the class of all finite, (transitive) trees of degenerate or simple clusters of worlds; therefore G ⁰is decidable and also characterised by the class of all frames for G ⁰.Research supported by Fonds zur Förderung der wissenschaftlichen Forschung, project number P8495-PHY.Presented by W. Rautenberg     

Poetry in Existential Psychotherapy with Couples and Families

The use of poetry during the process of existential psychotherapy with couples and families is described and illustrated. In this approach, poems can be utilized to help the couple and/or family notice meaning potentials in the future, actualize and make use of such meaning potentials in the here and now, and re-collect and honor meanings previously actualized and deposited in the past.     

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

- Allatum est die 5 Martii 1970     

“Instruction Publique” in the French Eighteenth-Century Discourse of Modernisation

Towards the end of eighteenth century in France, the newly acquired rights of people as citizens needed assuring. This article traces the principles through which Condorcet tried to realise this on an institutional level. Condorcet did not view the Enlightenment ideas of progress as primarily referring to the state. Rather, he focused on the rights of individuals, particularly on their right to develop their own potential. He bound this perception with the unconditional demand for recognition of the rights of all people, in particular also for a clear renunciation of any gender-specific interpretation of this fundamental idea. Evidence for this is found in Condorcets writings on Instruction Publique. In contrast to other educational programmes of the revolutionary period, these evince a discriminating interpretation of freedom and equality, and recognise the numerous threats to a self-determined human existence.     

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.     

Depression and Anxiety in Persons with Parkinson's Disease With and Without “On–Off” Phenomena

On–off phenomena in Parkinson's disease (PD) are unpredictable motor fluctuations associated with long-term levodopa use. Mood fluctuations have been found to coincide with the motor fluctuations in that depression and anxiety increase while the person with PD is in the off state. What has been relatively unexplored is whether those persons with PD who have on–off phenomena differ psychologically in fundamental ways from those who do not have on–off phenomena. In the present study, depression and anxiety symptoms were assessed in 36 persons with PD (n = 14 with on–off phenomena, n = 22 without on–off phenomena). All those with on–off phenomena were assessed in their on state. Those persons with PD with on–off phenomena had significantly higher levels of anxiety than those without on–off phenomena. However, both groups, regardless of on–off status, were mildly depressed. Neurobiological interpretations of the results implicate the locus coeruleus in the pathogenesis of both on–off phenomena and anxiety, whereas psychological interpretations of the results involve the issues of learned helplessness and control over health symptoms in PD.     

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.     

The logic of linear tolerance

A nonempty sequence T₁,...,T_n of theories is tolerant, if there are consistent theories T ₁ ⁺ ,..., T _n ⁺ such that for each 1 i n, T _i ⁺ is an extension of T_i in the same language and, if i n, T _i ⁺ interprets T _i+1 ⁺ . We consider a propositional language with the modality , the arity of which is not fixed, and axiomatically define in this language the decidable logics TOL and TOL. It is shown that TOL (resp. TOL) yields exactly the schemata of PA-provable (resp. true) arithmetical sentences, if (A₁,..., A_n) is understood as (a formalization of) PA+A₁, ..., PA+A_n is tolerant.     

Six-year-old children's understanding of sentences adjoined with time adverbs

The adjoining of clauses with temporal links is the basis for many sentences that convey sequence of events. The present study attempts to delineate 6-year-old children's (N=30) understanding of the meaning sequences imparted by sentences adjoined with after, before, and until. Their performance of the meaning sequence for each of 24 carefully constructed sentences is compared to an adult model. Analysis of the results (using a Wilcoxon Matched Pairs Signed Rank Test) indicated that: (1)Ss understood sentences adjoined with after according to an adult model more frequently than before adjoined sentences (P<0.01); (b) Until adjoined sentences with a negative marker in the main clause were understood according to an adult model more often than until adjoined sentences with no such negative element, but the difference was not significant at a=0.01; (3)Ss understood before adjoined sentences according to an adult model more often than until adjoined sentences, but the difference was not significant at a=0.01. In general, the results indicated that 6-year-olds have not yet completed development of an adult grammar with respect to adjoining clauses with temporal links, after, before, and until.     

Oral production of linguistically complex sentences with meaning relationships of time

The purpose of this investigation was to determine the abilities of children to use the adjoining mechanism in combining two constituent sentences with the temporal adjoiners: after, before, until, when, and while. To elicit responses, a sentence repetition task was devised that included these five temporal adjoiners in four different syntactic environments: transitive sentences with the adjoiner and the subordinate clause following the main clause, transitive sentences with the adjoiner and the subordinate clause preceding the main clause, intransitive sentences with the adjoiner and the subordinate clause following the main clause, and intransitive sentences with the adjoiner and the subordinate clause preceding the main clause. The 30 were between the ages of 4O and 66 years. They were average children who were free from any known emotional disturbance, who were acquiring Standard American English as a native language, who had normal speech and hearing, and whose parents had neither very high nor very low socioeconomic status. To the extent that the children in this study were representative of normal-speaking children of their ages, certain general conclusions were drawn. Children begin to use the temporal adjoining mechanism early, but they do not master it by the age of 66 years. The ability to use the adjoiners, nor is it equal for different syntactic structures nor for all degrees of semantic complexity. After, before, and when appear earlier than while and until. A rapid period of growth in learning to use the temporal adjoining mechanism occurs between the ages of 4 and 5 years. However, a plateau of learning appears to be reached between the ages of 5 and 6 years. In general, children first learn to use the temporal adjoining mechanism in intransitive sentences with the adjoining link in the middle or at the beginning of the utterance. Next, they learn to use it in transitive sentences with the adjoining link at the beginning of the utterance. Finally, they learn to use it in transitive sentences with the adjoining link in the middle of the utterance. In transitive sentences, children appear to learn the rule for placing the subordinate clause at the beginning of the utterance when temporally adjoining two constituent sentences before they learn the base structure rule. In intransitive sentences, they appear to learn the rule for placing the subordinate clause at the beginning of the utterance when temporally adjoining two constituent sentences at the same time that they learn the base structure rule. The underlying semantic relationships that are expressed by specific temporal adjoiners are important determinants of children's abilities to use these adjoiners. In linguistic evaluations, one should consider the syntactic environment in which the temporal adjoiner occurs and assume that after, before, and when are developmentally earlier than while and until.     

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.     

John Dewey's impact on Turkish education

Conclusion The cultural characteristics of any country generally give shape to the educational system. However, no country can assert its own educational system to be wholly indigenous. All the systems come into being as a synthesis of various ingredients of the home country and other countries. And it is quite natural to make use of the experiences and stock of knowledge of the others. This fact is indispensable especially when education is concerned. The curicial problem is to what extent the borrowing process should be used. When the process of borrowing ideas become to take the form of imitation or copy, unexpected results and failure are unavoidable.     

Review article

Conclusions Using the definition of education as a practice, the only coherent interpretation of Heslep's central thesis of Education's moral role was found to need the notion of a social institution of Education. This in turn made sense only by positing a notion such as a Political Proficiency Certificate, with its concomitant drastic government intervention. Heslep himself did not suggest this, presumably because he saw the tension that would appear between such an institution and the voluntary actions of citizens. This tension was then shown to exist even in his notion of the public interest, which brought into question his argument of why Education needs to be standardized. This was reinforced by the realisation that, if the public interest required votes to be aggregated into a social choice, then it is unlikely to be realised by any current voting system. This suggested it was an unsuitable foundation on which to rest either a theory of democracy or a justification for the need for standardized Education. With that justification brought into question, the need for a social institution of Education disappears; without that, as we have said, Heslep's central thesis is without a coherent interpretation.     

Theorizing Gender for Experimental Game Theory: Experiments with “Sex Status” and “Merit Status” in an Asymmetric Game

In experimental game-theoretic research, to the extent that sex has been considered at all, the approach has been to focus on the individual level of analysis. This paper reports the results of experiments designed to focus on sex/gender and to expand the level of analysis to include the institutional level. An asymmetric game was designed such that players in the male and female institutional locations had 3 and 2 alternatives, respectively. Players earned the institutional locations based on a test, so that top and bottom scorers respectively merited the 3- and 2-alternatives locations. Game-theoretic understandings of sex-of-player were compared to the expectations states theory concept of sex status; that is, men expect and are expected to perform more competently than women. Results indicated that top-scorer men and women behave similarly; bottom-scorer men resist their low merit status (behaving the most rationally of all player groups); bottom-scorer women accept their low merit status (behaving the most irrationally of all player groups). Whereas game theory cannot provide a coherent understanding of these findings, the concept of sex status helps to interpret the behavior of all four player groups and shows how judgments about rationality and irrationality depend critically on the interpretive framework used.     

Responsibility and evil imagination

In this Niebuhrian perspective on hostile and violent discourse the author utilizes H. R. Niebuhr's fourfold notion of responsibility and his concept of evil imagination to examine relations marred by protracted hostility toward hated other or others. The author argues that violent and hostile discourse manifests a particular form of responsibility whereby persons expressing hostility toward hated others construct, by way of negative representations, maligned histories and identities for the other and at the same time construct an idealized or glorified history and identity for themselves. These positive and negative representations and histories, then, are utilized to answer questions regarding interpretation, accountability, and solidarity. Niebuhr's concept of evil imagination is employed to hypothesize about the intransigence of this form of responsibility and to suggest reasons why elevated and maligned representations, identities, and histories are, more often than not, inextricably and tragically linked.     

“Girl,” “woman,” “guy,” “man”: The effects of sexist labeling

An experiment was conducted to investigate the effects of sexist labeling. Sixty males and 60 females were asked to evaluate an artist and a series of paintings on a variety of cognitive and affective measures. For half the subjects, the artist was identified as a male with either a high status label (man), a low status label (guy), or a neutral label (person); for the other half of the subjects, the artist was identified as a female with either a high status label (woman), a low status label (girl), or a neutral label (person). The findings indicated that for the female artist, the low and high status labels had an equally negative effect on subjects' judgments; for the male artist, the low and high status labels had an equally positive effect on subjects' judgments. There were no significant differences between male and female subjects. The social and psychological implications of the findings are discussed.The present study is based in part on a paper presented at the meetings of the Western Psychological Association held in San Diego, California, April 1979, in collaboration with Ms. Julie Horowitz.     

Illustrating two complementary enterprises at the interface of psychology and religion through reading Winnicott

Our work at the interface of psychology and religion can proceed in two complementary directions. When reading a psychological theory, (1) we may pay special attention to how certain concepts in particular, and the system of ideas as a whole, are being or might be used to interpret religious phenomena. We may focus on how those ideas may be involved in doing psychology of religion: the psychological interpretation of religious phenomena. Alternatively, (2) we may pay special attention to how certain concepts in particular, and the system of ideas as a whole, are being or might be used, either implicitly or explicitly, to make claims about human nature, about the meaning and purpose of life, about God. We may identify the psychology as religion-theology: psychological ideas potentially functioning in a religious-theological manner. I will illustrate this by: (a) examining D. W. Winnicott's article, Transitional Objects and Transitional Phenomena (1953/1986) in terms of three successive concepts or categories: transitional object, transitional phenomena, and a third intermediate area of experiencing; (b) considering how these categories can be used in psychology of religion; (c) reconsidering how the psychological categories may function as religious-theological. The discussion is intended to illustrate how we might more fully appreciate how and why a psychological theory may work well in doing psychology of religion when we more fully appreciate how that psychology implicitly functions as theology.     

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.     

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.