4 ideas
| 18832 | Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett] |
| Full Idea: On an intuitionistic view, neither the truth-value of a statement nor any other mathematical entity can be given as the final result of an infinite process, since an infinite process is precisely one that does not have a final result. | |
| From: Michael Dummett (Elements of Intuitionism (2nd ed) [2000], p.41), quoted by Ian Rumfitt - The Boundary Stones of Thought 7.3 | |
| A reaction: This is rather a persuasive reason to sympathise with intuitionism. Mathematical tricks about 'limits' have lured us into believing in completed infinities, but actually that idea is incoherent. |
| 12733 | Because of the definitions of cause, effect and power, cause and effect have the same power [Leibniz] |
| Full Idea: The primary mechanical axiom is that the whole cause and the entire effect have the same power [potentia]. ..This depends on the definition of cause, effect and power. | |
| From: Gottfried Leibniz (De arcanus motus [1676], 203), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 6 | |
| A reaction: This is a useful reminder that if one is going to build a metaphysics on powers (which I intend to do), then the conservation laws in physics are highly relevant. |
| 12734 | Every necessary proposition is demonstrable to someone who understands [Leibniz] |
| Full Idea: Every necessary proposition is demonstrable, at least by someone who understands it. | |
| From: Gottfried Leibniz (De arcanus motus [1676], 203), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 6 | |
| A reaction: This kind of optimism leads to the crisis of the Hilbert Programme in the 1930s. Gödel seems to have conclusively proved that Leibniz was wrong. What would Leibniz have made of Gödel? |
| 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? |