4 ideas
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] |
18810 | Aristotle's proofs give understanding, so it can't be otherwise, so consequence is necessary [Smiley, by Rumfitt] |
19399 | Prime matter is nothing when it is at rest [Leibniz] |