display all the ideas for this combination of texts
3 ideas
10455 | Free logic at least allows empty names, but struggles to express non-existence [Bach] |
21716 | In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B] |
13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |