5 ideas
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
21558 | 'Predicative' norms are those which define a class [Russell] |
21559 | We need rules for deciding which norms are predicative (unless none of them are) [Russell] |
18431 | Internal relations combine some tropes into a nucleus, which bears the non-essential tropes [Simons, by Edwards] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |