display all the ideas for this combination of texts
3 ideas
9179 | Frege frequently expressed a contempt for language [Frege, by Dummett] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |