display all the ideas for this combination of texts
2 ideas
19538 | Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew] |
1554 | Contradiction is impossible, since only one side of the argument refers to the true facts [Prodicus, by Didymus the Blind] |