Heyting’s intuitionistic predicate logic describes very general regularities observed in constructive mathematics. The intended meaning of the logical constants is clarified through Heyting’s proof interpretation. A re-evaluation of proof interpretation and predicate logic leads to the new constructive Basic logic properly contained in intuitionistic logic. We develop logic and interpretation simultaneously by an axiomatic approach. Basic logic appears to be complete. A brief historical overview shows that our insights are not all new.

Although long-run economic performance has improved primarily through a decline in the rate and frequency of shrinking rather than through an increase in the rate of growing, most analysis of economic development has focused on increasing the rate of growing. We examine the forces making for a reduction in the rate of shrinking. The main proximate factors considered are (1) structural change, (2) technological change, (3) demographic change, and (4) stabilization policy. We conclude by considering institutions and institutional change as the key ultimate factors behind the reduction in shrinking, showing how they operate through political stability.

Unable to perform the perceived demands of his gender—unable to have sex—in 2014 the incel Elliot Rodger devised a performance of ruthless cruelty. His mass murder, a now habituated performance of US American masculinity, was preceded by an autobiographical text. Recounting his pursuit of a consummate manhood, Rodger’s manifesto reveals the consequential movement from narrative to performance, from genre to gender, from a discourse of discontent to a violent dramaturgy of masculinity.

Dr. Tom Beauchamp wrote multiple seminal articles that influenced bioethics, research ethics, and animal ethics. But his influence extends beyond his academic scholarship. Here we honor Dr. Beauchamp’s contributions as a scholar, mentor, and teacher.

This editorial describes common methodological obstacles, including the healthy user bias, that are encountered in research studying the link between hormonal contraceptive use and depression and provides considerations for future directions.

Dear San Francisco by the Montréal-based company Les 7 Doigts de la Main takes up mythological symbols surrounding California, particularly through tracing modes of communication—from letters and mail to iPhones. Yet, as a performance ultimately centering on epistolary form, Dear San Francisco finds inspiration in dedication as a uniquely political act of performance address.

This interdisciplinary qualitative research on Uganda combines an empirical approach with an analysis of theoretical studies. It argues that the retributive-oriented state justice system should take a more hybrid approach by absorbing the restorative method of traditional justice systems arbitrated by community leaders to improve the way sexual and gender-based violence (SGBV) cases of refugees and asylum-seekers are addressed. The goal is to examine the interlinkages of restorative and retributive justice and why both systems should be better integrated to enhance ways of addressing SGBV. It is argued that there will be a positive impact on people in Uganda, including refugees who have suffered SGBV, if such an integration of both systems occurs. Drawing from interviews, it uses a theoretical framework of direct, structural and cultural violence within the continuum of violence. In this context, the study argues for a hybrid approach to depatriarchalize domestic justice systems, whether retributive or restorative justice, to contribute to better and more victim-friendly systems that consider the views and hopes of SGBV survivors.

The Attica Prison Uprising has come to emblematize militant political organization inside prisons, influencing carceral rhetoric and policy throughout the contentious War on Crime. Despite its stigma as a short-lived rebellion that ended in a massacre, the Attica uprising is best understood as a site of prefigurative politics—political organization that aims to produce new social and political relations through their embodiment in the present. Political actors at Attica achieved remarkable success by experimenting with social roles beyond the purview of carceral surveillance and control.