5 ideas
10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
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] |
9145 | We form the image of a cardinal number by a double abstraction, from the elements and from their order [Cantor] |
10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |