3 ideas
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
17622 | We come to believe mathematical propositions via their grounding in the structure [Burge] |
9159 | You can't simply convert geometry into algebra, as some spatial content is lost [Burge] |