Combining Texts

Ideas for 'Function and Concept', 'Freedom and Action' and 'Nominalism and Substitutional Quantifiers'

expand 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 / A. Overview of Logic / 7. Second-Order Logic
The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)]