Combining Texts

Ideas for 'works', 'Letters to Paul Pellison-Fontinier' and 'Laudatio: Prof Ruth Barcan Marcus'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
If a property is possible, there is something which can have it [Williamson]
     Full Idea: Barcan's axiom says if there can be something that has a certain property, then there is something that can have that property. It and its converse are not obviously correct or incorrect. They claim that it is non-contingent what individuals there are.
     From: Timothy Williamson (Laudatio: Prof Ruth Barcan Marcus [2011], p.1)
     A reaction: Williamson defends the two Barcan formulas, but the more I understand them the less plausible they sound to me.
4. Formal Logic / G. Formal Mereology / 1. Mereology
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.