13 ideas
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
Full Idea: In the study of formal systems we do not confine ourselves to the derivation of elementary propositions step by step. Rather we take the system, defined by its primitive frame, as datum, and then study it by any means at our command. | |
From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The formalist') | |
A reaction: This is what may potentially lead to an essentialist view of such things. Focusing on bricks gives formalism, focusing on buildings gives essentialism. |
17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
Full Idea: According to realism, mathematical propositions express the most general properties of our physical environment. This is the primitive view of mathematics, yet on account of the essential role played by infinity in mathematics, it is untenable today. | |
From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The problem') | |
A reaction: I resist this view, because Curry's view seems to imply a mad metaphysics. Hilbert resisted the role of the infinite in essential mathematics. If the physical world includes its possibilities, that might do the job. Hellman on structuralism? |
17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
Full Idea: To say that mathematics is logic is merely to replace one undefined term by another. | |
From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'Mathematics') |
6230 | If the soul were a tabula rasa, with no innate ideas, there could be no moral goodness or justice [Cudworth] |
Full Idea: The soul is not a mere rasa tabula, a naked and passive thing, with no innate furniture of its own, nor any thing in it, but what was impressed upon it without; for then there could not possibly be any such thing as moral good and evil, just and unjust. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Bk IV Ch 6.4) | |
A reaction: He goes on to quote Hobbes saying there is no good in objects themselves. I don't see why we must have an innate moral capacity, provided that we have a capacity to make judgements. |
6228 | Senses cannot judge one another, so what judges senses cannot be a sense, but must be superior [Cudworth] |
Full Idea: The sight cannot judge of sounds, nor the hearing of light and colours; wherefore that which judges of all the senses and their several objects, cannot be itself any sense, but something of a superior nature. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.VI.1) | |
A reaction: How nice to find a seventeenth century English writer rebelling against empiricism! |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles. | |
From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro' | |
A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture? |
6229 | Sense is fixed in the material form, and so can't grasp abstract universals [Cudworth] |
Full Idea: Sense which lies flat and grovelling in the individuals, and is stupidly fixed in the material form, is not able to rise up or ascend to an abstract universal notion. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.III.III.2) | |
A reaction: This still strikes me as being one of the biggest problems with reductive physicalism, that a lump of meat in your head can grasp abstractions (whatever they are) and universal concepts. Personally I am a physicalist, but it is weird. |
6227 | Keeping promises and contracts is an obligation of natural justice [Cudworth] |
Full Idea: To keep faith and perform covenants is that which natural justice obligeth to absolutely. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.4) | |
A reaction: A nice example of an absolute moral intuition, but one which can clearly be challenged. Covenants (contracts) wouldn't work unless everyone showed intense commitment to keeping them, even beyond the grave, and we all benefit from good contracts. |
6231 | There is a self-determing power in each person, which makes them what they are [Cudworth] |
Full Idea: This hegemonicon (self-power) always determines the passive capability of men's nature one way or other, either for better or for worse; and has a self-forming and self-framing power by which every man is self-made into what he is. | |
From: Ralph Cudworth (Treatise of Freewill [1688], §X) | |
A reaction: The idea that we can somehow create our own selves seems to me the core of existentialism, and the opposite of the Aristotelian belief in a fairly fixed human nature. See Stephen Pinker's 'The Blank Slate' for a revival of the old view. |
6225 | Obligation to obey all positive laws is older than all laws [Cudworth] |
Full Idea: Obligation to obey all positive laws is older than all laws. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.3) | |
A reaction: Clearly villains can pass wicked laws, so there can't be an obligation to obey all laws (even if they are 'positive', which seems to beg the question). Nevertheless this is a good reason why laws cannot be the grounding of morality. |
6224 | An omnipotent will cannot make two things equal or alike if they aren't [Cudworth] |
Full Idea: Omnipotent will cannot make things like or equal one to another, without the natures of likeness and equality. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.I) | |
A reaction: This is one of the many classic 'paradoxes of omnipotence'. The best strategy is to define omnipotence as 'being able to do everything which it is possible to do'. Anything beyond that is inviting paradoxical disaster. |
6223 | If the will and pleasure of God controls justice, then anything wicked or unjust would become good if God commanded it [Cudworth] |
Full Idea: If the arbitrary will and pleasure of God is the first and only rule of good and justice, it follows that nothing can be so grossly wicked or unjust but if it were commanded by this omnipotent Deity, it must forthwith become holy, just and righteous. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.I.I.5) | |
A reaction: This is the strong (Platonic) answer to the Euthyphro Question (Idea 336). One answer is that God would not command in such a way - but why not? We may say that God and goodness merge into one, but we are interested in ultimate authority. |
6226 | The requirement that God must be obeyed must precede any authority of God's commands [Cudworth] |
Full Idea: If it were not morally good and just in its own nature before any positive command of God, that God should be obeyed by his creatures, the bare will of God himself could not beget any obligation upon anyone. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.3) | |
A reaction: This strikes me as a self-evident truth, and a big problem for anyone who wants to make God the source of morality. You don't have to accept anyone's authority just because they are powerful or clever (though they do bestow a certain natural authority!). |