3 ideas
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
22200 | If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle] |
3400 | Things must have parts to intermingle [Gassendi] |