I am confused.
Suppose you are in charge of estimating the risk of catastrophic failure of the Space Shuttle. From engineers, component tests, and guesswork, you come to the conclusion that any given launch is about 1% likely to fail. On the strength of this you launch the Shuttle, and it does not blow up. Now, with this new information, what is your new probability estimate? I write down
P(failure next time | we observe one successful launch) = P (we observe one successful launch | failure next time) * P(failure) / P(observe one success)
or
P(FNT|1S) = P(1S|FNT)*P(F)/P(S)
We have P(F) = 1-P(S) = 0.03. Presumably your chances of success this time are not affected by the next one being a failure, so P(1S|FNT) is just P(S) = 0.97. So the two 97% chances cancel, and I'm left with the same estimate I had before, 3% chance of failure. Is this correct, that a successful launch does not give you new information about the chances of failure? This seems counterintuitive.
I think the error lies in this sentence:
"Presumably your chances of success this time are not affected by the next one being a failure."
I assume you think this is true because there's no causal relationship where the next shuttle launch can affect this one, but their successes can still be correlated, which your probability estimate isn't taking into account.
If you want to update meaningfully, you need to have an alternative hypothesis in mind. (Remember, evidence can only favor one hypothesis over another (if anything); evidence is never "for" or "against" any one theory at a time.) Perhaps the engineers believe that there is a 4% chance that any given shuttle launch will fail (H1), but you estimate a 25% chance that they're wrong and the shuttles are actually foolproof (H2). Then you estimate the probability that the first shuttle launch will fail (F) as
P(F) = P(F|H1) P(H1) + P(F|H2) P(H2) = (4%)(75%) + (0%)(25%) = 3%.
But the shuttle launch goes off ok, so now you update your opinion of the two hypotheses with Bayes' rule:
P(H1|~F) = P(~F|H1) P(H1) / P(~F) = (100% - 4%) (75%) / (100% - 3%) ≈ 74.2%.
Then your estimate that the next shuttle will fail (F') becomes:
P(F' | ~F) = P(F' | H1, ~F) P(H1 | ~F) + P(F' | H2, ~F) P(H2 | ~F)
= (4%) (74.2%) + (0%) (100% - 74.2%) ≈ 2.97%.
So the one successful shuttle launch does, in this case, lower your expectation of a failure next time. As the shuttles keep succeeding, you become gradually more and more sure that the shuttles are foolproof and the engineers are wrong. But if the launch ever does fail, you will instantly believe the engineers and assign no credence to the claim that the shuttles never fail. (Try the math to see how that works.)