display all the ideas for this combination of texts
3 ideas
9725 | 'Predicate abstraction' abstracts predicates from formulae, giving scope for constants and functions [Fitting/Mendelsohn] |
15891 | Traditional quantifiers combine ordinary language generality and ontology assumptions [Harré] |
15878 | Some quantifiers, such as 'any', rule out any notion of order within their range [Harré] |