171 ideas
| 18559 | Philosophy is empty if it does not in some way depend on matters of fact [Machery] |
| Full Idea: Save, maybe, for purely formal (e.g. logical) theories, philosophical claims whose correctness does not depend, however indirectly, on matters of fact are empty: they are neither true nor false. | |
| From: Edouard Machery (Doing Without Concepts [2009], Intro) | |
| A reaction: I subscribe to this view. I'd even say that logic is empty if it is not answerable to the facts. The facts are nature, so this is a naturalistic manifesto. |
| 15390 | Metaphysics attempts to give an account of everything, in terms of categories and principles [Simons] |
| Full Idea: Metaphysics, the noblest of philosophic enterprises, is an attempt to give an account of everything. ...Its job is to provide a universal framework (of categories and principles) within which anything whatever can take its place. | |
| From: Peter Simons (Whitehead: process and cosmology [2009], 'Speculative') | |
| A reaction: Bravo! I take metaphysics to be entirely continuous with science, but operating entirely at the highest level of generality. See Westerhoff on categories, though. The enterprise may not be going too well. |
| 12865 | Analytic philosophers may prefer formal systems because natural language is such mess [Simons] |
| Full Idea: The untidiness of natural language in its use of 'part' is perhaps one of the chief reasons why mereolologists have preferred to investigate formal systems with nice algebraic properties rather than get out and mix it with reality in all its messiness. | |
| From: Peter Simons (Parts [1987], 6.4) | |
| A reaction: [See Idea 12864 for the uses of 'part'] I am in the unhappy (and probably doomed) position of wanting to avoid both approaches. I try to operate as if the English language were transparent and we can just discuss the world. Very naïve. |
| 12815 | Classical mereology doesn't apply well to the objects around us [Simons] |
| Full Idea: The most fundamental criticism of classical mereology is that the theory is not applicable to most of the objects around us, and is accordingly of little use as a formal reconstruction of the concepts of part and whole which we actually employ. | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: This sounds splendidly dismissive, but one might compare it with possible worlds semantics for modal logic, which most people take with a pinch of salt as an actual commitment, but find wonderfully clarifying in modal reasoning. |
| 12832 | Complement: the rest of the Universe apart from some individual, written x-bar [Simons] |
| Full Idea: The 'complement' of each individual in mereology is the rest of the Universe outside it, that is U - x, but written as x-bar [x with a horizontal bar above it]. | |
| From: Peter Simons (Parts [1987], 1.1.10) | |
| A reaction: [Don't have a font for x-bar] See Idea 12831 for the 'Universe'. Simons suggest that the interest of this term is mainly historical and algebraic. |
| 12834 | Criticisms of mereology: parts? transitivity? sums? identity? four-dimensional? [Simons] |
| Full Idea: Main criticisms of mereology: we don't mean 'part' as improper; transitivity of 'part' is sometimes not transitive; no guarantee that there are 'sums'; the identity criteria for individuals are false; we are forced into materialistic four-dimensionalism. | |
| From: Peter Simons (Parts [1987], 3.2) | |
| A reaction: [Compressed summary; for four-dimensionalism see under 'Identity over Time'] Simons says these are in ascending order of importance. |
| 12819 | A 'part' has different meanings for individuals, classes, and masses [Simons] |
| Full Idea: It emerges that 'part', like other formal concepts, is not univocal, but has analogous meanings according to whether we talk of individuals, classes, or masses. | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: He suggests that unrestricted sums are appropriate for the last two, but not for individuals. There must be something univocal about the word - some awareness of a possible whole or larger entity to which the thing could belong. |
| 12822 | Proper or improper part: x < y, 'x is (a) part of y' [Simons] |
| Full Idea: A 'proper or improper part' is expressed by 'x < y', read as 'x is (a) part of y'. The relatively minor deviation from normal usage (of including an improper part, i.e. the whole thing) is warranted by its algebraical convenience. | |
| From: Peter Simons (Parts [1987], 1.1.02) | |
| A reaction: Including an improper part (i.e. the whole thing) is not, Simons points out, uncontroversial, because the part being 'equal' to the whole is read as being 'identical' to the whole, which Simons is unwilling to accept. |
| 12824 | Disjoint: two individuals are disjoint iff they do not overlap, written 'x | y' [Simons] |
| Full Idea: Two individuals are 'disjoint' mereologically if and only if they do not overlap, expressed by 'x | y', read as 'x is disjoint from y'. Disjointedness is symmetric. | |
| From: Peter Simons (Parts [1987], 1.1.04) |
| 12827 | Difference: the difference of individuals is the remainder of an overlap, written 'x - y' [Simons] |
| Full Idea: The 'difference' of two individuals is the largest individual contained in x which has no part in common with y, expressed by 'x - y', read as 'the difference of x and y'. | |
| From: Peter Simons (Parts [1987], 1.1.07) |
| 12823 | Overlap: two parts overlap iff they have a part in common, expressed as 'x o y' [Simons] |
| Full Idea: Two parts 'overlap' mereologically if and only if they have a part in common, expressed by 'x o y', read as 'x overlaps y'. Overlapping is reflexive and symmetric but not transitive. | |
| From: Peter Simons (Parts [1987], 1.1.03) | |
| A reaction: Simons points out that we are uncomfortable with overlapping (as in overlapping national boundaries), because we seem to like conceptual boundaries. We avoid overlap even in ordering primary colour terms, by having a no-man's-land. |
| 12825 | Product: the product of two individuals is the sum of all of their overlaps, written 'x · y' [Simons] |
| Full Idea: For two overlapping individuals their 'product' is the individual which is part of both and such that any common part of both is part of it, expressed by 'x · y', read as 'the product of x and y'. | |
| From: Peter Simons (Parts [1987], 1.1.05) | |
| A reaction: That is, the 'product' is the sum of any common parts between two individuals. In set theory all sets intersect at the null set, but mereology usually avoids the 'null individual'. |
| 12826 | Sum: the sum of individuals is what is overlapped if either of them are, written 'x + y' [Simons] |
| Full Idea: The 'sum' of two individuals is that individual which something overlaps iff it overlaps at least one of x and y, expressed by 'x + y', read as 'the sum of x and y'. It is central to classical extensional mereologies that any two individuals have a sum. | |
| From: Peter Simons (Parts [1987], 1.1.06) | |
| A reaction: This rather technical definition (defining an individual by the possibility of it being overlapped) does not always coincide with the smallest individual containing them both. |
| 12828 | General sum: the sum of objects satisfying some predicate, written σx(Fx) [Simons] |
| Full Idea: The 'general sum' of all objects satisfying a certain predicate is denoted by a variable-binding operator, expressed by 'σx(Fx)', read as 'the sum of objects satisfying F'. | |
| From: Peter Simons (Parts [1987], 1.1.08) | |
| A reaction: This, it seems, is introduced to restrict some infinite classes which aspire to be sums. |
| 12829 | General product: the nucleus of all objects satisfying a predicate, written πx(Fx) [Simons] |
| Full Idea: The 'general product' or 'nucleus' of all objects satisfying a certain predicate is denoted by a variable-binding operator, expressed by 'πx(Fx)', read as 'the product of objects satisfying F'. | |
| From: Peter Simons (Parts [1987], 1.1.08) | |
| A reaction: See Idea 12825 for 'product'. 'Nucleus' is a helpful word here. Thought: is the general product a candidate for a formal definition of essence? It would be a sortal essence - roughly, what all beetles have in common, just by being beetles. |
| 12830 | Universe: the mereological sum of all objects whatever, written 'U' [Simons] |
| Full Idea: The 'Universe' in mereology is the sum of all objects whatever, a unique individual of which all individuals are part. This is denoted by 'U'. Strictly, there can be no 'empty Universe', since the Universe is not a container, but the whole filling. | |
| From: Peter Simons (Parts [1987], 1.1.09) | |
| A reaction: This, of course, contrasts with set theory, which cannot have a set of all sets. At the lower end, set theory does have a null set, while mereology has no null individual. See David Lewis on combining the two theories. |
| 12831 | Atom: an individual with no proper parts, written 'At x' [Simons] |
| Full Idea: An 'atom' in mereology is an individual with no proper parts. We shall use the expression 'At x' to mean 'x is an atom'. | |
| From: Peter Simons (Parts [1987], 1.1.11) | |
| A reaction: Note that 'part' in standard mereology includes improper parts, so every object has at least one part, namely itself. |
| 12844 | Dissective: stuff is dissective if parts of the stuff are always the stuff [Simons] |
| Full Idea: Water is said not to be 'dissective', since there are parts of any quantity of water which are not water. | |
| From: Peter Simons (Parts [1987], 4.2) | |
| A reaction: This won't seem to do for any physical matter, but presumably parts of numbers are always numbers. |
| 12813 | Two standard formalisations of part-whole theory are the Calculus of Individuals, and Mereology [Simons] |
| Full Idea: The standardly accepted formal theory of part-whole is classical extensional mereology, which is known in two logical guises, the Calculus of Individuals of Leonard and Goodman, and the Mereology of Lesniewski. | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: Simons catalogues several other modern attempts at axiomatisation in his chapter 2. |
| 12821 | The part-relation is transitive and asymmetric (and thus irreflexive) [Simons] |
| Full Idea: Formally, the part-relation is transitive and asymmetric (and thus irreflexive). Hence nothing is a proper part of itself, things aren't proper parts of one another, and if one is part of two which is part of three then one is part of three. | |
| From: Peter Simons (Parts [1987], 1.1.1) |
| 18847 | Each wheel is part of a car, but the four wheels are not a further part [Simons] |
| Full Idea: The four wheels of a car are parts of it (each is part of it), but there is not a fifth part consisting of the four wheels. | |
| From: Peter Simons (Parts [1987], 4.6) | |
| A reaction: This raises questions about the transitivity of parthood. If there are parts of parts of wholes, the basic parts are OK, and the whole is OK, but how can there also be an intermediate part? Try counting the parts of this whole! |
| 12816 | Classical mereology doesn't handle temporal or modal notions very well [Simons] |
| Full Idea: The underlying logic of classical extensional mereology does not have the resources to deal with temporal and modal notions such as temporary part, temporal part, essential part, or essential permanent part. | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: Simons tries to rectify this in the later chapters of his book, with modifications rather than extensions. Since everyone struggles with temporal and modal issues of identity, we shouldn't judge too harshly. |
| 12846 | A 'group' is a collection with a condition which constitutes their being united [Simons] |
| Full Idea: We call a 'collection' of jewels a 'group' term. Several random musicians are unlikely to be an orchestra. If they come together regularly in a room to play, such conditions are constitutive of an orchestra. | |
| From: Peter Simons (Parts [1987], 4.4) | |
| A reaction: Clearly this invites lots of borderline cases. Eleven footballers don't immediately make a team, as followers of the game know well. |
| 12848 | The same members may form two groups [Simons] |
| Full Idea: Groups may coincide in membership without being identical - extensionality goes. | |
| From: Peter Simons (Parts [1987], 4.9) | |
| A reaction: Thus an eleven-person orchestra may also constitute a football team. What if a pile of stones is an impediment to you, and useful to me? Is it then two groups? Suppose they hum while playing football? (Don't you just love philosophy?) |
| 12861 | 'The wolves' are the matter of 'the pack'; the latter is a group, with different identity conditions [Simons] |
| Full Idea: 'The wolves' is a plural term referring to just these animals, whereas 'the pack' of wolves refers to a group, and the group and plurality, while they may coincide in membership, have different identity conditions. The wolves are the matter of the pack. | |
| From: Peter Simons (Parts [1987], 6.4) | |
| A reaction: Even a cautious philosopher like Simons is ready to make bold ontological commitment to 'packs', on the basis of something called 'identity conditions'. I think it is just verbal. You can qualify 'the wolves' and 'the pack' to make them identical. |
| 22246 | A train of reasoning must be treated as all happening simultaneously [Recanati] |
| Full Idea: For logic purposes, a train of reasoning has to be construed as synchronic. | |
| From: François Recanati (Mental Files in Flux [2016], 5.2) | |
| A reaction: If we are looking for a gulf between logic and the real world this is a factor to be considered, along with Nietzsche's observation about necessary simplification. [ref to Kaplan 'Afterthoughts' 1989, 584-5] |
| 12876 | Philosophy is stuck on the Fregean view that an individual is anything with a proper name [Simons] |
| Full Idea: Modern philosophy is still under the spell of Frege's view that an individual is anything that has a proper name. (Note: But not only are empty names now recognised, but some are aware of the existence of plural reference). | |
| From: Peter Simons (Parts [1987], 8.1) | |
| A reaction: Presumably every electron in the universe is an individual, and every (finite) number which has never been named has a pretty clear identity. Presumably Pegasus, John Doe, and 'the person in the kitchen' have to be accommodated. |
| 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. |
| 12845 | Some natural languages don't distinguish between singular and plural [Simons] |
| Full Idea: The syntactic distinction between singular and plural is not a universal feature of natural languages. Chinese manages nicely without it, and Sanskrit makes a tripartite distinction between singular, dual, and plural (more than two). | |
| From: Peter Simons (Parts [1987], 4.3) | |
| A reaction: Simons is mounting an attack on the way in which modern philosophy and logic has been mesmerised by singular terms and individuated objects. Most people seem now to agree with Simons. There is stuff, as well as plurals. |
| 12838 | Four-dimensional ontology has no change, since that needs an object, and time to pass [Simons] |
| Full Idea: In the four-dimensional ontology there may be timeless variation, but there is no change. Change consists in an object having first one property and then another contrary one. But processes all have their properties timelessly. | |
| From: Peter Simons (Parts [1987], 3.4) | |
| A reaction: Possibly Simons is begging the question here. The phenomena which are traditionally labelled as 'change' are all nicely covered in the four-D account. Change is, we might say, subsumed in the shape of the space-time 'worm'. |
| 12842 | There are real relational changes, as well as bogus 'Cambridge changes' [Simons] |
| Full Idea: It is a mistake to call bogus Cambridge changes 'relational changes', since there are real relational changes, such as the changes in the relative positions and distances of several bodies. | |
| From: Peter Simons (Parts [1987], 4.1) | |
| A reaction: I'm not sure how you distinguish the two. If we swap seats, that is a real change. If everyone moves away from where I am sitting, is that real or Cambridge? If I notice, I might be upset, but suppose I don't notice? Nothing about me changes. |
| 12841 | I don't believe in processes [Simons] |
| Full Idea: I have been unable to see that there are processes. | |
| From: Peter Simons (Parts [1987], 4.1 n4) | |
| A reaction: My problem here is that I am inclined to think of the mind as a process of the brain. The fact that a reductive account can be given of a process doesn't mean that we can deny there existence. Is there no such thing as decay, or erosion? |
| 12836 | Fans of process ontology cheat, since river-stages refer to 'rivers' [Simons] |
| Full Idea: Proponents of process ontology (except perhaps Whitehead, who is obscure) indulge in double-talk with concrete examples. It is cheating to talk of 'cat-processes', or 'bathing in river-stages'. You can't change the subject and leave the predicate alone. | |
| From: Peter Simons (Parts [1987], 3.4) | |
| A reaction: It is one thing to admit processes into one's ontology, and another to have a 'process ontology', which presumably reduces objects to processes. I suppose the interest of continuant objects is precisely the aspect of them that is above any process. |
| 8979 | Slow and continuous events (like balding or tree-growth) are called 'processes', not 'events' [Simons] |
| Full Idea: Some changes are slow and continuous and are called 'processes' rather than events; the growth of a tree or the greying of John's hair. | |
| From: Peter Simons (Events [2003], 3.2) | |
| A reaction: So making a loaf of bread is an event rather than a process, and World War I was a process rather than an event? If you slow down a dramatic event (on film), you see that it is really a process. I take 'process' to be a much more illuminating word. |
| 8981 | Maybe processes behave like stuff-nouns, and events like count-nouns [Simons] |
| Full Idea: There is arguably a parallel between the mass-count distinction among meanings of nouns and the process-event distinction among meanings of verbs. Processes, like stuff, do not connote criteria for counting, whereas events, like things, do. | |
| From: Peter Simons (Events [2003], 6.2) | |
| A reaction: Hm. You can have several processes, and a process can come to an end - but then you can have several ingredients of a cake, and you can run out of one of them. This may be quite a helpful distinction. |
| 12880 | Moments are things like smiles or skids, which are founded on other things [Simons] |
| Full Idea: A 'moment' is something which is founded on something else. Examples are legion: smiles, headaches, gestures, skids, collisions, fights, thought, all founded on their participants, the continuants involved in them. | |
| From: Peter Simons (Parts [1987], 8.4) | |
| A reaction: The idea of a 'moment' and 'foundation' come from Husserl Log. Inv. 3. Simons says moments 'have a bright future in ontology'. It would be better if fewer of his examples involved human beings and their perceptions. |
| 12881 | A smiling is an event with causes, but the smile is a continuant without causes [Simons] |
| Full Idea: A smiling, being an event, has causes and effects, whereas the smile thereby produced is a continuant, and has itself neither causes nor effects. | |
| From: Peter Simons (Parts [1987], 8.5) | |
| A reaction: This is dogmatic, hopeful and a bit dubious. Simons is very scathing about processes in ontology. There seem to be two descriptions, with distinctive syntax, but it is hard to believe that in reality we have two types of thing present. |
| 12882 | A wave is maintained by a process, but it isn't a process [Simons] |
| Full Idea: A wave is maintained by a process transferring motion from particle to particle of the medium, but it is not identical with this process. | |
| From: Peter Simons (Parts [1987], 8.5) | |
| A reaction: I'm inclined to think of the mind as a process. There are some 'things' which only seem to exist if they have a duration. Bricks can be instantaneous, but minds and waves can't. A wave isn't a continuant. A hill isn't a wave. |
| 12883 | Moving disturbances are are moments which continuously change their basis [Simons] |
| Full Idea: Moving disturbances are a special and interesting kind of continuant: moments which continuously change their fundaments. | |
| From: Peter Simons (Parts [1987], 8.5) | |
| A reaction: [a smile is a moment, and the face its fundament] I'm thinking he's got this wrong. Compare Idea 12882. Disturbances can't be continuants, because the passing of time is essential to them, but not to a continuant. |
| 12840 | I do not think there is a general identity condition for events [Simons] |
| Full Idea: Like Anscombe (1979) I do not think there is such a creature as a general identity condition for events. | |
| From: Peter Simons (Parts [1987], 4.1 n1) | |
| A reaction: My working definition of an event is 'any part of a process which can be individuated'. This leaves you trying to define a process, and define individuate, and then to realise that individuation is not an objective matter. |
| 8973 | Einstein's relativity brought events into ontology, as the terms of a simultaneity relationships [Simons] |
| Full Idea: The ontology of events rose in philosophy with the rise of relativity theory in physics. Einstein postulated the relativity of simultaneity to an observer's state of motion. The terms of the relation of simultaneity must be events or their parts. | |
| From: Peter Simons (Events [2003], 1.1.2) | |
| A reaction: Intriguing. Philosophers no doubt think they are way ahead of physicists in such a metaphysical area. Personally I regard the parentage of the concept as good grounds for scepticism about it. See Idea 7621 for my reason. |
| 12839 | Relativity has an ontology of things and events, not on space-time diagrams [Simons] |
| Full Idea: A closer examination of the concepts and principles of relativity shows that they rest squarely on an ontology of things and events (not on convenient 'space-time diagrams'). Acceleration concerns non-zero mass, but only continuants can have a mass. | |
| From: Peter Simons (Parts [1987], 3.4) | |
| A reaction: The point here is that fans of four-dimensionalism like to claim that they are more in touch with modern physics, because 'time is just another dimension, like space, so objects are spread across it'. Simons sounds right about this. |
| 12879 | Independent objects can exist apart, and maybe even entirely alone [Simons] |
| Full Idea: An object a is ontologically independent of b if a can exist without b, if there is a possible world in which in which a exists and b does not. In the strongest sense, an object is independent if it could be all there is. | |
| From: Peter Simons (Parts [1987], 8.4) | |
| A reaction: Simons calls the strongest version a 'startling' one which maybe not even God could achieve. |
| 12847 | Mass nouns admit 'much' and 'a little', and resist 'many' and 'few'. [Simons] |
| Full Idea: Syntactic criteria for mass nouns include that they admit 'much' and 'a little', and resist 'many' and 'few'. | |
| From: Peter Simons (Parts [1987], 4.6) | |
| A reaction: That is, they don't seem to be countable. Sortal terms are those which pick out countables. |
| 12863 | Mass terms (unlike plurals) are used with indifference to whether they can exist in units [Simons] |
| Full Idea: Mass terms and plural terms differ principally in the indifference of mass terms to matters of division. A mass term can be used irrespective of how, indeed whether, the denotatum comes parcelled in units. | |
| From: Peter Simons (Parts [1987], 6.4) | |
| A reaction: It seems more to the point to say that mass terms (stuff) don't need units to exist, and you can disperse the units (the cups of water) without affecting the identity of the stuff. You can't pulverise a pile of stones and retain the stones. |
| 12862 | Gold is not its atoms, because the atoms must be all gold, but gold contains neutrons [Simons] |
| Full Idea: The mass of gold cannot be identified with the gold atoms, because whatever is part of the gold atoms is gold, whereas not every part of the gold is gold (for example, the neutrons in it are not gold). | |
| From: Peter Simons (Parts [1987], 6.4) | |
| A reaction: There is something too quick about arguments like this. It comes back to nominal v real essence. We apply 'gold' to the superficial features of the stuff, but deep down we may actually mean the atomic structure. See Idea 12812. |
| 12858 | Mixtures disappear if nearly all of the mixture is one ingredient [Simons] |
| Full Idea: If a cupful of dirty water is mixed evenly with a ton of earth, no dirty water remains, and the same goes if we mix it evenly with a lake of clean water. | |
| From: Peter Simons (Parts [1987], 6.2) | |
| A reaction: This means that a mixture is a vague entity, subject to the sorites paradox. If the dirt was cyanide, we would consider the water to be polluted by it down to a much lower level. |
| 12859 | A mixture can have different qualities from its ingredients. [Simons] |
| Full Idea: The qualities of a mixture need not be those of its ingredients in isolation. | |
| From: Peter Simons (Parts [1987], 6.2) | |
| A reaction: It depends on what you mean by a quality. Presumably we can give a reductive account of the qualities of the mixture, as long as no reaction has taken place. The taste of a salad is just the sum of its parts. |
| 18564 | Do categories store causal knowledge, or typical properties, or knowledge of individuals? [Machery] |
| Full Idea: Psychologists have attempted to determine whether a concept of a category stores some causal knowledge about the members, some knowledge about their typical properties, or some knowledge about specific members. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.3.2) | |
| A reaction: I take there to be a psychological process of 'generalisation', so that knowledge of individuals is not and need not be retained. I am dubious about entities called 'properties', so I will vote for causal (including perceptual) knowledge. |
| 18604 | Are quick and slow categorisation the same process, or quite different? [Machery] |
| Full Idea: Are categorisation under time pressure and categorisation without time pressure ...two different cognitive competences? | |
| From: Edouard Machery (Doing Without Concepts [2009], 5.1.1) | |
| A reaction: This is a psychologist's question. Introspectively, they do seem to be rather different, as there is no time for theorising and explaining when you are just casting your eyes over the landscape. |
| 18573 | For each category of objects (such as 'dog') an individual seems to have several concepts [Machery] |
| Full Idea: I contend that the best available evidence suggests that for each category of objects an individual typically has several concepts. For instance, instead of having a single concept of dog, an individual has in fact several concepts of dog. | |
| From: Edouard Machery (Doing Without Concepts [2009], 3) | |
| A reaction: Machery's book is a sustained defence of this hypothesis, with lots of examples from psychology. Any attempt by philosophers to give a neat and tidy account of categorisation looks doomed. |
| 18602 | A thing is classified if its features are likely to be generated by that category's causal laws [Machery] |
| Full Idea: A to-be-classified object is considered a category member to the extent that its features were likely to have been generated by the category's causal laws. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.4.4) | |
| A reaction: [from Bob Rehder, psychologist, 2003] This is an account of categorisation which arises from the Theory Theory view of concepts, of which I am a fan. I love this idea, which slots neatly into the account I have been defending. Locke would like this. |
| 18565 | There may be ad hoc categories, such as the things to pack in your suitcase for a trip [Machery] |
| Full Idea: There may be ad hoc categories, as when people think about the things to pack in a small suitcase for a trip abroad. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.4.1) | |
| A reaction: This seems to be obviously correct, though critics might say that 'category' is too grand a term for such a grouping. |
| 18431 | Internal relations combine some tropes into a nucleus, which bears the non-essential tropes [Simons, by Edwards] |
| Full Idea: Simons's 'nuclear' option blends features of the substratum and bundle theories. First we have tropes collected by virtue of their internal relations, forming the essential kernel or nucleus. This nucleus then bears the non-essential tropes. | |
| From: report of Peter Simons (Particulars in Particular Clothing [1994], p.567) by Douglas Edwards - Properties 3.5 | |
| A reaction: [compression of Edwards's summary] This strikes me as being a remarkably good theory. I am not sure of the ontological status of properties, such that they can (unaided) combine to make part of an object. What binds the non-essentials? |
| 12850 | To individuate something we must pick it out, but also know its limits of variation [Simons] |
| Full Idea: We have not finished deciding what Fido is when we can pick him out from his surroundings at any one time. ...Knowing what Fido is depends on knowing roughly within what limits his flux of parts is tolerable. | |
| From: Peter Simons (Parts [1987], 5.2) | |
| A reaction: I like this. We don't know the world until we know its modal characteristics (its powers or dispositions). Have you 'individuated' a hand grenade if you think it is a nice ornament? |
| 18570 | There may be several ways to individuate things like concepts [Machery] |
| Full Idea: Philosophers have rarely explained why they believe that there is a single correct way of individuating concepts. Many entities can be legitimately individuated in several ways. | |
| From: Edouard Machery (Doing Without Concepts [2009], 2.1.3) | |
| A reaction: I cite this under 'individuation' because I think that is a very garbled concept. I agree with this point, even though I don't really know exactly what individuation is supposed to be. |
| 12860 | Sortal nouns for continuants tell you their continuance- and cessation-conditions [Simons] |
| Full Idea: A sortal noun for a kind of continuant tells us, among other things, under what conditions the object continues to exist and under what conditions it ceases to exist. | |
| From: Peter Simons (Parts [1987], 6.3) | |
| A reaction: This sounds blatantly false. If you know something is a 'snake', that doesn't tell you how hot it must get before the snakes die. Obviously if you know all about snakes (from studying individual snakes!), then you know a lot about the next snake. |
| 12886 | A whole requires some unique relation which binds together all of the parts [Simons] |
| Full Idea: A whole must at least approximate to this condition: every member of some division of the object stands in a certain relation to every other member, and no member bears this relation to anything other than members of the division. | |
| From: Peter Simons (Parts [1987], 9.2) | |
| A reaction: Simons proceeds to formalise this, and I suspect that he goes for this definition because (unlike looser ones) it can be formalised. See Simons's Idea 12865. We'll need to know whether these are internal or external relations. |
| 12857 | Tibbles isn't Tib-plus-tail, because Tibbles can survive its loss, but the sum can't [Simons] |
| Full Idea: There mere fact that Tibbles can survive the mutilation of losing a tail, whereas the sum of Tib and the tail cannot, is enough to distinguish them, even if no such mutilation ever occurs. | |
| From: Peter Simons (Parts [1987], 6.1) | |
| A reaction: See Idea 12835 for details of the Tibbles example. Either we go for essentialism here, or the whole notion of identity collapses. But the essential features of a person are not just those whose loss would kill them. |
| 12835 | Does Tibbles remain the same cat when it loses its tail? [Simons] |
| Full Idea: The cat is 'Tibbles' with a tail; 'Tib' is Tibbles after the loss of the tail. 1) Tibbles isn't Tib at t; 2) Tibbles is Tib at t'; 3) Tibbles at t is Tibbles at t'; 4) Tib at t is Tib at t'; so 5) Tibbles at t is Tib at t (contradicting 1). What's wrong? | |
| From: Peter Simons (Parts [1987], 3.3) | |
| A reaction: [The example is in Wiggins 1979, from Geach, from William of Sherwood] Simons catalogues nine assumptions which are being made to produce the contradiction. 1) rests on Leibniz's law. Simons says two objects are occupying Tibbles. |
| 12820 | Without extensional mereology two objects can occupy the same position [Simons] |
| Full Idea: If we reject extensionality in mereology, it has as a consequence that more than one object may have exactly the same parts at the same time, and hence occupy the same position. | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: Simons defends this claim. I'm unconvinced that we must choose between the two views. The same parts should ensure the same physical essence, which seems to guarantee the same identity. Not any old parts generate an essence. |
| 12866 | Composition is asymmetric and transitive [Simons] |
| Full Idea: Composition is asymmetric and transitive: if a is made up of b, and b of c, then a is made up of c; and if a is made of b, then b is not made up of a. We cannot say the snow is made up of the snowball. | |
| From: Peter Simons (Parts [1987], 6.5) | |
| A reaction: ...And snowballs composed of snow can then compose a snowman (transitivity). |
| 12867 | A hand constitutes a fist (when clenched), but a fist is not composed of an augmented hand [Simons] |
| Full Idea: Composition entails constitution, but does the converse hold? A hand constitutes a fist in virtue of being clenched, but it is not obvious that it composes a fist, and certainly a fist is not composed of a hand plus some additional part. | |
| From: Peter Simons (Parts [1987], 6.5) | |
| A reaction: There are subtleties of ordinary usage in 'compose' and 'constitute' which are worth teasing apart, but that isn't the last word on such relationships. 'Compose' seems to point towards matter, while 'constitute' seems to point towards form. |
| 12864 | We say 'b is part of a', 'b is a part of a', 'b are a part of a', or 'b are parts of a'. [Simons] |
| Full Idea: There are four cases of possible forms of expression when a is made up of b: we say 'b is part of a', or 'b is a part of a', or 'b are a part of a', or 'b are parts of a'. | |
| From: Peter Simons (Parts [1987], 6.4) | |
| A reaction: Personally I don't want to make much of these observations of normal English usage, but they are still interesting, and Simons offers a nice discussion of them. |
| 12814 | Classical mereology says there are 'sums', for whose existence there is no other evidence [Simons] |
| Full Idea: Either out of conviction or for reasons of algebraic neatness, classical extensional mereology asserts the existence of certain individuals, mereological sums, for whose existence in general we have no evidence outside the theory itself. | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: Observing that we have no evidence for sums 'outside the theory' is nice. It is a nice ontological test, with interesting implications for Quinean ontological commitment. |
| 12817 | 'Mereological extensionality' says objects with the same parts are identical [Simons] |
| Full Idea: Classical extensional mereology won't extend well to temporal and modal facts, because of 'mereological extensionality', which is the thesis that objects with the same parts are identical (by analogy with the extensionality of sets). | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: Simons challenges this view, claiming, for example, that the Ship of Theseus is two objects rather than one. I suppose 'my building bricks' might be 'your sculpture', but this is very ontologically extravagant. This is a mereological Leibniz's Law. |
| 12833 | If there are c atoms, this gives 2^c - 1 individuals, so there can't be just 2 or 12 individuals [Simons] |
| Full Idea: In classical mereology, if there are c atoms, where c is any cardinal number, there are 2^c - 1 individuals, so the cardinality of models is restricted. There are no models with cardinality 2, 12 or aleph-0, for example. | |
| From: Peter Simons (Parts [1987], 1.2) | |
| A reaction: The news that there is no possible world containing just 2 or just 12 individuals ought to worry fans of extensional mereology. A nice challenge for God - create a world containing just 12 individuals. |
| 12849 | Sums are more plausible for pluralities and masses than they are for individuals [Simons] |
| Full Idea: We are on stronger grounds in asserting the general existence of sums when considering pluralities and masses than when considering individuals. | |
| From: Peter Simons (Parts [1987], 5.2) | |
| A reaction: I was thinking that the modern emphasis on referring to plurals was precisely to resist the idea that we must 'sum' them into one thing. If so, we wouldn't want to then sum several plurals. If a mass isn't a sum, how can we sum some masses? |
| 12877 | Sums of things in different categories are found within philosophy. [Simons] |
| Full Idea: Cross-categorial sums are not unknown in philosophy. A body and the events which befall it are intimately connected, and the mysterious four-dimensional blocks might be mereological sums of the body and its life. | |
| From: Peter Simons (Parts [1987], 8.1) | |
| A reaction: Simons here ventures into the territory of abstracta, which he said he wouldn't touch. Presumably his first example has 'a biography' as its whole, which is not just a philosophical notion. Why will some categories sum, and others won't? |
| 12888 | The wholeness of a melody seems conventional, but of an explosion it seems natural [Simons] |
| Full Idea: The example of a melody shows that what counts as a temporal individual is partly a matter of human stipulation. But with a natural event like an explosion there is little or no room for decision about what is a part, and whether it is a single event. | |
| From: Peter Simons (Parts [1987], 9.6) | |
| A reaction: You could have a go at giving a natural account of the wholeness of a melody, in terms of the little aesthetic explosion that occurs in the brain of a listener. |
| 12871 | Objects have their essential properties because of the kind of objects they are [Simons] |
| Full Idea: An object has the essential properties it has in virtue of being the kind of object it is. | |
| From: Peter Simons (Parts [1987], 7.1) | |
| A reaction: He attributes this to Husserl and Wiggins. I just don't get it. What makes something the 'kind of object it is'? They've got it the wrong way round. Does God announce that this thing is a tiger, and is then pleasantly surprised to discover its stripes? |
| 12870 | We must distinguish the de dicto 'must' of propositions from the de re 'must' of essence [Simons] |
| Full Idea: We must distinguish the 'must' of necessity as applied to a proposition or state of affairs (de dicto) from the 'must' of essence, concerning the way in which an object has an attribute (de re). | |
| From: Peter Simons (Parts [1987], 7.1) | |
| A reaction: A helfpful distinction, but a possible confusion of necessity and essentiality (Simons knows this). Modern logicians seem to run them together, because they only care about identity. I don't, because I care about explanations. |
| 12873 | Original parts are the best candidates for being essential to artefacts [Simons] |
| Full Idea: Original parts are the best candidates for being essential to artefacts. It is hard to conceive how an object could have as essential a part which was attached at some time after the object had come into being. | |
| From: Peter Simons (Parts [1987], 7.4) | |
| A reaction: Without its big new memory upgrade my computer would be hopelessly out of date. Simons is awesome in some ways, but seems rather confused when it comes to discussing essence. I think Wiggins may have been a bad influence on him. |
| 12874 | An essential part of an essential part is an essential part of the whole [Simons] |
| Full Idea: An essential part of an essential part is an essential part of the whole. | |
| From: Peter Simons (Parts [1987], 7.4) | |
| A reaction: Sounds beyond dispute, but worth pondering. It seems to be only type-parts, not token-parts, which are essential. Simons is thinking of identity rather than function, but he rejects Chisholm's idea that all parts are essential. So which ones are? |
| 12837 | Four dimensional-objects are stranger than most people think [Simons] |
| Full Idea: The strangeness of four-dimensional objects is almost always underestimated in the literature. | |
| From: Peter Simons (Parts [1987], 3.4) | |
| A reaction: See Idea 12836, where he has criticised process ontologists for smuggling in stages and process as being OF conventional objects. |
| 12856 | Intermittent objects would be respectable if they occurred in nature, as well as in artefacts [Simons] |
| Full Idea: If we could show that intermittence could occur not only among artefacts and higher-order objects, but also among natural things, then we should have given it a secure place on the ontological map. | |
| From: Peter Simons (Parts [1987], 5.7) | |
| A reaction: Interesting ontological test. Having identified fairly clear intermittent artefacts (Idea 12851), if we then fail to find any examples in nature, must we revisit the artefacts and say they are not intermittents? He suggests freezing an organ in surgery. |
| 12885 | Objects like chess games, with gaps in them, are thereby less unified [Simons] |
| Full Idea: Temporal objects which are scattered in time - i.e. have temporal gaps in them, like interrupted discussions or chess games - are less unified than those without gaps. | |
| From: Peter Simons (Parts [1987], 9.2) | |
| A reaction: Is he really saying that a discussion or a chess game is less unified if there is even the slightest pause in it? Otherwise, how long must the pause be before it disturbs the unity? Do people play internet chess, as they used to play correspondence chess? |
| 12854 | An entrepreneur and a museum curator would each be happy with their ship at the end [Simons] |
| Full Idea: At the end of the Ship of Theseus story both an entrepreneur and a museum curator can be content, each having his ship all to himself, ..because each was all along claiming a different object from the other. | |
| From: Peter Simons (Parts [1987], 5.5) | |
| A reaction: Simons has the entrepreneur caring about function (for cruises), and the curator caring about matter (as a relic of Theseus). It is bold of Simons to say on that basis that it starts as two objects, one 'matter-constant', the other 'form-constant'. |
| 12855 | The 'best candidate' theories mistakenly assume there is one answer to 'Which is the real ship?' [Simons] |
| Full Idea: The 'best candidate' theories get into difficulty because it is assumed that there is a single uniquely correct answer to the question 'Which is the real ship?' | |
| From: Peter Simons (Parts [1987], 5.5) | |
| A reaction: My own example supports Simons. If Theseus discards the old planks as rubbish, then his smart new ship is the original. But if he steals his own ship (to evade insurance regulations) by substituting a plank at a time, the removed planks are the original. |
| 12872 | The zygote is an essential initial part, for a sexually reproduced organism [Simons] |
| Full Idea: It is essential to an organism arising from sexual reproduction that it has its zygote as initial improper part. | |
| From: Peter Simons (Parts [1987], 7.3) | |
| A reaction: It can't be necessary that an organism which appears to be sexually reproduced actually is so (if you don't believe that, read more science fiction). It may well just be analytic that sexual reproduction involves a zygote. Nothing to do with essence. |
| 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. |
| 12889 | The limits of change for an individual depend on the kind of individual [Simons] |
| Full Idea: What determines the limits of admissible change and secures the identity of a continuant is a matter of the kind of object in question. | |
| From: Peter Simons (Parts [1987], 9.6) | |
| A reaction: This gives some motivation for the sortal view of essence, which I find hard to take. However, if my statue were pulverised it would make good compost. |
| 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) |
| 18616 | If a term doesn't pick out a kind, keeping it may block improvements in classification [Machery] |
| Full Idea: If a hypothesised natural kind term fails to pick out a natural kind, keeping this theoretical term is likely to prevent the development of a new classification system that would identify the relevant kinds. | |
| From: Edouard Machery (Doing Without Concepts [2009], 8.2.3) | |
| A reaction: I'm persuaded. This is why metaphysicians should stop talking about 'properties'. |
| 18614 | Vertical arguments say eliminate a term if it picks out different natural kinds in different theories [Machery] |
| Full Idea: Vertical arguments for eliminativism of theoretical terms note that distinct types of generalisation do not line up with each other. ...It is argued that the theoretical term picks out more than one natural kind. | |
| From: Edouard Machery (Doing Without Concepts [2009], 8.2.3) | |
| A reaction: He mentions 'depression', as behavioural and cognitive; the former includes apes, and the latter doesn't. It is a nice principle for tidying up theories. |
| 18615 | Horizontal arguments say eliminate a term if it fails to pick out a natural kind [Machery] |
| Full Idea: Horizontal arguments for eliminativism of theoretical terms say that some terms should be eliminated if they do not pick out a natural kind. | |
| From: Edouard Machery (Doing Without Concepts [2009], 8.2.3) | |
| A reaction: This is the one Machery likes, but I would say that it is less obvious than the 'vertical' version, since picking out a natural kind may not be the only job of a theoretical term. (p.238: Machery agrees!) |
| 18609 | Psychologists use 'induction' as generalising a property from one category to another [Machery] |
| Full Idea: Typically, psychologists use 'induction' to refer to the capacity to generalise a property from a category (the source) to another category (the target). | |
| From: Edouard Machery (Doing Without Concepts [2009], 7.1.1) | |
| A reaction: This is because psychologists are interested in the ongoing activities of thought. Philosophers step back a bit, to ask how the whole thing could get started. Philosophical induction has to start with individuals and single observations. |
| 18610 | 'Ampliative' induction infers that all members of a category have a feature found in some of them [Machery] |
| Full Idea: Induction is 'ampliative' when it infers that all or most members of a category possess a property from the fact that some of its members have this property. | |
| From: Edouard Machery (Doing Without Concepts [2009], 7.1.1) | |
| A reaction: This sounds like a simple step in reasoning, but actually it is more like explanation, and will involve overall coherence and probability, rather than a direct conclusion. This invites sceptical questions. The last one observed may be the exception. |
| 18562 | Connectionists cannot distinguish concept-memories from their background, or the processes [Machery] |
| Full Idea: Connectionists typically do not distinguish between processes and memory stores, and, more importantly, it is unclear whether connectionists can draw a distinction between the knowledge stored in a concept and the background. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.1) | |
| A reaction: In other words connectionism fails to capture the structured nature of our thinking. There is an innate structure (which, say I, should mainly be seen as 'mental files'). |
| 18561 | We can identify a set of cognitive capacities which are 'higher order' [Machery] |
| Full Idea: Categorization, deduction, induction, analogy-making, linguistic understanding, and planning - all of these are higher cognitive capacities. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.1) | |
| A reaction: His 'lower' competences are perceptual and motor. I say the entry to the higher competences are abstraction, idealisation and generalisation. If you can't do these (chimpanzees!) you will not be admitted. |
| 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. |
| 22247 | Indexicality is not just a feature of language; examples show it also occurs in thought [Recanati] |
| Full Idea: People once took indexicality to be exclusively a property of language, ....but a series of examples seemed to establish that the thought expressed by uttering an indexical sentence is itself indexical (and is thus 'essential'). | |
| From: François Recanati (Mental Files in Flux [2016], 6.1) | |
| A reaction: Perry's example of not realising it is him leaking the sugar in a supermarket is the best known example. Was this a key moment for realising that philosophy of thought is (pace Dummett) more important than philosophy of language? |
| 22248 | How can we communicate indexical thoughts to people not in the right context? [Recanati] |
| Full Idea: Indexical thoughts create an obvious problem with regard to communication. How can we manage to communicate such thoughts to those who are not in the right context? | |
| From: François Recanati (Mental Files in Flux [2016], 7.1) | |
| A reaction: One answer is that you often cannot communicate them. If I write on a wall 'I am here now', that doesn't tell the next passer-by very much. But 'it's raining here' said in a telephone call works fine - if you know the location of the caller. |
| 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. |
| 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. |
| 22242 | Mental files are concepts, which are either collections or (better) containers [Recanati] |
| Full Idea: Mental files are entries in the mental encyclopedia, that is, concepts. Some, following Grice, say they are information collections, but I think of them as containers. Collections are determined by their elements, but containers have independent identity. | |
| From: François Recanati (Mental Files in Flux [2016], Pref) | |
| A reaction: [compressed] [Grice reference is 'Vacuous Names' (1969)] I agree with Recanati. The point is that you can invoke a file by a label, even when you don't know what the content is. |
| 22243 | The Frege case of believing a thing is both F and not-F is explained by separate mental files [Recanati] |
| Full Idea: Frege's Constraint says if a subject believes an object is both F and not-F (as in 'Frege cases'), then the subject thinks of that object under distinct modes of presentation. Having distinct mental files of the object is sufficient to generate this. | |
| From: François Recanati (Mental Files in Flux [2016], Pref) | |
| A reaction: [compressed] When you look at how many semantic puzzles (notably from Frege and Kripke) are solved by the existence of labelled mental files, the case for them is overwhelming. |
| 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. |
| 18574 | Concepts for categorisation and for induction may be quite different [Machery] |
| Full Idea: In general, concepts that are used when we categorise and concepts that are used when we reason inductively could have little in common. | |
| From: Edouard Machery (Doing Without Concepts [2009], 3.2.1) | |
| A reaction: In the end he is going to reject concepts altogether, so he would say this. Friends of concepts would be very surprised if the mind were so uneconomical in its activities, given that induction seems to be up to its neck in categorisation. |
| 18588 | Concept theories aim at their knowledge, processes, format, acquisition, and location [Machery] |
| Full Idea: A theory of concepts should determine the knowledge stored in them, and the cognitive processes that use concepts. Ideally it should also characterise their format, their acquisition, and (increasingly) localise them in the brain. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4) | |
| A reaction: Machery reveals his dubious scientism in the requirement to localise them in the brain. That strikes me as entirely irrelevant to both philosophy and psychology. I want the format, acquisition and knowledge. |
| 18611 | We should abandon 'concept', and just use 'prototype', 'exemplar' and 'theory' [Machery] |
| Full Idea: The notion of 'concept' ought to be eliminated from the theoretical vocabulary of psychology, and replaced by the notions of prototype, exemplar, and theory. | |
| From: Edouard Machery (Doing Without Concepts [2009], 8) | |
| A reaction: Machery's main thesis. I think similarly about 'property' in metaphysics. It embraces different ideas, and if we eliminated 'property' (and used predicate, class, fundamental power, complex power) we would do better. Psychologists have dropped 'memory'. |
| 18567 | In the philosophy of psychology, concepts are usually introduced as constituents of thoughts [Machery] |
| Full Idea: In the philosophy of psychology, concepts are usually introduced as constituents, components, or parts of thoughts. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.4.3) | |
| A reaction: My instincts are against this. I take the fundamentals of concepts to be mental responses to distinct individual items in the world. Thought builds up from that. He says psychologists themselves don't see it this way. Influence of Frege. |
| 18569 | In philosophy theories of concepts explain how our propositional attitudes have content [Machery] |
| Full Idea: A philosophical theory of concepts is a semantic theory for our propositional attitudes: it explains how our thoughts can have the content they have. | |
| From: Edouard Machery (Doing Without Concepts [2009], 2.1.2) | |
| A reaction: I suppose this is what I am interested in. I want to know in what way concepts form a bridge between content and world. I am more interested in the propositions, and less interested in our attitudes towards them. |
| 18563 | By 'concept' psychologists mean various sorts of representation or structure [Machery] |
| Full Idea: Psychologists use 'concept' interchangeably with 'mental representation', 'category representation', 'knowledge representation', 'knowledge structure', 'semantic representation', and 'conceptual structures'. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.1) | |
| A reaction: [Machery gives references for each of these] Machery is moving in to attack these, but we look to psychologists to give some sort of account of what a concept might consist of, such that it could be implemented by neurons. |
| 18558 | Concept theorists examine their knowledge, format, processes, acquisition and location [Machery] |
| Full Idea: Psychological theories of concepts try to describe the knowledge stored in concepts, the format of concepts, the cognitive processes that use the concepts, the acquisition of concepts, and the localization of concepts in the brain. | |
| From: Edouard Machery (Doing Without Concepts [2009], Intro) | |
| A reaction: I suppose it would the first two that are of central interest. What individuates a concept (its 'format') and what are the contents of a concept. The word 'stored' seems to imply a mental files view. |
| 18557 | Psychologists treat concepts as long-term knowledge bodies which lead to judgements [Machery] |
| Full Idea: In psychology, concepts are characterized as those bodies of knowledge that are stored in long-term memory and used most higher cognitive competences when these processes result in judgements. | |
| From: Edouard Machery (Doing Without Concepts [2009], Intro) | |
| A reaction: Machery mounts an attack on this idea. I like the 'mental files' idea, where a concept starts as a label, and then acquires core knowledge, and then further information. The 'concept' is probably no more than a label, and minimal starter information. |
| 18560 | Psychologist treat concepts as categories [Machery] |
| Full Idea: Psychologists often use 'concept' and 'category' interchangeably. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.1) | |
| A reaction: Well they shouldn't. Some concepts are no more than words, and don't categorise anything. Some things may be categorised by a complex set of concepts. |
| 18592 | The concepts OBJECT or AGENT may be innate [Machery] |
| Full Idea: Several concepts, such as OBJECT or AGENT, may be innate. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.1.4) | |
| A reaction: It is one thing to say that we respond to objects and agents, and another to say that we have those 'concepts'. Presumably birds, and even bees, have to relate to similar features. Add PROCESS? |
| 18566 | Concepts should contain working memory, not long-term, because they control behaviour [Machery] |
| Full Idea: We ought to reserve the term 'concept' for the bodies of knowledge in working memory, and not for our knowledge of long-term memory, because the former, and not the latter, 'control behaviour'. | |
| From: Edouard Machery (Doing Without Concepts [2009], 1.4.1) | |
| A reaction: [He cites the psychologist Barsalou 1993] Some more theoretical concepts can only be recalled with difficulty, and control our theorising rather than our behaviour. But we act on some theories, so there is no clear borderline. |
| 18584 | One hybrid theory combines a core definition with a prototype for identification [Machery] |
| Full Idea: One hybrid theory of concepts says they have both a core and an identification procedure. The core is a definition (necessary and sufficient conditions), while the identification procedure consists of a prototype (the properties typical of a category). | |
| From: Edouard Machery (Doing Without Concepts [2009], 3.3.1) | |
| A reaction: This combines the classical and prototype theories of concepts. I like it because it fits the idea of 'mental files' nicely (see Recanati). If concepts are files (as in a database) they will have aspects like labels, basic info, and further details. |
| 18585 | Heterogeneous concepts might have conflicting judgements, where hybrid theories will not [Machery] |
| Full Idea: The Heterogeneity Hypothesis, but not the hybrid theory of concepts, predicts that the coreferential bodies of knowledge it posits will occasionally lead to conflicting outcomes, such as inconsistent judgements. | |
| From: Edouard Machery (Doing Without Concepts [2009], 3.3.2) | |
| A reaction: Machery's book champions the Heterogeneous Hypothesis. Hybrid views say the aspects of a concept are integrated, but Heterogeneity says there are separate processes. My preferred 'file' approach would favour integration. |
| 18578 | Concepts as definitions was rejected, and concepts as prototypes, exemplars or theories proposed [Machery] |
| Full Idea: Since the rejection of the classical theory of concepts (that they are definitions), three paradigms have successively emerged in the psychology of concepts: the prototype paradigm, the exemplar paradigm, and the theory paradigm. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4) | |
| A reaction: I am becoming a fan of the 'theory theory' proposal, because the concepts centre around what explains the phenomenon, which fits my explanatory account of essentialism. Not that it's right because it agrees with me, of course..... |
| 18575 | The concepts for a class typically include prototypes, and exemplars, and theories [Machery] |
| Full Idea: Across domains (such as biology and psychology) classes of physical objects, substances and events are typically represented by a prototype, by a set of exemplars, and by a theory. | |
| From: Edouard Machery (Doing Without Concepts [2009], 3.2.3) | |
| A reaction: In other words he thinks that all of the major psychological theories of concepts are partially correct, and he argues for extensive pluralism in the true picture. Bad news for neat philosophy, but real life is a right old mess. |
| 18591 | Classical theory can't explain facts like typical examples being categorised quicker [Machery] |
| Full Idea: The nail in the coffin of the classical theory is its lack of explanatory power. For example it doesn't explain the fact that typical x's are categorised more quickly and more reliably than atypical x's. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.1.3) | |
| A reaction: [He cites Rosch and Mervis: 1975:ch 5] This research launched the 'prototype' theory, which has since been challenged by the 'exemplar' and 'theory theory' rivals (and neo-empiricism, and idealisation). |
| 18583 | Many categories don't seem to have a definition [Machery] |
| Full Idea: For many categories there is simply no definition to learn (such as Wittgenstein's example of a 'game'). | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.1.4) |
| 18590 | Classical theory implies variety in processing times, but this does not generally occur [Machery] |
| Full Idea: If a concept is defined by means of another, such as MURDER by means of KILL, then processing the former concept should take longer in the classical theory, but several experiments show that this is not the case. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.1.3) | |
| A reaction: For the philosopher there is no escaping the findings of neuroscience when it comes to the study of concepts. This invites the question of the role, if any, of philosophy. I take philosophy to concern the big picture, or it is nothing. |
| 18594 | Knowing typical properties of things is especially useful in induction [Machery] |
| Full Idea: Knowing which properties are typical of a class is particularly useful when you have to draw inductions about the members of a class. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.2.1) |
| 18593 | The term 'prototype' is used for both typical category members, and the representation [Machery] |
| Full Idea: The term 'prototype' is used ambiguously to designate the most typical members of a category, and the representation of a category. (I use the term in the second sense). | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.2.1 n25) |
| 18595 | Prototype theories are based on computation of similarities with the prototype [Machery] |
| Full Idea: The most important property of prototype theories is that cognitive processes are assumed to involve the computation of the similarity between prototypes and other representations. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.2.3) | |
| A reaction: [He cites J.A.Hampton 1998, 2006] This presumably suits theories of the mind as largely computational (e.g. Fodor's account, based on the Turing machine). |
| 18596 | Prototype theorists don't tell us how we select the appropriate prototype [Machery] |
| Full Idea: We are typically not told how prototypes are selected, that is, what determines whether a specific prototype is retrieved from memory in order to be involved in the categorisation process. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.2.4) | |
| A reaction: One of the aims of this database is to make people aware of ideas that people have already thought of. This one was spotted 2,400 years ago. It's the Third Man problem. How do you even start to think about a particular thing? |
| 18603 | Maybe concepts are not the typical properties, but the ideal properties [Machery] |
| Full Idea: Barsalou (1983,1985) introduced the idea of ideals instead of prototypes. An ideal is a body of knowledge about the properties a thing should possess (rather than its typical actual properties). ... A 'bully' might be perfect, rather than typical. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.5.3) | |
| A reaction: [compressed] Machery offers this as an interesting minor variant, with little experimental support. I take idealisation to be one of the three key mental operations that enable us to think about the world (along with abstraction and generalisation). |
| 18605 | It is more efficient to remember the prototype, than repeatedly create it from exemplars [Machery] |
| Full Idea: Instead of regularly producing a prototype out of the exemplars stored in long-term memory, it seems more efficient to extract a prototype from category members during concept learning and to use this prototype when needed. | |
| From: Edouard Machery (Doing Without Concepts [2009], 6.3.2) | |
| A reaction: [This is a critique of Barsalou's on-the-fly proposal for prototypes] If the exemplar theory is right, then some sort of summary must occur when faced with a new instance. So this thought favours prototypes against exemplars. |
| 18606 | The prototype view predicts that typical members are easier to categorise [Machery] |
| Full Idea: The prototype paradigm of concepts makes the strong prediction that typical members should be easier to categorise than atypical members. | |
| From: Edouard Machery (Doing Without Concepts [2009], 6.4.1) | |
| A reaction: This is why philosophers should approach the topic of concepts with caution. Clearly empirical testing is going to settle this matter, not abstract theorising. |
| 18597 | Concepts as exemplars are based on the knowledge of properties of each particular [Machery] |
| Full Idea: The exemplar paradigm of concepts is built around the idea that concepts are sets of exemplars. In turn, an exemplar is a body of knowledge about the properties believed to be possessed by a particular member of a class. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.3.1) | |
| A reaction: I like the fact that this theory is rooted in particulars, where the prototype theory doesn't seem to say much about how prototypes are derived. But you have to do more than just contemplate a bunch of exemplars. |
| 18598 | Exemplar theories need to explain how the relevant properties are selected from a multitude of them [Machery] |
| Full Idea: Exemplar theories have a selection problem. Given that individuals have an infinite number of properties, they need to explain why exemplars represent such and such properties, instead of others. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.3.1) | |
| A reaction: I have the impression that this idea rests on the 'abundant' view of properties - that every true predicate embodies a property. A sparse view of properties might give a particular quite a restricted set of properties. |
| 18599 | In practice, known examples take priority over the rest of the set of exemplars [Machery] |
| Full Idea: An object that is extremely similar to a specific known category member, but only moderately similar to others, is more likely to be categorised as a category member than an object that is moderately similar to most known category members. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.3.3) | |
| A reaction: This research finding is a problem for the Exemplar Theory, in which all the exemplars have equal status. It is even a problem for the Prototype Theory, since the known member may not be like the prototype. |
| 18600 | Theory Theory says category concepts are knowledge stores explaining membership [Machery] |
| Full Idea: According to theory theorists, a concept of a category stores some knowledge that can explain the properties of the category members. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.4.1) | |
| A reaction: This is the account of essentialism which I defended in my PhD thesis. So naturally I embrace a theory of the nature of concepts which precisely dovetails with my view. I take explanation to be the central concept in metaphysics. |
| 18601 | Theory Theory says concepts are explanatory knowledge, and concepts form domains [Machery] |
| Full Idea: The two core ideas of the Theory Theory are that concepts are bodies of knowledge that underlie explanation, where explanation rests on folk examples, and concepts are organised in domains which use similar knowledge. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.4.1) | |
| A reaction: Folk explanation is opposed to scientific explanation, as expounded by Hempel etc. This sounds better and better, since the domains reflect the structure of reality. Machery defends Theory Theory as part of the right answer, but it's my favourite bit. |
| 18607 | Theory theorists rely on best explanation, rather than on similarities [Machery] |
| Full Idea: Theory theorists deny that categorisation depends on similarity; they often propose that categorisation involves some kind of inference to the best explanation. | |
| From: Edouard Machery (Doing Without Concepts [2009], 6.5.1) | |
| A reaction: Love it. Any theory of concepts should, in my view, be continuous with a plausible account of animal minds, and best explanations are not their strong suit. Maybe its explanations for slow categorising, and something else when it's quick. |
| 18608 | If categorisation is not by similarity, it seems to rely on what properties things might have [Machery] |
| Full Idea: It seems that when subjects are not categorising by similarity, they are relying on what properties objects can and cannot have - that is, on some modal knowledge. | |
| From: Edouard Machery (Doing Without Concepts [2009], 6.5.1) | |
| A reaction: I would call this essentialist categorisation, based on the inner causal powers which generate the modal profile of the thing. We categorise bullets and nails very differently, because of their modal profiles. |
| 18587 | The theory account is sometimes labelled as 'knowledge' or 'explanation' in approach [Machery] |
| Full Idea: The theory paradigm is sometimes called 'the knowledge approach' (Murphy 2002) or 'explanation-based views' (Komatsu 1992). | |
| From: Edouard Machery (Doing Without Concepts [2009], 4) | |
| A reaction: The word 'explanation' is music to my ears, so I am immediately sympathetic to the theory theory of concepts, even if it falls at the final hurdle. |
| 18577 | The word 'grandmother' may be two concepts, with a prototype and a definition [Machery] |
| Full Idea: If a prototype of grandmothers represents them as grey-haired old women, and a definition of grandmothers represents them as being necessarily the mother of a parent ....we may fail to recognise that 'grandmother' represents two distinct concepts. | |
| From: Edouard Machery (Doing Without Concepts [2009], 3.3.4) | |
| A reaction: He is referring to two distinct theories about what a concept is. He argues that both theories apply, so words do indeed represent several different concepts. Nice example. |
| 18589 | For behaviourists concepts are dispositions to link category members to names [Machery] |
| Full Idea: Behaviourists identified concepts with a mere disposition to associate category members with a given name. | |
| From: Edouard Machery (Doing Without Concepts [2009], 4.1.1) | |
| A reaction: This is one reason why the word 'disposition' triggers alarm bells in the immediately post-behaviourist generation of philosophers. The proposal is far too linguistic in character. |
| 18883 | Any equivalence relation among similar things allows the creation of an abstractum [Simons] |
| Full Idea: Whenever we have an equivalence relation among things - such as similarity in a certain respect - we can abstract under the equivalence and consider the abstractum. | |
| From: Peter Simons (Modes of Extension: comment on Fine [2008], p.19) | |
| A reaction: This strikes me as dressing up old-fashioned psychological abstractionism in the respectable clothing of Fregean equivalences (such as 'directions'). We can actually do what Simons wants without the precision of partitioned equivalence classes. |
| 18884 | Abstraction is usually seen as producing universals and numbers, but it can do more [Simons] |
| Full Idea: Abstraction as a cognitive tool has been associated predominantly with the metaphysics of universals and of mathematical objects such as numbers. But it is more widely applicable beyond this standard range. I commend its judicious use. | |
| From: Peter Simons (Modes of Extension: comment on Fine [2008], p.21) | |
| A reaction: Personally I think our view of the world is founded on three psychological principles: abstraction, idealisation and generalisation. You can try to give them rigour, as 'equivalence classes', or 'universal quantifications', if it makes you feel better. |
| 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. |
| 18612 | Americans are more inclined to refer causally than the Chinese are [Machery] |
| Full Idea: Tests suggest that American subjects were significantly more likely than Chinese subjects to have intuitions in line with causal-historical theories of reference. | |
| From: Edouard Machery (Doing Without Concepts [2009], 8.1.3) | |
| A reaction: This is an example of 'experimental philosophy' in action (of which Machery is a champion). The underlying idea is that Americans are generally more disposed to think causally than the Chinese are. So more scientific? What do the Hopi do? |
| 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. |
| 22245 | A linguistic expression refers to what its associated mental file refers to [Recanati] |
| Full Idea: Mental files determine the reference of linguistic expressions: an expression refers to what the mental file associated with it refers to (at the time of tokening). | |
| From: François Recanati (Mental Files in Flux [2016], 5) | |
| A reaction: Invites the question of how mental files manage to refer, prior to the arrival of a linguistic expression. A mental file is usually fully of descriptions, but it might be no more than a label. |
| 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. |
| 22250 | There are speakers' thoughts and hearers' thoughts, but no further thought attached to the utterance [Recanati] |
| Full Idea: There is the speaker's thought and the thought formed by the hearer. That is all there is. We don't need an additional entity, the thought expressed by the utterance. | |
| From: François Recanati (Mental Files in Flux [2016], 7.2) | |
| A reaction: This fits my view of propositions nicely. They are the two 'thoughts'. The notion of some further abstract 'proposition' with its own mode of independent existence strikes me as ontologically absurd. |
| 22249 | The Naive view of communication is that hearers acquire exactly the thoughts of the speaker [Recanati] |
| Full Idea: The Naive Conception of Communication rests on the idea that communication is the replication of thoughts: the thought the hearer entertains when he understands what the speaker is saying is the very thought which the speaker expressed. | |
| From: François Recanati (Mental Files in Flux [2016], 7.1) | |
| A reaction: It is hard to believe that any modern thinker would believe such a view, given holistic views of language etc. |
| 12843 | With activities if you are doing it you've done it, with performances you must finish to have done it [Simons] |
| Full Idea: Action theorists distinguish between activity verbs such as 'weep' and 'talk' (where continuous entails perfect - John is weeping so John has now wept), and performance verbs like 'wash', where John is washing doesn't yet mean John has washed. | |
| From: Peter Simons (Parts [1987], 4.2) | |
| A reaction: How to distinguish them, bar examples? In 'has wept' and 'has washed', I'm thinking that it is the 'has' which is ambiguous, rather than the more contentful word. One is 'has participated' and the other is 'has completed'. I've participated in washing! |
| 12875 | One false note doesn't make it a performance of a different work [Simons] |
| Full Idea: A performance of a certain work with a false note is still a performance of that work, albeit a slightly imperfect one, and not (as Goodman has argued) a performance of a different work. | |
| From: Peter Simons (Parts [1987], 7.6) | |
| A reaction: This is clearly right, but invites the question of how many wrong notes are permissable. One loud very wrong note could ruin a very long performance (but of that work, presumably). This is about classical music, but think about jazz. |
| 18613 | Artifacts can be natural kinds, when they are the object of historical enquiry [Machery] |
| Full Idea: Some artifacts are the objects of inquiry in the social sciences ...such as prehistoric tools ...and hence, artifacts are bona fide natural kinds. | |
| From: Edouard Machery (Doing Without Concepts [2009], 8.2.1) | |
| A reaction: Presumably if a bird's nest can be a natural kind, then so can a flint axe, but then so can a mobile phone, for an urban anthropologist. 'Natural' is, to put it mildly, a tricky word. |