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') |
22137 | Observation can force rejection of some part of the initial set of claims [Duhem, by Boulter] |
Full Idea: Logic and observation alone do not force a scientist to reject a scientific claim if experimental observations so not turn out as expected. The scientist must reject something of the initial set of claims, but that is a matter of choice. | |
From: report of Pierre Duhem (The Aim and Structure of Physical Theory [1906]) by Stephen Boulter - Why Medieval Philosophy Matters 2 | |
A reaction: This is a key point against any simplified Popperian notion of falsification. Tiny observations can't kill huge well supported theories. |
18197 | Experiments only test groups of hypotheses, and can't show which one is wrong [Duhem] |
Full Idea: The physicist can never subject an isolated hypothesis to experimental test, but only a whole group of hypotheses; when the experiment is in disagreement with his predictions ...it does not designate which one should be changed. | |
From: Pierre Duhem (The Aim and Structure of Physical Theory [1906], p.187), quoted by Penelope Maddy - Naturalism in Mathematics II.2 | |
A reaction: This is the idea frequently invoked by Quine, in support of his holistic view of scientific knowledge (along with Neurath's Boat). |
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? |