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] |
| 18430 | We accept properties because of type/tokens, reference, and quantification [Edwards] |
| 18432 | Quineans say that predication is primitive and inexplicable [Edwards] |
| 18437 | Resemblance nominalism requires a second entity to explain 'the rose is crimson' [Edwards] |
| 18434 | That a whole is prior to its parts ('priority monism') is a view gaining in support [Edwards] |
| 14361 | Lewis says indicative conditionals are truth-functional [Lewis, by Jackson] |
| 8434 | In good counterfactuals the consequent holds in world like ours except that the antecedent is true [Lewis, by Horwich] |
| 9419 | A law of nature is a general axiom of the deductive system that is best for simplicity and strength [Lewis] |