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] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |