3 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. |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
| From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
| A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |
| 19376 | A machine is best defined by its final cause, which explains the roles of the parts [Leibniz] |
| Full Idea: Any machine ...is best defined in terms of its final cause, so that in the description of the parts it is therefore apparent in what way each of them is coordinated with the others for the intended us. | |
| From: Gottfried Leibniz (The Human Body is a sort of Machine [1683], p.290), quoted by Richard T.W. Arthur - Leibniz 3 'Machines' | |
| A reaction: We would use the 'function', an inherently teleological concept, and a concept which is almost indispensable for giving an illuminating description of the world. If nature is dispositional, it points towards things. Leibniz views persons as machines. |