Relatively Complete Counterexamples for Higher-Order Programs

In this paper, we study the problem of generating inputs to a higher-order program causing it to error. We first study the problem in the setting of PCF, a typed, core functional language and contribute the first relatively complete method for constructing counterexamples for PCF programs. The method is relatively complete in the sense of Hoare logic; completeness is reduced to the completeness of a first-order solver over the base types of PCF. In practice, this means an SMT solver can be used for the effective, automated generation of higher-order counterexamples for a large class of programs. We achieve this result by employing a novel form of symbolic execution for higher-order programs. The remarkable aspect of this symbolic execution is that even though symbolic higher-order inputs and values are considered, the path condition remains a first-order formula. Our handling of symbolic function application enables the reconstruction of higher-order counterexamples from this first-order formula. After establishing our main theoretical results, we sketch how to apply the approach to untyped, higher-order, stateful languages with first-class contracts and show how counterexample generation can be used to detect contract violations in this setting. To validate our approach, we implement a tool generating counterexamples for erroneous modules written in Racket.Comment: In Proceedings of the 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation, Portland, Oregon, June 201

Kinds of well-being: A conceptual framework that provides direction for caring

This article offers a conceptual framework by which different kinds and levels of well-being can be named, and as such, provides a foundation for a resource-oriented approach in situations of illness and vulnerability (rather than a deficit-oriented approach). Building on a previous paper that articulated the philosophical foundations of an existential theory of well-being (“Dwelling-mobility”), we show here how the theory can be further developed towards practice-relevant concerns. We introduce 18 kinds of well-being that are intertwined and inter-related, and consider how each emphasis can lead to the formulation of resources that have the potential to give rise to well-being as a felt experience. By focusing on a much wider range of well-being possibilities, practitioners may find new directions for care that are not just literal but also at an existential level

The ontological consequences of Copernicus: global being in the planetary world

This article argues that contemporary space exploration, in producing visual representations of the planetary Earth for terrestrial consumption, has engendered a shift in the way the Earth - as terra firma - is both experienced and conceived. The article goes on to suggest that this shift is a key, but still largely tacit presupposition, underlying contemporary discourses on globalization and cultural cosmopolitanization. However, a close reading of some of the texts that make up the canon of 20th-century European philosophy shows that this idea of a ‘deterritorialized’ planetary Earth challenges some basic presuppositions of that canon: especially its use of the pre-reflective experience of terra firma as a tropic site of intological and normative grounds. This article examines the way in which contemporary Western European philosophy - and intellectual culture generally - has responded to this challenge: and offers Deleuze and Guattari’s idea of the Earth as a ‘surface without territory’ as the most intellectually and ethically viable conception of the Earth in the age of ‘planetary deterritorialization’

A video life-world approach to consultation practice: The relevance of a socio-phenomenological approach

This article discusses the [development and] use of a video life-world schema to explore alternative orientations to the shared health consultation. It is anticipated that this schema can be used by practitioners and consumers alike to understand the dynamics of videoed health consultations, the role of the participants within it and the potential to consciously alter the outcome by altering behaviour during the process of interaction. The study examines health consultation participation and develops an interpretative method of analysis that includes image elicitation (via videos), phenomenology (to identify the components of the analytic framework), narrative (to depict the stories of interactions) and a reflexive mode (to develop shared meaning through a conceptual framework for analysis). The analytic framework is derived from a life-world conception of human mutual shared interaction which is presented here as a novel approach to understanding patient-centred care. The video materials used in this study were derived from consultations in a Walk-in Centre (WiC) in East London. The conceptual framework produced through the process of video analysis is comprised of different combinations of movement, knowledge and emotional conversations that are used to classify objective or engaged WiC health care interactions. The videoed interactions organise along an active or passive, facilitative or directive typical situation continuum illustrating different kinds of textual approaches to practice that are in tension or harmony. The schema demonstrates how practitioners and consumers interact to produce these outcomes and indicates the potential for both consumers and practitioners to be educated to develop practice dynamics that support patient-centred care and impact on health outcomes

Achieving equity through 'gender autonomy': the challenges for VET policy and practice

This paper is based on research carried out in an EU Fifth Framework project on 'Gender and Qualification'. The research partners from five European countries investigated the impact of gender segregation in European labour markets on vocational education and training, with particular regard to competences and qualifications. The research explored the part played by gender in the vocational education and training experiences of (i) young adults entering specific occupations in child care, electrical engineering and food preparation/service (ii) adults changing occupations

Worlded object and its presentation: A Māori philosophy of language

In an era concerned with the survival of Indigenous languages, language as a general phenomenon needs to be thought of as thoroughly connected to one’s worldview. In this article, I propose a different conception of language that sides more with what I call ‘the worlding of things’ than linguistics. To foreshadow my speculations on language, I consider the possibility that, within the representation of one entity in perception, there exist all other entities. An entity is hence ‘worlded’—a key aspect of the term ‘whakapapa’. I then turn to think about language as a general phenomenon for Mäori, and its complex ability to world an entity even as it adumbrates that thing’s backdrop. I consider the verb ‘to be’ in that light, arguing that Mäori identify language as a sort of gathering of entities rather than an instrument for singling out one thing as thoroughly and separably evident. This article is therefore as much about the full participation of the world as it is about language; it also aims to counter the belief that language is merely a conveyor of ideas

"Engaging with birth stories in pregnancy: a hermeneutic phenomenological study of women's experiences across two generations"

BACKGROUND: The birth story has been widely understood as a crucial source of knowledge about childbirth. What has not been reported is the effect that birth stories may have on primigravid women's understandings of birth. Findings are presented from a qualitative study exploring how two generations of women came to understand birth in the milieu of other's stories. The prior assumption was that birth stories must surely have a positive or negative influence on listeners, steering them towards either medical or midwifery-led models of care. METHODS: A Heideggerian hermeneutic phenomenological approach was used. Twenty UK participants were purposively selected and interviewed. Findings from the initial sample of 10 women who were pregnant in 2012 indicated that virtual media was a primary source of birth stories. This led to recruitment of a second sample of 10 women who gave birth in the 1970s-1980s, to determine whether they were more able to translate information into knowledge via stories told through personal contact and not through virtual technologies RESULTS: Findings revealed the experience of 'being-in-the-world' of birth and of stories in that world. From a Heideggerian perspective, the birth story was constructed through 'idle talk' (the taken for granted assumptions of things, which come into being through language). Both oral stories and those told through technology were described as the 'modern birth story'. The first theme 'Stories are difficult like that', examines the birth story as problematic and considers how stories shape meaning. The second 'It's a generational thing', considers how women from two generations came to understand what their experience might be. The third 'Birth in the twilight of certainty,' examines women's experience of Being in a system of birth as constructed, portrayed and sustained in the stories being shared. CONCLUSIONS: The women pregnant in 2012 framed their expectations in the language of choice, whilst the women who birthed in the 1970s-1980s framed their experience in the language of safety. For both, however, the world of birth was the same; saturated with, and only legitimised by the birth of a healthy baby. Rather than creating meaningful understanding, the 'idle talk' of birth made both cohorts fearful of leaving the relative comfort of the 'system', and of claiming an alternative birth

Patient satisfaction with anaesthesia care: development of a psychometric questionnaire and benchmarking among six hospitals in Switzerland and Austria†‡

Background. We describe the development and comparison of a psychometric questionnaire on patient satisfaction with anaesthesia care among six hospitals. Methods. We used a rigorous protocol: generation of items, construction of the pilot questionnaire, pilot study, statistical analysis (construct validity, factor analysis, reliability analysis), compilation of the final questionnaire, main study, repeated analysis of construct validity and reliability. We compared the mean total problem score and the scores for the dimensions: ‘Information/Involvement in decision‐making', and ‘Continuity of personal care by anaesthetist'. The influence of potential confounding variables was tested (multiple linear regression). Results. The average problem score from all hospitals was 18.6%. Most problems are mentioned in the dimensions ‘Information/Involvement in decision‐making' (mean problem score: 30.9%) and ‘Continuity of personal care by anaesthetist' (mean problem score: 32.2%). The overall assessment of the quality of anaesthesia care was good to excellent in 98.7% of cases. The most important dimension was ‘Information/Involvement in decision‐making'. The mean total problem score was significantly lower for two hospitals than the total mean for all hospitals (significantly higher at two hospitals) (P<0.05). Amongst the confounding variables considered, age, sex, subjective state of health, type of anaesthesia and level of education had an influence on the total problem score and the two dimensions mentioned. There were only marginal differences with and without the influence of the confounding variables for the different hospitals. Conclusions. A psychometric questionnaire on patient satisfaction with anaesthesia care must cover areas such as patient information, involvement in decision‐making, and contact with the anaesthetist. The assessment using summed scores for dimensions is more informative than a global summed rating. There were significant differences between hospitals. Moreover, the high problem scores indicate a great potential for improvement at all hospitals. Br J Anaesth 2002; 89: 863-7

How to return to subjectivity? Natorp, Husserl, and Lacan on the limits of reflection

This article discusses the recent call within contemporary phenomenology to return to subjectivity in response to certain limitations of naturalistic explanations of the mind. The meaning and feasibility of this call is elaborated by connecting it to a classical issue within the phenomenological tradition concerning the possibility of investigating the first-person perspective through reflection. We will discuss how this methodological question is respectively treated and reconfigured in the works of Natorp, Husserl, and Lacan. Finally, we will lay out some possible consequences of such a cross-reading for the conception of subjectivity and the concomitant effort to account for this dimension of first-person experience in response and in addition to its omission within the standard third-person perspective of psychological research