4 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
2799 | Bayes' theorem explains why very surprising predictions have a higher value as evidence [Horwich] |
2798 | Probability of H, given evidence E, is prob(H) x prob(E given H) / prob(E) [Horwich] |