11 ideas
| 18270 | Choice suggests that intensions are not needed to ensure classes [Coffa] |
| Full Idea: The axiom of choice was an assumption that implicitly questioned the necessity of intensions to guarantee the presence of classes. | |
| From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991], 7 'Log') | |
| A reaction: The point is that Choice just picks out members for no particular reason. So classes, it seems, don't need a reason to exist. |
| 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. |
| 12582 | The function of beliefs is to produce beliefs-that-p when p [Millikan] |
| Full Idea: Presumably it is a proper function of the belief-manufacturing mechanisms in John to produce beliefs-that-p only if and when p. | |
| From: Ruth Garrett Millikan (Thoughts without Laws [1986], p.69), quoted by Christopher Peacocke - A Study of Concepts 5.2 | |
| A reaction: This is the 'teleological' account of belief, which is trying to fit belief into an evolutionary view of humans. It is doubtful whether you can say mental states are just their 'proper' function, because then piano-playing becomes a puzzle. |
| 18263 | The semantic tradition aimed to explain the a priori semantically, not by Kantian intuition [Coffa] |
| Full Idea: The semantic tradition's problem was the a priori; its enemy, Kantian pure intuition; its purpose, to develop a conception of the a priori in which pure intuition played no role; its strategy, to base that theory on a development of semantics. | |
| From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991], 2 Intro) | |
| A reaction: It seems to me that intuition, in the modern sense, has been unnecessarily demonised. I would define it as 'rational insights which cannot be fully articulated'. Sherlock Holmes embodies it. |
| 18272 | Platonism defines the a priori in a way that makes it unknowable [Coffa] |
| Full Idea: The trouble with Platonism had always been its inability to define a priori knowledge in a way that made it possible for human beings to have it. | |
| From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991], 7 'What') | |
| A reaction: This is the famous argument of Benacerraf 1973. |
| 18266 | Mathematics generalises by using variables [Coffa] |
| Full Idea: The instrument of generality in mathematics is the variable. | |
| From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991], 4 'The conc') | |
| A reaction: I like the idea that there are variables in ordinary speech, pronouns being the most obvious example. 'Cats' is a variable involving quantification over a domain of lovable fluffy mammals. |
| 23801 | Biosemantics says content is useful mapping from a producer to a consumer system [Millikan, by Schulte] |
| Full Idea: Millikan's 'biosemantic' view is that representations stand midway between producer and consumer systems. The represented states of affairs (the content) maps onto the second system, and thus enable its proper function. | |
| From: report of Ruth Garrett Millikan (Varieties of Meaning [2002]) by Peter Schulte - Mental Content 4.4 | |
| A reaction: These meets my standard objection to all functional theories (e.g. of mind), that observing relations and functions tells you nothing about what it actually is. Millikan seems to explain the role of content, but says nothing about its actual nature. |
| 18279 | Relativity is as absolutist about space-time as Newton was about space [Coffa] |
| Full Idea: If the theory of relativity might be thought to support an idealist construal of space and time, it is no less absolutistic about space-time than Newton's theory was about space. | |
| From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991]) | |
| A reaction: [He cites Minkowski, Weyl and Cartan for this conclusion] Coffa is clearly a bit cross about philosophers who draw naive idealist and relativist conclusions from relativity. |