2 ideas
16456 | For modality Lewis rejected boxes and diamonds, preferring worlds, and an index for the actual one [Lewis, by Stalnaker] |
18810 | Aristotle's proofs give understanding, so it can't be otherwise, so consequence is necessary [Smiley, by Rumfitt] |