display all the ideas for this combination of texts
4 ideas
17286 | Logical consequence is verification by a possible world within a truth-set [Fine,K] |
15158 | Indefinite descriptions are quantificational in subject position, but not in predicate position [Soames] |
15157 | Recognising the definite description 'the man' as a quantifier phrase, not a singular term, is a real insight [Soames] |
15156 | The universal and existential quantifiers were chosen to suit mathematics [Soames] |