4 ideas
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
16771 | A composite is a true unity if all of its parts fall under one essence [Scheibler] |
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] |