display all the ideas for this combination of philosophers
4 ideas
12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
18763 | Basic variables in second-order logic are taken to range over subsets of the individuals [Anderson,CA] |
18771 | Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities [Anderson,CA] |
10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |