more on this theme | more from this text
Full Idea
Entailment is modelled in formal semantics as set inclusion. 'Cat' entails 'mammal' because the cats are a subset of the mammals.
Gist of Idea
Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats')
Source
Dougherty,T/Rysiew,P (What is Knowledge-First Epistemology? [2014], p.10)
Book Ref
'Contemporary Debates in Epistemology (2nd ed)', ed/tr. Steup/Turri/Sosa [Wiley Blackwell 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.
19541 | Rather than knowledge, our epistemic aim may be mere true belief, or else understanding and wisdom [Dougherty/Rysiew] |
19542 | It is nonsense that understanding does not involve knowledge; to understand, you must know [Dougherty/Rysiew] |
19543 | To grasp understanding, we should be more explicit about what needs to be known [Dougherty/Rysiew] |
19538 | Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew] |
19539 | If knowledge is unanalysable, that makes justification more important [Dougherty/Rysiew] |
19540 | Don't confuse justified belief with justified believers [Dougherty/Rysiew] |