Philosophical devices : proofs, probabilities, possibilities, and sets - Papineau, David, 1947- (Oxford University Press, 2012)