display all the ideas for this combination of philosophers
2 ideas
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. |
13248 | We can rest truth-conditions on situations, rather than on possible worlds [Beall/Restall] |
Full Idea: Situation semantics is a variation of the truth-conditional approach, taking the salient unit of analysis not to be the possible world, or some complete consistent index, but rather the more modest 'situation'. | |
From: JC Beall / G Restall (Logical Pluralism [2006], 5.5.4) | |
A reaction: When I read Davidson (and implicitly Frege) this is what I always assumed was meant. The idea that worlds are meant has crept in to give truth conditions for modal statements. Hence situation semantics must cover modality. |