display all the ideas for this combination of texts
4 ideas
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
13427 | Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
13334 | Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey] |