Logics of some kripke frames connected with Medvedev notion of informational types

Intermediate prepositional logics we consider here describe the setI() of regular informational types introduced by Yu. T. Medvedev [7]. He showed thatI() is a Heyting algebra. This algebra gives rise to the logic of infinite problems from [13] denoted here asLM ₁. Some other definitions of negation inI() lead to logicsLM _n (n ). We study inclusions between these and other systems, proveLM _n to be non-finitely axiomatizable (n ) and recursively axiomatizable (n < ). We also show that formulas in one variable do not separateLM from Heyting's logicH, andLM _n (n < ) from Scott's logic (H+S).     

Social context,student's motivation,and academic achievement: Toward a process model

The purpose of the present research was to propose and test a motivational process model of academic achievement. The model posits that parental, teachers, and school administration support for students' autonomy positively influences students' perceived school competence and autonomy. In turn, perceived school competence and autonomy affect positively self-determined school motivation which in turn influences academic achievement. Two studies using a prospective design tested the adequacy of the model. In Study I, participants were 1,623 ninth-grade students. Results from structural equation modeling supported the motivational model. Participants in Study 2 were 1,098 tenth-grade students. Results from this study corroborated those of Study 1 controlling for students' prior achievement in the ninth grade. The role of self-determinod school motivation in academic achievement is discussed and avenues for future research are considered. This research is part of a larger project that is being funded by grants from the William and Flora Hewlett Foundation; the San Francisco Foundation; the Robert Wood Johnson Foundation; the Danforth Foundation; the Smart Foundations; the Pew Charitable Trusts; the John D. and Catherine T. MacArthur Foundation; the Annenberg Foundation; Spunk Fund, Inc.; the DeWitt Wallace-Reader's Digest Fund, Inc.; Louise and Claude Rosenberg; and the Center for Substance Abuse Prevention, U.S. Department of Health and Human Services. The views expressed in the paper are those of the authors and not necessarily of the funders. We are grateful to the many educators, students, and colleagues who cooperated with us on this project and to several anonymous reviewers who provided helpful suggestions.     

Empirically defined symptom scales using the DISC 2.3

Empirically defined scales of depressive, attention deficit hyperactivity disorder, oppositional-defiant disorder, and conduct symptoms from the lay-administered National Institute of Mental Health (NIMH) Diagnostic Interview Schedule for Children (DISC), version 2.3, and evidence of their reliability and validity, are presented. The scales were developed using factor analyses of data obtained from an epidemiologic survey of over 1,200 children drawn from four sites across the U.S. and Puerto Rico (the NIMH Methods for the Epidemiology of Child and Adolescent Mental Disorders, or MECA Study). Their psychometric properties were tested in a subsample of children reinterviewed by clinicians. The findings support the use of these continuous measures. The scales are strongly related to the diagnostic categories and show good test-retest reliability. The scales can be used to characterize severity in children with diagnoses and to describe problems and symptoms in children without diagnoses. Because these scales can measure gradations in symptomatology, they may be more useful than categorical measures. Like categorical measures, the scales based on the DISC are greatly influenced by the informant, whether child or parent.This research was supported by grant MH-46732 from the National Institute of Mental Health, Bethesda, Maryland.The MECA Program is an epidemiologic methodology study performed by four independent research teams in collaboration with staff of the Division of Clinical Research, which was reorganized in 1992 with components now in the Division of Epidemiology and Services Research and the Division of Clinical and Treatment Research, of the NIMH, Rockville, Maryland. The NIMH Principal Collaborators are Darrel A. Regier, MD, MPH, Ben Z. Locke, MSPH, Peter S. Jensen, MD, William E. Narrow, MD, MPH, and Donald S. Rae, MA; the NIMH Project Officer was William J. Huber. The Principal Investigators and Coinvestigators from the four sites are as follows: Emory University, Atlanta, Georgia, UO1 MH46725: Mina K. Dulcan, MD, Benjamin B. Lahey, PhD, Donna J. Brogan, PhD, Sherryl Goodman, PhD, and Elaine Flagg, PhD; Research Foundation for Mental Hygiene at New York State Psychiatric Institute (Columbia University), New York, New York, UO1 MH46718: Hector R. Bird, MD, David Shaffer, MD, Myrna Weissman, PhD, Patricia Cohen, PhD, Denise Kandel, PhD, Christina Hoven, PhD, Mark Davies, MPH, Madelyn S. Gould, PhD, and Agnes Whitaker, MD; Yale University, New Haven, Connecticut, UO1MH46717: Mary Schwab-Stone, MD, Philip J. Leaf, PhD, Sarah Horwitz, PhD, and Judith H. Lichtman, MPH; University of Puerto Rico, San Juan, Puerto Rico, UO1 MH46732: Glorisa Canino, PhD, Maritza Rubio-Stipec, MA, Milagros Bravo, PhD, Margarita Alegría, PhD, Julio Ribera, PhD, Sarah Huertas, MD, and Michael Woodbury, MD.The authors gratefully acknowledge Zenaida González and José Martínez who performed the data nalayses, as well as Elizabeth Pastrana, and Felícita Laboy, secretaries, for their valuable contributions to this work.     

Motivations for parenthood among young adult college students

Two hundred and sixty three young adult college students responded to openended questions assessing their specific intentions, motives, and plans for having children. The most commonly stated motives for childbearing reflected a strong interest in establishing an identity and social network. Financial, marital, and emotional stability were identified as important factors influencing the timing of parenthood. Several significant sex differences were found for both motives and the timing of parenthood. These findings are discussed in terms of changing social norms regarding parenthood and changing sex role expectations.Portions of this research were presented at the Eastern Regional Psychological Association Convention in New York, April 1986. This research was funded by a grant from Trenton State College, Committee for Faculty and Institutional Research and Sabbatical Leave.     

Adaptation-level and theory of signal detection: an examination and integration of two judgment models for voluntary stimulus generalization

An examination of two judgement models, adaptation-level (AL) theory and the theory of signal detection (TSD), was made in terms of their ability to handle data from several voluntary generalization studies. Both models were found to be somewhat inadequate, though in different ways. AL theory was found to be unable to predict amount or slope of the generalization gradient, while TSD was seen to be unable to account for shifts in judgment due to context and frequency effects. A combined AL-TSD model was presented which combines the advantages of each model and offers a good account of both choice and latency data in voluntary generalization     

SCV-A general subroutine for the selection of combinations of variables

SCV is a FORTRAN IV subroutine for sequencing combinations of variables. Selection of the combinations can be random with or without replacement and with equal or unequal frequencies of occurrence. Application is illustrated in terms of an interactive process-control experiment, but the subroutine is applicable to any problem requiring the generation of multidimensional sequences or the permutation of a set of numbers.