12 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
18270 | Choice suggests that intensions are not needed to ensure classes [Coffa] |
18263 | The semantic tradition aimed to explain the a priori semantically, not by Kantian intuition [Coffa] |
18272 | Platonism defines the a priori in a way that makes it unknowable [Coffa] |
21515 | Incoherence may be more important for enquiry than coherence [Olsson] |
21514 | Coherence is the capacity to answer objections [Olsson] |
21496 | Mere agreement of testimonies is not enough to make truth very likely [Olsson] |
21499 | Coherence is only needed if the information sources are not fully reliable [Olsson] |
21502 | A purely coherent theory cannot be true of the world without some contact with the world [Olsson] |
21512 | Extending a system makes it less probable, so extending coherence can't make it more probable [Olsson] |
18266 | Mathematics generalises by using variables [Coffa] |
18279 | Relativity is as absolutist about space-time as Newton was about space [Coffa] |