display all the ideas for this combination of texts
2 ideas
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
14232 | We normally formalise 'There are Fs' with singular quantification and predication, but this may be wrong [Liggins] |