display all the ideas for this combination of philosophers
3 ideas
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] |
23024 | A traveller takes a copy of a picture into the past, gives it the artist, who then creates the original! [Baron/Miller] |