display all the ideas for this combination of philosophers
4 ideas
11058 | Logic is explanatorily and ontologically dependent on rational animals [Hanna] |
11072 | Logic is personal and variable, but it has a universal core [Hanna] |
10794 | The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |