5 ideas
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |
19508 | Contextualism needs a semantics for knowledge sentences that are partly indexical [Schiffer,S] |
19509 | The indexical aspect of contextual knowledge might be hidden, or it might be in what 'know' means [Schiffer,S] |