display all the ideas for this combination of philosophers
3 ideas
12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |