2 ideas
| 8693 | An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos] |
| Full Idea: Hume's Principle has a structure Boolos calls an 'abstraction principle'. Within the scope of two universal quantifiers, a biconditional connects an identity between two things and an equivalence relation. It says we don't care about other differences. | |
| From: George Boolos (Is Hume's Principle analytic? [1997]), quoted by Michèle Friend - Introducing the Philosophy of Mathematics 3.7 | |
| A reaction: This seems to be the traditional principle of abstraction by ignoring some properties, but dressed up in the clothes of formal logic. Frege tries to eliminate psychology, but Boolos implies that what we 'care about' is relevant. |
| 6581 | Hume thought (unlike Locke) that property is a merely conventional relationship [Hume, by Fogelin] |
| Full Idea: Hume thought (in contrast to Locke) that property reflects a conventional (rather than natural) relationship determined by the laws that protect people from having things taken from them. | |
| From: report of David Hume (Nine political essays [1741]) by Robert Fogelin - Walking the Tightrope of Reason Ch.3 | |
| A reaction: It seems pretty obvious that the idea of property was invented by the powerful, to protect their gains against the weak. I suspect that you might till a piece of land simply in order to assert ownership of it, just as you might bring in colonists. |