Combining Texts

Ideas for 'Demonstratives', 'Introduction to Mathematical Philosophy' and 'Metaphysics'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds

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.