12 ideas
| 22329 | Logic is highly general truths abstracted from reality [Russell, by Glock] |
| Full Idea: In 1911 Russell held that the propositions of logic are supremely general truths about the most pervasive traits of reality, to which we have access by abstraction from non-logical propositions. | |
| From: report of Bertrand Russell (Philosophical Implications of Mathematical logic [1911]) by Hans-Johann Glock - What is Analytic Philosophy? 2.4 | |
| A reaction: Glock says the rival views were Mill's inductions, psychologism, and Frege's platonism. Wittgenstein converted Russell to a fifth view, that logic is empty tautologies. I remain resolutely attached to Russell's abstraction view. |
| 9148 | I think of variables as objects rather than as signs [Fine,K] |
| Full Idea: It is natural nowadays to think of variables as a certain kind of sign, but I wish to think of them as a certain kind of object. | |
| From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §2) | |
| A reaction: Fine has a theory based on 'arbitrary objects', which is a rather charming idea. The cell of a spreadsheet is a kind of object, I suppose. A variable might be analogous to a point in space, where objects can locate themselves. |
| 7658 | Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett] |
| Full Idea: If you define qualia as intrinsic properties of experiences considered in isolation from all their causes and effects, logically independent of all dispositional properties, then they are logically guaranteed to elude all broad functional analysis. | |
| From: Daniel C. Dennett (Sweet Dreams [2005], Ch.8) | |
| A reaction: This is a good point - it seems daft to reify qualia and imagine them dangling in mid-air with all their vibrant qualities - but that is a long way from saying there is nothing more to qualia than functional roles. Functions must be exlained too. |
| 21569 | It is good to generalise truths as much as possible [Russell] |
| Full Idea: It is a good thing to generalise any truth as much as possible. | |
| From: Bertrand Russell (Philosophical Implications of Mathematical logic [1911], p.289) | |
| A reaction: An interesting claim, which seems to have a similar status to Ockham's Razor. Its best justification is pragmatic, and concerns strategies for coping with a big messy world. Russell's defence is in 'as much as possible'. |
| 9152 | If green is abstracted from a thing, it is only seen as a type if it is common to many things [Fine,K] |
| Full Idea: In traditional abstraction, the colour green merely has the intrinsic property of being green, other properties of things being abstracted away. But why should that be regarded as a type? It must be because the property is common to the instances. | |
| From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §5) | |
| A reaction: A nice question which shows that the much-derided single act of abstraction is not sufficient to arrive at a concept, so that abstraction is a more complex matter (perhaps even a rational one) than simple empiricists believe. |
| 7655 | The work done by the 'homunculus in the theatre' must be spread amongst non-conscious agencies [Dennett] |
| Full Idea: All the work done by the imagined homunculus in the Cartesian Theater must be distributed among various lesser agencies in the brain, none of which is conscious. | |
| From: Daniel C. Dennett (Sweet Dreams [2005], Ch.3) | |
| A reaction: Dennett's account crucially depends on consciousness being much more fragmentary than most philosophers claim it to be. It is actually full of joints, which can come apart. He may be right. |
| 7657 | Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett] |
| Full Idea: As long as your homunculi are more stupid and ignorant than the intelligent agent they compose, the nesting of homunculi within homunculi can be finite, bottoming out, eventually, with agents so unimpressive they can be replaced by machines. | |
| From: Daniel C. Dennett (Sweet Dreams [2005], Ch.6) | |
| A reaction: [Dennett first proposed this in 'Brainstorms' 1978]. This view was developed well by Lycan. I rate it as one of the most illuminating ideas in the modern philosophy of mind. All complex systems (like aeroplanes) have this structure. |
| 7656 | I don't deny consciousness; it just isn't what people think it is [Dennett] |
| Full Idea: I don't maintain, of course, that human consciousness does not exist; I maintain that it is not what people often think it is. | |
| From: Daniel C. Dennett (Sweet Dreams [2005], Ch.3) | |
| A reaction: I consider Dennett to be as near as you can get to an eliminativist, but he is not stupid. As far as I can see, the modern philosopher's bogey-man, the true total eliminativist, simply doesn't exist. Eliminativists usually deny propositional attitudes. |
| 7654 | What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett] |
| Full Idea: Neuro-science matters because - and only because - we have discovered that the many different neuromodulators and other chemical messengers that diffuse throughout the brain have functional roles that make important differences. | |
| From: Daniel C. Dennett (Sweet Dreams [2005], Ch.1) | |
| A reaction: I agree with Dennett that this is the true ground for pessimism about spectacular breakthroughs in artificial intelligence, rather than abstract concerns about irreducible features of the mind like 'qualia' and 'rationality'. |
| 9149 | To obtain the number 2 by abstraction, we only want to abstract the distinctness of a pair of objects [Fine,K] |
| Full Idea: In abstracting from the elements of a doubleton to obtain 2, we do not wish to abstract away from all features of the objects. We wish to take account of the fact that the two objects are distinct; this alone should be preserved under abstraction. | |
| From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §3) | |
| A reaction: This is Fine's strategy for meeting Frege's objection to abstraction, summarised in Idea 9146. It seems to use the common sense idea that abstraction is not all-or-nothing. Abstraction has degrees (and levels). |
| 9150 | We should define abstraction in general, with number abstraction taken as a special case [Fine,K] |
| Full Idea: Number abstraction can be taken to be a special case of abstraction in general, which can then be defined without recourse to the concept of number. | |
| From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §3) | |
| A reaction: At last, a mathematical logician recognising that they don't have a monopoly on abstraction. It is perfectly obvious that abstractions of simple daily concepts must be chronologically and logically prior to number abstraction. Number of what? |
| 9146 | After abstraction all numbers seem identical, so only 0 and 1 will exist! [Fine,K] |
| Full Idea: In Cantor's abstractionist account there can only be two numbers, 0 and 1. For abs(Socrates) = abs(Plato), since their numbers are the same. So the number of {Socrates,Plato} is {abs(Soc),abs(Plato)}, which is the same number as {Socrates}! | |
| From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §1) | |
| A reaction: Fine tries to answer this objection, which arises from §45 of Frege's Grundlagen. Fine summarises that "indistinguishability without identity appears to be impossible". Maybe we should drop talk of numbers in terms of sets. |