Combining Texts
Ideas for
'Parmenides', 'Metaphysical Themes 1274-1671' and 'Existence and Quantification'
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
8789
|
Various strategies try to deal with the ontological commitments of second-order logic [Hale/Wright on Quine]
|