3 ideas
15380 | Barcan:nothing comes into existence; Converse:nothing goes out; Both:domain is unchanging [Vervloesem] |
10245 | One geometry cannot be more true than another [Poincaré] |
19000 | Read 'all ravens are black' as about ravens, not as about an implication [Belnap] |