A modern elaboration of the ramified theory of types

The paper first formalizes the ramified type theory as (informally) described in the Principia Mathematica [32]. This formalization is close to the ideas of the Principia, but also meets contemporary requirements on formality and accuracy, and therefore is a new supply to the known literature on the Principia (like [25], [19], [6] and [7]).As an alternative, notions from the ramified type theory are expressed in a lambda calculus style. This situates the type system of Russell and Whitehead in a modern setting. Both formalizations are inspired by current developments in research on type theory and typed lambda calculus; see [3].Supported by the Co-operation Centre Tilburg and Eindhoven Universities. ¹[32], Introduction, Chapter II, Section I, p. 37.Presented by Wolfgang Rautenberg     

Measuring clients' experience of careers guidance interviews: Exploratory studies

Initial findings of the development of a measure of client experience of the careers guidance interview are reported. Initially based on the Medical Interview Satisfaction Scale (Wolf et al., 1978), items were derived which sampled across affective, cognitive and behavioural components of careers interviewing. The scale is pilot tested on 60 15 and 16 year-old school pupils, of low academic potential and all of whom had experienced a careers interview with a careers officer. Initial results are only partially supportive of the findings of Wolf et al. (1978). Results of a further field study of the 20-item scale based on 54 careers interviews are also reported where factor analytic data are promising. The contribution of the scale in testing related hypotheses (e.g. met expectation hypothesis) is indicated.     

Appraisal of behavioral measurement techniques for assessing dental anxiety and fear in children: A review

The aim of this article is to review and evaluate behavioral and physiological measurement techniques frequently used to assess dental anxiety and fear in children. Attention is given to the data collected, the empirical findings obtained, and the availability of normative data. The main focus, however, is on the reliability and validity. Results show that all questionnaires are open to criticism. Of the behavioral measures, Melamed's Behavior Profile Rating Scale is to be preferred to Frankl's Rating Scale, Venham Rating Scales, and Visual Analogue Scales. The main reasons are that Melamed's BPRS measures the behavior of the child more precisely and that it has superior psychometric properties. Furthermore, because of their practical, conceptual, and psychometric problems, physiological measures at this stage are found to be less appropriate for assessing dental fear in children. It is concluded that a behavioral measure is not always the ideal, but often the only available technique for assessing dental fear in children.     

Reasoning about update logic

Logical frameworks for analysing the dynamics of information processing abound [4, 5, 8, 10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation process, some on the dynamics of the process of drawing inferences, and some do both of these. Formalisms galore, so it is felt that some conceptual streamlining would pay off.This paper is part of a larger scale enterprise to pursue the obvious parallel between information processing and imperative programming. We demonstrate that logical tools from theoretical computer science are relevant for the logic of information flow. More specifically, we show that the perspective of Hoare logic [13, 18] can fruitfully be applied to the conceptual simplification of information flow logics.     

The definability of objective becoming in Minkowski spacetime

In his recent article On Relativity Theory and Openness of the Future (1991), Howard Stein proves not only that one can define an objective becoming relation in Minkowski spacetime, but that there is only one possible definition available if one accepts certain natural assumptions about what it is for becoming to occur and for it to be objective. Stein uses the definition supplied by his proof to refute an argument due to Rietdijk (1966, 1976), Putnam (1967) and Maxwell (1985, 1988) that Minkowski spacetime leaves no room for objective becoming whatsoever. However, Stein's proof does not seem to go far enough. By considering only what events have become from the standpoint of any given event, Stein's uniqueness proof fails from the outset to allow for a more general kind of becoming whereby it is understood to occur from the standpoint of events on the particular worldlines followed by observers. This suggests that there may, after all, be more than one way to define objective becoming in Minkowski spacetime once each observer's worldline is allowed to figure in the definition. This suspicion is further aroused by two recent proposals for objective, worldline-dependent becoming due to Peacock (1992) and Muller (1992) who advocate ways of defining becoming that are not equivalent to the definition Stein's uniqueness proof delivers. Nevertheless, we show that Stein's uniqueness proofcan be extended in a natural way to cover this more general kind of becoming, provided one does not enrich standard Minkowski spacetime by privileging certain sets of worldlines over others in an unwarranted manner. Thus we aim to reinforce Stein's point that standard Minkowski spacetime does make room for objective becoming, but in essentially only one way, despite arguments and proposals to the contrary.     

Social categorization as a function of priming

The present study investigates the effect of priming on the use of social categorizations. Using sex and race as stimulus categorizations, previous studies failed to confirm the hypothesis that priming one of the two available categorizations would enhance the use of the primed categorization relation to the not-primed categorization. As suggested by Stangor, Lynch, Duan and Glass (1992). a momentary increase in accessibility may be insufficient to further enhance the use of highly accessible categorizations like race and sex, but it may be expected that priming will increase the use of categorizations which are less habitually used in daily life. The results of the present experiment support the hypothesis that, when the stimulus categorizations are weakly accessible (university major, university town), the relative use of the previously primed categorizations does indeed increase, compared to the alternative, not-primed, categorization.     

Coping with intractable controversies: The case for problem structuring in policy design and analysis

Intractable controversies and other types of policy disagreements correspond to policy problems with a different structure. The more structured a problem is, the more consensus there is about which values and information are at stake in the process of problem solving. Policymakers like to treat problems in as structured a way as possible. Three policy strategies are described to move away from the unstructured to the more structured problem type. However, policymakers run the risk of oversimplifying an ill-structured problem, which means that elements of the problem situation relevant to other actors are overlooked or denied. Hence, policy controversies may become intractable. The remedy is a fourth strategy, characterised by problem structuring. This strategy requires political participation of actors with different views on the problem, and an argued political problem choice. His main research areas are problem structuring in public policy, knowledge use, environmental risk, technology and democracy. He is currently working on knowledge-based policy strategies for addressing the issue of climate change. His research interest is to develop and apply discursive and/or argumentative approaches to the policy process.