Identity in modal logic theorem proving

THINKER is an automated natural deduction first-order theorem proving program. This paper reports on how it was adapted so as to prove theorems in modal logic. The method employed is an indirect semantic method, obtained by considering the semantic conditions involved in being a valid argument in these modal logics. The method is extended from propositional modal logic to predicate modal logic, and issues concerning the domain of quantification and existence in a world's domain are discussed. Finally, we look at the very interesting issues involved with adding identity to the theorem prover in the realm of modal predicate logic. Various alternatives are discussed.     

The family as portrayed on prime-time television, 1947–1990: Structure and characteristics

Successful family series across four decades of American prime-time television were examined. Family portrayals were defined as either conventional or nonconventional. Conventional families were categorized as couples without children and couples with children. Nonconventional families were categorized as single parent or contrived. Additional family characteristics were also recorded including sex of single parent, reason for singleness, social class status, females employed outside the home, live-ins, race, and whether the presentation was dramatic or comedic. The data show a trend toward more equal presentation of conventional and nonconventional families, few divorced or female single parents, and few minority families. Implications of findings are discussed and future research questions suggested.     

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

Marriages of two clergy-persons

Defines a clergy couple as a married couple, each person ordained or licensed, and each employed by the church. Gives current statistics on the number of clergy couples in eleven denominations. Decribes how it works in practice in a variety of arrangements. Lists the advantages for a congregation and for the couple. Describes some problem areas for some couples. Lists some characteristics of a successful clergy couple ministry. Asserts that clergy couples are a growing phenomenon and concludes that it is a legitimate, viable option for ministry.Editor's Note: This article, as submitted, carried the title Clergy Couples. This term, as the readers soon will discover, is used to describe what I, and others, have described as two-clergy couples, or two-clergy marriages. The term clergy couple has been widely used in the past (since at least 1951) to describe any marriage involving a clergy member, and it is so used in four of the five articles in this issue.I am aware that in 1978 the Ohio Consultation for two-clergy couples firmly claimed the title clergy couple with the intent of changing the earlier usage. Only the future will determine which usage will ultimately win general acceptance.In order to avoid confusion, however, I decided to change the title of this article; but within the article itself, the original terminology of the authors remains unchanged.Ralph L. Detrick has shared employment, parenting and homemaking with his wife, Mary, for the last seven years. Both are employed by the Church of the Brethren with responsibilities for Life Cycle Ministry, Youth/Young Adult Ministry and Person Awareness in Elgin, Illinois.     

Some modifications of Scott's theorem on injective spaces

D. Scott in his paper [5] on the mathematical models for the Church-Curry -calculus proved the following theorem.A topological space X. is an absolute extensor for the category of all topological spaces iff a contraction of X. is a topological space of Scott's open sets in a continuous lattice.In this paper we prove a generalization of this theorem for the category of , -closure spaces. The main theorem says that, for some cardinal numbers , , absolute extensors for the category of , -closure spaces are exactly , -closure spaces of , -filters in , >-semidistributive lattices (Theorem 3.5).If = and = we obtain Scott's Theorem (Corollary 2.1). If = 0 and = we obtain a characterization of closure spaces of filters in a complete Heyting lattice (Corollary 3.4). If = 0 and = we obtain a characterization of closure space of all principial filters in a completely distributive complete lattice (Corollary 3.3).     

In and behind a Lenneberg paradigm

Lenneberg suggested that a chimpanzee's linguistic ability could be tested by presenting sentences containing two prepositional phrases joined by a conjunction. This would involve joining two semantic propositions, and thus represents a more complex test of chimpanzee syntactic competence than previously attempted. Jane, a five year-old language trained chimpanzee, was tested on her ability to both produce and comprehend sentences involving a preposition (in or behind) and a conjunction (and). The results from production and comprehension were substantially the same. Jane showed the ability to appropriately deploy and, behind and in, but displayed very little flexibility in their use. It is suggested that a chimpanzee may be able to learn some rules of syntax but is not able to be creative with that syntax.     

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.     

Interventions for Children with Anger Problems

Anger in children has received a lot of attention. This article is a review of several rational-emotive behavioral interventions for children struggling with anger problems. The first step discussed in this article involves helping children learn to recognize their internal signals that they are becoming angry. Children can be taught that there are certain physiological events that occur immediately preceding anger. Another important component of anger management involves the use of distraction, in which children are encouraged to substitute a happy or funny mental image to interrupt the anger producing thoughts. Finally, a detailed analysis of rational-emotive imagery is provided for children needing more extensive interventions with their anger problems.     

A Critical Evaluation of Hal Childs' The Myth of the Historical Jesus and the Evolution of Consciousness

The purpose of Childs' book an is integration of historical criticism and analytical psychology. I share Childs' interest in analytical psychology and his concern about the way historical criticism is practiced within the Jesus Seminar. However, I consider his proposed integration to be neither necessary nor desirable, particularly if integration really means amalgamation. Rather than adopting the concerns of analytical psychology, the historical critic would do well to emulate the procedures and rules of evidence of the secular historian.     

Modal logic with names

We investigate an enrichment of the propositional modal language with a universal modality having semanticsx iff y(y ), and a countable set of names — a special kind of propositional variables ranging over singleton sets of worlds. The obtained language _c proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment () of, where is an additional modality with the semanticsx iff y(y x y ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in _c. Strong completeness of the normal _c-logics is proved with respect to models in which all worlds are named. Every _c-logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from to _c are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched.     

Scales,diagnoses, and child psychopathology: II. Comparing the CBCL and the DISC against external validators

Using a multimethod multistage screening procedure, the authors interviewed 201 parents and their children with the Diagnostic Interview Schedule for Children (DISC 2.1). In addition, parents completed the Child Behavior Checklist (CBCL) and other survey measures, while their children completed self-report scales. Receiver operating characteristic (ROC) analyses were done to determine optimal cutpoints on the CBCL, referenced to DISC diagnostic caseness. DISC diagnoses, DISC stem symptoms, CBCL scores, and CBCL ROC-cutpoints were compared against external validators, in order to determine the comparative advantages of each approach for assessing child psychopathology. Overall findings suggest that the controversies about best assessment strategies may be artificial: When both assessment approaches are compared using similar methods, they are reasonably comparable. However, highly specific diagnostic categories may show fewer relationships with external validators and may therefore need more systematic validational studies.The opinions and assertions contained in this paper are the private views of the authors and are not to be construed as official or as reflecting the views of the Department of Health and Human Services, the National Institute of Mental Health, the Walter Reed Army Institute of Research, or the Department of the Army.     

Empathy and justice motivation

Empathic distress is defined as an aversive feeling contingent on another's physical, emotional, or economic distress. The paper (1) summarizes a developmental scheme consisting of four stages of empathic distress; (2) suggests that causal attributions may partly transform empathic distress into sympathy, empathic anger, feeling of injustice, and guilt feeling; (3) notes the evidence that these empathic affects often serve to motivate moral behavior, and therefore that they qualify as moral motives; (4) points up limitations of these affects/motives and the need to embed them in justice principles; (5) discusses links between empathic affects/motives and principles of distributive justice/ (6) argues that Rawls' theory of justice, which excludes empathy, may nevertheless require it for the difference principle to influence behavior in real life; (7) hypothesizes a functional equivalence between empathy and the veil of ignorance; and (8) speculates that the conjunction of empathic affect and justice-principle thinking — in life and in abstract didactic contexts like Rawls' original position — may produce a principle having the motivational and stabilizing properties of a hot cognition.     

Children's knowledge of prepositional phrase structure: An experimental test

A test of prepositional phrase structure in 4- to 6-year-old children's language is reported. Children's productions of PP and verb-particle sequences were elicited. Children produced pronominal and full NP objects of sequences corresponding to PPs and verb-plus-particle in the adult grammar. Prepositions freely took both pronominal and full NP objects (He's jumping over it. He's jumping over the table). In particle verb constructions, pronominal objects were placed immediately after the verb in all but a few cases (He's pushing it overnot He's pushing over it). With full NP objects, the preference was to place the verb after the particle (He's pushing over the table). These facts support an analysis in which if the child constructs a PP-over-P—NP structure for prepositional phrases but not for verb-particle sequences, and follows adultlike rules for these structures.This research was supported in its initial stages by NIH grant No. HD90647-03 to T. Roeper and S.J. Keyser and was completed while the author was supported in part by grants from the Graduate School Research Committee of the University of Wisconsin-Madison and from the Spencer Foundation through the University of Wisconsin School of Education.     

Unification,Reduction, and Non-Ideal Explanations

Kitcher's unification theory of explanation seems to suggest that only the most reductive accounts can legitimately be termed explanatory. This is not what we find in actual scientific practice. In this paper, I attempt to reconcile these ideas. I claim that Kitcher's theory picks out ideal explanations, but that our term explanation is used to cover other accounts that have a certain relationship with the ideal accounts. At times, versions and portions of ideal explanations can also be considered explanatory.     

Независимость одной системы аксиом и правила вывода пропозиционального исчисления

- Allatum est die 5 Martii 1970     

Two Orientations to Sin in the Human Predicament

Two orientations to sin proposed in Valerie Saiving's feminine view of the human situation (1960) are analyzed and developed, suggesting different ways they can be manifested in the lives of both men and women. These ways (of trusting the world) are paired and contrasted with ways of trusting God in order to aid pastors in counseling and teaching about the human predicament.     

The Therapeutic Relationship as Viewed by Existential Psychotherapy: Re-Embracing the World

Existential psychotherapy places pivotal significance upon the interrelational aspects of human experience. By so doing, the therapeutic relationship itself becomes the principal means through which the client's presenting symptoms and disorders are disclosed as direct expressions and outcomes of the client's overall way of being rather than as isolated and disruptive impediments. This paper examines the therapeutic relationship as viewed from four primary interrelational dimensions. Further, it focuses upon psychotherapy's tendency to exclude the world from the therapeutic relationship and provides two novel and challenging alternatives whose principal aim is to bring the world back into the therapeutic relationship.     

Distance and fusion in Robinson Jeffers' “the purse-seine” and other poems

Distance and fusion are fundamental ideas in Bowenian thinking, especially as expressed in the dynamic of distancing and pursuing. In this paper I have used these ideas as a means to briefly examine a short selection of Robinson Jeffers' poetry, which provides us with a literary example of these concepts in action.My thanks to M. K. Lane and the anonymous reviewers of an earlier draft of this article for their many suggestions, especially to the reviewer who helped me better distinguish between distance and fusion, and intimacy and autonomy.     

Using What Premarital Couples Already Know to Inform Marriage Education: Integration of a Gottman Model Perspective

The Marriage Preparation and Preservation Act of Florida stimulated a study of premarital couples. What are the best things that you do in your relationship was asked in a survey of persons seeking marriage licenses. The sample consisted of 962 participants. Responses were examined using Gottman's Sound Marital House (1999) as a theoretical framework. Results indicate that premarital participants view specific aspects of the Sound Marital House as the best things they contribute to their relationship. Responses can be used as a guide to the development of a Gottman-based marriage preparation curriculum.     

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.