9 ideas
| 17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
| 17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
| 17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
| 19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |
| 6613 | The natural kinds are objects, processes and properties/relations [Ellis] |
| 6616 | Least action is not a causal law, but a 'global law', describing a global essence [Ellis] |
| 6615 | A species requires a genus, and its essence includes the essence of the genus [Ellis] |
| 6614 | A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis] |
| 6612 | Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis] |