Combining Texts

Ideas for 'Ethical Studies', 'Intermediate Logic' and 'Phil of Mathematics and Natural Science'

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

display all the ideas for this combination of texts

---

1 idea

10. Modality / A. Necessity / 6. Logical Necessity

13820	The idea that anything which can be proved is necessary has a problem with empty names [Bostock]
	Full Idea: The common Rule of Necessitation says that what can be proved is necessary, but this is incorrect if we do not permit empty names. The most straightforward answer is to modify elementary logic so that only necessary truths can be proved.
	From: David Bostock (Intermediate Logic [1997], 8.4)