89 ideas
| 8625 | What physical facts could underlie 0 or 1, or very large numbers? [Frege on Mill] |
| Full Idea: What in the world can be the observed fact, or the physical fact, which is asserted in the definition of the number 777864? ...What a pity that Mill did not also illustrate the physical facts underlying the numbers 0 and 1! | |
| From: comment on John Stuart Mill (System of Logic [1843]) by Gottlob Frege - Grundlagen der Arithmetik (Foundations) §7 | |
| A reaction: I still think patterns could be an empirical foundation for arithmetic, though you still have to grasp the abstract concept of the pattern. An innate capacity to spot resemblance gets you a long way. |
| 17895 | Combining two distinct assertions does not necessarily lead to a single 'complex proposition' [Mill] |
| Full Idea: In 'Caesar is dead, and Brutus is alive' ...there are here two distinct assertions; and we might as well call a street a complex house, as these two propositions a complex proposition. | |
| From: John Stuart Mill (System of Logic [1843], 1.04.3) | |
| A reaction: Arthur Prior, in his article on 'tonk', cites this to claim that the mere account of the and-introduction rule does not guarantee the existence of any conjunctive proposition that can result from it. Mill says you are adding a third proposition. |
| 10427 | All names are names of something, real or imaginary [Mill] |
| Full Idea: All names are names of something, real or imaginary. | |
| From: John Stuart Mill (System of Logic [1843], p.32), quoted by Mark Sainsbury - The Essence of Reference 18.2 | |
| A reaction: Mill's example of of being like a chalk mark on a door, but Sainsbury points out that names can be detached from bearers in a way that chalk marks can't. |
| 4944 | Mill says names have denotation but not connotation [Mill, by Kripke] |
| Full Idea: It is a well known doctrine of Mill that names have denotation but not connotation. | |
| From: report of John Stuart Mill (System of Logic [1843]) by Saul A. Kripke - Naming and Necessity lectures Lecture 1 | |
| A reaction: A nice starting point for any discussion of the topic. The obvious response is that a name like 'Attila the Hun' seems to have a very vague denotation for most of us, but a rather powerful connotation. |
| 7762 | Proper names are just labels for persons or objects, and the meaning is the object [Mill, by Lycan] |
| Full Idea: Mill seemed to defend the view that proper names are merely labels for individual persons or objects, and contribute no more than those individuals themselves to the meanings of sentences in which they occur. | |
| From: report of John Stuart Mill (System of Logic [1843]) by William Lycan - Philosophy of Language | |
| A reaction: Identity statements can become trivial on this view ('Twain is Clemens'). Modern views have become more sympathetic to Mill, since externalism places meanings outside the head of the speaker. |
| 16357 | Mental files are the counterparts of singular terms [Recanati] |
| Full Idea: Mental files are the mental counterparts of singular terms. | |
| From: François Recanati (Mental Files [2012], 3.3) | |
| A reaction: A thoroughly satisfactory theory. We can build up a picture of filing merging, duplication, ambiguity, error etc. Eventually neuroscience will map the whole system, and we will have cracked it. |
| 9801 | Numbers must be assumed to have identical units, as horses are equalised in 'horse-power' [Mill] |
| Full Idea: There is one hypothetical element in the basis of arithmetic, without which none of it would be true: all the numbers are numbers of the same or of equal units. When we talk of forty horse-power, we assume all horses are of equal strength. | |
| From: John Stuart Mill (System of Logic [1843], 2.6.3) | |
| A reaction: Of course, horses are not all of equal strength, so there is a problem here for your hard-line empiricist. Mill needs processes of idealisation and abstraction before his empirical arithmetic can get off the ground. |
| 8742 | The only axioms needed are for equality, addition, and successive numbers [Mill, by Shapiro] |
| Full Idea: Mill says arithmetic has two axioms, that 'things which are equal to the same thing are equal to each other', and 'equals added to equals make equal sums', plus a definition for each numeral as 'formed by the addition of a unit to the previous number'. | |
| From: report of John Stuart Mill (System of Logic [1843], p.610?) by Stewart Shapiro - Thinking About Mathematics 4.3 | |
| A reaction: The difficulty here seems to be the definition of 1, and (even worse for an empiricist), of 0. Then he may have a little trouble when he reaches infinity. |
| 9800 | Arithmetic is based on definitions, and Sums of equals are equal, and Differences of equals are equal [Mill] |
| Full Idea: The inductions of arithmetic are based on so-called definitions (such as '2 and 1 are three'), and on two axioms: The sums of equals are equal, The differences of equals are equal. | |
| From: John Stuart Mill (System of Logic [1843], 2.6.3) | |
| A reaction: These are axioms for arithmetical operations, rather than for numbers themselves (which, for Mill, do not require axioms as they are empirically derived). |
| 5201 | Mill says logic and maths is induction based on a very large number of instances [Mill, by Ayer] |
| Full Idea: Mill maintained that the truths of logic and mathematics are not necessary or certain, by saying these propositions are inductive generalisations based on an extremely large number of instances. | |
| From: report of John Stuart Mill (System of Logic [1843]) by A.J. Ayer - Language,Truth and Logic Ch.4 | |
| A reaction: Ayer asserts that they are necessary (but only because they are tautological). I like the idea that maths is the 'science of patterns', but that might lead from an empirical start to a rationalist belief in a priori synthetic truths. |
| 9360 | If two black and two white objects in practice produced five, what colour is the fifth one? [Lewis,CI on Mill] |
| Full Idea: If Mill has a demon who, every time two things are brought together with two other things, always introduces a fifth, then if two black marbles and two white ones are put in an urn, the demon could choose his color, but there would be more of one colour. | |
| From: comment on John Stuart Mill (System of Logic [1843]) by C.I. Lewis - A Pragmatic Conception of the A Priori p.367 | |
| A reaction: Nice to see philosophers fighting back against demons. This is a lovely argument against the absurdity of thinking that experience could ever controvert a priori knowledge (though Lewis is no great fan of the latter). |
| 9888 | Mill mistakes particular applications as integral to arithmetic, instead of general patterns [Dummett on Mill] |
| Full Idea: Mill's mistake is taking particular applications as integral to the sense of arithmetical propositions. But what is integral to arithmetic is the general principle that explains its applicability, and determines the pattern of particular applications. | |
| From: comment on John Stuart Mill (System of Logic [1843], 2.6) by Michael Dummett - Frege philosophy of mathematics Ch.20 | |
| A reaction: [Dummett is summarising Frege's view] Sounds like a tidy objection, but you still have to connect the general principles and patterns to the physical world. 'Structure' could be the magic word to achieve this. |
| 9794 | There are no such things as numbers in the abstract [Mill] |
| Full Idea: There are no such things as numbers in the abstract. | |
| From: John Stuart Mill (System of Logic [1843], 2.6.2) | |
| A reaction: Depends. Would we want to say that 'horses don't exist' (although each individual horse does exist)? It sounds odd to say of an idea that it doesn't exist, when you are currently thinking about it. I am, however, sympathetic to Mill. |
| 9796 | Things possess the properties of numbers, as quantity, and as countable parts [Mill] |
| Full Idea: All things possess quantity; consist of parts which can be numbered; and in that character possess all the properties which are called properties of numbers. | |
| From: John Stuart Mill (System of Logic [1843], 2.6.2) | |
| A reaction: Here Mill is skating on the very thinnest of ice, and I find myself reluctantly siding with Frege. It is a very optimistic empiricist who hopes to find the numbers actually occurring as properties of experienced objects. A pack of cards, for example. |
| 9795 | Numbers have generalised application to entities (such as bodies or sounds) [Mill] |
| Full Idea: 'Ten' must mean ten bodies, or ten sounds, or ten beatings of the pulse. But though numbers must be numbers of something, they may be numbers of anything. | |
| From: John Stuart Mill (System of Logic [1843], 2.6.2) | |
| A reaction: Mill always prefers things in close proximity, in space or time. 'I've had ten headaches in the last year'. 'There are ten reasons for doubting p'. His second point puts him very close to Aristotle in his view. |
| 9798 | Different parcels made from three pebbles produce different actual sensations [Mill] |
| Full Idea: Three pebbles make different sense impressions in one parcel or in two. That the same pebbles by an alteration of place and arrangement may be made to produce either sensation is not the identical proposition. | |
| From: John Stuart Mill (System of Logic [1843], 2.6.2) | |
| A reaction: [compressed] Not quite clear, but Mill seems to be adamant that we really must experience the separation, and not just think what 'may' happen, so Frege is right that Mill is lucky that everything is not 'nailed down'. |
| 9797 | '2 pebbles and 1 pebble' and '3 pebbles' name the same aggregation, but different facts [Mill] |
| Full Idea: The expressions '2 pebbles and 1 pebble' and '3 pebbles' stand for the same aggregation of objects, but do not stand for the same physical fact. They name the same objects in different states, 'denoting' the same things, with different 'connotations'. | |
| From: John Stuart Mill (System of Logic [1843], 2.6.2) | |
| A reaction: Nothing in this would convert me from the analytic view to the empirical view of simple arithmetic, if I were that way inclined. Personally I think of three pebbles as 4 minus 1, because I am haunted by the thought of a missing stone. |
| 9799 | 3=2+1 presupposes collections of objects ('Threes'), which may be divided thus [Mill] |
| Full Idea: 'Three is two and one' presupposes that collections of objects exist, which while they impress the senses thus, ¶¶¶, may be separated into two parts, thus, ¶¶ ¶. This being granted, we term all such parcels Threes. | |
| From: John Stuart Mill (System of Logic [1843], 2.6.2) | |
| A reaction: Mill is clearly in trouble here because he sticks to simple arithmetic. He must deal with parcels too big for humans to count, and parcels so big that they could not naturally exist, and that is before you even reach infinite parcels. |
| 9802 | Numbers denote physical properties of physical phenomena [Mill] |
| Full Idea: The fact asserted in the definition of a number is a physical fact. Each of the numbers two, three, four denotes physical phenomena, and connotes a physical property of those phenomena. Two denotes all pairs of things, and twelve all dozens. | |
| From: John Stuart Mill (System of Logic [1843], 3.24.5) | |
| A reaction: The least plausible part of Mill's thesis. Is the fact that a pair of things is fewer than five things also a property? You see two boots, or you see a pair of boots, depending partly on you. Is pure two a visible property? Courage and an onion? |
| 9803 | We can't easily distinguish 102 horses from 103, but we could arrange them to make it obvious [Mill] |
| Full Idea: 102 horses are not as easily distinguished from 103 as two are from three, yet the horses may be so placed that a difference will be perceptible. | |
| From: John Stuart Mill (System of Logic [1843], 3.24.5) | |
| A reaction: More trouble for Mill. We are now moving from the claim that we actually perceive numbers to the claim that we could if we arranged things right. But we would still only see which group of horses was bigger by one, not how many horses there were. |
| 9804 | Arithmetical results give a mode of formation of a given number [Mill] |
| Full Idea: Every statement of the result of an arithmetical operation is a statement of one of the modes of formation of a given number. | |
| From: John Stuart Mill (System of Logic [1843], 3.24.5) | |
| A reaction: Although Mill sticks cautiously to very simple arithmetic, inviting empirical accounts of much higher mathematics, I think the phrase 'modes of formation' of numbers is very helpful. It could take us either into structuralism, or into constructivism. |
| 9805 | 12 is the cube of 1728 means pebbles can be aggregated a certain way [Mill] |
| Full Idea: When we say 12 is the cube of 1728, we affirm that if we had sufficient pebbles, we put them into parcels or aggregates called twelves, and put those twelves into similar collections, and make twelve of these largests parcels, we have the aggregate 1728. | |
| From: John Stuart Mill (System of Logic [1843], 3.24.5) | |
| A reaction: There is always hidden modal thinking in Mill's proposals, despite his longing to stick to actual experience. Imagination actually plays a much bigger role in his theory than sense experience does. |
| 8741 | Numbers must be of something; they don't exist as abstractions [Mill] |
| Full Idea: All numbers must be numbers of something: there are no such things as numbers in the abstract. | |
| From: John Stuart Mill (System of Logic [1843], p.245?), quoted by Stewart Shapiro - Thinking About Mathematics 4.3 | |
| A reaction: This shows why the concept of 'abstraction' is such a deep problem. Numbers can't be properties of objects, because two boots can become one boot without changing the surviving boot. But why should abstractions have to 'exist'? |
| 12411 | Mill is too imprecise, and is restricted to simple arithmetic [Kitcher on Mill] |
| Full Idea: The problem with Mill is that many of his formulations are imprecise, and he only considers the most rudimentary parts of arithmetic. | |
| From: comment on John Stuart Mill (System of Logic [1843]) by Philip Kitcher - The Nature of Mathematical Knowledge Intro | |
| A reaction: This is from a fan of Mill, trying to restore his approach in the face of the authoritative and crushing criticisms offered by Frege. I too am a fan of Mill's approach. Patterns can be discerned in arrangements of pebbles. Infinities are a problem. |
| 5656 | Empirical theories of arithmetic ignore zero, limit our maths, and need probability to get started [Frege on Mill] |
| Full Idea: Mill does not give us a clue as to how to understand the number zero, he limits our mathematical knowledge to the limits of our experience, ..and induction can only give you probability, but that presupposes arithmetical laws. | |
| From: comment on John Stuart Mill (System of Logic [1843]) by Gottlob Frege - Grundlagen der Arithmetik (Foundations) | |
| A reaction: This summarises Frege's criticisms of Mill's empirical account of maths. I like 'maths is the science of patterns', in which case zero is just a late-introduced trick (it is hardly a Platonic Form!), and induction is the wrong account to give. |
| 9624 | Numbers are a very general property of objects [Mill, by Brown,JR] |
| Full Idea: Mill held that numbers are a kind of very general property that objects possess. | |
| From: report of John Stuart Mill (System of Logic [1843], Ch.4) by James Robert Brown - Philosophy of Mathematics | |
| A reaction: Intuitively this sounds hopeless, because if you place one apple next to another you introduce 'two', but which apple has changed its property? Both? It seems to be a Cambridge change. It isn't a change that would bother the apples. Kitcher pursues this. |
| 9806 | Whatever is made up of parts is made up of parts of those parts [Mill] |
| Full Idea: Whatever is made up of parts is made up of parts of those parts. | |
| From: John Stuart Mill (System of Logic [1843], 3.24.5) | |
| A reaction: Mill considers this principle to be fundamental to the possibilities of arithmetic. Presumably he thought of it as an inductive inference from our dealings with physical objects. |
| 11156 | The essence is that without which a thing can neither be, nor be conceived to be [Mill] |
| Full Idea: The essence of a thing was said to be that without which the thing could neither be, nor be conceived to be. | |
| From: John Stuart Mill (System of Logic [1843], 1.6.2) | |
| A reaction: Fine cites this as the 'modal' account of essence, as opposed to the 'definitional' account. |
| 16360 | Identity statements are informative if they link separate mental files [Recanati] |
| Full Idea: An identity statement 'A=B' is informative to the extent that the terms 'A' and 'B' are associated with distinct mental files. | |
| From: François Recanati (Mental Files [2012], 4.1) | |
| A reaction: Hence the information in 'Scott is the author of 'Waverley'' is information about what is in your mind, not what is happening in Scotland. This is Recanati's solution to one of Frege's classic puzzles. 'Morning Star' and 'Evening Star' files. Nice. |
| 12190 | Necessity is what will be, despite any alternative suppositions whatever [Mill] |
| Full Idea: That which is necessary, that which must be, means that which will be, whatever suppositions we may make in regard to all other things. | |
| From: John Stuart Mill (System of Logic [1843], 3.06.6) | |
| A reaction: [Mill discusses causal necessity] This is quoted by McFetridge. This slightly firms up the definition as 'what has to be true', though it makes it dependent on our 'suppositions'. Presumably nothing beyond our powers of supposition could matter either. |
| 22623 | Necessity can only mean what must be, without conditions of any kind [Mill] |
| Full Idea: If there be any meaning which confessedly belongs to the term necessity, it is unconditionalness. That which is necessary, that which must be, means that which will be whatever supposition we make with regard to other things. | |
| From: John Stuart Mill (System of Logic [1843], p.339 [1974 ed]), quoted by R.D. Ingthorsson - A Powerful Particulars View of Causation 5.3 | |
| A reaction: 'It is necessary to leave now, if you want to catch the train' is a genuine type of necessity. Mill's type is probably Absolute necessity, to which nothing could make any difference. Or Metaphysical necessity, determined by all things. |
| 16374 | There is a continuum from acquaintance to description in knowledge, depending on the link [Recanati] |
| Full Idea: It is not too difficult to imagine a continuum of cases between straightforward instances of knowledge by acquaintance and straightforward instances of knowledge by description, with more or less tenuous informational links to the referent. | |
| From: François Recanati (Mental Files [2012], 12.2) |
| 16859 | Most perception is one-tenth observation and nine-tenths inference [Mill] |
| Full Idea: In almost every act of our perceiving faculties, observation and inference are intimately blended. What we are said to observe is usually a compound result, of which one-tenth may be observation, and the remaining nine-tenths inference. | |
| From: John Stuart Mill (System of Logic [1843], 4.1.2), quoted by Peter Lipton - Inference to the Best Explanation (2nd) 11 'The scientific' | |
| A reaction: We seem to think that his kind of observation is a great realisation of twentieth century thought, but thoughtful empiricists spotted it much earlier. |
| 9082 | Clear concepts result from good observation, extensive experience, and accurate memory [Mill] |
| Full Idea: The principle requisites of clear conceptions, are habits of attentive observation, an extensive experience, and a memory which receives and retains an exact image of what is observed. | |
| From: John Stuart Mill (System of Logic [1843], 4.2.5) | |
| A reaction: Empiricists are always crying out for people to 'attend to the evidence', and this is the deeper reason why. Not only will one know the world better in a direct way, but one will actually think more clearly. Darwin is the perfect model for this. |
| 21513 | We can no more expect a precise definition of coherence than we can of the moral ideal [Ewing] |
| Full Idea: I think it is wrong to tie down the advocates of the coherence theory to a precise definition. ...It would be altogether unreasonable to demand that the moral ideal should be exhaustively defined, and the same may be true of the ideal of thought. | |
| From: A.C. Ewing (Idealism: a critical survey [1934], p.231), quoted by Erik J. Olsson - Against Coherence 7.6 | |
| A reaction: I strongly agree. It is not a council of despair. I think the criteria of coherence can be articulated quite well (e.g by Thagard), and the virtues of enquiry can also be quite well specified (e.g. by Zagzebski). Very dissimilar evidence must cohere. |
| 21497 | If undetailed, 'coherence' is just a vague words that covers all possible arguments [Ewing] |
| Full Idea: Without a detailed account, coherence is reduced to the mere muttering of the word 'coherence', which can be interpreted so as to cover all arguments, but only by making its meaning so wide as to rob it of almost all significance. | |
| From: A.C. Ewing (Idealism: a critical survey [1934], p.246), quoted by Erik J. Olsson - Against Coherence 2.2 | |
| A reaction: I'm a fan of coherence, but it is a placeholder, involving no intrinsic or detailed theory. I just think it points to the reality of how we make judgements, especially practical ones. We can categorise the inputs, and explain the required virtues. |
| 16860 | Inductive generalisation is more reliable than one of its instances; they can't all be wrong [Mill] |
| Full Idea: A general proposition collected from particulars is often more certainly true than any one of the particular propositions from which, by an act of induction, it was inferred. It might be erroneous in any instance, but cannot be erroneous in all of them. | |
| From: John Stuart Mill (System of Logic [1843], 4.1.2), quoted by Peter Lipton - Inference to the Best Explanation (2nd) 11 'The scientific' | |
| A reaction: One anomaly can be ignored, but several can't, especially if the anomalies agree. |
| 16845 | The whole theory of induction rests on causes [Mill] |
| Full Idea: The notion of cause is the root of the whole theory of induction. | |
| From: John Stuart Mill (System of Logic [1843], 3.05.2), quoted by Peter Lipton - Inference to the Best Explanation (2nd) 08 'From cause' | |
| A reaction: This sounds much better to me than the Humean view that it rests on the psychology of regularity and habit. However, maybe Hume describes induction, and Mill is adding abduction (inference to the best explanation). |
| 16843 | Mill's methods (Difference,Agreement,Residues,Concomitance,Hypothesis) don't nail induction [Mill, by Lipton] |
| Full Idea: The Method of Difference, and even the full four 'experimental methods' (Difference, Agreement, Residues and Concomitant Variations) are agreed on all sides to be incomplete accounts of inductive inference. Mill himself added the Method of Hypothesis. | |
| From: report of John Stuart Mill (System of Logic [1843], 3.14.4-5) by Peter Lipton - Inference to the Best Explanation (2nd) 08 'Improved' | |
| A reaction: If induction is just 'learning from experience' (my preferred definition) then there is unlikely to be a precise account of its methods. Mill seems to have done a lovely job. |
| 17086 | Surprisingly, empiricists before Mill ignore explanation, which seems to transcend experience [Mill, by Ruben] |
| Full Idea: It is surprising that no empiricist philosopher before Mill turned in an explicit way to the scrutiny of the concept of explanation, which had …every appearance of being experience-transcendent. | |
| From: report of John Stuart Mill (System of Logic [1843]) by David-Hillel Ruben - Explaining Explanation Ch 4 | |
| A reaction: Yes indeed! This is why explanation is absolutely basic, to philosophy and to human understanding. The whole of philosophy is a quest for explanations, so to be strictly empirical about it strikes me as crazy. |
| 17091 | Explanation is fitting of facts into ever more general patterns of regularity [Mill, by Ruben] |
| Full Idea: For Mill, explanation was always the fitting of facts into ever more general patterns of regularity. | |
| From: report of John Stuart Mill (System of Logic [1843]) by David-Hillel Ruben - Explaining Explanation Ch 6 | |
| A reaction: This seems to nicely capture the standard empirical approach to explanation. If you say that this fitting in doesn't explain much, the answer (I think) is that this is the best we can do. |
| 16805 | Causal inference is by spotting either Agreements or Differences [Mill, by Lipton] |
| Full Idea: The best known account of causal inference is Mill's Method of Agreement (only one antecedent is shared by the effects), and the Method of Difference (there is only one difference prior to the effect occurring or not occurring). | |
| From: report of John Stuart Mill (System of Logic [1843], 3.07) by Peter Lipton - Inference to the Best Explanation (2nd) 01 'Descr' | |
| A reaction: [my summary of Lipton's summary of Mill] |
| 16835 | The Methods of Difference and of Agreement are forms of inference to the best explanation [Mill, by Lipton] |
| Full Idea: Like Mill's Method of Difference, applications of the Method of Agreement are naturally construed as inferences to the best explanation. | |
| From: report of John Stuart Mill (System of Logic [1843], 3.07/8) by Peter Lipton - Inference to the Best Explanation (2nd) 06 'The Method' | |
| A reaction: This sort of thoroughly sensible approach to understanding modes of investigation has been absurdly sidelined by the desire to 'deduce' observations from 'laws'. Scientific investigation is no different from enquiry in daily life. Where are my glasses? |
| 9079 | We can focus our minds on what is common to a whole class, neglecting other aspects [Mill] |
| Full Idea: The voluntary power which the mind has, of attending to one part of what is present at any moment, and neglecting another part, enables us to be unaffected by anything in the idea which is not really common to the whole class. | |
| From: John Stuart Mill (System of Logic [1843], 4.2.1) | |
| A reaction: There is a question for empiricists of whether abstraction is a 'voluntary' power or a mechanical one. Associationism presents it as more mechanical. I would say, with Mill, that it is a least partly voluntary, and even rational. |
| 9081 | We don't recognise comparisons by something in our minds; the concepts result from the comparisons [Mill] |
| Full Idea: It is not a law of our intellect that in comparing things and noting their agreements we recognise as realized in the outward world something we already had in our minds. The conception found its way to us as the result of such a comparison. | |
| From: John Stuart Mill (System of Logic [1843], 4.2.2) | |
| A reaction: He recognises, of course, that this gradually becomes a two-way process. In the physicalist view of things, it is not really of great importance which concepts are hard-wired, and which constructed culturally or through perception. |
| 16354 | Indexicality is closely related to singularity, exploiting our direct relations with things [Recanati] |
| Full Idea: Singularity and indexicality are closely related: for indexicals systematically exploit the contextual relations in which we stand to what we talk about. | |
| From: François Recanati (Mental Files [2012], 2.2) | |
| A reaction: Recanati builds a nice case that we may only have an ontology of singular objects because we conceptualise and refer to things in a particular way. He denies the ontology, but that's the bit that interests me. |
| 18409 | Indexicals apply to singular thought, and mental files have essentially indexical features [Recanati] |
| Full Idea: I defend the applicability of the indexical model to singular thought, and to mental files qua vehicles of singular thought. Mental files, I will argue, possess the essential features of indexicals. | |
| From: François Recanati (Mental Files [2012], 05.1) | |
| A reaction: I love mental files, but am now (thanks to Cappelen and Dever) deeply averse to giving great significance to indexicals. A revised account of files will be needed. |
| 16371 | Files can be confused, if two files correctly have a single name, or one file has two names [Recanati] |
| Full Idea: Paderewski cases are cases in which a subject associates two distinct files with a single name. Inverse Paderewski cases are cases in which there are two names but the subject associates them with a single file. | |
| From: François Recanati (Mental Files [2012], 10.1) | |
| A reaction: In the inverse there are two people with the same name, and someone thinks they are one person (with their combined virtues and vices). E.g. Einstein the famous physicist, and Einstein the famous musicologist. What a man! |
| 16373 | Encylopedic files have further epistemic links, beyond the basic one [Recanati] |
| Full Idea: The reference of a file is the object to which the subject stands in the relevant epistemic relation. In the case of encylopedic entries there is an arbitrary number of distinct relations. The file grows new links in an opportunistic manner. | |
| From: François Recanati (Mental Files [2012], 11.3) | |
| A reaction: I'm not convinced by Recanati's claim that encylopedic files are a distinct type. My files seem to grow these opportunistic links right from their inception. All files seem to have that feature. A file could have four links at its moment of launching. |
| 16375 | Singular thoughts need a mental file, and an acquaintance relation from file to object [Recanati] |
| Full Idea: The mental file framework rests on two principles: that the subject cannot entertain a singular thought about an object without possessing and exercising a mental file about it, and that this requires an acquaintance relation with the object. | |
| From: François Recanati (Mental Files [2012], 12.3) | |
| A reaction: I'm puzzled by the case where I design and build a completely new object. I seem to assemble a file, and only bestow singularity on it towards the end. Or the singularity can just be a placeholder, referred to as 'something'. […see p.158] |
| 16377 | Expected acquaintance can create a thought-vehicle file, but without singular content [Recanati] |
| Full Idea: On my view, actual acquaintance is not necessary to open a mental file; expected acquaintance will suffice; yet opening a mental file itself is not sufficient to entertain a singular thought-content. It only enables a thought-vehicle. | |
| From: François Recanati (Mental Files [2012], 13.1) | |
| A reaction: I'm not clear why I can't create a file with no expectation at all of acquaintance, as in a fictional case. Depends what 'acquaintance' means. Recanati longs for precise distinctions where they may not be available. |
| 16378 | An 'indexed' file marks a file which simulates the mental file of some other person [Recanati] |
| Full Idea: Files function metarepresentationally if they serve to represent how other subjects think about objects in the world. ..An 'indexed' file has an index referring to the other subject whose files the indexed file stands for or simulates. | |
| From: François Recanati (Mental Files [2012], 14.1) | |
| A reaction: Presumably there is an implicit index on all files, which says in a conversation whether my interlocutor does or does not hold the same file-type as me. Recanati wants many 'types' of files, but I suspect there is just one file type. |
| 16387 | Reference by mental files is Millian, in emphasising acquaintance, rather than satisfaction [Recanati] |
| Full Idea: The mental file account preserves the original, Millian inspiration of direct reference theories in giving pride of place to acquaintance relations and downplaying satisfaction factors. | |
| From: François Recanati (Mental Files [2012], 17.3) | |
| A reaction: I find this a very satisfying picture, in which reference links to the simple label of a file (which could be a number), and not to its contents. There are tricky cases of non-existents, fictional entities and purely possible entities to consider. |
| 16358 | The reference of a file is fixed by what it relates to, not the information it contains [Recanati] |
| Full Idea: What files refer to is not determined by properties which the subject takes the referent to have (information, or misinformation, in the file), but through the relations on which the files are based. | |
| From: François Recanati (Mental Files [2012], 3.3) | |
| A reaction: Maybe. 'Lot 22'. I can build up a hypothetical file by saying 'Imagine an animal which is F, G, H…', and build a reference that relates to nothing. Maybe Recanati overestimates the role of his 'epistemically rewarding' relations in file creation. |
| 16361 | A mental file treats all of its contents as concerning one object [Recanati] |
| Full Idea: The role of a mental file is precisely to treat all the information as if it concerned one and the same object, from which it derives. | |
| From: François Recanati (Mental Files [2012], 4.1) | |
| A reaction: Recanati's book focuses entirely on singular objects, but we presumably have files for properties, generalisation, groups etc. Can they only be thought about if they are reified? Maybe. |
| 16367 | There are transient 'demonstrative' files, habitual 'recognitional' files, cumulative 'encyclopedic' files [Recanati] |
| Full Idea: A 'demonstrative' file only exists during the demonstrative relation to something; …a 'recognitional' file is based on 'familiarity' (a disposition to recognise); …an 'encylopedic' file contains all the information on something, however it is gained. | |
| From: François Recanati (Mental Files [2012], 6.1-3) | |
| A reaction: [picked as samples of his taxonomy, pp.70-73] I'm OK with this as long as he doesn't think the categories are sharply separated. I'm inclined to think of files as a single type, drifting in and out of different of modes. |
| 16368 | Files are hierarchical: proto-files, then first-order, then higher-order encyclopedic [Recanati] |
| Full Idea: There is a hierarchy of files. Proto-files are the most basic; conceptual files are generated from them. First-order ones are more basic, as the higher-order encylopedic entries presuppose them. | |
| From: François Recanati (Mental Files [2012], 6.3) | |
| A reaction: This hierarchy might fit into a decent account of categories, if a plausible one could be found. A good prospect for exploring categories would be to start with mental file-types, and work outwards through their relations. |
| 16370 | A file has a 'nucleus' through its relation to the object, and a 'periphery' of links to other files [Recanati] |
| Full Idea: I take a file to have a dual structure, with a 'nucleus' of the file consisting of information derived through the relevant epistemically rewarding relation, while the 'periphery' consists of information derived through linking with other files. | |
| From: François Recanati (Mental Files [2012], 8.3) | |
| A reaction: This sounds strikingly like essentialism to me, though what constitutes the essence is different from the usual explanatory basics. The link, though, is in the causal connection. If we naturally 'essentialise', that will control file-formation. |
| 16381 | The content of thought is what is required to understand it (which involves hearers) [Recanati] |
| Full Idea: As Evans emphasises, what matters when we want to individuate semantic content is what would count as a proper understanding of an utterance; but 'understanding' defines the task of the hearer. | |
| From: François Recanati (Mental Files [2012], 16.2) | |
| A reaction: [cites Evans 1982: 92, 143n, 171] I like to place (following Aristotle) understanding at the centre of all of philosophy, so this seems to me an appealing idea. It makes misunderstandings interesting. |
| 16365 | Mental files are individual concepts (thought constituents) [Recanati] |
| Full Idea: I want mental files (properly speaking) to serve as individual concepts, i.e. thought constituents. | |
| From: François Recanati (Mental Files [2012], 5.3) | |
| A reaction: This is why the concept of mental files is so neat - it gives you a theory of reference and a theory of concepts. I love the files approach because it precisely fits my own introspective experiences. Hope I'm not odd in that way. |
| 9080 | General conceptions are a necessary preliminary to Induction [Mill] |
| Full Idea: Forming general conceptions is a necessary preliminary to Induction. | |
| From: John Stuart Mill (System of Logic [1843], 4.2.1) | |
| A reaction: A key link in the framework of empirical philosophies, which gets us from experience to science. Induction is the very process of generalisation. We can't bring a concept like 'evolution' to preliminary observations, so it must be formulated inductively. |
| 9078 | The study of the nature of Abstract Ideas does not belong to logic, but to a different science [Mill] |
| Full Idea: The metaphysical inquiry into the nature and composition of what have been called Abstract Ideas, or in other words, of the notions which answer in the mind to classes and to general names, belongs not to Logic, but to a different science. | |
| From: John Stuart Mill (System of Logic [1843], 4.2.1) | |
| A reaction: He doesn't name the science, but the point here seems to be precisely what Frege so vigorously disagreed with. I would say that the state of being 'abstract' has logical aspects, and can be partly described by logic, but that Mill is basically right. |
| 16356 | There may be two types of reference in language and thought: descriptive and direct [Recanati] |
| Full Idea: A widely held view, originating with Russell, says there are two types of reference (both in language and thought): descriptive reference, and direct reference. | |
| From: François Recanati (Mental Files [2012], 3.2) | |
| A reaction: I would rather say is there is just one sort of reference, and as many ways of achieving it as you care to come up with. With that view, most of the problems vanish, as far as I can see. People refer. Sentences are nothing but trouble. |
| 16393 | In super-direct reference, the referent serves as its own vehicle of reference [Recanati] |
| Full Idea: In super-direct reference, the sort of thing Russell was after, there is no mode of presentation: the referent itself serves as its own vehicle, as it were. | |
| From: François Recanati (Mental Files [2012], 18.2) | |
| A reaction: To me this is a step too far, because reference is not some physical object like a chair; it is a mental or linguistic phenomenon. Chair's don't refer themselves; it is people who refer. |
| 16386 | Direct reference is strong Millian (just a tag) or weak Kaplanian (allowing descriptions as well) [Recanati] |
| Full Idea: There are two notions of direct reference, the strong Millian notion (where the expression is like a 'tag' with no satisfaction mechanism), and the weaker Kaplanian notion (where reference is compatible with carrying a descriptive meaning). | |
| From: François Recanati (Mental Files [2012], 17.3) | |
| A reaction: I immediately favour the Millian view, which gives a minimal basis for reference, as just a 'peg' (Marcus) to hang things on. I don't take a Millian reference to be the object itself. The concept of a 'tag' or 'label' is key. Mental files have tags. |
| 16372 | Sense determines reference says same sense/same reference; new reference means new sense [Recanati] |
| Full Idea: To say that sense determines reference is to say that the same sense cannot determine distinct referents - any distinction at the level of reference entails a corresponding distinction at the level of sense. | |
| From: François Recanati (Mental Files [2012], 10.2) | |
| A reaction: Does 'the sentry at the gate' change its sense when the guard is changed? Yes. 'The sentry at the gate will stop you'. 'The sentry at the gate is my cousin'. De re/de dicto reference. So changes of de re reference seem to change the sense? |
| 16388 | We need sense as well as reference, but in a non-descriptive form, and mental files do that [Recanati] |
| Full Idea: My view inherits from Frege 'modes of presentation'. Reference is not enough, and sense is needed. …We must make room for non-descriptive modes of presentation, and these are mental files. | |
| From: François Recanati (Mental Files [2012], 18.1) | |
| A reaction: [compressed] Recanati aims to avoid the standard Kripkean criticisms of descriptivism, while being able to handle Frege's puzzles. I take Recanati's mental files theory to be the most promising approach. |
| 16359 | Sense is a mental file (not its contents); similar files for Cicero and Tully are two senses [Recanati] |
| Full Idea: What plays the role of sense is not information in a file, but the file itself. If there are two distinct files, one for 'Cicero' and one for 'Tully', then there are two distinct (non-descriptive) senses, even if the information in both files is the same. | |
| From: François Recanati (Mental Files [2012], 3.4) | |
| A reaction: This may be the best idea in Recanati's book. A sense might be a 'way of coming at the information', rather than some set of descriptions. |
| 16355 | Problems with descriptivism are reference by perception, by communications and by indexicals [Recanati] |
| Full Idea: Three problems with Frege's idea of descriptions in the head are: reference through perception, reference through communicative chains, and reference through indexicals. | |
| From: François Recanati (Mental Files [2012], 3.1) | |
| A reaction: In the end reference has to occur in the head, even if it is social or causal or whatever, so these are not problems that worry me. |
| 16348 | Descriptivism says we mentally relate to objects through their properties [Recanati] |
| Full Idea: Descriptivism is the view that our mental relation to individual objects goes through properties of those objects. …This is so because our knowledge of objects is mediated by our knowledge of their properties. | |
| From: François Recanati (Mental Files [2012], 1.1) | |
| A reaction: The implication is that if you view an object as just a bundle of properties, then you are obliged to hold a descriptive theory of reference. Hence a 'singularist' theory of reference seems to need a primitive notion of an object's identity. |
| 16384 | Definite descriptions reveal either a predicate (attributive use) or the file it belongs in (referential) [Recanati] |
| Full Idea: A definite description may contribute either the singular predicate it encodes (attributive use) or the mental file to what that predicate belongs (referential use). | |
| From: François Recanati (Mental Files [2012], 17.1) | |
| A reaction: This nicely explains Donnellan's distinction in terms of mental files. 'Green' may refer in a shop, but isn't much use in a wood. What to make of 'He's a bit of a Bismark'? |
| 16352 | A rigid definite description can be attributive, not referential: 'the actual F, whoever he is….' [Recanati] |
| Full Idea: A rigid use of a definite description need not be referential: it may be attributive. Thus I may say: 'The actual F, whoever he is, is G'. | |
| From: François Recanati (Mental Files [2012], 2.2) | |
| A reaction: Recanati offers this as a criticism of the attempted 2-D solution to descriptivist accounts of singularity. The singularity is not strong enough, he says. |
| 16353 | Singularity cannot be described, and it needs actual world relations [Recanati] |
| Full Idea: As Peirce insisted, singularity as such cannot be described, it can only be given through actual world relations. | |
| From: François Recanati (Mental Files [2012], 2.2) | |
| A reaction: [Peirce - Exact Logic, Papers 3, 1967, §419] This is the key idea for Recanati's case for basing our grasp of singular things on their relation to a mental file. |
| 16382 | Fregean modes of presentation can be understood as mental files [Recanati] |
| Full Idea: A mental file plays the role which Fregean theory assigns to modes of presentation. | |
| From: François Recanati (Mental Files [2012], 17.1) | |
| A reaction: I'm a fan of mental files, and this is a nice pointer to how the useful Fregean insights can be written in a way better grounded in brain operations. Rewriting Frege in neuroscience terms is a nice project for someone. |
| 16389 | If two people think 'I am tired', they think the same thing, and they think different things [Recanati] |
| Full Idea: If you and I think 'I am tired', there is a sense in which we think the same thing, and another sense in which we think different things. | |
| From: François Recanati (Mental Files [2012], 18.1) | |
| A reaction: This is a very nice simple account of the semantic distinctiveness of indexicals, which obviously requires a 'two-tiered framework'. He cites Kaplan and Perry as background. |
| 16363 | Indexicals (like mental files) determine their reference relationally, not by satisfaction [Recanati] |
| Full Idea: The class of indexicals have the same property as mental files, that their reference is determined relationally rather than satisfactionally. | |
| From: François Recanati (Mental Files [2012], 5.1) | |
| A reaction: Recanati is building an account of reference through mental files. This idea may be the clearest point I have yet encountered about indexicals, showing why they are of particular interest to philosophers. |
| 16364 | Indexical don't refer; only their tokens do [Recanati] |
| Full Idea: Indexicals do not refer; only tokens of an indexical refer | |
| From: François Recanati (Mental Files [2012], 5.1) | |
| A reaction: Thus 'Thurs 23rd March 2013' refers, but 'now' doesn't, unless someone produces an utterance of it. This is why indexicals are sometimes called 'token-reflexives'. |
| 16351 | In 2-D semantics, reference is determined, then singularity by the truth of a predication [Recanati] |
| Full Idea: In the two-dimensional framework, what characterises the singular case is the fact that truth-evaluation (of possessing of the reference-fixing property) takes place at a later stage than reference determination. | |
| From: François Recanati (Mental Files [2012], 2.1) | |
| A reaction: This sounds psychologically plausible, which is a big (and unfashionable) plus for me. 1) what are we talking about? 2) what are we saying about it, 3) is it true? |
| 16350 | Two-D semantics is said to help descriptivism of reference deal with singular objects [Recanati] |
| Full Idea: Descriptivism has trouble catching the singularity of objects, construing them as only directly about properties. …To get the truth-conditions right, it is claimed, the descriptivist only as to go two-dimensional. | |
| From: François Recanati (Mental Files [2012], 2.1) | |
| A reaction: I suspect that the descriptivist only has a problem here because context is being ignored. 'That man on the beach' can quickly be made uniquely singular after a brief chat. |
| 16380 | Russellian propositions are better than Fregean thoughts, by being constant through communication [Recanati] |
| Full Idea: The Russellian notion of a proposition is arguably a better candidate for the status of semantic content than the Fregean notion of a thought. For the proposition remains constant from one person to the next. | |
| From: François Recanati (Mental Files [2012], 16.2) | |
| A reaction: A good point, though I rebel against Russellian propositions because they are too much out in the world, and propositions strike me as features of minds. We need to keep propositions separate from facts. |
| 8345 | A cause is the total of all the conditions which inevitably produce the result [Mill] |
| Full Idea: A cause is the sum total of the conditions positive and negative taken together ...which being realized, the consequent invariably follows. | |
| From: John Stuart Mill (System of Logic [1843]), quoted by Donald Davidson - Causal Relations §1 | |
| A reaction: This has obvious problems. The absence of Napoleon was a cause of the English Civil War. The Big Bang was a cause of, well, every event. As Davidson notes, some narrowing down is needed. |
| 10391 | Causes and conditions are not distinct, because we select capriciously from among them [Mill] |
| Full Idea: Nothing can better show the absence of any scientific ground for the distinction between the cause of a phenomena and its conditions, than the capricious manner in which we select from among the conditions that which we choose to denominate the cause. | |
| From: John Stuart Mill (System of Logic [1843]), quoted by Jonathan Schaffer - The Metaphysics of Causation 2.2 | |
| A reaction: [ref Mill p.196, 1846 edn] Schaffer gives this as the main argument for the 'no-basis' view of the selection of what causes an event. The usual thought is that it is entirely our immediate interests which make us select THE cause. Not convinced. |
| 14547 | The strict cause is the total positive and negative conditions which ensure the consequent [Mill] |
| Full Idea: The cause, philosophically speaking, is the sum total of the conditions, positive and negative taken together; the whole of the contigencies of every description, which being realized, the consequent invariably follows. | |
| From: John Stuart Mill (System of Logic [1843], 3.05.3) | |
| A reaction: This somewhat notorious remark is not going to be much help in a law court or a laboratory. It is that view which says that the Big Bang must be included in every causal list ever compiled. Well, yes... |
| 8377 | Causation is just invariability of succession between every natural fact and a preceding fact [Mill] |
| Full Idea: The Law of Causation, the recognition of which is the main pillar of inductive science, is but the familiar truth, that invariability of succession is found by observation between every fact in nature and some other fact which has preceded it. | |
| From: John Stuart Mill (System of Logic [1843], 3.5.2), quoted by Bertrand Russell - On the Notion of Cause p.178 | |
| A reaction: Note that Mill rests causation on 'facts'. In the empiricist Mill endorsing the views of Hume. Russell attacks the bogus claim that science rests on causation. Personally I think Mill's view is incorrect. |
| 14545 | A cause is an antecedent which invariably and unconditionally leads to a phenomenon [Mill] |
| Full Idea: We may define the cause of a phenomenon to be the antecedent, or the concurrence of the antecedents, on which it is invariably and unconditionally consequent. | |
| From: John Stuart Mill (System of Logic [1843], 3.05.6) | |
| A reaction: This ignores the possibility of the world ending just before the effect occurs, the 'ceteris paribus' clause. If it only counts as a cause if the effect has actually occurred, we begin to suspect tautology. |
| 4773 | Mill's regularity theory of causation is based on an effect preceded by a conjunction of causes [Mill, by Psillos] |
| Full Idea: Millian causation is a version of the Regularity Theory, but with the addition that when claiming that an effect invariably follows from the cause, the cause is not a single factor, but a whole conjunction of necessary and sufficient conditions. | |
| From: report of John Stuart Mill (System of Logic [1843], p.217) by Stathis Psillos - Causation and Explanation §2.2 | |
| A reaction: Psillos endorses this as an improvement on Hume. But while we may replicate one event preceding another to get regularity, groups of events are hardly ever identical, so no precise pattern will ever be seen. |
| 4775 | In Mill's 'Method of Agreement' cause is the common factor in a range of different cases [Mill, by Psillos] |
| Full Idea: In Mill's 'Method of Agreement' the cause is the common factor in a number of otherwise different cases in which the effect occurs. | |
| From: report of John Stuart Mill (System of Logic [1843], p.255) by Stathis Psillos - Causation and Explanation §2.3 | |
| A reaction: This looks more likely to be good evidence for the cause of an event, rather than a definition of what a cause actually is. Suppose a footballer only scores if and only if I go to watch him? |
| 4776 | In Mill's 'Method of Difference' the cause is what stops the effect when it is removed [Mill, by Psillos] |
| Full Idea: In Mill's 'Method of Difference' the cause is the factor which is different in two cases which are similar, except that in one the effect occurs, and in the other it doesn't. | |
| From: report of John Stuart Mill (System of Logic [1843], p.256) by Stathis Psillos - Causation and Explanation §2.3 | |
| A reaction: Like the Method of Agreement, this is a good test, but is unlikely to be a conclusive hallmark of causation. A footballer may never score unless I go to watch him. I become his lucky mascot… |
| 9417 | What are the fewest propositions from which all natural uniformities could be inferred? [Mill] |
| Full Idea: What are the fewest general propositions from which all the uniformities which exist in the universe might be deductively inferred? | |
| From: John Stuart Mill (System of Logic [1843], 3.4.1) | |
| A reaction: This is the germ of the Mill-Ramsey-Lewis view. |