8 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
6408 | Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling] |
14919 | Empiricists deny what is unobservable, and reject objective modality [Fraassen] |
6783 | To 'accept' a theory is not to believe it, but to believe it empirically adequate [Fraassen, by Bird] |
6414 | Two propositions might seem self-evident, but contradict one another [Grayling] |
14917 | To accept a scientific theory, we only need to believe that it is empirically adequate [Fraassen] |
6784 | Why should the true explanation be one of the few we have actually thought of? [Fraassen, by Bird] |
13066 | An explanation is just descriptive information answering a particular question [Fraassen, by Salmon] |