4 ideas
8460 | Philosophers have given precise senses to deduction, probability, computability etc [Quine/Ullian] |
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |
7294 | No crime and no punishment without a law [Roman law] |