Combining Texts

Ideas for '', 'Introduction to the Theory of Logic' and 'What is Knowledge-First Epistemology?'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

19. Language / C. Assigning Meanings / 2. Semantics

19538	Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew]
	Full Idea: Entailment is modelled in formal semantics as set inclusion. 'Cat' entails 'mammal' because the cats are a subset of the mammals.
	From: Dougherty,T/Rysiew,P (What is Knowledge-First Epistemology? [2014], p.10)
	A reaction: I would have thought that this was only one type of entailment. 'Travelling to Iceland entails flying'. Travelling includes flying, the reverse of cats/mammals, to a very complex set-theoretic account is needed. Interesting.