22 ideas
9967 | 'Impure' sets have a concrete member, while 'pure' (abstract) sets do not [Jubien] |
Full Idea: Any set with a concrete member is 'impure'. 'Pure' sets are those that are not impure, and are paradigm cases of abstract entities, such as the sort of sets apparently dealt with in Zermelo-Fraenkel (ZF) set theory. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.116) | |
A reaction: [I am unclear whether Jubien is introducing this distinction] This seems crucial in accounts of mathematics. On the one had arithmetic can be built from Millian pebbles, giving impure sets, while logicists build it from pure sets. |
5824 | How can an expression be a name, if names can change their denotation? [Evans] |
Full Idea: We need an account of what makes an expression into a name for something that will allow names to change their denotations. | |
From: Gareth Evans (The Causal Theory of Names [1973], §II) | |
A reaction: Presumably an example would be 'The Prime Minister is in the building'. Evans proposes to discuss communication, rather than strict meanings and descriptions. |
9038 | We must distinguish what the speaker denotes by a name, from what the name denotes [Evans] |
Full Idea: There are two related but distinguishable questions concerning proper names: what the speaker denotes (upon an occasion), and what the name denotes. | |
From: Gareth Evans (The Causal Theory of Names [1973], §I) | |
A reaction: I don't think any account of language makes sense without this sort of distinction, as in my favourite example: the password is 'swordfish'. So how does language gets its own meanings, independent of what speakers intend? |
9042 | A private intention won't give a name a denotation; the practice needs it to be made public [Evans] |
Full Idea: Intentions alone don't bring it about that a name gets a denotation; without the intention being manifest there cannot be the common knowledge required for the practice. | |
From: Gareth Evans (The Causal Theory of Names [1973], §II) | |
A reaction: Well, I might have a private name for some hated colleague which I mutter to myself whenever I see her. The way names, and language generally, becomes ossified is by joining the great impersonal sea of the language. ..waves of bones, |
9041 | The Causal Theory of Names is wrong, since the name 'Madagascar' actually changed denotation [Evans] |
Full Idea: Change of denotation is decisive against the Causal Theory of Names. Changes of denotation actually occur: a hearsay report misunderstood by Marco Polo transferred the name 'Madagascar' from a portion of the mainland to the African island. | |
From: Gareth Evans (The Causal Theory of Names [1973], §I) | |
A reaction: This doesn't sound decisive, as you could give an intermediate causal account of Marco Polo's mistake. I might take the famous name Winston, and baptise my son with it. And I might have done it because I thought Winston was a German dictator. |
9968 | A model is 'fundamental' if it contains only concrete entities [Jubien] |
Full Idea: A first-order model can be viewed as a kind of ordered set, and if the domain of the model contains only concrete entities then it is a 'fundamental' model. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.117) | |
A reaction: An important idea. Fundamental models are where the world of logic connects with the physical world. Any account of relationship between fundamental models and more abstract ones tells us how thought links to world. |
9965 | There couldn't just be one number, such as 17 [Jubien] |
Full Idea: It makes no sense to suppose there might be just one natural number, say seventeen. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.113) | |
A reaction: Hm. Not convinced. If numbers are essentially patterns, we might only have the number 'twelve', because we had built our religion around anything which exhibited that form (in any of its various arrangements). Nice point, though. |
9966 | The subject-matter of (pure) mathematics is abstract structure [Jubien] |
Full Idea: The subject-matter of (pure) mathematics is abstract structure per se. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.115) | |
A reaction: This is the Structuralist idea beginning to take shape after Benacerraf's launching of it. Note that Jubien gets there by his rejection of platonism, whereas some structuralist have given a platonist interpretation of structure. |
9964 | Since mathematical objects are essentially relational, they can't be picked out on their own [Jubien] |
Full Idea: The essential properties of mathematical entities seem to be relational, ...so we make no progress unless we can pick out some mathematical entities wihout presupposing other entities already picked out. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.112) | |
A reaction: [compressed] Jubien is a good critic of platonism. He has identified the problem with Frege's metaphor of a 'borehole', where we discover delightful new properties of numbers simply by reaching them. |
9963 | If we all intuited mathematical objects, platonism would be agreed [Jubien] |
Full Idea: If the intuition of mathematical objects were general, there would be no real debate over platonism. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111) | |
A reaction: It is particularly perplexing when Gödel says that his perception of them is just like sight or smell, since I have no such perception. How do you individuate very large numbers, or irrational numbers, apart from writing down numerals? |
9962 | How can pure abstract entities give models to serve as interpretations? [Jubien] |
Full Idea: I am unable to see how the mere existence of pure abstract entities enables us to concoct appropriate models to serve as interpretations. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111) | |
A reaction: Nice question. It is always assumed that once we have platonic realm, that everything else follows. Even if we are able to grasp the objects, despite their causal inertness, we still have to discern innumerable relations between them. |
9969 | The empty set is the purest abstract object [Jubien] |
Full Idea: The empty set is the pure abstract object par excellence. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.118 n8) | |
A reaction: So a really good PhD on the empty set could crack the whole nature of reality. Get to work, whoever you are! |
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. |
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'. |
5825 | Speakers intend to refer to items that are the source of their information [Evans] |
Full Idea: In general, a speaker intends to refer to the item that is the dominant source of his associated body of information. | |
From: Gareth Evans (The Causal Theory of Names [1973], §II) | |
A reaction: This sounds like a theory of reference which fully preserves the spirit of traditional empiricism. Speakers refer to ideas which connect to the source of their underlying impressions. |
5823 | The intended referent of a name needs to be the cause of the speaker's information about it [Evans] |
Full Idea: A necessary (but not sufficient) condition for x's being the intended referent of S's use of a name is that x should be the source of the causal origin of the body of information that S has associated with the name. | |
From: Gareth Evans (The Causal Theory of Names [1973], §I) | |
A reaction: This is Evans's adaptation of Kripke's causal theory of names. This cries out for a counterexample. I say something about General Montgomery, having just listened to 'Monty's Double' give a talk, believing it was Montgomery? |
9039 | If descriptions are sufficient for reference, then I must accept a false reference if the descriptions fit [Evans] |
Full Idea: The strong thesis (that descriptions are sufficient for reference) is outrageous. It would mean that if Mr X is wrongly introduced to me as Mr Y, then I truly say 'this is Mr Y' if X overwhelmingly satisfies descriptions of Y. | |
From: Gareth Evans (The Causal Theory of Names [1973], §I) | |
A reaction: [I omit some qualifying phrases] Evans says that probably no one ever held this view. It seems right. In the case of an electron it would seem that all the descriptions could be the same, except space-time location. Same electron as yesterday? |
9043 | We use expressions 'deferentially', to conform to the use of other people [Evans] |
Full Idea: Sometimes we use expressions with the overriding intention to conform to the use made of them by some other person or persons. I shall say we use the expression 'deferentially'; examples might be 'viol' or 'minuet'. | |
From: Gareth Evans (The Causal Theory of Names [1973], §II) | |
A reaction: I presume Evans wasn't very musical. This label sounds useful, if you wish to connect Grice's account of meaning with Putnam's externalist account of concepts, where deference to experts is crucial. Is all linguistic usage deferential? |
9040 | Charity should minimize inexplicable error, rather than maximising true beliefs [Evans] |
Full Idea: I think the Principle of Charity (maximise true beliefs) is unacceptable. The acceptable principle enjoins minimizing the attribution of inexplicable error and cannot be operated without a theory of the causation of belief for the creatures investigated. | |
From: Gareth Evans (The Causal Theory of Names [1973], §I) | |
A reaction: The normal principle of charity certainly seems on shaky ground if you think you have encountered a fairly normal tribe, when they in fact are in possession of the weirdest belief system on the entire planet. |