6 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] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |
19540 | Don't confuse justified belief with justified believers [Dougherty/Rysiew] |
19539 | If knowledge is unanalysable, that makes justification more important [Dougherty/Rysiew] |
19538 | Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew] |