| 9075 | If health happened to be white, the science of health would not study whiteness [Aristotle] |
| Full Idea: If we have a science of the healthy, and the healthy happens to be white, the science of the healthy does not deal with the white. | |
| From: Aristotle (Metaphysics [c.324 BCE], 1077b30) | |
| A reaction: Given this point, we certainly cannot think of Aristotle as believing in simple abstractionism. The problem of the coextension of renates and cordates looms here (Idea 7317). 'Relevant' similarities require extensive cross-referencing. |
| 15385 | Abelard's problem is the purely singular aspects of things won't account for abstraction [Panaccio on Abelard] |
| Full Idea: Abelard's problem is that it is not clear how singular forms could do the job they are supposed to do - to account for abstraction, namely - if they were purely singular aspects. | |
| From: comment on Peter Abelard (works [1135]) by Claude Panaccio - Medieval Problem of Universals 'Peter' | |
| A reaction: A very nice question! If we say that abstracta are just acquired by ignoring all but that feature in some objects, how do we identify 'that' feature in order to select it? The instances must share something in common to be abstracted. |
| 9096 | The mind must produce by its own power an image of the individual species [Aquinas] |
| Full Idea: The agent mind must itself turn to images, and produce by its own power in the receptive mind a representation as to species of whatever the images represent as individual. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ch.5 Q85.1) | |
| A reaction: Unlike much of this section, this sentence supports Geach's claim that Aquinas agrees with him - that the mind creates its concepts, rather than 'abstracting' them from experience. |
| 8638 | Thomae's idea of abstract from peculiarities gives a general concept, and leaves the peculiarities [Frege on Thomae] |
| Full Idea: When Thomae says "abstract from the peculiarities of the individual members of a set of items", or "disregard those characteristics which serve to distinguish them", we get a general concept under which they fall. The things keep their characteristics. | |
| From: comment on C.J. Thomae (works [1869], §34) by Gottlob Frege - Grundlagen der Arithmetik (Foundations) §34 | |
| A reaction: Interesting. You don't have to leave out their distinctive fur in order to count cats. But you have to focus on some aspect of them, because they aren't 'three meats'. |
| 9979 | Dedekind has a conception of abstraction which is not psychologistic [Dedekind, by Tait] |
| Full Idea: Dedekind's conception is psychologistic only if that is the only way to understand the abstraction that is involved, which it is not. | |
| From: report of Richard Dedekind (Nature and Meaning of Numbers [1888]) by William W. Tait - Frege versus Cantor and Dedekind IV | |
| A reaction: This is a very important suggestion, implying that we can retain some notion of abstractionism, while jettisoning the hated subjective character of private psychologism, which seems to undermine truth and logic. |
| 11846 | If we abstract the difference between two houses, they don't become the same house [Frege] |
| Full Idea: If abstracting from the difference between my house and my neighbour's, I were to regard both houses as mine, the defect of the abstraction would soon be made clear. It may, though, be possible to obtain a concept by means of abstraction... | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §99) | |
| A reaction: Note the important concession at the end, which shows Frege could never deny the abstraction process, despite all the modern protests by Geach and Dummett that he totally rejected it. |
| 9588 | Number-abstraction somehow makes things identical without changing them! [Frege] |
| Full Idea: Number-abstraction simply has the wonderful and very fruitful property of making things absolutely the same as one another without altering them. Something like this is possible only in the psychological wash-tub. | |
| From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.332) | |
| A reaction: Frege can be awfully sarcastic. I don't really see his difficulty. For mathematics we only need to know what is countable about an object - we don't need to know how many hairs there are on the cat, only that it has identity. |
| 5816 | Frege said concepts were abstract entities, not mental entities [Frege, by Putnam] |
| Full Idea: Frege, rebelling against 'psychologism', identified concepts (and hence 'intensions' or meanings) with abstract entities rather than mental entities. | |
| From: report of Gottlob Frege (works [1890]) by Hilary Putnam - Meaning and Reference p.119 | |
| A reaction: This, of course, assumes that 'abstract' entities and 'mental' entities are quite distinct things. A concept is presumably a mental item which has content, and the word 'concept' is simply ambiguous, between the container and the contents. |
| 9819 | Psychologism blunders in focusing on concept-formation instead of delineating the concepts [Dummett on Husserl] |
| Full Idea: Husserl substitutes his account of the process of concept-formation for a delineation of the concept. It is above all in making this substitution that psychologism is objectionable (and Frege opposed it so vehemently). | |
| From: comment on Edmund Husserl (Philosophy of Arithmetic [1894]) by Michael Dummett - Frege philosophy of mathematics Ch.2 | |
| A reaction: While this is a powerful point which is a modern orthodoxy, it hardly excludes a study of concept-formation from being of great interest for other reasons. It may not appeal to logicians, but it is crucial part of the metaphysics of nature. |
| 9851 | Husserl wanted to keep a shadowy remnant of abstracted objects, to correlate them [Dummett on Husserl] |
| Full Idea: Husserl saw that abstracted units, though featureless, must in some way retain their distinctness, some shadowy remnant of their objects. So he wanted to correlate like-numbered sets, not just register their identity, but then abstractionism fails. | |
| From: comment on Edmund Husserl (Philosophy of Arithmetic [1894]) by Michael Dummett - Frege philosophy of mathematics Ch.12 | |
| A reaction: Abstractionism is held to be between the devil and the deep blue sea, of depending on units which are identifiable, when they are defined as devoid of all individuality. We seem forced to say that the only distinction between them is countability. |
| 10733 | The abstractionist cannot explain 'some' and 'not' [Geach] |
| Full Idea: The abstractionist cannot give a logically coherent account of the features that are supposed to be reached by discriminative attention, corresponding to the words 'some' and 'not'. | |
| From: Peter Geach (Abstraction Reconsidered [1983], p.167) | |
| A reaction: I understand 'some' in terms of mereology, because that connects to experience, and 'not' I take to derive more from psychological experience than from the physical world, building on thwarted expectation, which even animals experience. |
| 10734 | Only a judgement can distinguish 'striking' from 'being struck' [Geach] |
| Full Idea: To understand the verb 'to strike' we must see that 'striking' and 'being struck' are different, but necessarily go together in event and thought; only in the context of a judgment can they be distinguished, when we think of both together. | |
| From: Peter Geach (Abstraction Reconsidered [1983], p.168) | |
| A reaction: Geach seems to have a strange notion that judgements are pure events which can precede all experience, and are the only ways we can come to understand experience. He needs to start from animals (or 'brutes', as he still calls them!). |
| 8771 | 'Or' and 'not' are not to be found in the sensible world, or even in the world of inner experience [Geach] |
| Full Idea: Nowhere in the sensible world could you find anything to be suitably labelled 'or' or 'not'. So the abstractionist appeals to an 'inner sense', or hesitation for 'or', and of frustration or inhibition for 'not'. Personally I see a threat in 'or else'! | |
| From: Peter Geach (Mental Acts: their content and their objects [1957], §7) | |
| A reaction: This is a key argument of Geach's against abstractionism. As a logician he prefers to discuss connectives rather than, say, colours. I think they might be meta-abstractions, which you create internally once you have picked up the knack. |
| 8772 | We can't acquire number-concepts by extracting the number from the things being counted [Geach] |
| Full Idea: The number-concepts just cannot be got by concentrating on the number and abstracting from the kind of things being counted. | |
| From: Peter Geach (Mental Acts: their content and their objects [1957], §8) | |
| A reaction: This point is from Frege - that if you 'abstract away' everything apart from the number, you are simply left with nothing in experience. The objection might, I think, be met by viewing it as second-order abstraction, perhaps getting to a pattern first. |
| 8773 | Abstractionists can't explain counting, because it must precede experience of objects [Geach] |
| Full Idea: The way counting is learned is wholly contrary to abstractionist preconceptions, because the series of numerals has to be learned before it can be applied. | |
| From: Peter Geach (Mental Acts: their content and their objects [1957], §8) | |
| A reaction: You might learn to parrot the names of numbers, but you could hardly know what they meant if you couldn't count anything. See Idea 3907. I would have thought that individuating objects must logically and pedagogically precede counting. |
| 8774 | The numbers don't exist in nature, so they cannot have been abstracted from there into our languages [Geach] |
| Full Idea: The pattern of the numeral series that is grasped by a child exists nowhere in nature outside human languages, so the human race cannot possibly have discerned this pattern by abstracting it from some natural context. | |
| From: Peter Geach (Mental Acts: their content and their objects [1957], §8) | |
| A reaction: This is a spectacular non sequitur, which begs the question. Abstractionists precisely claim that the process of abstraction brings numerals into human language from the natural context. Structuralism is an attempt to explain the process. |
| 8778 | Blind people can use colour words like 'red' perfectly intelligently [Geach] |
| Full Idea: It is not true that men born blind can form no colour-concepts; a man born blind can use the word 'red' with a considerable measure of intelligence; he can show a practical grasp of the logic of the word. | |
| From: Peter Geach (Mental Acts: their content and their objects [1957], §10) | |
| A reaction: Weak. It is obvious that they pick up the word 'red' from the usage of sighted people, and the usage of the word doesn't guarantee a grasp of the concept, as when non-mathematicians refer to 'calculus'. Compare Idea 7377 and Idea 7866. |
| 8777 | If 'black' and 'cat' can be used in the absence of such objects, how can such usage be abstracted? [Geach] |
| Full Idea: Since we can use the terms 'black' and 'cat' in situations not including any black object or any cat, how could this part of the use be got by abstraction? | |
| From: Peter Geach (Mental Acts: their content and their objects [1957], §10) | |
| A reaction: [He is attacking H.H. Price] It doesn't seem a huge psychological leap to apply the word 'cat' when we remember a cat, and once it is in the mind we can play games with our abstractions. Cats are smaller than dogs. |
| 8779 | We can form two different abstract concepts that apply to a single unified experience [Geach] |
| Full Idea: It is impossible to form the concept of 'chromatic colour' by discriminative attention to a feature given in my visual experience. In seeing a red window-pane, I do not have two sensations, one of redness and one of chromatic colour. | |
| From: Peter Geach (Mental Acts: their content and their objects [1957], §10) | |
| A reaction: Again Geach begs the question, because abstractionists claim that you can focus on two different 'aspects' of the one experience, as that it is a 'window', or it is 'red', or it is not a wall, or it is not monochrome. |
| 9833 | To abstract from spoons (to get the same number as the forks), the spoons must be indistinguishable too [Dummett] |
| Full Idea: To get units by abstraction, units arrived at by abstraction from forks must the identical to that abstracted from spoons, with no trace of individuality. But if spoons can no longer be differentiated from forks, they can't differ from one another either. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch. 8) | |
| A reaction: [compressed] Dummett makes the point better than Frege did. Can we 'think of a fork insofar as it is countable, ignoring its other features'? What are we left thinking of? Frege says it must still be the whole fork. 'Nice fork, apart from the colour'. |
| 8165 | To 'abstract from' is a logical process, as opposed to the old mental view [Dummett] |
| Full Idea: The phrase 'abstracted from' does not refer to the mental process of abstraction by disregarding features of concrete objects, in which many nineteenth century thinkers believed; it is a logical (not mental) process of concept-formation. | |
| From: Michael Dummett (Thought and Reality [1997], 1) | |
| A reaction: I take Frege's attack on 'psychologism' to be what dismissed the old view (Idea 5816). Could one not achieve the same story by negating properties in quantified logical expressions, instead of in the mind? |
| 16289 | We can't account for an abstraction as 'from' something if the something doesn't exist [Lewis] |
| Full Idea: We cannot really be talking about the things whence an abstraction-like entity is abstracted if there are no such things. | |
| From: David Lewis (On the Plurality of Worlds [1986], 3.3) | |
| A reaction: Sounds like a killer blow, but I don't think so. I can't think of a concept which doesn't have a possible basis in reality, assuming that it might be a complex assemblage of abstracted components. |
| 9074 | Abstraction cannot produce the concept of a 'game', as there is no one common feature [Barnes,J] |
| Full Idea: Abstractions cannot account for those general terms whose instances do not have any set of features in common. The word 'game' is not ambiguous, but not all games have one thing in common; they are united by looser 'family resemblance'. | |
| From: Jonathan Barnes (Commentary on 'Posterior Analytics [1993], n to 97b7) | |
| A reaction: (This point comes from Wittgenstein, Idea 4141) English-speakers can't agree on borderline cases (avoiding cracks in pavements). Life is just a game. The objection would be refuted by discussion of higher-level abstractions to make connections. |
| 9073 | Abstraction from an ambiguous concept like 'mole' will define them as the same [Barnes,J] |
| Full Idea: The procedure of abstraction will not allow us to distinguish the ambiguity between 'mole' as an animal and as an artefact. The stages of abstraction will only end up with 'physical object', and this will then count as the definition. | |
| From: Jonathan Barnes (Commentary on 'Posterior Analytics [1993], n to 97b7) | |
| A reaction: This is a problem if you adhere to a rather precise account of the steps of abstraction, with every stage explicit (and probably expressed in terms of sets), but I suspect that the real tangle of semi-conscious abstraction avoids this problem. |
| 9072 | Defining concepts by abstractions will collect together far too many attributes from entities [Barnes,J] |
| Full Idea: If we create abstractions by collection of attributes common to groups of entities, we will collect far too many attributes, and wrongly put them into the definition (such as 'having hairless palms' when identifying 'men'). | |
| From: Jonathan Barnes (Commentary on 'Posterior Analytics [1993], n to 97b7) | |
| A reaction: [compressed] Defining 'man' is a hugely complex business (see Idea 1763!), unlike defining 'hair' or 'red'. Some attributes will strike perceivers immediately, but absence of an attribute is not actually 'perceived' at all. |
| 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. |
| 9972 | Why should abstraction from two equipollent sets lead to the same set of 'pure units'? [Tait] |
| Full Idea: Why should abstraction from two equipollent sets lead to the same set of 'pure units'? | |
| From: William W. Tait (Frege versus Cantor and Dedekind [1996]) | |
| A reaction: [Tait is criticising Cantor] This expresses rather better than Frege or Dummett the central problem with the abstractionist view of how numbers are derived from matching groups of objects. |
| 9980 | If abstraction produces power sets, their identity should imply identity of the originals [Tait] |
| Full Idea: If the power |A| is obtained by abstraction from set A, then if A is equipollent to set B, then |A| = |B|. But this does not imply that A = B. So |A| cannot just be A, taken in abstraction, unless that can identify distinct sets, ..or create new objects. | |
| From: William W. Tait (Frege versus Cantor and Dedekind [1996], V) | |
| A reaction: An elegant piece of argument, which shows rather crucial facts about abstraction. We are then obliged to ask how abstraction can create an object or a set, if the central activity of abstraction is just ignoring certain features. |