The evil of death and the Lucretian symmetry: a reply to Feldman

In previous work we have defended the deprivation account of death’s badness against worries stemming from the Lucretian point that prenatal and posthumous nonexistence are deprivations of the same sort. In a recent article in this journal, Fred Feldman has offered an insightful critique of our Parfitian strategy for defending the deprivation account of death’s badness. Here we adjust, clarify, and defend our strategy for reply to Lucretian worries on behalf of the deprivation account.     

Are There Enough Injective Sets?

The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough projective sets has been discussed as an additional axiom taken from the interpretation of CZF in Martin-Löf’s intuitionistic type theory. On the other hand, every non-empty set is injective in classical ZF, which argument fails to work in CZF. The aim of this paper is to shed some light on the problem whether there are (enough) injective sets in CZF. We show that no two element set is injective unless the law of excluded middle is admitted for negated formulas, and that the axiom of power set is required for proving that “there are strongly enough injective sets”. The latter notion is abstracted from the singleton embedding into the power set, which ensures enough injectives both in every topos and in IZF. We further show that it is consistent with CZF to assume that the only injective sets are the singletons. In particular, assuming the consistency of CZF one cannot prove in CZF that there are enough injective sets. As a complement we revisit the duality between injective and projective sets from the point of view of intuitionistic type theory.     

Retribution and forgiveness: The healing effects of punishing for just deserts

Although punishment and forgiveness frequently are considered to be opposites, in the present paper we propose that victims who punish their offender are subsequently more likely to forgive. Notably, punishment means that victims get justice (i.e. just deserts), which facilitates forgiveness. Study 1 reveals that participants were more likely to forgive a friend's negligence after being primed with punishment than after being primed with inability to punish. In Study 2, participants were more forgiving towards a criminal offender if the offender was punished by a judge than if the offender escaped punishment, a finding that was mediated by the just deserts motive. Study 3 was in the context of actual recalled ongoing interpersonal relations and revealed that punishment predicted forgiveness indirectly via just deserts, not via victims' vengeful motivations. It is concluded that punishment facilitates forgiveness because of its capacity to restore a sense of justice. Copyright © 2013 John Wiley & Sons, Ltd.