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     

Data selection and responsible conduct: Was millikan a fraud?

This paper addresses a problem in reporting scientific research. The problem is how to distinguish between justifiable and unjustifiable data selection. Robert Millikan is notorious for an infamous remark that he used all his data when in fact he had used a selection. On this basis he has been accused of fraud. There is a tension here — historians and his defenders see his selection as understandable and legitimate, while current statements about the Responsible Conduct of Research imply his selection was illegitimate. This paper discusses two main issues that arise in assessing his conduct, whether he was intentionally misleading and whether he actually did mislead the scientific community about some facts of nature. It is argued that he was not intentionally misleading, and that it is unlikely that he misled the scientific community.     

Authenticity as a foundational principle of medical ethics

Increasingly, contemporary medical ethicists have become aware of the need to explicate a foundation for their various models of applied ethics. Many of these theories are inspired by the apparent incompatibility of patient autonomy and provider beneficence. The principle of patient autonomy derives its current primacy to a large extent from its legal origins. However, this principle seems at odds with the clinical reality. In the bioethical literature, the notion of authenticity has been proposed as an alternative foundational principle to autonomy. This article examines this proposal in reference to various existentialist philosophers (Heidegger, Sartre, Camus and Marcel). It is concluded that the principle of autonomy fails to do what it is commonly supposed to do: provide a criterion of distinction that can be invoked to settle moral controversies between patients and providers. The existentialist concept of authenticity is more promising in at least one crucial respect: It acknowledges that the essence of human life disappears from sight if life's temporal character is reduced to a series of present decisions and actions. This also implies that the very quest for a criterion that allows physicians to distinguish between sudden, unexpected decisions of their patients to be or not to be respected, without recourse to the patient's past or future, is erroneous.     

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.     

Some uniqueness results for PARAFAC2

Whereas the unique axes properties of PARAFAC1 have been examined extensively, little is known about uniqueness properties for the PARAFAC2 model for covariance matrices. This paper is concerned with uniqueness in the rank two case of PARAFAC2. For this case, Harshman and Lundy have recently shown, subject to mild assumptions, that PARAFAC2 is unique when five (covariance) matrices are analyzed. In the present paper, this result is sharpened. PARAFAC2 is shown to be usually unique with four matrices. With three matrices it is not unique unless a certain additional assumption is introduced. If, for instance, the diagonal matrices of weights are constrained to be non-negative, three matrices are enough to have uniqueness in the rank two case of PARAFAC2. The authors are obliged to Richard Harshman for stimulating this research, and to the Associate Editor and reviewers for suggesting major improvements in the presentation.     

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.     

Correlates of gender role orientation during pregnancy and the postpartum

This study was designed to examine the relationship between gender role orientation and psychological adjustment during pregnancy and the postpartum period in a large sample of French-speaking Caucasian mothers. Gender role was assessed with the Bem Sex Role Inventory, which classifies subjects into four categories: androgynous, masculine, feminine, and undifferentiated. A discriminant analysis showed a relationship between androgyny and the following measures of psychological adaptation: self-esteem, satisfaction with social support, and level of apprehension toward perinatal stressors. The masculine gender role was linked with self-esteem, work involvement, age, and severity of perinatal stress. No relationship was found between gender role and the level of antenatal or postnatal depressive symptomatology. Stress, marital support, and social support were among the predictors of postpartum depression, which underlined the importance of taking these variables into account when studying the well-being of mothers during the postnatal period. Results are discussed in light of previous literature on the association between gender role and motherhood. The limitations of Bem's model and inventory are also considered.     

Spatial compatibility of signal-response position in pointing

Two experiments are reported in which, by means of a pointing task, we studied the stimulus-position effect, i.e. the inverted U-shape form of the reaction-time function in relation to stimulus position in tasks in which stimuli and/or responses are arranged in a horizontal array. The response consisted of aiming the index finger from a central starting point at a target area on a screen. Reaction time was the main dependent variable. The spatial relation between the position of the imperative signal and the position of the response was manipulated by varying the spatial S-R compatibility and physical distance that separated the positions of stimulus and response. The stimulus-position effect was shown to depend on the compatibility of the S-R relation (Exp. 1). In Exp. 2 it was found that the modulation of the stimulus-position effect by spatial compatibility disappeared completely when the distance between the positions of stimulus and response was reduced. None of the experiments revealed that the stimulus position effect depended on signal discriminability, which renders an interpretation of this effect in terms of perceptual processes unlikely. We argue that the attentional model of spatial coding provides the most reasonable explanation of the obtained reaction-time patterns.     

S&T indicators for strategic planning and assessment of public research institutions

This article presents an approach we have developed for the assessment of public research institutions in the natural sciences and engineering. The method consists in the exploitation of available S&T databases and indicators, including bibliometrics (databases of scientific as well as technical literature), patents, and internal data. Results are therefore derived through multiple databases. The objective is to profile a specific national R&D community in order to assess the positioning of a public institution or program within the community to which it belongs. It involves obtaining the profile of the evolution of an R&D area, the R&D performers, the financing and support institutions, the users of R&D results, and the interactions between all these actors. A case-study of Canadian research in polymers is presented. Part of this research was financed by the National Research Council of Canada, and by a strategic grant from the Social Sciences and Humanities Research Council. The research benefited from the expertise of Robert Letellier, Robert H. Marchessault, Jacques Martel, and Marielle Piché, and from the technical assistance of Maryse Prud’homme, Marcel Parent, and Benoit Longpré.