Philosophical Devices: Proofs, Probabilities,