Combining Texts

All the ideas for 'fragments/reports', 'Structures and Structuralism in Phil of Maths' and 'In a Critical Condition'

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


61 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
It seems likely that analysis of concepts is impossible, but justification can survive without it [Fodor]
     Full Idea: Lots of philosophers fear that if concepts don't have analyses, justification breaks down. My own guess is that concepts don't have analyses and that justification will survive all the same.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 3 n2)
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
Despite all the efforts of philosophers, nothing can ever be reduced to anything [Fodor]
     Full Idea: The general truth is that nothing ever reduces to anything, however hard philosophers may try.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 6)
2. Reason / A. Nature of Reason / 8. Naturalising Reason
Turing invented the idea of mechanical rationality (just based on syntax) [Fodor]
     Full Idea: The most important thing that has happened in cognitive science was Turing's invention of the notion of mechanical rationality (because some inferences are rational in virtue of the syntax of their sentences).
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.17)
2. Reason / E. Argument / 2. Transcendental Argument
Transcendental arguments move from knowing Q to knowing P because it depends on Q [Fodor]
     Full Idea: Transcendental arguments ran: "If it weren't that P, we couldn't know (now 'say' or 'think' or 'judge') that Q; and we do know (now…) that Q; therefore P". Old and new arguments tend to be equally unconvincing, because of their empiricist preconceptions.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 3)
3. Truth / F. Semantic Truth / 2. Semantic Truth
While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price]
     Full Idea: While truth can be defined in a relative way, as truth in one particular model, a non-relative notion of truth is implied, as truth in all models.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: [The article is actually discussing arithmetic] This idea strikes me as extremely important. True-in-all-models is usually taken to be tautological, but it does seem to give a more universal notion of truth. See semantic truth, Tarski, Davidson etc etc.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price]
     Full Idea: In standard ZFC ('Zermelo-Fraenkel with Choice') set theory we deal merely with pure sets, not with additional urelements.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: The 'urelements' would the actual objects that are members of the sets, be they physical or abstract. This idea is crucial to understanding philosophy of mathematics, and especially logicism. Must the sets exist, just as the urelements do?
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price]
     Full Idea: In second-order logic there are three kinds of variables, for objects, for functions, and for predicates or sets.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: It is interesting that a predicate seems to be the same as a set, which begs rather a lot of questions. For those who dislike second-order logic, there seems nothing instrinsically wicked in having variables ranging over innumerable multi-order types.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
'Analysis' is the theory of the real numbers [Reck/Price]
     Full Idea: 'Analysis' is the theory of the real numbers.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: 'Analysis' began with the infinitesimal calculus, which later built on the concept of 'limit'. A continuum of numbers seems to be required to make that work.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
Mereological arithmetic needs infinite objects, and function definitions [Reck/Price]
     Full Idea: The difficulties for a nominalistic mereological approach to arithmetic is that an infinity of physical objects are needed (space-time points? strokes?), and it must define functions, such as 'successor'.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: Many ontologically austere accounts of arithmetic are faced with the problem of infinity. The obvious non-platonist response seems to be a modal or if-then approach. To postulate infinite abstract or physical entities so that we can add 3 and 2 is mad.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price]
     Full Idea: A common formulation of Peano Arithmetic uses 2nd-order logic, the constant '1', and a one-place function 's' ('successor'). Three axioms then give '1 is not a successor', 'different numbers have different successors', and induction.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: This is 'second-order' Peano Arithmetic, though it is at least as common to formulate in first-order terms (only quantifying over objects, not over properties - as is done here in the induction axiom). I like the use of '1' as basic instead of '0'!
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set-theory gives a unified and an explicit basis for mathematics [Reck/Price]
     Full Idea: The merits of basing an account of mathematics on set theory are that it allows for a comprehensive unified treatment of many otherwise separate branches of mathematics, and that all assumption, including existence, are explicit in the axioms.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: I am forming the impression that set-theory provides one rather good model (maybe the best available) for mathematics, but that doesn't mean that mathematics is set-theory. The best map of a landscape isn't a landscape.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price]
     Full Idea: Structuralism has emerged from the development of abstract algebra (such as group theory), the creation of axiom systems, the introduction of set theory, and Bourbaki's encyclopaedic survey of set theoretic structures.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: In other words, mathematics has gradually risen from one level of abstraction to the next, so that mathematical entities like points and numbers receive less and less attention, with relationships becoming more prominent.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / b. Varieties of structuralism
Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price]
     Full Idea: Relativist Structuralism simply picks one particular model of axiomatised arithmetic (i.e. one particular interpretation that satisfies the axioms), and then stipulates what the elements, functions and quantifiers refer to.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: The point is that a successful model can be offered, and it doesn't matter which one, like having any sort of aeroplane, as long as it flies. I don't find this approach congenial, though having a model is good. What is the essence of flight?
There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price]
     Full Idea: The term 'structure' has two uses in the literature, what can be called 'particular structures' (which are particular relational systems), but also what can be called 'universal structures' - what particular systems share, or what they instantiate.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §6)
     A reaction: This is a very helpful distinction, because it clarifies why (rather to my surprise) some structuralists turn out to be platonists in a new guise. Personal my interest in structuralism has been anti-platonist from the start.
Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price]
     Full Idea: According to 'pattern' structuralism, what we study are not the various particular isomorphic models of arithmetic, but something in addition to them: a corresponding pattern.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §7)
     A reaction: Put like that, we have to feel a temptation to wield Ockham's Razor. It's bad enough trying to give the structure of all the isomorphic models, without seeking an even more abstract account of underlying patterns. But patterns connect to minds..
There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price]
     Full Idea: There are four main variants of structuralism in the philosophy of mathematics - formalist structuralism, relativist structuralism, universalist structuralism (with modal variants), and pattern structuralism.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §9)
     A reaction: I'm not sure where Chihara's later book fits into this, though it is at the nominalist end of the spectrum. Shapiro and Resnik do patterns (the latter more loosely); Hellman does modal universalism; Quine does the relativist version. Dedekind?
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price]
     Full Idea: Formalist Structuralism endorses structural methodology in mathematics, but rejects semantic and metaphysical problems as either meaningless, or purely formal, or as inference relations.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §3)
     A reaction: [very compressed] I find the third option fairly congenial, certainly in preference to rather platonist accounts of structuralism. One still needs to distinguish the mathematical from the non-mathematical in the inference relations.
Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price]
     Full Idea: It is tempting to take a modal turn, and quantify over all possible objects, because if there are only a finite number of actual objects, then there are no models (of the right sort) for Peano Arithmetic, and arithmetic is vacuously true.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: [compressed; Geoffrey Hellman is the chief champion of this view] The article asks whether we are not still left with the puzzle of whether infinitely many objects are possible, instead of existent.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price]
     Full Idea: Universalist Structuralism is a semantic thesis, that an arithmetical statement asserts a universal if-then statement. We build an if-then statement (using quantifiers) into the structure, and we generalise away from any one particular model.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: There remains the question of what is distinctively mathematical about the highly generalised network of inferences that is being described. Presumable the axioms capture that, but why those particular axioms? Russell is cited as an originator.
Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price]
     Full Idea: Universalist Structuralism is eliminativist about abstract objects, in a distinctive form. Instead of treating the base element (say '1') as an ambiguous referring expression (the Relativist approach), it is a variable which is quantified out.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: I am a temperamental eliminativist on this front (and most others) so this is tempting. I am also in love with the concept of a 'variable', which I take to be utterly fundamental to all conceptual thought, even in animals, and not just a trick of algebra.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price]
     Full Idea: Relativist Structuralism must first assume the existence of an infinite set, otherwise there would be no model to pick, and arithmetical terms would have no reference.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: See Idea 10169 for Relativist Structuralism. They point out that ZFC has an Axiom of Infinity.
8. Modes of Existence / B. Properties / 7. Emergent Properties
The world is full of messy small things producing stable large-scale properties (e.g. mountains) [Fodor]
     Full Idea: Damn near everything we know about the world (e.g. a mountain) suggests that unimaginably complicated to-ings and fro-ings of bits and pieces at the extreme microlevel manage somehow to converge on stable macrolevel properties.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 2)
     A reaction: This is clearly true, and is a vital part of the physicalist picture of the mind. Personally I prefer the word 'processes' to 'properties', since no one seems to really know what a property is. A process is an abstraction from events.
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
Don't define something by a good instance of it; a good example is a special case of the ordinary example [Fodor]
     Full Idea: It's a mistake to try to construe the notion of an instance in terms of the notion of a good instance (e.g. Platonic Forms); the latter is patently a special case of the former, so the right order of exposition is the other way round.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 4)
8. Modes of Existence / E. Nominalism / 6. Mereological Nominalism
A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price]
     Full Idea: One way for a nominalist to reject appeal to all abstract objects, including sets, is to only appeal to nominalistically acceptable objects, including mereological sums.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: I'm suddenly thinking that this looks very interesting and might be the way to go. The issue seems to be whether mereological sums should be seen as constrained by nature, or whether they are unrestricted. See Mereology in Ontology...|Intrinsic Identity.
11. Knowledge Aims / A. Knowledge / 4. Belief / e. Belief holism
How do you count beliefs? [Fodor]
     Full Idea: There is no agreed way of counting beliefs.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.16)
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / c. Empirical idealism
Berkeley seems to have mistakenly thought that chairs are the same as after-images [Fodor]
     Full Idea: Berkeley seems to have believed that tables and chairs are logically homogeneous with afterimages. I assume that he was wrong to believe this.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.16)
12. Knowledge Sources / B. Perception / 6. Inference in Perception
Maybe explaining the mechanics of perception will explain the concepts involved [Fodor]
     Full Idea: Why mightn't fleshing out the standard psychological account of perception itself count as learning what perceptual justification amounts to?
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 1)
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Rationalism can be based on an evolved computational brain with innate structure [Fodor]
     Full Idea: Pinker's rationalism involves four main ideas: mind is a computational system, which is massively modular with a lot of innate structure resulting from evolution.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.17)
12. Knowledge Sources / D. Empiricism / 2. Associationism
According to empiricists abstraction is the fundamental mental process [Fodor]
     Full Idea: According to empiricists, the fundamental mental process is not theory construction but abstraction.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.12)
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
Rationalists say there is more to a concept than the experience that prompts it [Fodor]
     Full Idea: That there is more in the content of a concept than there is in the experiences that prompt us to form it is the burden of the traditional rationalist critique of empiricism (as worked out by Leibniz and Kant).
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.12)
15. Nature of Minds / A. Nature of Mind / 1. Mind / b. Purpose of mind
Empirical approaches see mind connections as mirrors/maps of reality [Fodor]
     Full Idea: Empirical approaches to cognition say the human mind is a blank slate at birth; experiences write on the slate, and association extracts and extrapolates trends from the record of experience. The mind is an image of statistical regularities of the world.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.17)
     A reaction: The 'blank slate' is an exaggeration. The mind at least has the tools to make associations. He tries to make it sound implausible, but the word 'extrapolates' contains a wealth of possibilities that could build into a plausible theory.
The function of a mind is obvious [Fodor]
     Full Idea: Like hands, you don't have to know how the mind evolved to make a pretty shrewd guess at what it's for; for example, that it's to think with.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.17)
     A reaction: I like this. This is one of the basic facts of philosophy of mind, and it frequently gets lost in the fog. It is obvious that the components of the mind (say, experience and intentionality) will be better understood if their function is remembered.
15. Nature of Minds / B. Features of Minds / 4. Intentionality / a. Nature of intentionality
Do intentional states explain our behaviour? [Fodor]
     Full Idea: Intentional Realism is the idea that our intentional mental states causally explain our behaviour; so holistic semantics (which says no two people have the same intentional states, or share generalisations) is irrealistic about intentional mental states.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 6)
     A reaction: ...presumably because two people CAN have the same behaviour. The key question would be whether the intentional states have to be conscious.
16. Persons / B. Nature of the Self / 6. Self as Higher Awareness
If I have a set of mental modules, someone had better be in charge of them! [Fodor]
     Full Idea: If there is a community of computers living in my head, there had also better be somebody who is in charge; and, by God, it had better be me.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.17)
     A reaction: Dennett quotes this as a quaintly old-fashioned view. I agree quite strongly with Fodor, for reasons that Dennett should like - evolutionary ones. A mind is a useless tool without central co-ordination. What makes my long-term plans? It isn't anarchy!
17. Mind and Body / C. Functionalism / 1. Functionalism
Functionalists see pains as properties involving relations and causation [Fodor]
     Full Idea: Functionalists claim that pains and the like are higher-order, relational properties that things have in virtue of the pattern of causal interactions that they (can or do) enter into.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 2)
     A reaction: The whole idea of a property being purely 'relational' strikes me as dubious (or even nonsense). "Is north of" is a relation, but it is totally derived from more basical physical geographical properties.
17. Mind and Body / D. Property Dualism / 3. Property Dualism
Why bother with neurons? You don't explain bird flight by examining feathers [Fodor]
     Full Idea: Compare Churchland's strategy rooted in neurological modelling with "if it's flight you want to understand, what you need to look at is feathers".
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 8)
     A reaction: Sounds good, but may be a false analogy. You learn a lot about snake movement if you examine their scales.
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Type physicalism is a stronger claim than token physicalism [Fodor]
     Full Idea: "Type" physicalism is supposed, by general consensus, to be stronger than "token" physicalism; stronger, that is, than the mere claim that all mental states are necessarily physically instantiated.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 2)
     A reaction: Such philosopher's terminology always seems cut-and-dried, until you ask exactly what is identical to what. The word 'type' is a very broad concept. Are trees the same type of thing as roses? A thought always requires the same 'type' of brain event?
17. Mind and Body / E. Mind as Physical / 4. Connectionism
Modern connectionism is just Hume's theory of the 'association' of 'ideas' [Fodor]
     Full Idea: Churchland is pushing a version of connectionism ….in which if you think of the elements as "ideas" and call the connections between them "associations", you've got a psychology that is no great advance on David Hume.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 8)
     A reaction: See Fodor's book 'Humean Variations' on how Hume should be improved. This idea strikes me as important for understanding Hume, who is very reticent about what his real views are on the mind.
18. Thought / A. Modes of Thought / 1. Thought
The goal of thought is to understand the world, not instantly sort it into conceptual categories [Fodor]
     Full Idea: The question whether there are recognitional concepts is really the question what thought is for - for directing action, or for discerning truth. And Descartes was right on this: the goal of thought is to understand the world, not to sort it.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 4)
18. Thought / B. Mechanics of Thought / 3. Modularity of Mind
Modules analyse stimuli, they don't tell you what to do [Fodor]
     Full Idea: The thinking involved in "figuring out" what to do is a quite different kind of mental process than the stimulus analysis that modules perform.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.13)
     A reaction: My PA theory fits this perfectly. My inner assistant keeps providing information about needs, duties etc., but takes no part in my decisions. Psychology must include the Will.
Blindness doesn't destroy spatial concepts [Fodor]
     Full Idea: Blind children are not, in general, linguistically impaired; not even in their talk about space.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.13)
     A reaction: This is offered to demonstrate that spatial concepts are innate, even in the blind. But then we would expect anyone who has to move in space to develop spatial concepts from experience.
Something must take an overview of the modules [Fodor]
     Full Idea: It is not plausible that the mind could be made only of modules; one does sometimes manage to balance one's checkbook, and there can't be an innate, specialized intelligence for doing that.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.13)
     A reaction: I agree strongly with this. My own mind strikes me as being highly modular, but as long as I am aware of the output of the modules, I can pass judgement. The judger is more than a 'module'.
Modules have in-built specialist information [Fodor]
     Full Idea: Modules contain lots of specialized information about the problem domains that they compute in.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.17)
     A reaction: At this point we must be cautious about modularity. I doubt whether 'information' is the right word. I think 'specialized procedures' might make more sense.
Modules have encapsulation, inaccessibility, private concepts, innateness [Fodor]
     Full Idea: The four essential properties of modules are: encapsulation (information doesn't flow, as in the persistence of illusions); inaccessibility (unreportable); domain specificity (they have private concepts); innateness (genetically preprogrammed).
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.11)
     A reaction: If they have no information flow, and are unreportable and private, this makes empirical testing of Fodor's hypothesis a little tricky. He must be on to something, though.
Obvious modules are language and commonsense explanation [Fodor]
     Full Idea: The best candidates for the status of mental modules are language (the first one, put there by Chomsky), commonsense biology, commonsense physics, commonsense psychology, and aspects of visual form perception.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.13)
     A reaction: My favourite higher level module is my Personal Assistant, who keeps nagging me to do sundry things, only some of which I agree to. It is an innate superego, but still a servant of the Self.
Modules make the world manageable [Fodor]
     Full Idea: Modules function to present the world to thought under descriptions that are germane to the success of behaviour.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.13)
     A reaction: "Descriptions" might be a bold word to use about something so obscure, but this pinpoints the evolutionary nature of modularity theory, to which I subscribe.
Babies talk in consistent patterns [Fodor]
     Full Idea: "Who Mummy love?" is recognizably baby talk; but "love Mummy who?" is not.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.14)
     A reaction: Not convincing. If she is embracing Daddy, and asking baby, she might get the answer "Daddy", after a bit of coaxing. Who knows what babies up the Amazon respond to?
Rationality rises above modules [Fodor]
     Full Idea: Probably, modular computation doesn't explain how minds are rational; it's just a sort of precursor. You work through it to get a view of how horribly hard our rationality is to understand.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.17)
     A reaction: The choice is between a Self which weighs and judges the inputs, or merely decisions that automatically result from the balance of inputs. The latter seems unlikely. Vetoes are essential.
18. Thought / B. Mechanics of Thought / 4. Language of Thought
Language is ambiguous, but thought isn't [Fodor]
     Full Idea: Thinking can't just be in sequences of English words since, notoriously, thought needs to be ambiguity-free in ways that mere word sequences are not.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 6)
     A reaction: I think this is a strong argument in favour of (at least) propositions. Thoughts are unambiguous, but their expression need not be. Sentences could be expanded to achieve clarity.
Mentalese may also incorporate some natural language [Fodor]
     Full Idea: I don't think it is true that all thought is in Mentalese. It is quite likely (e.g. in arithmetic algorithms) that Mentalese co-opts bits of natural language.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 6)
     A reaction: Presumably language itself would have to be coded in mentalese. If there is some other way for thought to work, the whole mind could use it, and skip mentalese.
Mentalese doesn't require a theory of meaning [Fodor]
     Full Idea: Mentalese doesn't need Grice's theory of natural-language meaning, or indeed any theory of natural-language meaning whatsoever.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 6)
     A reaction: Presumably what is represented by mentalese is a quite separate question from whether there exists a mentalese that does some sort of representing. Sounds plausible.
18. Thought / C. Content / 9. Conceptual Role Semantics
Content can't be causal role, because causal role is decided by content [Fodor]
     Full Idea: Functional role semantics wants to analyze the content of a belief in terms of its inferential (causal) relations; but that seems the wrong way round. The content of a belief determines its causal role.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 6)
     A reaction: This is one of my favourite ideas, which keeps coming to mind when considering functional accounts of mental life. The buck of explanation must, however, stop somewhere.
18. Thought / D. Concepts / 2. Origin of Concepts / c. Nativist concepts
Experience can't explain itself; the concepts needed must originate outside experience [Fodor]
     Full Idea: Experience can't explain itself; eventually, some of the concepts that explaining experience requires have to come from outside it. Eventually, some of them have to be built in.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch.12)
18. Thought / D. Concepts / 3. Ontology of Concepts / b. Concepts as abilities
Are concepts best seen as capacities? [Fodor]
     Full Idea: Virtually all modern theorists about philosophy, mind or language tend to agree that concepts are capacities, in particular concepts are epistemic capacities.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 3)
     A reaction: This view seems to describe concepts in functional terms, which generates my perennial question: what is it about concepts that enables them to fulfil that particular role?
For Pragmatists having a concept means being able to do something [Fodor]
     Full Idea: It's a paradigmatically Pragmatist idea that having a concept consists in being able to do something.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 3)
     A reaction: If you defined a bicycle simply by what you could do with it, you wouldn't explain much. I wonder if pragmatism and functionalism come from the same intellectual stable?
19. Language / A. Nature of Meaning / 3. Meaning as Speaker's Intention
It seems unlikely that meaning can be reduced to communicative intentions, or any mental states [Fodor]
     Full Idea: Nobody now thinks that the reduction of the meaning of English sentences to facts about the communicative intentions of English speakers - or to any facts about mental states - is likely to go through.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 6)
     A reaction: Most attempts at 'reduction' of meaning seem to go rather badly. I assume it would be very difficult to characterise 'intentions' without implicit reference to meaning.
19. Language / A. Nature of Meaning / 7. Meaning Holism / b. Language holism
If to understand "fish" you must know facts about them, where does that end? [Fodor]
     Full Idea: If learning that fish typically live in streams is part of learning "fish", typical utterances of "pet fish" (living in bowls) are counterexamples. This argument iterates (e.g "big pet fish"). So learning where they live can't be part of learning "fish".
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 5)
     A reaction: Using 'typical' twice is rather misleading here. Town folk can learn 'fish' as typically living in bowls. There is no one way to learn a word meaning.
19. Language / E. Analyticity / 3. Analytic and Synthetic
Analysis is impossible without the analytic/synthetic distinction [Fodor]
     Full Idea: If there is no analytic/synthetic distinction then there are no analyses.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 3)
     A reaction: There are no precise analyses. I see no reason why a holistic view of language prohibits the careful elucidation of key concepts in the system. It's just a bit fluid.
19. Language / F. Communication / 4. Private Language
The theory of the content of thought as 'Mentalese' explains why the Private Language Argument doesn't work [Fodor]
     Full Idea: If the Mentalese story about the content of thought is true, then there couldn't be a Private Language Argument. Good. That explains why there isn't one.
     From: Jerry A. Fodor (In a Critical Condition [2000], Ch. 6)
     A reaction: Presumably Mentalese implies that all language is, in the first instance, intrinsically private. Dogs, for example, need Mentalese, since they self-evidently think.
25. Social Practice / E. Policies / 5. Education / b. Education principles
Learned men gain more in one day than others do in a lifetime [Posidonius]
     Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes.
     From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078
     A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book.
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]
     Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness.
     From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42
     A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them.