Combining Texts

Ideas for 'works', 'Two-Dimensional Semantics' and 'Computing Machinery and Intelligence'

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

display all the ideas for this combination of texts

---

1 idea

10. Modality / A. Necessity / 3. Types of Necessity

14703	Superficial necessity is true in all worlds; deep necessity is thus true, no matter which world is actual [Schroeter]
	Full Idea: If we have a 'fixedly' operator F, then a sentence is fixedly actually true if it is true no matter which world is designated as actual (which 'he actually won in 2008' fails to be). Maybe '□' is superficial necessity, and FA is 'deep' necessity.
	From: Laura Schroeter (Two-Dimensional Semantics [2010], 1.2.2)
	A reaction: Gareth Evans distinguishes 'deep' from 'superficial' necessity. Humberstone and others introduced 'F'. Presumably FA is deeper because it has to pass a tougher test.