3 ideas
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
9548 | A mathematical object exists if there is no contradiction in its definition [Waterfield] |
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |