display all the ideas for this combination of texts
1 idea
| 10794 | The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)] |
| Full Idea: The nominalist finds that standard semantics shackles him to first-order languages if, as nominalists are wont, he is to make do without abstract higher order objects. | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.166) | |
| A reaction: Aha! Since I am pursuing a generally nominalist strategy in metaphysics, I suddenly see that I must adopt a hostile attitude to higher-order logic! Maybe plural quantification is the way to go, with just first-order objects. |