Well, yes. If we believe that A=>B with probability 1, it’s not enough to assign probability 1 to A to conclude B with probability 1; you must also assign probability 1 to modus ponens.
And even then you can probably Carroll your way out of it.
Well, yes. If we believe that A=>B with probability 1, it’s not enough to assign probability 1 to A to conclude B with probability 1; you must also assign probability 1 to modus ponens.
And even then you can probably Carroll your way out of it.