10 ideas
| 17809 | Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel] |
| Full Idea: Usually Gödel's incompleteness theorems are taken as showing a limitation on the syntactic approach to an understanding of the concept of infinity. | |
| From: Georg Kreisel (Hilbert's Programme [1958], 05) |
| 17810 | The study of mathematical foundations needs new non-mathematical concepts [Kreisel] |
| Full Idea: It is necessary to use non-mathematical concepts, i.e. concepts lacking the precision which permit mathematical manipulation, for a significant approach to foundations. We currently have no concepts of this kind which we can take seriously. | |
| From: Georg Kreisel (Hilbert's Programme [1958], 06) | |
| A reaction: Music to the ears of any philosopher of mathematics, because it means they are not yet out of a job. |
| 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. |
| 8526 | We might treat both tropes and substances as fundamental, so we can't presume it is just tropes [Daly] |
| Full Idea: Since C.B. Martin accepts both tropes and substances as fundamental, the claim that tropes are the only fundamental constituents is a further, independent claim. | |
| From: Chris Daly (Tropes [1995], §4) | |
| A reaction: A dubious mode of argument. Martin may only make the claim because he is ignorant, of facts or of language. Why are some tropes perfectly similar? Is it the result of something more fundamental? |
| 8527 | More than one trope (even identical ones!) can occupy the same location [Daly] |
| Full Idea: More than one trope can occupy the same spatio-temporal location, and it even seems possible for a pair of exactly resembling tropes to occupy the same spatio-temporal location. | |
| From: Chris Daly (Tropes [1995], §6) | |
| A reaction: This may be the strongest objection to tropes. Being disc-shaped and red would occupy the same location. Aristotle's example of mixing white with white (Idea 557) would be the second case. Individuation of these 'particulars' is the problem. |
| 8528 | If tropes are linked by the existence of concurrence, a special relation is needed to link them all [Daly] |
| Full Idea: To explain how tropes form bundles, concurrence relations are invoked. But tropes F and G and a concurrence relation C don't ensure that F stands in C to G. So trope theory needs 'instantiation' relations (special relational tropes) after all. | |
| From: Chris Daly (Tropes [1995], §7) | |
| A reaction: Campbell presents relations as 'second-order' items dependent on tropes (Idea 8525), but that seems unclear. Daly's argument resembles Russell's (which he likes), that some sort of universal is inescapable. It also resembles Bradley's regress (7966). |
| 17811 | The natural conception of points ducks the problem of naming or constructing each point [Kreisel] |
| Full Idea: In analysis, the most natural conception of a point ignores the matter of naming the point, i.e. how the real number is represented or by what constructions the point is reached from given points. | |
| From: Georg Kreisel (Hilbert's Programme [1958], 13) | |
| A reaction: This problem has bothered me. There are formal ways of constructing real numbers, but they don't seem to result in a name for each one. |