4 ideas
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
19043 | Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine] |
19042 | Terms learned by ostension tend to be vague, because that must be quick and unrefined [Quine] |
16764 | The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus] |