display all the ideas for this combination of texts
1 idea
14460 | If something is true in all possible worlds then it is logically necessary [Russell] |
Full Idea: Saying that the axiom of reducibility is logically necessary is what would be meant by saying that it is true in all possible worlds. | |
From: Bertrand Russell (Introduction to Mathematical Philosophy [1919], XVII) | |
A reaction: This striking remark is a nice bridge between Leibniz (about whom Russell wrote a book) and Kripke. |