Who are the comorbid adolescents? Agreement between psychiatric diagnosis,youth, parent,and teacher report

The investigators examined the rates of psychiatric comorbidity for externalizing and internalizing behavior problems, using semistructured diagnostic interview and parent, teacher, and youth report on the Achenbach checklists. The study also evaluated the effects of conjunctive, compensatory, and disjunctive data combination strategies. Using the same data and identical diagnostic thresholds, between 5 and 74% of 189 youths presenting to an outpatient clinic were identified as having comorbid internalizing and externalizing problems. Parent report and semistructured interview indicated the highest comorbidity rates. Despite good cross-source agreement (rs .29–.58), there was very little agreement about which specific youths presented with comorbid internalizing and externalizing problems (kappas .14–.40). Results also indicate that single DSM-IV disorders, such as bipolar disorder, can manifest comorbid patterns of behavior problems on checklists.     

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.     

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.     

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

Self and others in “private language”

The aim of this paper is to restore the interdependent or complementary relationship between self and others against the universalistic one (as I call it) that Kant, for example, once insisted on, by reexamining the concept of so-called private language. I shall consider some views in speech act theory and pragmatics, since there has often been discussion about such a private occurrence as the speaker's sincerity. For example, Jürgen Habermas situates it in the speaker's internal nature as will be seen later. In my opinion, alter ego is an ego because we can empathize (einfühlen) with it, and yet it is alter ego because it has some private experiences which we cannot perfectly comprehend.     

⊃E is Admissible in “true” relevant arithmetic

The system R## of true relevant arithmetic is got by adding the -rule Infer xAx from A0, A1, A2, .... to the system R# of relevant Peano arithmetic. The rule E (or gamma) is admissible for R##. This contrasts with the counterexample to E for R# (Friedman & Meyer, Whither Relevant Arithmetic). There is a Way Up part of the proof, which selects an arbitrary non-theorem C of R## and which builds by generalizing Henkin and Belnap arguments a prime theory T which still lacks C. (The key to the Way Up is a Witness Protection Program, using the -rule.) But T may be TOO BIG, whence there is a Way Down argument that produces a better theory TR, such that R## TR T. (The key to the Way Down is a Metavaluation, on which membership in T is combined with ordinary truth-functional conditions to determine TR.) The result is a theory that is Just Right, whence it never happens that A C and A are theorems of R## but C is a non-theorem.     

The ω-rule

We prove that all proofs in -logic (a first order logic with -rule added) in which -rule is used finitely many times can be turned into proofs in which the -rule is used at most one time. Next, we prove that the word finitely above cannot be changed by the word infinitely.     

Intuitionistic uniformity principles for propositions and some applications

This note deals with the prepositional uniformity principlep-UP: p x N A (p, x) x N p A (p, x) ( species of all propositions) in intuitionistic mathematics.p-UP is implied by WC and KS. But there are interestingp-UP-cases which require weak KS resp. WC only. UP for number species follows fromp-UP by extended bar-induction (ranging over propositions) and suitable weak continuity. As corollaries we have the disjunction property and the existential definability w.r.t. concrete objects. Other consequences are: there is no non-trivial countable partition of;id is the only injective function from to; there are no many-place injective prepositional functions; card () is incomparable with the cardinality of all metric spaces containing at least three elements.     

Omega-consistency and the diamond

G is the result of adjoining the schema (qAA)qA to K; the axioms of G* are the theorems of G and the instances of the schema qAA and the sole rule of G* is modus ponens. A sentence is -provable if it is provable in P(eano) A(rithmetic) by one application of the -rule; equivalently, if its negation is -inconsistent in PA. Let -Bew(x) be the natural formalization of the notion of -provability. For any modal sentence A and function mapping sentence letters to sentences of PA, inductively define A by: p = (p) (p a sentence letter); = ; (AB)su}= (A B); and (qA)= -Bew(A )(S) is the numeral for the Gödel number of the sentence S). Then, applying techniques of Solovay (Israel Journal of Mathematics 25, pp. 287–304), we prove that for every modal sentence A, _G A iff for all , _PA A ; and for every modal sentence A, _G* A iff for all , A is true.I should like to thank David Auerbach and Rohit Parikh.     

Illness as a crisis of meaning: Psycho-spiritual agendas in health care

The term psychosocial has come to refer to a host of issues in health care. Its wide, indiscriminate usage in referring to almost any non-biophysical aspect of illness obscures or distorts the experience of illness as a crisis of meaning. The term psycho-spiritual agenda is introduced to emphasize the problems of meaning associated with illness, and to avoid the potential reductionism, pathological skew, and interventionist bias of conventional psychosocial analyses of the illness experience.     

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

- Allatum est die 5 Martii 1970     

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.     

Equivalents of Mingle and Positive Paradox

Relevant logic is a proper subset of classical logic. It does not include among its theorems any ofpositive paradox A (B A)mingle A (A A)linear order (A B) (B A)unrelated extremes (A ) (B B¯)This article shows that those four formulas have different effects when added to relevant logic, and then lists many formulas that have the same effect as positive paradox or mingle.     

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.     

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     

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.     

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

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.     

Variations in use of the term “or”

Two studies showed that adults' responses to questions involving the term or varied markedly depending upon the type of question presented. When presented with various objects (A's and B's) and asked to circle all things which are A or B subjects tended to circle A's as well as B's, whereas when asked to circle all the A's or B's subjects showed a relatively stronger tendency to circle one or the other. Moreover the nature of the sets of objects (As and Bs) influenced behavior as well. There was also evidence that the effects due to question wording or set type transferred.