Skolem's Discovery of Gödel-Dummett Logic

Attention is drawn to the fact that what is alternatively known as Dummett logic, Gödel logic, or Gödel-Dummett logic, was actually introduced by Skolem already in 1913. A related work of 1919 introduces implicative lattices, or Heyting algebras in today's terminology.     

Pappus in optical space

Optical space differs from physical space. The structure of optical space has generally been assumed to be metrical. In contradistinction, we do not assume any metric, but only incidence relations (i.e., we assume that optical points and lines exist and that two points define a unique line, and two lines a unique point). (The incidence relations have generally been assumed implicitly by earlier authors.) The condition that makes such anincidence structure into a projective space is the Pappus condition. The Pappus condition describes a projective relation between three collinear triples of points, whose validity can— in principle—be verified empirically. The Pappus condition is a necessary condition for optical space to be a homogeneous space (Lobatchevski hyperbolic or Riemann elliptic space) as assumed by, for example, the well-known Luneburg theory. We test the Pappus condition in a full-cue situation (open field, broad daylight, distances of up to 20 m, visual fields of up to 160° diameter). We found that although optical space is definitely not veridical, even under full-cue conditions, violations of the Pappus condition are the exception. Apparently optical space is not totally different from a homogeneous space, although it is in no way close to Euclidean.     

Work Organization, Work Characteristics, and Their Psychological Effects on Nurses in the Netherlands

The aim of the current study was to examine relationships between organizational characteristics, work characteristics, and psychological work reactions in nursing work. We used several theoretical frameworks to select our research variables. In line with the contingency and sociotechnical system approaches, we selected complexity, uncertainty, and decision authority to represent the organizational characteristics. As to the work characteristics, we selected the variables of the Demand–Control–Support model (autonomy, social support, workload), role conflict, and role ambiguity. In order to measure the psychological work reactions, burnout, psychosomatic health complaints, job satisfaction, and intrinsic work motivation were assessed in questionnaires distributed to 1,855 nurses working in general hospitals in the Netherlands. Using correlation and hierarchical multiple regression analysis, the main results showed that high decision authority predicted high social support andhigh autonomy. High decision authority predicted high job satisfaction and high intrinsic work motivation. Finally, high complexity was indirectly predictive for high burnout. Workload operated as a mediator variable in this relationship.     

Introduction to This Special Issue: Complex Thought and Construction of Identity

This Introduction summarizes the rationale for three Special Issues in the Journal of Adult Development. The first, the present Special Issue, is on the themes of complex thought and the construction of identity. Summaries of the six empirical and theoretical articles in this first Special Issue appear below. The argument is made that work in this area adds to our knowledge about the complex network of factors present in and intersecting with adult development.     

Estimated Risk of Developing Selected DSM-IV Disorders Among 5-Year-Old Children with Prenatal Cocaine Exposure

We estimated childhood risk of developing selected DSM-IV Disorders, including Attention-Deficit Hyperactivity Disorder (ADHD), Oppositional Defiant Disorder (ODD), and Separation Anxiety Disorder (SAD), in children with prenatal cocaine exposure (PCE). Children were enrolled prospectively at birth (n = 476) with prenatal drug exposures documented by maternal interview, urine and meconium assays. Study participants included 400 African-American children from the birth cohort, 208 cocaine-exposed (CE) and 192 non-cocaine-exposed (NCE), who attended a 5-year follow-up assessment and whose caregiver completed the Computerized Diagnostic Interview Schedule for Children. Under a generalized linear model (logistic link), Fisher’s exact methods were used to estimate the PCE-associated relative risk (RR) of these disorders. Our results indicated a modest but statistically robust elevation of ADHD risk associated with increasing levels of PCE (p < 0.05). Binary comparison of CE versus NCE children indicated no PCE-associated RR. Estimated cumulative incidence proportions among CE children were 2.9% for ADHD (vs 3.1% NCE); 1.4% for SAD (vs 1.6% NCE); and 4.3% for ODD (vs 6.8% NCE). Our findings suggest evidence of increased risk of ADHD (but not ODD or SAD) in relation to an increasing gradient of PCE during gestation.     

An Inference-Based Approach to Treating Obsessive-Compulsive Disorders

This article outlines the conceptual and empirical basis for an inference-based approach (IBA) to treating obsessive-compulsive disorder (OCD). The IBA considers that in most cases the obsessional process begins with an initial doubt (e.g., “Maybe my hands are not clean”; “Perhaps the door was not locked”; “There's a chance I made an error”; “I could have harmed someone”) and that this doubt is a product of invalid reasoning. The IBA focus on initial doubt adds an extra upstream dimension to the current cognitive behavior therapy (CBT), which targets downstream appraisals, following on from the initial intrusion. Hence the aim of inference-based therapy (IBT) is to modify the reasoning narrative producing the doubt, and to return the person to the world of commonsense perception. IBT complements existing CBT and a case study illustrates the application of the IBT protocol. The IBA may be particularly useful in cases where belief in the initial probability of an obsessional doubt is strongly held and/or where consequences or appraisals following the doubt are absent or minimally associated with distress.     

Statistics between inductive logic and empirical science

Inductive logic generalizes the idea of logical entailment and provides standards for the evaluation of non-conclusive arguments. A main application of inductive logic is the generalization of observational data to theoretical models. In the empirical sciences, the mathematical theory of statistics addresses the same problem. This paper argues that there is no separable purely logical aspect of statistical inference in a variety of complex problems. Instead, statistical practice is often motivated by decision-theoretic considerations and resembles empirical science.     

The limits of top-down control of visual attention

The extent to which spatial selection is driven by the goals of the observer and by the properties of the environment is one of the major issues in the field of visual attention. Here we review recent experimental evidence from behavioral and eye movement studies suggesting that top-down control has temporal and spatial limits. More specifically, we argue that the first feedforward sweep of information is bottom-up, and that top-down control can influence selection only after the sweep is completed. In addition, top-down control can limit spatial selection through adjusting the size of attentional window, an area of visual space which receives priority in information sampling. Finally, we discuss the evidence found using brain imaging techniques for top-down control in an attempt to reconcile it with behavioral findings. We conclude by discussing theoretical implications of these results for the current models of visual selection.