“Dwelling-mobility”: An existential theory of well-being

In this article we offer an existential theory of well-being that is guided by Heidegger's later writings on “homecoming”. We approach the question of what it is about the essence of well-being that makes all kinds of well-being possible. Consistent with a phenomenological approach, well-being is both a way of being-in-the-world, as well as a felt sense of what this is like as an experience. Drawing on Heidegger's notion of Gegnet (abiding expanse), we characterise the deepest possibility of existential well-being as “dwelling-mobility”. This term indicates both the “adventure” of being called into expansive existential possibilities, as well as “being-at-home-with” what has been given. This deepest possibility of well-being carries with it a feeling of rootedness and flow, peace and possibility. However, we also consider how the separate notions of existential mobility and existential dwelling as discrete emphases can be developed to describe multiple variations of well-being possibilities

Aesthetic Worlds: Rimbaud, Williams and Baroque Form

The sense of form that provides the modern poet with a unique experience of the literary object has been crucial to various attempts to compare poetry to other cultural activities. In maintaining similar conceptions of the relationship between poetry and painting, Arthur Rimbaud and W. C. Williams establish a common basis for interpreting their creative work. And yet their poetry is more crucially concerned with the sudden emergence of visible "worlds" containing verbal objects that integrate a new kind of literary text. This paper discusses the emergence of "aesthetic worlds" in the work of both poets and then examines how a common concern with Baroque form unites them in the phenomenological task of overcoming Cartesian dualism

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 New Instantaneity: How Social Media are Helping us Privilege the (Politically) Correct over the True

The recent sacking of the eminent scientist Tim Hunt from one of the UK’s leading research institutions is only the latest in a series of cases where public individuals have been derided for comments made in jest on social media, with serious consequences for their professional and personal lives. This article discusses the case of Tim Hunt as an example of the extent to which the privileging of the correct over the true which has long pervaded media discourse is taken to the extreme by the instant-response culture of social media. It points to the emergence of a new form of instantaneity enabled by these networked forms of communication that serves to reinforce systemic inaction rather than the change widely associated with these technologies. It draws on philosophy and Critical Theory as useful conceptual frameworks for highlighting the ways in which Twitter & co. increasingly call us to action but crowd out thought, thereby passing over opportunities for real social change

Making Well-being an Experiential Possibility: The Role of Sport

Whilst the relationship between active participation in sport and well-being has been widely acknowledged, less attention has been paid to actually understand this relationship from the perspective of the individual. Our paper draws upon phenomenological philosophy and the existential life-world view of well-being, in order to explore how the experience of sport can help facilitate possibilities for multiple kinds and levels of well-being. In doing so, our paper highlights the multiplicity of the dimensions of well-being, and offers examples of the different paths to well-being provided by sport, thus providing ways of describing well-being experiences within a sports context that are more complex than those offered by more traditional approaches to study in this area. Within this conceptual analysis we adopt a humanistic approach that considers the multiple ways well-being can be experienced through sport as a sense of dwelling, mobility or dwelling-mobility within the life-world dimensions of temporarily, spatiality, mood, embodiment, inter-subjectivity and identity

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

Social media, protest cultures and political subjectivities of the Arab spring

This article draws on phenomenological perspectives to present a case against resisting the objectification of cultures of protest and dissent. The generative, self-organizing properties of protest cultures, especially as mobilized through social media, are frequently argued to elude both authoritarian political structures and academic discourse, leading to new political subjectivities or ‘imaginaries’. Stemming from a normative commitment not to over-determine such nascent subjectivities, this view has taken on a heightened resonance in relation to the recent popular uprisings in the Middle East and North Africa. The article argues that this view is based on an invalid assumption that authentic political subjectivities and cultures naturally emerge from an absence of constraint, whether political, journalistic or academic. The valorisation of amorphousness in protest cultures and social media enables affective and political projection, but overlooks politics in its institutional, professional and procedural forms