Combining Philosophers

Ideas for Eubulides, Feferman / Feferman and Ruth Barcan Marcus

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers


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)]