19 ideas
12772 | Philosophy is a value- and attitude-driven enterprise [Fraassen] |
12771 | Is it likely that a successful, coherent, explanatory ontological hypothesis is true? [Fraassen] |
12773 | Analytic philosophy has an exceptional arsenal of critical tools [Fraassen] |
12770 | We may end up with a huge theory of carefully constructed falsehoods [Fraassen] |
3338 | Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn] |
13949 | All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers [Cartwright,R on Peano] |
18113 | PA concerns any entities which satisfy the axioms [Peano, by Bostock] |
17634 | Peano axioms not only support arithmetic, but are also fairly obvious [Peano, by Russell] |
5897 | 0 is a non-successor number, all successors are numbers, successors can't duplicate, if P(n) and P(n+1) then P(all-n) [Peano, by Flew] |
15653 | We can add Reflexion Principles to Peano Arithmetic, which assert its consistency or soundness [Halbach on Peano] |
17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
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] |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
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] |
12769 | Inference to best explanation contains all sorts of hidden values [Fraassen] |
13066 | An explanation is just descriptive information answering a particular question [Fraassen, by Salmon] |
12768 | We accept many scientific theories without endorsing them as true [Fraassen] |