Combining Texts

All the ideas for 'After Finitude', 'Could a computer ever understand?' and 'Mental Files'

unexpand these ideas     |    start again     |     specify just one area for these texts


62 ideas

1. Philosophy / B. History of Ideas / 5. Later European Thought
Since Kant we think we can only access 'correlations' between thinking and being [Meillassoux]
     Full Idea: The central notion of philosophy since Kant is 'correlation' - that we only ever have access to the correlation between thinking and being, and never to either term considered apart from the other.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 1)
     A reaction: Meillassoux's charge is that philosophy has thereby completely failed to grasp the scientific revolution, which has used mathematics to make objectivity possible. Quine and Putnam would be good examples of what he has in mind.
The Copernican Revolution decentres the Earth, but also decentres thinking from reality [Meillassoux]
     Full Idea: The Copernican Revolution is not so much the decentring of observers in the solar system, but (by the mathematizing of nature) the decentring of thought relative to the world within the process of knowledge.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 5)
     A reaction: In other words, I take it, the Copernican Revolution was the discovery of objectivity. That is a very nice addition to my History of Ideas collection.
1. Philosophy / B. History of Ideas / 6. Twentieth Century Thought
In Kant the thing-in-itself is unknowable, but for us it has become unthinkable [Meillassoux]
     Full Idea: The major shift that has occurred in the conception of thought from Kant's time to ours is from the unknowability of the thing-in-itself to its unthinkability.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 2)
     A reaction: Meillassoux is making the case that philosophy is alienating us more and more from the triumphant realism of the scientific revolution. He says thinking has split from being. He's right. Modern American pragmatists are the worst (not Peirce!).
1. Philosophy / G. Scientific Philosophy / 3. Scientism
Since Kant, philosophers have claimed to understand science better than scientists do [Meillassoux]
     Full Idea: Ever since Kant, to think science as a philosopher has been to claim that science harbours a meaning other than the one delivered by science itself.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 5)
     A reaction: The point is that science discovered objectivity (via the mathematising of nature), and Kant utterly rejected objectivity, by enmeshing the human mind in every possible scientific claim. This makes Meillassoux and I very cross.
2. Reason / A. Nature of Reason / 5. Objectivity
Since Kant, objectivity is defined not by the object, but by the statement's potential universality [Meillassoux]
     Full Idea: Since Kant, objectivity is no longer defined with reference to the object in itself, but rather with reference to the possible universality of an objective statement.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 1)
     A reaction: Meillassoux disapproves of this, as a betrayal by philosophers of the scientific revolution, which gave us true objectivity (e.g. about how the world was before humanity).
2. Reason / B. Laws of Thought / 2. Sufficient Reason
If we insist on Sufficient Reason the world will always be a mystery to us [Meillassoux]
     Full Idea: So long as we continue to believe that there is a reason why things are the way they are rather than some other way, we will construe this world is a mystery, since no such reason will every be vouchsafed to us.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 4)
     A reaction: Giving up sufficient reason sounds like a rather drastic response to this. Put it like this: Will we ever be able to explain absolutely everything? No. So will the world always be a little mysterious to us? Yes, obviously. Is that a problem? No!
2. Reason / B. Laws of Thought / 3. Non-Contradiction
Non-contradiction is unjustified, so it only reveals a fact about thinking, not about reality? [Meillassoux]
     Full Idea: The principle of non-contradiction itself is without reason, and consequently it can only be the norm for what is thinkable by us, rather than for what is possible in the absolute sense.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 2)
     A reaction: This is not Meillassoux's view, but describes the modern heresy of 'correlationism', which ties all assessments of how reality is to our capacity to think about it. Personally I take logical non-contradiction to derive from non-contradiction in nature.
4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
Paraconsistent logics are to prevent computers crashing when data conflicts [Meillassoux]
     Full Idea: Paraconsistent logics were only developed in order to prevent computers, such as expert medical systems, from deducing anything whatsoever from contradictory data, because of the principle of 'ex falso quodlibet'.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3)
We can allow contradictions in thought, but not inconsistency [Meillassoux]
     Full Idea: For contemporary logicians, it is not non-contradiction that provides the criterion for what is thinkable, but rather inconsistency.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3)
     A reaction: The point is that para-consistent logic might permit isolated contradictions (as true) within a system, but it is only contradiction across the system (inconsistencies) which make the system untenable.
Paraconsistent logic is about statements, not about contradictions in reality [Meillassoux]
     Full Idea: Paraconsistent logics are only ever dealing with contradictions inherent in statements about the world, never with the real contradictions in the world.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3)
     A reaction: Thank goodness for that! I can accept that someone in a doorway is both in the room and not in the room, but not that they are existing in a real state of contradiction. I fear that a few daft people embrace the logic as confirming contradictory reality.
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
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.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
What is mathematically conceivable is absolutely possible [Meillassoux]
     Full Idea: We must establish the thesis that what is mathematically conceivable is absolutely possible.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 5)
     A reaction: The truth of this thesis would permanently establish mathematics as the only possible language of science. Personally I have no idea how you could prove or assess such a thesis. It is a lovely speculation, though. 'The structure of the possible' (p,127)
7. Existence / A. Nature of Existence / 1. Nature of Existence
The absolute is the impossibility of there being a necessary existent [Meillassoux]
     Full Idea: We maintain that it is absolutely necessary that every entity might not exist. ...The absolute is the absolute impossibility of a necessary being.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3)
     A reaction: This is the main thesis of his book. The usual candidates for necessary existence are God, and mathematical objects. I am inclined to agree with Meillassoux.
7. Existence / A. Nature of Existence / 5. Reason for Existence
It is necessarily contingent that there is one thing rather than another - so something must exist [Meillassoux]
     Full Idea: It is necessary that there be something rather than nothing because it is necessarily contingent that there is something rather than something else.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3)
     A reaction: The great charm of metaphysics is the array of serious answers to the question of why there is something rather than nothing. You'll need to read Meillassoux's book to understand this one.
7. Existence / A. Nature of Existence / 6. Criterion for Existence
We must give up the modern criterion of existence, which is a correlation between thought and being [Meillassoux]
     Full Idea: It is incumbent upon us to break with the ontological requisite of the moderns, according to which 'to be is to be a correlate'.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 2)
     A reaction: He blames Kant for this pernicious idea, which has driven philosophy away from realist science, when it should be supporting and joining it. As a realist I agree, and find Meillassoux very illuminating on the subject.
9. Objects / F. Identity among Objects / 6. Identity between Objects
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.
10. Modality / B. Possibility / 5. Contingency
Possible non-being which must be realised is 'precariousness'; absolute contingency might never not-be [Meillassoux]
     Full Idea: My term 'precariousness' designates a possibility of not-being which must eventually be realised. By contrast, absolute contingency designates a pure possibility; one which may never be realised.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3)
     A reaction: I thoroughly approve of this distinction, because I have often enountered the assumption that all contingency is precariousness, and I have never seen why that should be so. In Aquinas's Third Way, for example. The 6 on a die may never come up.
10. Modality / B. Possibility / 7. Chance
The idea of chance relies on unalterable physical laws [Meillassoux]
     Full Idea: The very notion of chance is only conceivable on condition that there are unalterable physical laws.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 4)
     A reaction: Laws might be contingent, even though they never alter. Chance in horse racing relies on the stability of whole institution of horse racing.
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / b. Direct realism
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)
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / b. Transcendental idealism
Unlike speculative idealism, transcendental idealism assumes the mind is embodied [Meillassoux]
     Full Idea: What distinguishes transcendental idealism from speculative idealism is the fact that the former does not posit the existence of the transcendental subject apart from its bodily individuation.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 1)
     A reaction: These modern French philosophers explain things so much more clearly than the English! The 'speculative' version is seen in Berkeley. On p.17 he says transcendental idealism is 'civilised', and speculative idealism is 'uncouth'.
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / c. Primary qualities
The aspects of objects that can be mathematical allow it to have objective properties [Meillassoux]
     Full Idea: All aspects of the object that can give rise to a mathematical thought rather than to a perception or a sensation can be meaningfully turned into the properties of the thing not only as it is with me, but also as it is without me.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 1)
     A reaction: This is Meillassoux's spin on the primary/secondary distinction, which he places at the heart of the scientific revolution. Cartesian dualism offers a separate space for the secondary qualities. He is appalled when philosophers reject the distinction.
14. Science / B. Scientific Theories / 1. Scientific Theory
How can we mathematically describe a world that lacks humans? [Meillassoux]
     Full Idea: How is mathematical discourse able to describe a reality where humanity is absent?
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 1)
     A reaction: He is referring to the prehistoric world. He takes this to be a key question about the laws of nature. We extrapolate mathematically from the experienced world, relying on the stability of the laws. Must they be necessary to be stable? No, it seems.
14. Science / C. Induction / 3. Limits of Induction
Hume's question is whether experimental science will still be valid tomorrow [Meillassoux]
     Full Idea: Hume's question can be formulated as follows: can we demonstrate that the experimental science which is possible today will still be possible tomorrow?
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 4)
     A reaction: Could there be deep universal changes going on in nature which science could never, even in principle, detect?
15. Nature of Minds / B. Features of Minds / 1. Consciousness / e. Cause of consciousness
Quantum states in microtubules could bind brain activity to produce consciousness [Penrose]
     Full Idea: I propose that microtubules in nerve cells could give rise to a stable quantum state that would bind the activity of brain cells throughout the cerebrum and in doing so give rise to consciousness.
     From: Roger Penrose (Could a computer ever understand? [1998], p.329)
     A reaction: This seems to offer a physical theory to account for the 'unity' of the mind (which so impressed Descartes), but I don't quite see why being aware of things would ensue from some 'quantum binding'. I daresay 'quantum binding' occurs in the Sun.
16. Persons / B. Nature of the Self / 4. Presupposition of Self
The transcendental subject is not an entity, but a set of conditions making science possible [Meillassoux]
     Full Idea: The transcendental subject simply cannot be said to exist; which is to say that the subject is not an entity, but rather a set of conditions rendering objective scientific knowledge of entities possible.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 1)
     A reaction: Meillassoux treats this as part of the Kantian Disaster, which made an accurate account of the scientific revolution impossible for philosophers. Kant's ego seems to have primarily an epistemological role.
18. Thought / A. Modes of Thought / 9. Indexical Thought
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.
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.
18. Thought / B. Mechanics of Thought / 5. Mental Files
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!
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.
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.
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]
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.
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.
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.
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.
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.
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.
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.
18. Thought / C. Content / 1. Content
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.
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
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.
19. Language / B. Reference / 1. Reference theories
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.
19. Language / B. Reference / 3. Direct Reference / a. Direct reference
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.
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.
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
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?
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.
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.
19. Language / B. Reference / 4. Descriptive Reference / b. Reference by description
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.
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.
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'?
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.
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.
19. Language / C. Assigning Meanings / 5. Fregean Semantics
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.
19. Language / C. Assigning Meanings / 9. Indexical Semantics
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.
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'.
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.
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
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?
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.
19. Language / D. Propositions / 3. Concrete Propositions
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.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / b. Scientific necessity
If the laws of nature are contingent, shouldn't we already have noticed it? [Meillassoux]
     Full Idea: The standard objection is that if the laws of nature were actually contingent, we would already have noticed it.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 4)
     A reaction: Meillassoux offers a sustained argument that the laws of nature are necessarily contingent. In Idea 19660 he distinguishes contingencies that must change from those that merely could change.
Why are contingent laws of nature stable? [Meillassoux]
     Full Idea: We must ask how we are to explain the manifest stability of physical laws, given that we take these to be contingent?
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 4)
     A reaction: Meissalloux offers a very deep and subtle answer to this question... It is based on the possibilities of chaos being an uncountable infinity... It is a very nice question, which physicists might be able to answer, without help from philosophy.
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
The ontological proof of a necessary God ensures a reality external to the mind [Meillassoux]
     Full Idea: Since Descartes conceives of God as existing necessarily, whether I exist to think of him or not, Descartes assures me of a possible access to an absolute reality - a Great Outdoors that is not a correlate of my thought.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 2)
     A reaction: His point is that the ontological argument should be seen as part of the scientific revolution, and not an anomaly within it. Interesting.
28. God / C. Attitudes to God / 5. Atheism
Now that the absolute is unthinkable, even atheism is just another religious belief (though nihilist) [Meillassoux]
     Full Idea: Once the absolute has become unthinkable, even atheism, which also targets God's inexistence in the manner of an absolute, is reduced to a mere belief, and hence to a religion, albeit of the nihilist kind.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 2)
     A reaction: An interesting claim. Rather hard to agree or disagree, though the idea that atheism must qualify as a religion seems odd. If it is unqualified it does have the grand quality of a religion, but if it is fallibilist it just seems like an attitude.