4 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
10245 | One geometry cannot be more true than another [Poincaré] |
2798 | Probability of H, given evidence E, is prob(H) x prob(E given H) / prob(E) [Horwich] |
2799 | Bayes' theorem explains why very surprising predictions have a higher value as evidence [Horwich] |