10 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') |
16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
Full Idea: It seems unavoidable that the facts about logically necessary relations between levels of facts are themselves logically distinct further facts, irreducible to the microphysical facts. | |
From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
A reaction: I'm beginning to think that rejecting every theory of reality that is proposed by carefully exposing some infinite regress hidden in it is a rather lazy way to do philosophy. Almost as bad as rejecting anything if it can't be defined. |
16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
Full Idea: Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'. | |
From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
A reaction: This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic. |
16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
Full Idea: The root intuition behind nonreductive materialism is that reality is composed of ontologically distinct layers or levels. …The upper levels depend on the physical without reducing to it. | |
From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], B) | |
A reaction: A nice clear statement of a view which I take to be false. This relationship is the sort of thing that drives people fishing for an account of it to use the word 'supervenience', which just says two things seem to hang out together. Fluffy materialism. |
16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
Full Idea: Jessica Wilson (1999) says what makes physicalist accounts different from emergentism etc. is that each individual causal power associated with a supervenient property is numerically identical with a causal power associated with its base property. | |
From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], n 11) | |
A reaction: Hence the key thought in so-called (serious, rather than self-evident) 'emergentism' is so-called 'downward causation', which I take to be an idle daydream. |
7276 | All art is quite useless [Wilde] |
Full Idea: All art is quite useless. | |
From: Oscar Wilde (Preface to 'Dorian Gray' [1891]) | |
A reaction: Echoes Kant's thought that art is 'purposive without purpose'. Although I find Wilde's claims that morality has nothing to do with art to be naïve, I find this remark sympathetic. Art may play with moral feelings, but is unlikely to affect actions. |
7274 | Books are only well or badly written, not moral or immoral [Wilde] |
Full Idea: There is no such thing as a moral or an immoral book. Books are well written, or badly written. That is all. | |
From: Oscar Wilde (Preface to 'Dorian Gray' [1891]) | |
A reaction: This is simply false. Novels that are viciously (or subtly) racist, sexist, homophobic, or egotistical can obviously be immoral. I could write a nasty story about Oscar Wilde. It might, though, be very well written. If life is moral, so are novels. |
7275 | Having ethical sympathies is a bad mannerism of style in an artist [Wilde] |
Full Idea: No artist has ethical sympathies. An ethical sympathy in an artist is an unpardonable mannerism of style. | |
From: Oscar Wilde (Preface to 'Dorian Gray' [1891]) | |
A reaction: This has a Nietzschean suggestion that the artist is 'beyond good and evil', and operates on some higher level of values, which in Wilde's case seem to be purely aesthetic. You can't justify a callous murder by executing it beautifully. |