9 ideas
| 13831 | Logic is based on transitions between sentences [Prawitz] |
| 13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
| 13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
| 3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
| 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] |