69 ideas
9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
Full Idea: The standard sense of a 'contextual definition' permits the eliminating of the defined expression, by transforming any sentence containing it into an equivalent one not containing it. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.11) | |
A reaction: So the whole definition might be eliminated by a single word, which is not equivalent to the target word, which is embedded in the original expression. Clearly contextual definitions have some problems |
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
Full Idea: For sentential or first-order logic, the logical truths are represented by valid formulas; in higher-order logics, by sentences formulated in purely logical terms. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch. 3) |
9896 | A prime number is one which is measured by a unit alone [Dummett] |
Full Idea: A prime number is one which is measured by a unit alone. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], 7 Def 11) | |
A reaction: We might say that the only way of 'reaching' or 'constructing' a prime is by incrementing by one till you reach it. That seems a pretty good definition. 64, for example, can be reached by a large number of different routes. |
18255 | Addition of quantities is prior to ordering, as shown in cyclic domains like angles [Dummett] |
Full Idea: It is essential to a quantitative domain of any kind that there should be an operation of adding its elements; that this is more fundamental thaat that they should be linearly ordered by magnitude is apparent from cyclic domains like that of angles. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], 22 'Quantit') |
9895 | A number is a multitude composed of units [Dummett] |
Full Idea: A number is a multitude composed of units. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], 7 Def 2) | |
A reaction: This is outdated by the assumption that 0 and 1 are also numbers, but if we say one is really just the 'unit' which is preliminary to numbers, and 0 is as bogus a number as i is, we might stick with the original Greek distinction. |
9852 | We understand 'there are as many nuts as apples' as easily by pairing them as by counting them [Dummett] |
Full Idea: A child understands 'there are just as many nuts as apples' as easily by pairing them off as by counting them. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.12) | |
A reaction: I find it very intriguing that you could know that two sets have the same number, without knowing any numbers. Is it like knowing two foreigners spoke the same words, without understanding them? Or is 'equinumerous' conceptually prior to 'number'? |
9829 | The identity of a number may be fixed by something outside structure - by counting [Dummett] |
Full Idea: The identity of a mathematical object may sometimes be fixed by its relation to what lies outside the structure to which it belongs. It is more fundamental to '3' that if certain objects are counted, there are three of them. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch. 5) | |
A reaction: This strikes me as Dummett being pushed (by his dislike of the purely abstract picture given by structuralism) back to a rather empiricist and physical view of numbers, though he would totally deny that. |
9828 | Numbers aren't fixed by position in a structure; it won't tell you whether to start with 0 or 1 [Dummett] |
Full Idea: The number 0 is not differentiated from 1 by its position in a progression, otherwise there would be no difference between starting with 0 and starting with 1. That is enough to show that numbers are not identifiable just as positions in structures. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch. 5) | |
A reaction: This sounds conclusive, but doesn't feel right. If numbers are a structure, then where you 'start' seems unimportant. Where do you 'start' in St Paul's Cathedral? Starting sounds like a constructivist concept for number theory. |
9876 | Set theory isn't part of logic, and why reduce to something more complex? [Dummett] |
Full Idea: The two frequent modern objects to logicism are that set theory is not part of logic, or that it is of no interest to 'reduce' a mathematical theory to another, more complex, one. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.18) | |
A reaction: Dummett says these are irrelevant (see context). The first one seems a good objection. The second one less so, because whether something is 'complex' is a quite different issue from whether it is ontologically more fundamental. |
9884 | The distinction of concrete/abstract, or actual/non-actual, is a scale, not a dichotomy [Dummett] |
Full Idea: The distinction between concrete and abstract objects, or Frege's corresponding distinction between actual and non-actual objects, is not a sharp dichotomy, but resembles a scale upon which objects occupy a range of positions. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.18) | |
A reaction: This might seem right if you live (as Dummett chooses to) in the fog of language, but it surely can't be right if you think about reality. Is the Equator supposed to be near the middle of his scale? Either there is an equator, or there isn't. |
9869 | Realism is just the application of two-valued semantics to sentences [Dummett] |
Full Idea: Fully fledged realism depends on - indeed, may be identified with - an undiluted application to sentences of the relevant kind of straightforwards two-valued semantics. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.15) | |
A reaction: This is the sort of account you get from a whole-heartedly linguistic philosopher. Personally I would say that Dummett has got it precisely the wrong way round: I adopt a two-valued semantics because my metaphysics is realist. |
14334 | Modest realism says there is a reality; the presumptuous view says we can accurately describe it [Mumford] |
Full Idea: The claim of modest realism is that there is a subject-independent reality; the presumptuous claim is that we are capable of describing that reality accurately. | |
From: Stephen Mumford (Dispositions [1998], 09.1) | |
A reaction: And the super-presumptuous claim is that there only exists one ultimate accurate description of reality. I am happy to call myself a Modest Realist on this one. |
14306 | Anti-realists deny truth-values to all statements, and say evidence and ontology are inseparable [Mumford] |
Full Idea: The anti-realist declines to permit that all statements have truth-values. ...The essence of the anti-realist position is that evidence and ontology cannot be separated. | |
From: Stephen Mumford (Dispositions [1998], 03.6) | |
A reaction: [second half on p.51] The idea that evidence and ontology are 'inseparable' strikes me as an absurd idea. The proposal that you should not speculate about ontology without some sort of evidence is, of course, not unreasonable. |
14333 | Dispositions and categorical properties are two modes of presentation of the same thing [Mumford] |
Full Idea: The dispositional and the categorical are correctly understood just as two modes of presentation of the same instantiated properties. | |
From: Stephen Mumford (Dispositions [1998], 08.6) | |
A reaction: This is Mumford's own conclusion, after discussing the views of Armstrong. How about 'a disposition is the modal profile' of a categorical property? |
14315 | Categorical properties and dispositions appear to explain one another [Mumford] |
Full Idea: Though categorical properties provide explanations for dispositions, categorical properties are also explained by dispositions; hence neither category uniquely explains the other. | |
From: Stephen Mumford (Dispositions [1998], 05.3) | |
A reaction: The conclusion doesn't seem to follow. It depends which one is found at the bottom level. It can go up from a basic disposition, to a categorical property, to another disposition - or the other way around. |
14332 | There are four reasons for seeing categorical properties as the most fundamental [Mumford] |
Full Idea: Four reasons for reducing everything to the categorical are: categorical predicates have wider scope; dispositions are variably realised by the categorical; categorical is 1st order, dispositions 2nd; categorical properties are explanatorily basic. | |
From: Stephen Mumford (Dispositions [1998], 08.5) | |
A reaction: I particularly reject the fourth reason, as I take categorical properties as still in need of explanation. The categorical view is contingent (and Humean), but I take the categorical properties to be necessitated by the underlying powers. |
14336 | Categorical predicates are those unconnected to functions [Mumford] |
Full Idea: A predicate which is conceptually connected to no function ... is a categorical predicate. | |
From: Stephen Mumford (Dispositions [1998], 09.7) | |
A reaction: This is an expansion of Mumford's own theory of dispositions, as functional. Does a cork in a wine bottle have a function, but without doing anything? It seems to achieve its function purely through its structure. |
14302 | A lead molecule is not leaden, and macroscopic properties need not be microscopically present [Mumford] |
Full Idea: Though lead is said to be composed of molecules of lead, these molecules are not leaden in the everyday sense of the word. This suggests that a property need not be present at the microscopic level in order to be present at the macroscopic level. | |
From: Stephen Mumford (Dispositions [1998], 02.3) | |
A reaction: [He quotes Joske] This strikes me as a key principle to grasp about properties. One H2O molecule is not water, any more than a brick is a house! Nearly all properties (or all?) are 'emergent' (in the sensible, non-mystical use of that word). |
14294 | Dispositions are attacked as mere regularities of events, or place-holders for unknown properties [Mumford] |
Full Idea: Dispositions are attacked as either just saying how something will behave (logical fictions about regularities of events), or as primitive pre-scientific terms like 'phlogiston', place-holders used when we are ignorant of real properties. | |
From: Stephen Mumford (Dispositions [1998], 01.1) | |
A reaction: [compressed] The first view he calls the Ryle-Wittgenstein view, which seems to track back to Hume. |
14316 | If dispositions have several categorical realisations, that makes the two separate [Mumford] |
Full Idea: We might claim that dispositions are variably realized by a number of categorical bases; therefore they must be distinct from those bases. | |
From: Stephen Mumford (Dispositions [1998], 05.4) | |
A reaction: Cars can be realised by a variety of models, therefore models are not cars? This might work if dispositions are only characterised functionally, as Mumford proposes, but I'm not convinced. |
14310 | Dispositions are classifications of properties by functional role [Mumford] |
Full Idea: A dispositional property is the classification of a property according to its functional role....[p.85] What is essential to a disposition - its identity condition - is its functional role. | |
From: Stephen Mumford (Dispositions [1998], 04.5) | |
A reaction: This is Mumford's view of dispositions. I am wary of any proposal to define something according to its role, because it must have an intrinsic nature which equips it to have that role. |
14317 | I say the categorical base causes the disposition manifestation [Mumford] |
Full Idea: The view I promote is one where the categorical base is a cause of the disposition manifestation. | |
From: Stephen Mumford (Dispositions [1998], 05.5) | |
A reaction: It seems to me (I think) that the most basic thing has to be a power, whose nature is intrinsically beyond our grasp, and that categorical properties are the result of these powers. Powers are dispositional in character. |
14313 | All properties must be causal powers (since they wouldn't exist otherwise) [Mumford] |
Full Idea: It seems that every property must be a causal power, since every property must be causally potent (as a necessary condition of its very existence). | |
From: Stephen Mumford (Dispositions [1998], 04.7) | |
A reaction: Mumford cautiously endorses this idea, which seems to rest on the thesis that 'to exist is to have causal powers'. I think I am even keener on it than Mumford is. Powers and properties need to be disentangled, however. |
14318 | Intrinsic properties are just causal powers, and identifying a property as causal is then analytic [Mumford] |
Full Idea: Understanding intrinsic properties as being causal powers is likely to be most profitable, and, if true, renders the causal criterion of property existence true analytically. | |
From: Stephen Mumford (Dispositions [1998], 06.2) | |
A reaction: [He cites E.Fales on this] I'm inclined to think that in the ultimate ontology the notion of a 'property' drops out. There are true causal powers, and then conventional human ways of grouping such powers together and naming them. |
14293 | Dispositions are ascribed to at least objects, substances and persons [Mumford] |
Full Idea: Dispositions are ascribed to at least three distinguishable classes of things: objects, substances, and persons. | |
From: Stephen Mumford (Dispositions [1998], 01.1) | |
A reaction: Are dispositions not also ascribed to properties? Magnetism has a disposition to attract iron filings? |
14326 | Unlike categorical bases, dispositions necessarily occupy a particular causal role [Mumford] |
Full Idea: The idea of a disposition occupying a different causal role involves a conceptual confusion, ...but there is no conceptual or logical absurdity in a categorical base occupying a different causal role. | |
From: Stephen Mumford (Dispositions [1998], 07.3) | |
A reaction: This is the core of Mumford's theory of dispositions. I'm beginning to think that dispositions are merely ways we have of describing and labelling functional mechanisms, and so 'dispositions' drop out of the final story. |
14298 | Dispositions can be contrasted either with occurrences, or with categorical properties [Mumford] |
Full Idea: For some the notion of a disposition is contrasted with the notion of an occurrence; for others, it is contrasted with that of a categorical property. | |
From: Stephen Mumford (Dispositions [1998], 01.6) | |
A reaction: I vote for dispositions over the other two, but I take the categorical properties to be the main rival. |
14314 | If dispositions are powers, background conditions makes it hard to say what they do [Mumford] |
Full Idea: The realist says that disposition ascriptions are ascriptions of real powers. This leaves unanswered the question, 'power to do what?' The problem of background conditions means that the realist cannot say what it is that a power is a power to do. | |
From: Stephen Mumford (Dispositions [1998], 04.9) | |
A reaction: It is hard to say what a disposition will do, under any other account of dispositions. I would take a power to be defined by a 'modal profile', rather than an actual account of what it will lead to. |
14325 | Maybe dispositions can replace powers in metaphysics, as what induces property change [Mumford] |
Full Idea: Dispositions can regain the metaphysical role traditionally ascribed to real powers: the that-in-virtue-of-which-something-will-G, if F. | |
From: Stephen Mumford (Dispositions [1998], 06.9) | |
A reaction: The attraction is that dispositions can be specified a little more clearly (especially in Mumford's functional version) whereas there may be no more to say about a power once it has been located and named. |
14312 | Orthodoxy says dispositions entail conditionals (rather than being equivalent to them) [Mumford] |
Full Idea: The orthodox realist view has it that what makes an ascription a disposition ascription is not that it is equivalent to a conditional proposition but that it entails one. | |
From: Stephen Mumford (Dispositions [1998], 04.7) | |
A reaction: Mumford says that Martin has shown that dispositions need not entail conditionals (when a 'fink' is operating, something which intervenes between disposition and outcome). |
14299 | There could be dispositions that are never manifested [Mumford] |
Full Idea: It seems plausible that a disposition could be possessed though no manifestation events occur. | |
From: Stephen Mumford (Dispositions [1998], 01.6) | |
A reaction: It is more than 'plausible' - it is screamingly obvious to everybody, apart from a few philosophers. "Some mute inglorious Milton here may rest" (Gray's Elegy). |
14291 | Dispositions are not just possibilities - they are features of actual things [Mumford] |
Full Idea: Dispositions should correctly be understood as more than mere possibilities. To say something has a disposition is to say something about how it is actually. | |
From: Stephen Mumford (Dispositions [1998], Pref) | |
A reaction: To me this is a basic axiom of metaphysics. The word 'power' serves well for the actual embodiment of a disposition. A power gives rise to one or more dispositions. Or one or more powers give rise to a disposition? |
14323 | If every event has a cause, it is easy to invent a power to explain each case [Mumford] |
Full Idea: Given any event, and the assumption that every event has a cause, then some power can always be invented as the cause of that event. | |
From: Stephen Mumford (Dispositions [1998], 06.6) | |
A reaction: This is a useful warning, and probably explains why 'powers' fell out of fashion in scientifice theorising. They seem to make a return, though, as an appropriate term for the bottom level of each of our explanations. |
14328 | Traditional powers initiate change, but are mysterious between those changes [Mumford] |
Full Idea: In the old-fashioned sense, 'powers' are real potentialities that initiate changes but seem to have a mysterious existence in between those changes. | |
From: Stephen Mumford (Dispositions [1998], 07.10) | |
A reaction: What is a person when they are asleep? What is a dishwasher when it isn't running? What is gunpowder when it doesn't explode? We all understand latent powers. To see them as a 'mystery' is to want to know too much. |
14331 | Categorical eliminativists say there are no dispositions, just categorical states or mechanisms [Mumford] |
Full Idea: The categorical eliminativist claims that there are no dispositional properties. All properties must be conceived of as categorical states or mechanisms, in the spirit of Boyle's explanation of powers. | |
From: Stephen Mumford (Dispositions [1998], 08.3A) | |
A reaction: What is the difference between a structure and a mechanism? How do we distinguish an active from an inactive mechanism? Without powers or dispositions, nature is dead junk. |
9880 | Nominalism assumes unmediated mental contact with objects [Dummett] |
Full Idea: The nominalist superstition is based ultimately on the myth of the unmediated presentation of genuine concrete objects to the mind. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.18) | |
A reaction: Personally I am inclined to favour nominalism and a representative theory of perception, which acknowledges some 'mediation', but of a non-linguistic form. Any good theory here had better include animals, which seem to form concepts. |
9885 | The existence of abstract objects is a pseudo-problem [Dummett] |
Full Idea: The existence of abstract objects is a pseudo-problem. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.18) | |
A reaction: This remark follows after Idea 9884, which says the abstract/concrete distinction is a sliding scale. Personally I take the distinction to be fairly sharp, and it is therefore probably the single most important problem in the whole of human thought. |
9858 | Abstract objects nowadays are those which are objective but not actual [Dummett] |
Full Idea: Objects which are objective but not actual are precisely what are now called abstract objects. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.15) | |
A reaction: Why can there not be subjective abstract objects? 'My favourites are x, y and z'. 'I'll decide later what my favourites are'. 'I only buy my favourites - nothing else'. |
9859 | It is absurd to deny the Equator, on the grounds that it lacks causal powers [Dummett] |
Full Idea: If someone argued that assuming the existence of the Equator explains nothing, and it has no causal powers, so everything would be the same if it didn't exist, so we needn't accept its existence, we should gape at the crudity of the misunderstanding. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.15) | |
A reaction: Not me. I would gape if someone argued that latitude 55° 14' (and an infinity of other lines) exists for the same reasons (whatever they may be) that the Equator exists. A mode of description can't create an object. |
9860 | 'We've crossed the Equator' has truth-conditions, so accept the Equator - and it's an object [Dummett] |
Full Idea: 'We've crossed the Equator' is judged true if we are nearer the other Pole, so it not for philosophers to deny that the Earth has an equator, and we see that the Equator is not a concept or relation or function, so it must be classified as an object. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.15) | |
A reaction: A lovely example of linguistic philosophy in action (and so much the worse for that, I would say). A useful label here, I suggest (unoriginally, I think), is that we should label such an item a 'semantic object', rather than a real object in our ontology. |
9872 | Abstract objects need the context principle, since they can't be encountered directly [Dummett] |
Full Idea: To recognise that there is no objection in principle to abstract objects requires acknowledgement that some form of the context principle is correct, since abstract objects can neither be encountered nor presented. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.16) | |
A reaction: I take this to be an immensely important idea. I consider myself to be a philosopher of thought rather than a philosopher of language (Dummett's distinction, he being one of the latter). Thought connects to the world, but does it connect to abstracta? |
14295 | Many artefacts have dispositional essences, which make them what they are [Mumford] |
Full Idea: Thermostats, thermometers, axes, spoons, and batteries have dispositional essences, which make them what they are. | |
From: Stephen Mumford (Dispositions [1998], 01.2 iv) | |
A reaction: I would have thought that we could extend this proposal well beyond artefacts, but it certainly seems particularly clear in artefacts, where a human intention seems to be inescapably involved. |
9848 | Content is replaceable if identical, so replaceability can't define identity [Dummett, by Dummett] |
Full Idea: Husserl says the only ground for assuming the replaceability of one content by another is their identity; we are therefore not entitled to define their identity as consisting in their replaceability. | |
From: report of Michael Dummett (Frege philosophy of mathematics [1991]) by Michael Dummett - Frege philosophy of mathematics Ch.12 | |
A reaction: This is a direct challenge to Frege. Tricky to arbitrate, as it is an issue of conceptual priority. My intuition is with Husserl, but maybe the two are just benignly inerdefinable. |
9842 | Frege introduced criteria for identity, but thought defining identity was circular [Dummett] |
Full Idea: In his middle period Frege rated identity indefinable, on the ground that every definition must take the form of an identity-statement. Frege introduced the notion of criterion of identity, which has been widely used by analytical philosophers. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.10) | |
A reaction: The objection that attempts to define identity would be circular sounds quite plausible. It sounds right to seek a criterion for type-identity (in shared properties or predicates), but token-identity looks too fundamental to give clear criteria. |
14309 | Truth-functional conditionals can't distinguish whether they are causal or accidental [Mumford] |
Full Idea: If a conditional remains truth-functional it is incapable of expressing the fact that the connection between antecedent and consequent in the conditional is a causal one rather than merely accidental | |
From: Stephen Mumford (Dispositions [1998], 03.8) | |
A reaction: This is the first step towards an account of conditionals which will work in real life rather than merely in classical logic. |
14311 | Dispositions are not equivalent to stronger-than-material conditionals [Mumford] |
Full Idea: The conclusion that disposition ascriptions are not equivalent to stronger-than-material conditionals is largely to be accepted. | |
From: Stephen Mumford (Dispositions [1998], 04.7) | |
A reaction: [he attributes the view to C.B.Martin 1994] It is hard to see how to describe a disposition in anything other than conditional terms. Mumford's 'functional role' probably has to be described conditionally. It is how the conditional cashes out. |
14319 | Nomothetic explanations cite laws, and structural explanations cite mechanisms [Mumford] |
Full Idea: A nomothetic explanation appeals to laws where the explanandum is shown to be an instance of a general law. ...The alternative is a structural explanation, which postulates a mechanism, opening up a hidden world. | |
From: Stephen Mumford (Dispositions [1998], 06.4) | |
A reaction: [He cites E.McMullin 1978] I am very much in favour of structural explanations, and opposed to nomothetic ones. That is, nomothetic accounts are only the first step towards an explanation - perhaps a mere identification of the explanandum. |
14342 | General laws depend upon the capacities of particulars, not the other way around [Mumford] |
Full Idea: Laws, qua true generalities, if they exist at all, are ontologically parasitic upon the capacities of particulars, rather than the other way round. | |
From: Stephen Mumford (Dispositions [1998], 10.6) | |
A reaction: Quite so. And hence trying to explain a particular behaviour by saying that it falls under a law is absurdly circular and vacuous. |
14322 | If fragile just means 'breaks when dropped', it won't explain a breakage [Mumford] |
Full Idea: If fragile means nothing more than 'breaks when dropped', then it is no explanation of why something breaks when dropped. | |
From: Stephen Mumford (Dispositions [1998], 06.5) | |
A reaction: His point is that you have to unpack the notion of fragile, which presumably cites underlying mechanisms. This is the 'virtus dormitiva' problem - but that explanation of opium's dormitive powers is not entirely stupid. |
14337 | Maybe dispositions can replace the 'laws of nature' as the basis of explanation [Mumford] |
Full Idea: I will consider the case for an ontology of real dispositions replacing the so-called laws of nature as the basic building blocks of explanation. | |
From: Stephen Mumford (Dispositions [1998], 10.1) | |
A reaction: This precisely summarises the view I am exploring, with a particular focus on real essences. I certainly think the 'laws of nature' must go. See Mumford's second book on this. |
14320 | Subatomic particles may terminate explanation, if they lack structure [Mumford] |
Full Idea: The behaviour of subatomic particles cannot be further analysed into structures and this may tempt us to regard these as instances of 'brute' ungrounded dispositions which end any possible regress of explanation. | |
From: Stephen Mumford (Dispositions [1998], 06.4) | |
A reaction: This seems right, if it is 'structural' explanations we are after (as I think we are) which look for mechanisms. An electron seems to be just three dispositions and no structure, so there is nothing more to say. Ladyman scorns this account. |
14343 | To avoid a regress in explanations, ungrounded dispositions will always have to be posited [Mumford] |
Full Idea: The nature of explanation is such that ungrounded dispositions will always have to be posited in order to avoid a regress of explanation. | |
From: Stephen Mumford (Dispositions [1998], 10.6) | |
A reaction: This seems to be right, but leaves it open to mock the proposals as 'virtus dormitiva' - empty place-holders that ground explanations but do no explanatory work. What else can be done, though? |
14324 | Ontology is unrelated to explanation, which concerns modes of presentation and states of knowledge [Mumford] |
Full Idea: Nothing about ontology is at stake in questions of explanation, for explanatory success is contingent upon the modes of presentation of explanans and explananda, and relative states of knowledge and ignorance. | |
From: Stephen Mumford (Dispositions [1998], 06.8) | |
A reaction: There are real facts about the immediate and unusual causes which immediately precede an event, and these might be candidates for a real explanation. There are also real mechanisms and powers which dictate a things behaviour. |
9849 | Maybe a concept is 'prior' to another if it can be defined without the second concept [Dummett] |
Full Idea: One powerful argument for a thesis that one notion is conceptually prior to another is the possibility of defining the first without reference to the second. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.12) | |
A reaction: You'd better check whether you can't also define the second without reference to the first before you rank their priority. And maybe 'conceptual priority' is conceptually prior to 'definition' (i.e. definition needs a knowledge of priority). Help! |
9850 | An argument for conceptual priority is greater simplicity in explanation [Dummett] |
Full Idea: An argument for conceptual priority is greater simplicity in explanation. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.12) | |
A reaction: One might still have to decide priority between two equally simple (or complex) concepts. I begin to wonder whether 'priority' has any other than an instrumental meaning (according to which direction you wish to travel - is London before Edinburgh?). |
9873 | Abstract terms are acceptable as long as we know how they function linguistically [Dummett] |
Full Idea: To recognise abstract terms as perfectly proper items of a vocabulary depends upon allowing that all that is necessary for the lawful introduction of a range of expressions into the language is a coherent account of how they are to function in sentences. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.16) | |
A reaction: Why can't the 'coherent account' of the sentences include the fact that there must be something there for the terms to refer to? How else are we to eliminate nonsense words which obey good syntactical rules? Cf. Idea 9872. |
9993 | There is no reason why abstraction by equivalence classes should be called 'logical' [Dummett, by Tait] |
Full Idea: Dummett uses the term 'logical abstraction' for the construction of the abstract objects as equivalence classes, but it is not clear why we should call this construction 'logical'. | |
From: report of Michael Dummett (Frege philosophy of mathematics [1991]) by William W. Tait - Frege versus Cantor and Dedekind n 14 | |
A reaction: This is a good objection, and Tait offers a much better notion of 'logical abstraction' (as involving preconditions for successful inference), in Idea 9981. |
9857 | We arrive at the concept 'suicide' by comparing 'Cato killed Cato' with 'Brutus killed Brutus' [Dummett] |
Full Idea: We arrive at the concept of suicide by considering both occurrences in the sentence 'Cato killed Cato' of the proper name 'Cato' as simultaneously replaceable by another name, say 'Brutus', and so apprehending the pattern common to both sentences. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.14) | |
A reaction: This is intended to illustrate Frege's 'logical abstraction' technique, as opposed to wicked psychological abstraction. The concept of suicide is the pattern 'x killed x'. This is a crucial example if we are to understand abstraction... |
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'. |
9836 | Fregean semantics assumes a domain articulated into individual objects [Dummett] |
Full Idea: A Fregean semantics assumes a domain already determinately articulated into individual objects. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch. 8) | |
A reaction: A more interesting criticism than most of Dummett's other challenges to the Frege/Davidson view. I am beginning to doubt whether the semantics and the ontology can ever be divorced from the psychology, of thought, interests, focus etc. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
14344 | Natural kinds, such as electrons, all behave the same way because we divide them by dispositions [Mumford] |
Full Idea: Regularities exist because we classify kinds on the basis of their dispositions, not on pre-established divisions of kinds. The dispositions are the basis for the division into kinds, which is why all electrons behave in the same way. | |
From: Stephen Mumford (Dispositions [1998], 10.7) | |
A reaction: This strikes me as being so obvious that it is hardly worth saying, and yet an enormous number of philosophers seem to have been led up the garden path by the notion of a 'kind', probably under the influence of Kripke, Putnam and Wiggins. |
14338 | In the 'laws' view events are basic, and properties are categorical, only existing when manifested [Mumford] |
Full Idea: In the 'laws' world view, events are the basic ontological unit and properties are parasitic upon them. Properties exist only in virtue of their instantiation in events. Properties are categorical, because they are only manifested in the present. | |
From: Stephen Mumford (Dispositions [1998], 10.2) | |
A reaction: Mumford rejects this view, and I am with him all the way. The first requirement is that properties be active, and not inert. See Leibniz on this. |
14339 | Without laws, how can a dispositionalist explain general behaviour within kinds? [Mumford] |
Full Idea: The problem is how, without general laws, can the dispositionalist explain why generalities in behaviour are true of kinds. | |
From: Stephen Mumford (Dispositions [1998], 10.3) | |
A reaction: And the answer is to make kinds depend on individuals, and not vice versa, and then point to the necessary patterns that arise from conjunctions of individual dispositions, given their identity in many individuals. |
14340 | It is a regularity that whenever a person sneezes, someone (somewhere) promptly coughs [Mumford] |
Full Idea: It is no doubt a true regularity that every time I sneeze, someone, somewhere in the world, immediately coughs. | |
From: Stephen Mumford (Dispositions [1998], 10.4) | |
A reaction: Not a huge problem for the regularity theory of laws, but the first challenge that it must meet. |
14341 | Dretske and Armstrong base laws on regularities between individual properties, not between events [Mumford] |
Full Idea: The improved Dretske/Armstrong regularity view of laws dispenses with the empiricist articulation of them in terms of events, and construes them as singular statements of fact that describe relations between properties. | |
From: Stephen Mumford (Dispositions [1998], 10.4) | |
A reaction: They then seem to go a bit mystical, by insisting that the properties are 'universals' (even if they have to be instantiated). Universals explain nothing. |
14345 | The necessity of an electron being an electron is conceptual, and won't ground necessary laws [Mumford] |
Full Idea: The logical necessity of physical laws is not required by dispositional essentialism. An electron would not be an electron if its behaviour were different from the behaviour it has in the actual world, but this necessity is purely conceptual. | |
From: Stephen Mumford (Dispositions [1998], 10.8) | |
A reaction: [He is particularly aiming this at Ellis and Lierse 1994] This may be missing the point. Given those electron dispositions, the electrons necessitate law-like happenings. Whether a variable entity is called an 'electron' is trivial. |
14307 | Some dispositions are so far unknown, until we learn how to manifest them [Mumford] |
Full Idea: It seems reasonable to assume that there are some dispositions of some things of which we are not aware because we have not yet discovered the way to get these dispositions to manifest. | |
From: Stephen Mumford (Dispositions [1998], 03.7) | |
A reaction: This strikes me as a pretty good description of what scientists are currently doing when, for example, they build a new particle accelerator. |
18257 | Why should the limit of measurement be points, not intervals? [Dummett] |
Full Idea: By what right do we assume that the limit of measurement is a point, and not an interval? | |
From: Michael Dummett (Frege philosophy of mathematics [1991], 22 'Quantit') |