3 ideas
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
15380 | Barcan:nothing comes into existence; Converse:nothing goes out; Both:domain is unchanging [Vervloesem] |
5467 | Euler said nature is instrinsically passive, and minds cause change [Euler, by Ellis] |