Combining Texts

Ideas for 'Introductions to Utilitarianism and its Critics', 'Public Text and Common Reader' and 'Model Theory'

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

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction

10474	|= should be read as 'is a model for' or 'satisfies' [Hodges,W]
	Full Idea: The symbol in 'I |= S' reads that if the interpretation I (about word meaning) happens to make the sentence S state something true, then I 'is a model for' S, or I 'satisfies' S.
	From: Wilfrid Hodges (Model Theory [2005], 1)
	A reaction: Unfortunately this is not the only reading of the symbol |= [no space between | and =!], so care and familiarity are needed, but this is how to read it when dealing with models. See also Idea 10477.