display all the ideas for this combination of philosophers
4 ideas
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |