display all the ideas for this combination of texts
3 ideas
16416 | The quantifier in logic is not like the ordinary English one (which has empty names, non-denoting terms etc) [Hofweber] |
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] |