display all the ideas for this combination of philosophers
3 ideas
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
7755 | Singular terms refer, using proper names, definite descriptions, singular personal pronouns, demonstratives, etc. [Lycan] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |