6 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') |
| 7293 | It is legitimate to do harm if it is the unintended side-effect of an effort to achieve a good [Grayling] |
| Full Idea: The doctrine of double effect says that it is legitimate to do harm if the harm is the unintended side-effect of an effort to achieve a legitimate goal. | |
| From: A.C. Grayling (Among the Dead Cities [2006], Ch.6) | |
| A reaction: I think a key principle of morality is our duty to think about possible unnoticed consequences of our actions. To neglect concern for side-effects is wicked. Beyond that, the issue must concern the particulars of the situation. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
| 7292 | War must also have a good chance of success, and be waged with moderation [Grayling] |
| Full Idea: To Aquinas's three conditions for war (Idea 7291) modern theorists have added two others: that to be just a war must have a reasonable chance of success, and that the means used to conduct it must be proportional to the ends sought. | |
| From: A.C. Grayling (Among the Dead Cities [2006], Ch.6) | |
| A reaction: These two principles strike me as being much more civilized and humane than Aquinas's original contribution, suggesting that in our theoretical thinking we might be making some progress. |