Propositional attitudes and formal ontology

This paper develops — within an axiomatic theory of properties, relations, and propositions which accords them well-defined existence and identity conditions — a sententialist-functionalist account of belief as a symbolically mediated relation to a special kind of propositional entity, theproxy-encoding abstract proposition. It is then shown how, in terms of this account, the truth conditions of English belief reports may be captured in a formally precise and empirically adequate way that accords genuinely semantic status to familiar opacity data.I am deeply indebted to Edward Zalta for many helpful comments and suggestions.     

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     

The relationship between qualitative and quantitative research: Lessons from feminist psychology

The dominant methodological approach in psychological research has involved the use of quantitative methods within a positivist framework. In this article we argue that both qualitative and quantitative methods have their strengths and limitations, depending on the research question under investigation. We examine some of the advantages of qualitative methods, paying particular attention to the value of such methods for feminist researchers. We challenge the positivist assumption that all research should be apolitical and value-free, arguing that the political context in which all research studies take place plays an important role in decisions about the appropriate research methods to use. Despite the value attached to qualitative methods by feminist researchers, there may be projects for which quantitative methods, or a combination of qualitative and quantitative techniques, are more suitable. We draw on examples from our research on the transition from school to the job market for young people, and a study of 16- to 19-year-old first time mothers to illustrate these points, examining the practical implications of our arguments for applied social psychology research.     

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.     

Obsessive intrusive thoughts in nonclinical subjects. Part I. Content and relation with depressive, anxious and obsessional symptoms

The present study reports on the development and preliminary validation of a 52 item self-report instrument designed to assess intrusive thoughts, images and impulses that are similar to the aggressive, sexual and disease-related thinking characteristic of clinical obsessions. Two hundred and ninety-three students completed the Obsessive Intrusions Inventory (OII) as well as standard self-report measures of negative cognitions and obsessive, anxious and depressive symptoms. Regression analysis revealed that intrusive thinking was a significant and unique predictor of obsessional but not anxious or depressive symptoms. Furthermore, intrusive thinking showed a moderate correlation with anxious but not depressive cognitions. The results indicate that the intrusive thoughts assessed by the OII are distinct from other forms of negative thinking and may, in fact, constitute an analogue form of clinical obsessions in nonclinical populations.     

Physical characteristics of residential psychiatric and substance abuse programs: Organizational determinants and patient outcomes

Described the Physical and Architectural Characteristics Inventory (PACI), which assesses the physical characteristics of hospital- and community-based psychiatric and substance abuse residential treatment programs for adults. Developed using data from 94 representative programs, the PACI has 7 dimensions that assess community accessibility, physical features that add convenience, aid recreation, and provide support for patients, and space for patient and staff functions. In comparison to community-based programs (n=63), hospital programs (n=31) had more social-recreational and prosthetic aids, safety features, staff facilities, and space. The PACI dimensions were also related to other organizational features, such as facility ownership and program size and staffing level. Programs with more physical amenities had patients who were more involved in self-initiated and community activities and were more likely to successfully complete the program and be discharged to independent living situations and paid jobs. Programs with more social-recreational and prosthetic aids, space, and access to community resources also had better patient outcomes. In addition, PACI dimensions were related to observers' ratings of facility attractiveness. Potential applications of the PACI and the full inventory of which it is a part are discussed.