32 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. |
| 10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
| Full Idea: 'Equivocation' is when the terms do not mean the same thing in the premises and in the conclusion. | |
| From: JC Beall / G Restall (Logical Consequence [2005], Intro) |
| 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) |
| 10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
| Full Idea: Logic is purely formal either when it is invariant under permutation of object (Tarski), or when it has totally abstracted away from all contents, or it is the constitutive norms for thought. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
| A reaction: [compressed] The third account sounds rather woolly, and the second one sounds like a tricky operation, but the first one sounds clear and decisive, so I vote for Tarski. |
| 10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
| Full Idea: Technical work on logical consequence has either focused on proofs, where validity is the existence of a proof of the conclusions from the premises, or on models, which focus on the absence of counterexamples. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 3) |
| 10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
| Full Idea: Two different views of logical consequence are necessary truth-preservation (based on modelling possible worlds; favoured by Realists), or truth-preservation based on the meanings of the logical vocabulary (differing in various models; for Anti-Realists). | |
| From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
| A reaction: Thus Dummett prefers the second view, because the law of excluded middle is optional. My instincts are with the first one. |
| 10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
| Full Idea: A logical step is a 'material consequence' and not a formal one, if we need the contents as well as the structure or form. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 2) |
| 10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
| Full Idea: If a conclusion follows from an empty collection of premises, it is true by logic alone, and is a 'logical truth' (sometimes a 'tautology'), or, in the proof-centred approach, 'theorems'. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 4) | |
| A reaction: These truths are written as following from the empty set Φ. They are just implications derived from the axioms and the rules. |
| 10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
| Full Idea: Models are abstract mathematical structures that provide possible interpretations for each of the non-logical primitives in a formal language. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 3) |
| 10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
| Full Idea: There are many proof-systems, the main being Hilbert proofs (with simple rules and complex axioms), or natural deduction systems (with few axioms and many rules, and the rules constitute the meaning of the connectives). | |
| From: JC Beall / G Restall (Logical Consequence [2005], 3) |
| 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? |
| 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. |
| 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! |
| 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. |
| 20422 | The experience of expression and communication are intermingled in art [Croce] |
| Full Idea: It is very difficult to perceive the frontier between expression and communication in actual fact, for the two processes usually alternate rapidly and are almost intermingled. | |
| From: Benedetto Croce (The Essence of Aesthetic [1912]), quoted by Gary Kemp - Croce and Collingwood | |
| A reaction: [text unsure] I think he is getting at seeing the painting (or whatever) as a physical object, and seeing it as the experience which results from the object. The alternation of the objective and subjective views. Reminds me of Thomas Nagel. |