David Papineau-Philosophical Devices, Proofs, Probabilities, Possibilities, and Sets-Oxford University Press (2012).pdf