3 ideas
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
9558 | All scientific tests will verify mathematics, so it is a background, not something being tested [Sober] |
21932 | 'Différance' is the interwoven history of each sign [Derrida, by Glendinning] |