36 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. |
| 18767 | Free logics has terms that do not designate real things, and even empty domains [Anderson,CA] |
| Full Idea: Free logics say 1) singular terms are allowed that do not designate anything that exists; sometimes 2) is added: the domain of discourse is allowed to be empty. Logics with both conditions are called 'universally free logics'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.3) | |
| A reaction: I really like the sound of this, and aim to investigate it. Karel Lambert's writings are the starting point. Maybe the domain of logic is our concepts, rather than things in the world, in which case free logic sounds fine. |
| 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) |
| 18763 | Basic variables in second-order logic are taken to range over subsets of the individuals [Anderson,CA] |
| Full Idea: Under its now standard principal interpretation, the monadic predicate variables in second-order logic range over subsets of the domain on individuals. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: This is an interpretation in which properties are just sets of things, which is fine if you are a logician, but not if you want to talk about anything important. Still, we must play the game. Boolos introduced plural quantification at this point. |
| 18771 | Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities [Anderson,CA] |
| Full Idea: Ontological quantifiers might just as well range over all the entities needed for the semantics. ...The minimal way would be to just stop calling '∃' an 'existential quantifier', and always read it as 'there is...' rather than 'there exists...'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: There is no right answer here, but it seems to be the strategy adopted by most logicians, and the majority of modern metaphysicians. They just allow abstracta, and even fictions, to 'exist', while not being fussy what it means. Big mistake! |
| 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) |
| 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? |
| 18769 | Do mathematicians use 'existence' differently when they say some entity exists? [Anderson,CA] |
| Full Idea: A cursory examination shows that mathematicians have no aversion to saying that this-or-that mathematical entity exists. But is this a different sense of 'existence'? | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: For those of us like me and my pal Quine who say that 'exist' is univocal (i.e. only one meaning), this is a nice challenge. Quine solves it by saying maths concerns sets of objects. I, who don't like sets, am puzzled (so I turn to fictionalism...). |
| 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. |
| 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. |
| 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. |
| 18770 | We can distinguish 'ontological' from 'existential' commitment, for different kinds of being [Anderson,CA] |
| Full Idea: There are sensible ways to maike a distinction between different kinds of being. ..One need not fear that this leads to a 'bloated ontology'. ...We need only distinguish 'ontological commitment' from 'existential commitment' | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: He speaks of giving fictional and abstract entities a 'lower score' in existence. I think he means the 'ontological' commitment to be the stronger of the two. |
| 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! |
| 18766 | 's is non-existent' cannot be said if 's' does not designate [Anderson,CA] |
| Full Idea: The paradox of negative existentials says that if 's' does not designate something, then the sentence 's is non-existent' is untrue. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.1) | |
| A reaction: This only seems be a problem for logicians. Everyone else can happily say 'my coffee is non-existent'. |
| 18768 | We cannot pick out a thing and deny its existence, but we can say a concept doesn't correspond [Anderson,CA] |
| Full Idea: Parmenides was correct - one cannot speak of that which is not, even to say that it is not. But one can speak of concepts and say of them that they do not correspond to anything real. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.5) | |
| A reaction: [This summarises Alonso Church, who was developing Frege] This sounds like the right thing to say about non-existence, but then the same principle must apply to assertions of existence, which will also be about concepts and not things. |
| 18765 | Individuation was a problem for medievals, then Leibniz, then Frege, then Wittgenstein (somewhat) [Anderson,CA] |
| Full Idea: The medieval philosophers and then Leibniz were keen on finding 'principles of individuation', and the idea appears again in Frege, to be taken up in some respects by Wittgenstein. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.6) | |
| A reaction: I take a rather empirical approach to this supposed problem, and suggest we break 'individuation' down into its component parts, and then just drop the word. Discussions of principles of individuations strike me as muddled. Wiggins and Lowe today. |
| 18764 | The notion of 'property' is unclear for a logical version of the Identity of Indiscernibles [Anderson,CA] |
| Full Idea: In the Identity of Indiscernibles, one speaks about properties, and the notion of a property is by no means clearly fixed and formalized in modern symbolic logic. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: The unclarity of 'property' is a bee in my philosophical bonnet, in speech, and in metaphysics, as well as in logic. It may well be the central problem in our attempts to understand the world in general terms. He cites intensional logic as promising. |
| 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. |
| 20416 | By 1790 aestheticians were mainly trying to explain individual artistic genius [Kemp] |
| Full Idea: By 1790 the idea that a central task for the aesthetician was to explain or at least adequately to describe the phenomenon of the individual artistic genius had definitely taken hold. | |
| From: Gary Kemp (Croce and Collingwood [2012], Intro) | |
| A reaction: Hence when Kant and Hegel write about art, though are only really thinking of the greatest art (which might be in touch with the sublime or Spirit etc.). Nowadays I think we expect accounts of art to cover modest amateur efforts as well. |
| 20417 | Expression can be either necessary for art, or sufficient for art (or even both) [Kemp] |
| Full Idea: Seeing art as expression has two components: 1) if something is a work of art, then it is expressive, 2) if something is expressive, then it is a work of art. So expression can be necessary or sufficient for art. (or both, for Croce and Collingwood). | |
| From: Gary Kemp (Croce and Collingwood [2012], 1) | |
| A reaction: I take the idea that art 'expresses' the feelings of an artist to be false. Artists are more like actors. Nearly all art has some emotional impact, which is of major importance, but I don't think 'expression' is a very good word for that. |
| 20419 | We don't already know what to express, and then seek means of expressing it [Kemp] |
| Full Idea: One cannot really know, or be conscious of, what it is that one is going to express, and then set about expressing it; indeed if one is genuinely conscious of it then one has already expressed it. | |
| From: Gary Kemp (Croce and Collingwood [2012], 1) | |
| A reaction: That pretty conclusively demolishes the idea that art is expression. I picture Schubert composing at the piano: he doesn't feel an emotion, and then hunt for its expression on the keyboard; he seeks out expressive phrases by playing. |
| 20418 | The horror expressed in some works of art could equallly be expressed by other means [Kemp] |
| Full Idea: The horror or terror of Edvard Much's 'The Scream' could in principle be expressed by different paintings, or even by works of music. | |
| From: Gary Kemp (Croce and Collingwood [2012], 1) | |
| A reaction: A very good simple point against the idea that the point of art is expression. It leaves out the very specific nature of each work of art! |