35 ideas
17621 | What matters in mathematics is its objectivity, not the existence of the objects [Dummett] |
Full Idea: As Kreisel has remarked, what is important is not the existence of mathematical objects, but the objectivity of mathematical statements. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: [see Maddy 2011:115 for the history of this idea] It seems rather unclear where Frege stands on objectivity. Maddy embraces it, following up this idea, and Tyler Burge's fat book on objectivity. |
8877 | We can't attain a coherent system by lopping off any beliefs that won't fit [Sosa] |
Full Idea: Coherence involves the logical, explanatory and probabilistic relations among one's beliefs, but it could not do to attain a tightly iterrelated system by lopping off whatever beliefs refuse to fit. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.4) | |
A reaction: This is clearly right, so the coherentist has to distinguish between lopping off a belief because it is inconvenient (fundamentalists rejecting textual contradictions), and lopping it off because it is wrong (chemists rejecting phlogiston). |
10537 | The ordered pairs <x,y> can be reduced to the class of sets of the form {{x},{x,y}} [Dummett] |
Full Idea: A classic reduction is the class of ordered pairs <x,y> being reduced to the class of sets of the form {{x},{x,y}}. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) |
10542 | To associate a cardinal with each set, we need the Axiom of Choice to find a representative [Dummett] |
Full Idea: We may suppose that with each set is associated an object as its cardinal number, but we have no systematic way, without appeal to the Axiom of Choice, of selecting a representative set of each cardinality. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) |
10554 | Intuitionists find the Incompleteness Theorem unsurprising, since proof is intuitive, not formal [Dummett] |
Full Idea: In the intuitionist view, the notion of an intuitive proof cannot be expected to coincide with that of a proof in a formal system, and Gödel's incompleteness theorem is thus unsurprising from an intuitionist point of view. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) |
8884 | The phenomenal concept of an eleven-dot pattern does not include the concept of eleven [Sosa] |
Full Idea: You could detect the absence of an eleven-dot pattern without having counted the dots, so your phenomenal concept of that array is not an arithmetical concept, and its content will not yield that its dots do indeed number eleven. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.3) | |
A reaction: Sosa is discussing foundational epistemology, but this draws attention to the gulf that has to be leaped by structuralists. If eleven is not derived from the pattern, where does it come from? Presumably two eleven-dotters are needed, to map them. |
10552 | Intuitionism says that totality of numbers is only potential, but is still determinate [Dummett] |
Full Idea: From the intuitionist point of view natural numbers are mental constructions, so their totality is only potential, but it is neverthless a fully determinate totality. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: This could only be if the means of constructing the numbers was fully determinate, so how does that situation come about? |
10540 | We can't say that light is concrete but radio waves abstract [Dummett] |
Full Idea: If abstractions were defined by whether they could affect human sense-organs, light-waves would be concrete but radio waves abstract. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: This is a pretty good baseline example. No account should draw an abstract/concrete line through the electromagnetic spectrum. |
10515 | Ostension is possible for concreta; abstracta can only be referred to via other objects [Dummett, by Hale] |
Full Idea: Dummett distinguishes, roughly, between those concrete objects which can be possible objects of ostension, and abstract objects which can only be referred to by functional expressions whose argument is some other object. | |
From: report of Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) by Bob Hale - Abstract Objects Ch.3.II | |
A reaction: At least someone has proposed a theory! Hale gives a nice critical discussion of the proposal. It is a moot point whether in the second case, when you pick out the 'other object', you are thereby able to refer to some new abstract object. |
10544 | The concrete/abstract distinction seems crude: in which category is the Mistral? [Dummett] |
Full Idea: The dichotomy between concrete and abstract objects comes to seem far too crude: to which of the two categories should we assign the Mistral, for instance? | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: He has previously given colours and points as difficult borderline cases. We can generalise this particular problem case as the question of whether a potentiality or possibility is abstract or concrete. |
10546 | We don't need a sharp concrete/abstract distinction [Dummett] |
Full Idea: There is no reason for wanting a sharp distinction between concrete and abstract objects. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: This rather depends on your ontology. If you are happy for reality to be full of weird non-physical entities, then the blurring won't bother you. If the boundary is blurred but still real, it is a very interesting one. |
10548 | The context principle for names rules out a special philosophical sense for 'existence' [Dummett] |
Full Idea: The dictum that a name has meaning only in the context of a sentence repudiates the conception of a special philosophical sense of 'existence', which claims that numbers do not exist while affirming existential statements about them. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: He refers to Frege's Context Principle. Personally I would say you could make plenty of 'affirmations' about arithmetic without them having to be 'existential'. I can say there 'is' a number between 6 and 8, without huge existential claims. |
10281 | The objects we recognise the world as containing depends on the structure of our language [Dummett] |
Full Idea: What objects we recognise the world as containing depends upon the structure of our language. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: The background to this claim is the Fregean idea that there are no objects for us if there are no concepts. Dummett is adding that there are no concepts if there is no language. I say animals have concepts and recognise objects. |
10532 | We can understand universals by studying predication [Dummett] |
Full Idea: It is by the study of the character of predication that we shall come to understand the essential nature of universals. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: I haven't founded a clearer manifesto for linguistic philosophy than that! Personally I find it highly dubious, given the shifting nature of linguistic forms, and the enormous variation between remote languages. |
10534 | 'Nominalism' used to mean denial of universals, but now means denial of abstract objects [Dummett] |
Full Idea: The original sense of 'nominalism' is the denial of universals, that is the denial of reference to either predicates or to abstract nouns. The modern sense (of Nelson Goodman) is the denial of the existence of abstract objects. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: This is why you find loads of modern philosophers vigorous attacking nominalism, only to gradually realise that they don't actually believe in universals, as traditionally understood. It's hard to keep up, when words shift their meaning. |
10541 | Concrete objects such as sounds and smells may not be possible objects of ostension [Dummett] |
Full Idea: We cannot simply distinguish concrete objects as objects of ostension, if it literally involves a pointing gesture, as this would exclude a colourless gas, a sound or a smell. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: He shifts to verbal ostension as a result, since we can talk of 'this smell'. On p.491 he suggests that affecting our senses is a sufficient condition to be concrete, but not a necessary one. |
10545 | Abstract objects may not cause changes, but they can be the subject of change [Dummett] |
Full Idea: To say that an abstract object cannot be the cause of change seems plausible enough, but the thesis that it cannot be the subject of change is problematic. The shape of an object can change, or the number of sheep on a hill. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: This seems a pretty crucial difficulty for the standard notion of abstracta as non-causal. I would say that it is an acid which could eat away the whole edifice if you thought about it for long enough. He shifts shape-change to the physical object. |
10555 | If we can intuitively apprehend abstract objects, this makes them observable and causally active [Dummett] |
Full Idea: For intuitionists, it ceases to be true that abstract objects are not observable and cannot be involved in causal interaction, since such intuitive apprehension of them may be regarded as just such an interaction. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: I would say that since abstract objects can be involved in causal interactions, in the mind, and since the mind is entirely physical (oh yes), this makes abstract objects entirely physical, which may come as a shock to some people. |
10543 | Abstract objects must have names that fall within the range of some functional expression [Dummett] |
Full Idea: For an object to be abstract, we require only that an understanding of any name of that object involves a recognition that the object is in the range of some functional expression. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: I'm not sure I understand this, but a function must involve a relation between some objects, such that a unique object is consequently picked out. |
10320 | If a genuine singular term needs a criterion of identity, we must exclude abstract nouns [Dummett, by Hale] |
Full Idea: Dummett's best argument for excluding abstract nouns relies upon the entirely Fregean requirement that with any genuine singular term there must be associated a criterion of identity. | |
From: report of Michael Dummett (Frege Philosophy of Language (2nd ed) [1973]) by Bob Hale - Abstract Objects Ch.2.II | |
A reaction: This sounds a rather rigid test. Must the criteria be logically precise, or must you just have some vague idea of what you are talking about? |
10547 | Abstract objects can never be confronted, and need verbal phrases for reference [Dummett] |
Full Idea: An abstract object can be referred to only by means of a verbal phrase, ...and no confrontation with an abstract object is possible. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: So does this mean that animals are incapable of entertaining abstract concepts? Some research suggests otherwise. Does a dog understand what a 'walk' is, without use of the word? Dummett disgracefully neglects animals in his theories. |
10531 | There is a modern philosophical notion of 'object', first introduced by Frege [Dummett] |
Full Idea: The notion of 'object', as it is now commonly used in philosophical contexts, is a modern notion, one first introduced by Frege. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: If we say 'objects exist', I think it is crucial that if we are going to introduce 'object' as a term of art, then 'exist' had better stick to normal usage. If that drifts into a term of art as well (incorporating 'subsist', or some such) we have no hope! |
8878 | It is acceptable to say a supermarket door 'knows' someone is approaching [Sosa] |
Full Idea: I am quite flexible on epistemic terminology, and am even willing to grant that a supermarket door can 'know' that someone is approaching. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.6) | |
A reaction: I take this amazing admission to be a hallmark of externalism. Sosa must extend this to thermostats. So flowers know the sun has come out. This is knowledge without belief. Could the door ever be 'wrong'? |
8880 | In reducing arithmetic to self-evident logic, logicism is in sympathy with rationalism [Sosa] |
Full Idea: In trying to reduce arithmetic to self-evident logical axioms, logicism is in sympathy with rationalism. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.7) | |
A reaction: I have heard Frege called "the greatest of all rationalist philosophers". However, the apparent reduction of arithmetic to analytic truths played into the hands of logical positivists, who could then marginalise arithmetic. |
8881 | Most of our knowledge has insufficient sensory support [Sosa] |
Full Idea: Almost nothing that one knows of history or geography or science has adequate sensory support, present or even recalled. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.7) | |
A reaction: This seems a bit glib, and may be false. The main issue to which this refers is, of course, induction, which (almost by definition) is a supposedly empirical process which goes beyond the empirical evidence. |
8882 | Perception may involve thin indexical concepts, or thicker perceptual concepts [Sosa] |
Full Idea: There is a difference between having just an indexical concept which one can apply to a perceptual characteristic (just saying 'this is thus'), and having a thicker perceptual concept of that characteristic. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.2) | |
A reaction: Both of these, of course, would precede any categorial concepts that enabled one to identify the characteristic or the object. This is a ladder foundationalists must climb if they are to reach the cellar of basic beliefs. |
8883 | Do beliefs only become foundationally justified if we fully attend to features of our experience? [Sosa] |
Full Idea: Are foundationally justified beliefs perhaps those that result from attending to our experience and to features of it or in it? | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.3) | |
A reaction: A promising suggestion. I do think our ideas acquire a different epistmological status once we have given them our full attention, though is that merely full consciousness, or full thoughtful evaluation? The latter I take to be what matters. Cf Idea 2414. |
8885 | Some features of a thought are known directly, but others must be inferred [Sosa] |
Full Idea: Some intrinsic features of our thoughts are attributable to them directly, or foundationally, while others are attributable only based on counting or inference. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.5) | |
A reaction: In practice the brain combines the two at a speed which makes the distinction impossible. I'll show you ten dot-patterns: you pick out the sixer. The foundationalist problem is that only those drained of meaning could be foundational. |
8876 | Much propositional knowledge cannot be formulated, as in recognising a face [Sosa] |
Full Idea: Much of our propositional knowledge is not easily formulable, as when a witness looking at a police lineup may know what the culprit's face looks like. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.1) | |
A reaction: This is actually a very helpful defence of foundationalism, because it shows that we will accept perceptual experiences as knowledge when they are not expressed as explicit propositions. Davidson (Idea 8801), for example, must deal with this difficulty. |
8879 | Fully comprehensive beliefs may not be knowledge [Sosa] |
Full Idea: One's beliefs can be comprehensively coherent without amounting to knowledge. | |
From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.6) | |
A reaction: Beliefs that are fully foundational or reliably sourced may also fail to be knowledge. I take it that any epistemological theory must be fallibilist (Idea 6898). Rational coherentism will clearly be sensitive to error. |
19168 | Concepts only have a 'functional character', because they map to truth values, not objects [Dummett, by Davidson] |
Full Idea: Real functions map objects onto objects, but concepts map objects onto truth value, ...so Dummett says that concepts are not functions, but that they have a 'functional character'. | |
From: report of Michael Dummett (Frege Philosophy of Language (2nd ed) [1973]) by Donald Davidson - Truth and Predication 6 |
10549 | Since abstract objects cannot be picked out, we must rely on identity statements [Dummett] |
Full Idea: Since we cannot pick an abstract object out from its surrounding, all that we need to master is the use of statements of identity between objects of a certain kind. | |
From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
A reaction: This is the necessary Fregean preliminary to using a principle of abstraction to identify two objects which are abstract (when the two objects are in an equivalence relation). Presumably circular squares and square circles are identical? |
10516 | A realistic view of reference is possible for concrete objects, but not for abstract objects [Dummett, by Hale] |
Full Idea: Dummett claims that a realistic conception of reference can be sustained for concrete objects (possible objects of ostension), but breaks down for (putative) names of (pure) abstract objects. | |
From: report of Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) by Bob Hale - Abstract Objects Ch.3.II | |
A reaction: An extremely hard claim to evaluate, because a case must first be made for abstract objects which are fundamentally different in kind. Realistic reference must certainly deal with these hard cases. Field rejects Dummett's abstract points. |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |