4 ideas
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
9548 | A mathematical object exists if there is no contradiction in its definition [Waterfield] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |
6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |