Combining Texts

Ideas for 'works', 'Guide to Ground' and 'Nonexistent Objects'

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 / B. Logical Consequence / 1. Logical Consequence

17286	Logical consequence is verification by a possible world within a truth-set [Fine,K]
	Full Idea: Under the possible worlds semantics for logical consequence, each sentence of a language is associated with a truth-set of possible worlds in which it is true, and then something is a consequence if one of these worlds verifies it.
	From: Kit Fine (Guide to Ground [2012], 1.10)
	A reaction: [compressed, and translated into English; see Fine for more symbolic version; I'm more at home in English]