5 ideas
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
9138 | An infinite series of sentences asserting falsehood produces the paradox without self-reference [Yablo, by Sorensen] |
17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
3570 | Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M] |
2748 | A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J] |