My guess is that deduction, along with bayesian updating, are being considered part of our rules of inference, rather than axioms.
Oh, like Achilles and the tortoise. Thanks, this comment clarified things a bit.
My guess is that deduction, along with bayesian updating, are being considered part of our rules of inference, rather than axioms.
Oh, like Achilles and the tortoise. Thanks, this comment clarified things a bit.