display all the ideas for this combination of texts
3 ideas
5637 | Nowadays logic is seen as the science of extensions, not intensions [Scruton] |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |