Combining Texts

Ideas for 'Stipulation, Meaning and Apriority', 'Transworld Identity or worldbound Individuals?' 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)]