11 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| 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] |
| 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] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |