Lower complexity bounds in justification logic

Justification Logic studies epistemic and provability phenomena by introducing justifications/proofs into the language in the form of justification terms. Pure justification logics serve as counterparts of traditional modal epistemic logics, and hybrid logics combine epistemic modalities with justification terms. The computational complexity of pure justification logics is typically lower than that of the corresponding modal logics. Moreover, the so-called reflected fragments, which still contain complete information about the respective justification logics, are known to be in~NP for a wide range of justification logics, pure and hybrid alike. This paper shows that, under reasonable additional restrictions, these reflected fragments are NP-complete, thereby proving a matching lower bound. The proof method is then extended to provide a uniform proof that the corresponding full pure justification logics are $\Pi^p_2$-hard, reproving and generalizing an earlier result by Milnikel.

Hybrid bodies in cyborg sports? The case of Oscar Pistorius

The capabilities of postmodern biotechnology inevitably lead to questioning if it is morally acceptable to use all possibilities offered by technology. In sport, this very complex issue is dealt with by drawing clear boundaries between naturalness and artificiality. Currently, new biotechnology is constantly being produced and with this, boundaries between naturalness and artificiality, between normal and abnormal, human and hybrid are constantly shifting . “Human enhancement” is a fascinating prism that reflects contemporary questions of participation, justice, equality and the autonomy of the subject in all social fields. The area of elite sports is particularly affected by “human enhancement”, according to the principle of exceeding what has come before, of aiming higher, faster and further. This paper analyses the postulated “naturalness” in the regulative and normalising function in the area of elite sports, in connection with Foucault’s theory of governmentality. The example of the South African sprinter Oscar Pistorius appears to be particularly suited to illustrate current definition difficulties in the area of disabled and non-disabled people in differentiated competitive sports. His is a vivid example of a multifaceted body-sociological analysis of current sport culture and the construction of reality or naturalness in the framework of the discourse of drafting and negotiating the accreditation for sprint competitions of non-disabled athletes, most recently in the London Olympics 2012. Using the case study of Oscar Pistorius, the negotiating processes in relation to the argumentation logic, dynamics and resistance in shifting distinctions are presented in detail using the fundamental documents of the IOC, IPC, CAS and IAAF. Represented through the inclusion and exclusion processes are hierarchies of the body that are (re)consolidated and transformed. The central question emerges as to how the worth of equal opportunity and fairness in regard to “naturalness” can be reconsolidated or transformed.