display all the ideas for this combination of texts
1 idea
| 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) |