more from this thinker | more from this text
Full Idea
We can think of the worlds of modal logic as being times, rather than 'possible' worlds.
Gist of Idea
We can treat modal worlds as different times
Source
Theodore Sider (Logic for Philosophy [2010], 7.3.3)
Book Ref
Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.189
22433 | It is important that the quantification over temporal entities is timeless [Quine] |
15413 | With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess] |
13113 | F: will sometime, P: was sometime, G: will always, H: was always [Fitting/Mendelsohn] |
13714 | We can treat modal worlds as different times [Sider] |