6 ideas
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
16025 | If things change they become different - but then no one thing undergoes the change! [Gallois] |
16026 | 4D: time is space-like; a thing is its history; past and future are real; or things extend in time [Gallois] |
16027 | If two things are equal, each side involves a necessity, so the equality is necessary [Gallois] |
11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
7604 | Amos was the first prophet to emphasise justice and compassion [Amos, by Armstrong,K] |