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.

Feelings of revenge, retaliation motive, and posttraumatic stress reactions in crime victims

Individuals with posttraumatic stress disorder (PTSD) are often said to experience strong feelings of revenge. However, there is a need for confirmatory empirical studies. Therefore, in a study of 174 victims of violent crimes, the relation between feelings of revenge and posttraumatic stress reactions was investigated. Feelings of revenge were correlated with intrusion and hyperarousal but not with avoidance. Feelings of revenge explained incremental variance of intrusion and hyperarousalwhen the variance explained by victimological variables was controlled. The retaliation motive implied in feelings of revenge did not account for the relation between feelings of revenge and posttraumatic stress reactions. However, the relation was moderated by the time since victimization. Therefore, feelings of revenge must presumably be regarded as a maladaptive coping reaction to experienced injustice, but not in the first period after victimization.

Environmental justice and health practices: understanding how health inequities arise at the local level

While empirical evidence continues to show that people living in low socio-economic status neighbourhoods are less likely to engage in health-enhancing behaviour, our understanding of why this is so remains less than clear. We suggest that two changes could take place to move from description to understanding in this field; (i) a move away from the established concept of individual health behaviour to a contextualised understanding of health practices; and (ii) a switch from focusing on health inequalities in outcomes to health inequities in conditions. We apply Pierre Bourdieu's theory on capital interaction but find it insufficient with regard to the role of agency for structural change. We therefore introduce Amartya Sen's capability approach as a useful link between capital interaction theory and action to reduce social inequities in health-related practices. Sen's capability theory also elucidates the importance of discussing unequal chances in terms of inequity, rather than inequality, in order to underscore the moral nature of inequalities. We draw on the discussion in social geography on environmental injustice, which also underscores the moral nature of the spatial distribution of opportunities. The article ends by applying this approach to the 'Interdisciplinary study of inequalities in smoking' framework.

How can computer simulations produce new knowledge?

It is often claimed that scientists can obtain new knowledge about nature by running computer simulations. How is this possible? I answer this question by arguing that computer simulations are arguments. This view parallels Norton’s argument view about thought experiments. I show that computer simulations can be reconstructed as arguments that fully capture the epistemic power of the simulations. Assuming the extended mind hypothesis, I furthermore argue that running the computer simulation is to execute the reconstructing argument. I discuss some objections and reject the view that computer simulations produce knowledge because they are experiments. I conclude by comparing thought experiments and computer simulations, assuming that both are arguments.

The Ethnographic Moment: Event and Debate in Mediatized Fieldwork

This article introduces the term ‘the ethnographic moment’, which takes up and ‘plays’ with the long-disputed ‘ethnographic present’ in anthropology, as an indicator of changing conditions and requirements for ethnography in the context of mass media and mediation. It argues that event and debate, rather than structure and practice, have become pivotal aspects in thinking and conducting fieldwork that has to deal with the ephemeral. At the same time, it tries to show that an unquestioning acceptance of technological advancement and speed of societal change immunizes us to the thinkable absence of media and obscures analysis of lasting states of injustice and inequality, in whose (re-)production they have a stake.