Axioms for Deliberative Stit

Based on a notion of companions to stit formulas applied in other papers dealing with astit logics, we introduce choice formulas and nested choice formulas to prove the completeness theorems for dstit logics in a language with the dstit operator as the only non-truth-functional operator. The main logic discussed in this paper is the basic logic of dstit with multiple agents, other logics discussed include the basic logic of dstit with a single agent and some logics of dstit with multiple agents each of which corresponds to a semantic condition concerning the number of possible choices for agents.     

THE PHENOMENOLOGY OF MATHEMATICAL BEAUTY

It has been observed that whereas painters and musicians are likely to be embarrassed by references to the beauty in their work, mathematicians instead like to engage in discussions of the beauty of mathematics. Professional artists are more likely to stress the technical rather than the aesthetic aspects of their work. Mathematicians, instead, are fond of passing judgment on the beauty of their favored pieces of mathematics. Even a cursory observation shows that the characteristics of mathematical beauty are at variance with those of artistic beauty. For example, courses in art appreciation are fairly common; it is however unthinkable to find any mathematical beauty appreciation courses taught anywhere. The purpose of the present paper is to try to uncover the sense of the term beauty as it is currently used by mathematicians.     

Judgment and grace in the aging process

There is both judgment and grace in the aging process. The resources of Christian theology can be utilized to make aging more of a blessing than a curse. Judgment in aging is experienced as the judgment of time—little time left, loss of opportunity either to complete projects or to amend what has not been done well. The sins of the elderly are largely reactive rather than proactive The shape of guilt for the elders easily takes the form of fear of rejection and ultimate despair rather than longing for restoration and hope of forgiveness because of the cultural climate in which we are aging. To overcome this pastoral care management of resources of hope, acceptance and forgiveness are curcially important in ministry to the elders.Professor Becker is Professor of Pastoral Care at the Lutheran Theological Seminary, 2199 East Main Street, Columbus, Ohio, 43209. His article is based on a lecture presented at the American Lutheran Church Synposium on Aging, Ann Arbor, Michigan, September, 1977, entitled Theological Perspectives on Aging.     

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.     

Personality characteristics of the accident involved employee

The research relating personality traits to industrial and traffic accidents is reviewed. The research from the past 15 years is integrated with the multitude of studies preceding this period. All of the research is interpreted in terms of the differential accident liability concept, rather than the discredited accident proneness theory. The need to control for the confounding effects of age, experience, sex, and accident risk is discussed. It is concluded that the personality traits of extroversion, locus of control, impulsivity, aggression, social maladjustment, and some aspects of neurosis are related to the occurrence of accidents. Finally, the need to develop causal models of the personality-accident process and to identify causal influences through time series designs is proposed.     

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.     

What is a Correspondence Theory of Truth?

It is often thought that instances of the T-schema such as snow is white is true if and only if snow is white state correspondences between sentences andthe world, and that therefore such sentences play a crucial role in correspondence theories oftruth. I argue that this assumption trivializes the correspondence theory: even a disquotationaltheory of truth would be a correspondence theory on this conception. This discussionallows one to get clearer about what a correspondence theory does claim, and toward the end of thepaper I discuss what a true correspondence theory of truth would involve.     

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.     

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.     

Critical Psychologies of Religious Matters: A Late Modern Enterprise

Drawing upon illustrations of research in psychology and religion, this essay sketches a historical account of twentieth century scholarship in terms of three phases. In the early modern phase research was problem-centered: scholars customarily drew upon expertise in cognate areas of inquiry in solving a problem. In the modern phase research is specialization-based: scholars develop competence in the perspectives, concepts, and methods peculiar to their subfield. In the late modern phase research is interdisciplinary and multidisciplinary: scholars achieve proficiency in cognate subfields and acquire fluency in coordinating the assumptions, concepts, and methods of those subfields. This historical account provides the context and warrant for formulating an enterprise expressing the spirit of the late modern phase: critical psychologies of religious matters.     

Questions as Interventions: Perceptions of Socratic, Solution Focused, and Diagnostic Questioning Styles

A videotaped psychotherapy analogue compared psychology trainees' (n = 67) and undergraduate non-therapists' (n = 115) perceptions of three theoretically derived questioning styles: Socratic disputation in Rational Emotive Behavior Therapy (REBT), solution focused questioning (e.g. the miracle question), and diagnostic interviewing. Non-therapists rated REBT and diagnostic styles more highly than psychology trainees. All subjects rated solution focused questioning more highly than both other styles, perceiving it as more collaborative and conducive to the client's independent thinking. The constructs of collaborative empiricism and solution focused cooperation are discussed in relation to findings. The study also compared psychology trainees' and non-therapists' Big Five personality profiles, a topic which has not previously been addressed in the literature. Psychology trainees were higher in Big Five Openness and Agreeableness than non-therapists. Openness was negatively associated with ratings for solution focused and diagnostic questioning styles, replicating findings of previous analogue studies, in which undergraduate subjects preferred straightforward approaches to therapy.     

A. “Verification” of statements in psychology

(1) In contradistinction to mathematics, physics and biology, psychology and psychiatry deal to a large extent with the verbal behaviour of their objects. They are faced with two kinds of sense-problems: those with which the observer has to do in his theory-construction, and those which are characteristic of the verbal behaviour of his subjects.(2) Apart from a schematic and simplified usage, as it occurs in filling-up exercises and other laboratory verbal behaviour, the psychologist has to do with statements the sense of which, on the one hand, is determined by the usage of his subjects and, on the other hand, so far as his records and theory are concerned, by his own language-sense.(3) This situation may give rise, and often gives rise, to all kinds of verbal confusions. If we call object-language the language used in verbal behaviour of people which psychology investigates and meta-language the language psychology uses in its discourse about the verbal behaviour of people, it becomes obvious that in present-day psychology the two languages are inextricably mixed together. The language of the subject is I-language, that of the observer, in relation to the subject, is he-language. Both, investigators and investigated, often use terms without referents or with only verbal associations. There can be a great dispersion between the sense of statements used by the subject and that of statements used by the observer.(4) The use of physical language is not a remedy against a confusing terminology. One can tell highly speculative stories in physical language. The empirical verification of statements used by the investigator would require naming the concrete operations involved in testing them.(5) Objective, in the sense of a class of responses yielding maximum reliability coefficients within or between individuals facing a common observational situation or situational element, refers to a criterion to which the protocol of the tester is subjected. An investigation into the way in which subjects verify their, often mainly emotive, statements requires other means (e.g. looking at the way in which they justify their behaviour or trying to break through the chain of their verbal associations (circular reasonings)).     

Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric

This paper is the first of a series of three articles that present the syntactic proof of the PA-completeness of the modal system G, by introducing suitable proof-theoretic objects, which also have an independent interest. We start from the syntactic PA-completeness of modal system GL-LIN, previously obtained in [7], [8], and so we assume to be working on modal sequents S which are GL-LIN-theorems. If S is not a G-theorem we define here a notion of syntactic metric d(S, G): we calculate a canonical characteristic fomula H of S (char(S)) so that _G H (S) and _GL-LIN H, and the complexity of H gives the distance d(S, G) of S from G. Then, in order to produce the whole completeness proof as an induction on this d(S, G), we introduce the tree-interpretation of a modal sequent Q into PA, that sends the letters of Q into PA-formulas describing the properties of a GL-LIN-proof P of Q: It is also a d(*, G)-metric linked interpretation, since it will be applied to a proof-tree T of H with H = char(S) and ( H) = d(S, G).     

Psychotherapy and the Spiritual Journey

This article distinguishes between the ego of Freudian analysis and the ego of spiritual tradition. Using his own personal psychic and spiritual development, the writer demonstrates how the Freudian ego must grow and transform, bringing into consciousness and healing all psychic wounds. Secular depth psychology must open into a spiritual dimension when it encounters the drive in the human psyche toward the necessary and impossible. Finally, the writer shows how our spiritual life may mature into a contemplative life in union with the divine.recently published his autobiography: Both Feet Firmly Planted in Midair: A Spiritual Journey, Westminster/John Knox Press     

On the naturalising of phenomenology

In the attempt to construct a scientific approach to consciousness, it has been proposed that transcendental phenomenology or phenomenological psychology be introduced into the framework of cognitive neuroscience. In this article, the consequences of such an approach in terms of basic assumptions, methods for the collection of data, and evaluation of the collected data are discussed. Especially, the proposed notions of mutual constraint and the second perso are discussed. It is concluded that even though naturalising of phenomenology might not prove impossible, the projec has not yet found a coherent basic ground.     

Life Orientation and Work Attitudes of Israeli Males Who Make Atypical Career Choices

The article examines differences between male students who make gender-typical career choices and those who choose female-dominant careers in Israel, with emphasis on life orientations and attitudes toward various aspects of work. The sample consisted of engineering students (the gender typical group) and students of psychology and social work (the gender atypical group). The findings revealed several differences between the two groups. On the whole, the gender atypical group expressed a more masculine orientation toward work than their gender typical counterparts: The former attributed more importance to career success and competition, and derived more satisfaction from political activity than did the latter. In light of these results, the personal and social benefits of referring candidates with relevant vocational interests to atypical careers are considered.     

Does Alternating Between Masculine and Feminine Pronouns Eliminate Perceived Gender Bias in Text?

This study explores whether alternating betweenthe pronouns he and she ina text is an effective way to avoid sexist language.Participants were psychology students at a largemidwestern university and were predominately White and frommiddle-class backgrounds. Students read two versions ofan essay, one that alternated between masculine andfeminine pronouns and one that exclusively used paired, he or she-type pronouns. Readersperceived the alternating version to be biased in favorof females and lower in overall quality than the pairedversion. However, the alternating version appeared to be more effective at combating sexism,suggesting an alternating strategy may be desirable forauthors with this goal. If the author is not primarilyconcerned with increasing readers' awareness of gender issues, techniques such as pluralization or thesingular they may be moreappropriate.     

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.     

The logic and language of Nirvāna: A contemporary interpretation

In contrast to historically orientedapproaches, this paper tackles the concept ofNirvna from the perspective ofcontemporary philosophy of language. It focuseson four propositions: Nirvna exists;Nirvna does not exist; Nirvna existsand does not exist; Nirvna neither exists nordoes not exist. The Buddha's rejectionof these propositions is interpreted by meansof explicit and conditionaldefinitions of existence. Stalnaker's notion ofpragmatic presupposition providesan explanation why the propositions are withoutmeaning. After comparing theword ``Nirvna' with indexicals, propernames and theoretical terms, it is finallyasked what linguistic function the word has.     

On Ultrafilter Logic and Special Functions

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.Presented by André Fuhrmann