Combining Texts

Ideas for 'In Defense of Essentialism', 'What Does It Take to Refer?' and 'A priori/A posteriori'

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

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic

10454	In first-order we can't just assert existence, and it is very hard to deny something's existence [Bach]
	Full Idea: In standard logic we can't straightforwardly say that n exists. We have to resort to using a formula like '∃x(x=n)', but we can't deny n's existence by negating that formula, because standard first-order logic disallows empty names.
	From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L1)