4 ideas
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
14235 | Saying 'they can become a set' is a tautology, because reference to 'they' implies a collection [Cargile] |
16157 | Insurance on the original ship would hardly be paid out if the plank version was wrecked! [Frede,M] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |