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] |
2547 | There is information if there are symbols which refer, and which can combine into a truth or falsehood [McGinn] |