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] |
Full Idea: Unlike standard first-order logic, free logic can allow empty names, but still has to deny existence by either representing it as a predicate, or invoke some dubious distinction such as between existence and being. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L1) |
21716 | In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B] |
Full Idea: In the superior realist and simple theory of types, the place of the axiom of reducibility is not taken by the axiom of classes, Zermelo's Aussonderungsaxiom. | |
From: report of Kurt Gödel (Russell's Mathematical Logic [1944], p.140-1) by Bernard Linsky - Russell's Metaphysical Logic 6.1 n3 | |
A reaction: This is Zermelo's Axiom of Separation, but that too is not an axiom of standard ZFC. |
13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |
Full Idea: Aristotle proposes to relativise unity and plurality, so that a single object can be both one (indivisible) and many (divisible) simultaneously, without contradiction, relative to different measures. Wholeness has degrees, with the strength of the unity. | |
From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.12 | |
A reaction: [see Koslicki's account of Aristotle for details] As always, the Aristotelian approach looks by far the most promising. Simplistic mechanical accounts of how parts make wholes aren't going to work. We must include the conventional and conceptual bit. |