Batman the Noble Dog: The Costs of Spiritedness for the Individual and Society

Batman’s self-imposed mission to rid Gotham City of its criminal element has always presented the problem of vigilantism. From the perspective of criminology, Batman’s methods raise the problem of whether society can be governed, or govern itself, with extralegal law enforcement. The problem presented by Batman’s behavior is often stated, as the ancient Roman satirist Juvenal famously put it, “quis custodiet ipsos custodes?” (“but who is going to guard the guards themselves?”).1 The threat posed by selfappointed guardians, such as Batman and other super heroes, has been frequently analyzed by scholars and fans alike. Yet, there is an additional, less frequently discussed, problem presented by Batman’s behavior: what are the costs to Batman and the citizens of Gotham from a guard who refuses to govern? In this chapter, the authors discuss Plato’s conception of spiritedness and analyze how Batman’s behavior affects his soul and the souls of Gotham City’s citizens

The ethics of border guarding: a first exploration and a research agenda for the future

Although the notion of universal human rights allows for the idea that states (and supranational organizations such as the European Union) can, or even should, control and impose restrictions on migration, both notions clearly do not sit well together. The ensuing tension manifests itself in our ambivalent attitude towards migration, but also affects the border guards who have to implement national and supranational policies on migration. Little has been written on the ethics that has to guide these border guards in their work. Juxtaposing the ethics of border guarding against the ethics of the somewhat related military profession, this article attempts to (a) describe border guarding as a comparatively rule-guided profession; (b) outline the aim and basis of the ethics education that prepares border guards for their work; and (c) propose a research agenda for the future that should further our understanding of (a) and (b), but also help us improve the moral education of border guards

I Am Not A Prisoner of War : Agency, Adaptability, and Fulfillment of Expectations Among American Prisoners of War Held in Nazi Germany

In war memory, the typical prisoner of war narrative is one of either passive survival or heroic resistance. However, captured service members did not necessarily lose their agency when they lost their freedom. This study of Americans held in Germany during the Second World War shows that prisoners generally grounded themselves in their personal and national identities, while compromising ideas of heroism, sometimes passing up opportunities for resistance in order to survive

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

We report on improvements to ACL2 made since the 2013 ACL2 Workshop.Comment: In Proceedings ACL2 2014, arXiv:1406.123

Transfer Function Synthesis without Quantifier Elimination

Traditionally, transfer functions have been designed manually for each operation in a program, instruction by instruction. In such a setting, a transfer function describes the semantics of a single instruction, detailing how a given abstract input state is mapped to an abstract output state. The net effect of a sequence of instructions, a basic block, can then be calculated by composing the transfer functions of the constituent instructions. However, precision can be improved by applying a single transfer function that captures the semantics of the block as a whole. Since blocks are program-dependent, this approach necessitates automation. There has thus been growing interest in computing transfer functions automatically, most notably using techniques based on quantifier elimination. Although conceptually elegant, quantifier elimination inevitably induces a computational bottleneck, which limits the applicability of these methods to small blocks. This paper contributes a method for calculating transfer functions that finesses quantifier elimination altogether, and can thus be seen as a response to this problem. The practicality of the method is demonstrated by generating transfer functions for input and output states that are described by linear template constraints, which include intervals and octagons.Comment: 37 pages, extended version of ESOP 2011 pape

Theoretical and empirical limits of Scandinavian Exceptionalism: Isolation and normalization in Danish prisons

Drawing on interviews with 76 prisoners, 47 prison staff, and 14 experts, we document lived experiences of punishment in the Danish prison context. We argue that, regardless of “humanizing” elements of normalization and humanity, prisoners and staff may experience the power of the carceral state in Denmark in ways similar to those under more obviously harsh confinement regimes, as exist in the United States and, to a lesser extent, in the United Kingdom. Ultimately, macro-level theories like Scandinavian Exceptionalism serve as a rhetorical tool, implying that harsher prison systems are fixable, but fail to reflect the micro-level realities of incarceration