The role accorded to the public by philosophers of science 1

The role accorded to the public by scientists and philosophers of science has undergone an essential historical change in the last three centuries. Public participation in (witnessing of) scientific experiments was considered an important requirement for 17th century experimenters (e.g. for Boyle or Pascal). The cognitive role played by lay persons was later substantially downgraded; witnessing went out of fashion, while science became more and more esoteric and a matter for experts only. Part of this process was that all scientific disciplines became intensively compartmentalized and in consequence a rather puzzling or even paradoxical situation appeared: that the scientists themselves were and are being reduced epistemically to the status of lay persons, outside of their proper field of expertise (as was pointed out by J. Hardwig). The paper deals with some cognitive aspects of this historical process.     

Fractal Images of Formal Systems

Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways of envisaging and analyzing at least simple formal systems using fractal patterns of infinite depth. Progressively deeper dimensions of such a fractal can be used to map increasingly complex wffs or increasingly complex value spaces, with tautologies, contradictions, and various forms of contingency coded in terms of color. This and related approaches, it turns out, offer not only visually immediate and geometrically intriguing representations of formal systems as a whole but also promising formal links (1) between standard systems and classical patterns in fractal geometry, (2) between quite different kinds of value spaces in classical and infinite-valued logics, and (3) between cellular automata and logic. It is hoped that pattern analysis of this kind may open possibilities for a geometrical approach to further questions within logic and metalogic.\looseness=-1     

Cut-free sequent and tableau systems for propositional Diodorean modal logics

We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved are always bounded by a finite set of formulaeX* _L depending only onX and the logicL. Thus each system gives a nondeterministic decision procedure for the logic in question. The completeness proofs yield deterministic decision procedures for each logic because each proof is constructive.Each tableau system has a cut-free sequent analogue proving that Gentzen's cut-elimination theorem holds for these latter systems. The techniques are due to Hintikka and Rautenberg.Presented byDov M. Gabbay     

Local and global factors of similarity in visual search

Effects of the similarity between target and distractors in a visual search task were investigated in several experiments. Both familiar (numerals and letters) and unfamiliar (connected figures in a 5 × 5 matrix) stimuli were used. The observer had to report on the presence or absence of a target among a variable number of homogeneous distractors as fast and as accurately as possible. It was found that physical difference had the same clear effect on processing time far familiar and for unfamiliar stimuli: processing time decreased monotonically with increasing physical difference. Distractors unrelated to the target and those related to the target by a simple transformation (180° rotation, horizontal or vertical reflection) were also compared, while the physical difference was kept constant. For familiar stimuli, transformational relatedness increased processing time in comparison with that fort unrelated stimulus pairs. It was further shown in a scaling experiment that this effect could be accounted for by the amount of perceived similarity of the target-distractor pairs. For unfamiliar stimuli, transformational relatedness did have a smaller and less pronounced effect. Various comparable unrelated distractors resulted in a full range of processing times. Results from a similarity scaling experiment correlated well with the outcome of the experiments with unfamiliar stimuli. These results are interpreted in terms of an underlying continuum of perceived similarity as the basis of the speed of visual search, rather than a dichotomy of parallel versus serial processing.     

The effect of social support on prenatal care.

This article examines the effects of social support on the receipt of adequate prenatal care. A study was conducted to test the hypotheses that social support helps women overcome obstacles to obtaining such care, and that social support has greater effects on women facing the most obstacles. Survey data were gathered for more than 90% of the women who gave birth in Oklahoma hospitals during specific periods in the summer of 1986. The authors found only weak support for the first hypothesis, and for the second hypothesis found only support that must be qualified according to the measure of social support. Strong evidence indicates, however, that difficulty in paying for prenatal care, personal inconveniences, and unwanted pregnancies are obstacles to obtaining such care. The findings account for some of the frequently observed demographic differences associated with receipt of adequate prenatal care, although such differences persisted even after the obstacles were considered. The authors present implications for policy makers seeking to improve women's receipt of adequate prenatal care.     

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.