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.     

Partially-Ordered (Branching) Generalized Quantifiers: A General Definition

Following Henkins discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or cardinality quantifiers, e.g., most, few, finitely many, exactly , where is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a general definition of monotone-increasing (M) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwises 1979 analysis of the basic case of M POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional 1st-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages.     

Death and the “life review” in Halakhah

Coping with old age involves resolving the task of integrity versus despair, which demands a nondefensive confrontation with the inevitability of death. Halakhah (Jewish ethics) also considered this task critical in later years of life, spoke of death's inevitability, and attempted to discourage denial of death. The Jewish approach seems compatible with Butler's concept of life review as a reconciliation with death and a reintegration of one's identity that occurs throughout later years. While the Eriksonian goal is confronting old age with a certain capacity for wisdom, the rabbis maintained that such wisdom must culminate in the creative act of repentance.     

Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization

The paper deals with the problem of axiomatizing a system 1 of discrete tense logic, where one thinks of time as the set Z of all the integers together with the operations +1 (immediate successor) and -1 (immediate predecessor). 1 is like the Segerberg-Sundholm system W1 in working with so-called infinitary inference rules; on the other hand, it differs from W1 with respect to (i) proof-theoretical setting, (ii) presence of past tense operators and a now operator, and, most importantly, with respect to (iii) the presence in of so-called systematic frame constants, which are meant to hold at exactly one point in a temporal structure and to enable us to express the irreflexivity of such structures. Those frame constants will be seen to play a paramount role in our axiomatization of 1.The present contribution reports research done under the auspices of the Swedish Council for Research in the Humanities and the Social Sciences (HSFR), project On the Legal Concepts of Rights and Duties: an Analysis Based on Deontic and Causal Conditional Logic. I wish to thank the anonymous referee for his/her extremely patient and accurate revision work, and Krister Segerberg for his helpful suggestions.     

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.     

On not knowing what or who one is: Reflections on the intelligibility of dualism

Beginning with Descartes' caution not imprudently to take some other object in place of myself, I consider first the problems of self-identification confronted by variousamnesiacs, both ordinary and Cartesian. Noting thatcogitationes as such do not individuate, I proceed to examine conclusions drawn from certain sorts of body-switching thought experiments. This, in turn, gives rise to a general critique of psychological connectedness or unity of consciousness as a candidate criterion of personal identity. I conclude that our ability to apply any notion of personal identity is parasitic upon the existence of a conceptual apparatus for individuating, identifying, and reidentifying objects. Finally, I argue that, if person is a proper sortal predicate to begin with, Descartes'res cogitans cannot be understood as a species of the (metaphysical) genusres, distinct fromres extensa and only problematically in interaction with it. Cartesian dualism is a multiply untenable doctrine.     

On the logic of conscious belief

In this paper we are discussing a version of propositional belief logic, denoted by LB, in which so-called axioms of introspection (B BB and B B B) are added to the usual ones. LB is proved to be sound and complete with respect to Boolean algebras equipped with proper filters (Theorem 5). Interpretations in classical theories (Theorem 4) are also considered. A few modifications of LB are further dealt with, one of which turns out to be S5.     

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

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

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.     

Fallacies and moral dilemmas

The continuing debate between utilitarians and deontologists often takes the form of disagreement over how particular moral dilemmas are to be resolved, but protagonists on both sides tend to overlook the possibility of resolving a dilemma with remainder, such as regret. The importance of remainder is also overlooked by critics of some absolutist ways of resolving or slipping between the horns of certain moral dilemmas. Moreover, deontologists, if not utilitarians, can be criticised for overlooking the possibility that, according to their theory, some dilemmas may be irresolvable. Virtue ethics, with its concentration on the agent, readily accommodates both mention of remainder and irresolvable dilemmas, and yields a specification of tragic dilemmas which the other two theories might like to take on.     

A further analysis of the affective meanings associated with male and female sex-trait stereotypes

This study was concerned with the qualitative differences in the male and female sex-trait stereotypes. Previous research employing the item pool of the Adjective Check List (ACL) had indicated no relationship between the stereotype loading of the adjectives and their favorability ratings. In the present study, university students rated the ACL items for strength and activity, and these ratings were used to demonstrate that the male stereotype was appreciably stronger and more active than the female stereotype. It was found that the strength ratings were highly correlated with both activity and favorability ratings which were, themselves, unrelated. It was concluded that the principal qualitative difference between the stereotypes lay in the connotations of activity and passivity associated, respectively, with the male and female stereotype traits, and that any assertion of greater social desirability for the male stereotype was based on its greater activity and not, as is often supposed, on its greater favorability.     

Groups to Resolve Conflicts Between Groups: Diplomacy with a Therapeutic Dimension

The group self, an individual's self-perception as a member of a group, is distinguished from the group's self, a personification of the group as a person with a self. The perceived group's self of an opposing other group is often a repository for attributes group members are not ready to recognize in their own group's self. Theoretically, the need for an adversarial other to hold one's own group's unwanted attributes—and thus to complete one's own group's self—contributes, however unconsciously, to the apparent intractability of intergroup disputes. In dealing with these issues, I compare intergroup conflict resolution (ICR) groups with therapy groups, on the one hand, and advocacy groups on the other. All of this sets the stage for a presentation of two ICR projects and their analysis in group-developmental terms.     

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     

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.     

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.     

The treatment of adolescents and their families in cultural transition: Issues and recommendations

Increasing numbers of immigrant families with adolescent children are seeking therapy because of intergenerational conflicts specific to the adolescent separation-individuation phase of the life cycle and transitional problems related to immigration and cultural transition. Three types of adolescent immigrants are identified and discussed: Immigrants (subtypes Reluctants and Optimists), Immigrant-Americans, and Americans. Therapists' issues which can negatively affect therapy with such adolescents and families are also discussed. Effective therapy with immigrant families requires that family therapists become more culturally sensitive, therapeutically flexible, and accepting of family values to which they may be diametrically opposed. Recommendations for therapy are offered.Dr. Baptiste is himself an immigrant. The experiences and observations discussed here are culled from his work with immigrant families and children over the past 19 years in the District of Columbia, Massachusetts, Indiana, and New Mexico.Portions of this article will appear in a chapter Psychotherapy with adolescent immigrants and their families in cultural transition in B. Settles and D. Hanks (Eds.),Families on the move: Emigration, immigration, migration and mobility. Sage Publications, 1990, and are used here with permission.     

On superintuitionistic logics as fragments of proof logic extensions

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructedIn this diagram the maps, x and are isomorphisms, thereforex ^–1 = ; and the maps and are the semilattice epimorphisms that are not commutative with lattice operation +. Besides, the given diagram is commutative, and the next equalities take place: ^–1 = ^–1 and = ^–1 x. The latter implies in particular that any superintuitionistic logic is a superintuitionistic fragment of some proof logic extension.     

Aids,myth, and ethics

The present paper is a commentary on an article by Larry Churchill [1]. Churchill has argued that the negative attitudes and adverse behavior we commonly encounter in connection with (suspected) AIDS patients may be understood in terms of a dualistic myth inspiring a ritual avoidance of dirt, of dirt as something that does not belong to a clean world order. The deep-seated mythical character of attitudes and behavior here makes them less accessible to the kind of rational argument commonly employed in ethics. Churchill also proposes a remedy for the (morally outrageous) dualistic mythical-ritual behavior he has focused — a remedy that may be overly intellectualistic.Three further comments are made: on the metaphorical meaning of myth, on a reductionist tendency in Churchill's deep-looking project, and on an ethically crucial ambiguity in the meaning of the other person's otherness. These (mildly critical) comments do not, however, detract from a positive overall evaluation of Churchill's basic idea that we will understand more about adverse attitudes and behavior in connection with AIDS if we think in terms of myth, ritual, dirt, and cleanliness.