3 ideas
17831 | Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake] |
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
7628 | Broad rejects the inferential component of the representative theory [Broad, by Maund] |