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?
|
7880
|
If a blind persons suddenly sees a kestrel, that doesn't make visual and theoretical kestrels different [Papineau on Jackson]
|
|
Full Idea:
An ornithological Mary might know everything theoretical about kestrels, but be blind from birth, then have her sight restored. She now knows "That bird eats mice", so visual kestrels must be ontologically distinct from theoretical ones.
|
|
From:
comment on Frank Jackson (Epiphenomenal Qualia [1982]) by David Papineau - Thinking about Consciousness 6.3
|
|
A reaction:
A nice reductio, and I think this pinpoints best what is wrong with the knowledge argument. Knowledge, and the means of acquiring it, are two distinct things. When I see x, I don't acquire knowledge of x, AND knowledge of my seeing x.
|
7377
|
Mary learns when she sees colour, so her complete physical information had missed something [Jackson]
|
|
Full Idea:
It seems obvious that Mary will learn something about the world when she is released from her black-and-white room; but then it is inescapable that her previous knowledge was incomplete; she had all the physical information, so there is more to have.
|
|
From:
Frank Jackson (Epiphenomenal Qualia [1982], §1)
|
|
A reaction:
This is Jackson's famous 'knowledge argument', which seems to me misconceived. Since I don't think phenomenal colours are properties of objects (Idea 5456), Mary learns more about herself, and about her means of acquiring knowledge.
|