6 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
18430 | We accept properties because of type/tokens, reference, and quantification [Edwards] |
18432 | Quineans say that predication is primitive and inexplicable [Edwards] |
18437 | Resemblance nominalism requires a second entity to explain 'the rose is crimson' [Edwards] |
18434 | That a whole is prior to its parts ('priority monism') is a view gaining in support [Edwards] |
3032 | I can form no notion of what the good is [Amphis] |