Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets