How should the contrastivist formulate closure? That is, given that knowledge is a ternary contrastive state Kspq (s knows that p rather than q), how does this state extend under entailment? In what follows, I will identify adequacy conditions for closure, criticize the extant invariantist and contextualist closure schemas, and provide a contrastive schema based on the idea of extending answers. I will conclude that only the contrastivist can adequately formulate closure.

Loewer (in: Physicalism and its discontents, 2001; Philos Phenomenol Res 65:655–663, 2002; in: Contemporary debates in philosophy of mind, 2007) has argued that the nonreductive physicalist should respond to the exclusion problem by endorsing the overdetermination entailed by their view. Kim’s (Physicalism, or something near enough, 2005; in: Contemporary debates in the philosophy of mind, 2007) argument against this reply is based on the premise that mental causation must be a productive relation in order to sustain human agency. In this (...) paper, I challenge the premise that mental causation is a productive relation by appealing to the underlying double prevention structure of the physiological mechanisms of human action. Since the causal pathways from an agent’s mental events to bodily movement involves an absence, mental causation is not productive. This places Kim in a troublesome dilemma in his debate with Loewer: either surrender mental causation or deny that causation is a productive relation. With the support offered for productive mental causation undermined, responses to the exclusion problem based on accepting overdetermination remain viable options for the nonreductive physicalist. (shrink)