Combining Texts

All the ideas for 'The Elm and the Expert', 'Truthmaking for Presentists' and 'Investigations in the Foundations of Set Theory I'

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


53 ideas

2. Reason / A. Nature of Reason / 8. Naturalising Reason
A standard naturalist view is realist, externalist, and computationalist, and believes in rationality [Fodor]
     Full Idea: There seems to be an emerging naturalist consensus that is Realist in ontology and epistemology, externalist in semantics, and computationalist in cognitive psychology, which nicely allows us to retain our understanding of ourselves as rational creatures.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
2. Reason / D. Definition / 8. Impredicative Definition
Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine]
     Full Idea: On Zermelo's view, predicative definitions are not only indispensable to mathematics, but they are unobjectionable since they do not create the objects they define, but merely distinguish them from other objects.
     From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Shaughan Lavine - Understanding the Infinite V.1
     A reaction: This seems to have an underlying platonism, that there are hitherto undefined 'objects' lying around awaiting the honour of being defined. Hm.
3. Truth / A. Truth Problems / 5. Truth Bearers
Psychology has to include the idea that mental processes are typically truth-preserving [Fodor]
     Full Idea: A psychology that can't make sense of such facts as that mental processes are typically truth-preserving is ipso facto dead in the water.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §1.3)
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
If maximalism is necessary, then that nothing exists has a truthmaker, which it can't have [Cameron]
     Full Idea: I think truthmaker theory is contingently true. [n24] If there could have been nothing, what makes that true? But if truthmaker maximalism is a necessary truth, there's necessarily something.
     From: Ross P. Cameron (Truthmaking for Presentists [2011], 4 n24)
     A reaction: Truthmaking is beginning to feel like Gödel's Theorems. You can 'make' lots and lots of truths ('prove' in Gödel), but there will be truths that elude the making. Truthmaker theory itself will be one example. So is Maximalism another one?
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
Determinate truths don't need extra truthmakers, just truthmakers that are themselves determinate [Cameron]
     Full Idea: I reject saying there must be an additional truthmaker for 'Determinately, p': rather, I say that the truthmaker for p must simply be a determinate existent rather than a mere existent.
     From: Ross P. Cameron (Truthmaking for Presentists [2011], 6)
     A reaction: As he puts it (quite persuasively), God doesn't need to add an extra truthmaker for a determinate truth. Cameron rejects Necessitarianism. He uses 'determinate' fairly uncritically. What makes the truth of the truthmaker's determinacy?
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
The facts about the existence of truthmakers can't have a further explanation [Cameron]
     Full Idea: The orthodox truthmaker theorist thinks the facts concerning the existence of the truthmakers do not admit of further explanation.
     From: Ross P. Cameron (Truthmaking for Presentists [2011], 6)
     A reaction: It is fairly obvious, I suppose, that not every truth can have a truthmaker, just as the verification principle could not be verified, and you can't perceive your perception in order to check it. Could God withdraw the power of truthmaking?
3. Truth / B. Truthmakers / 9. Making Past Truths
The present property 'having been F' says nothing about a thing's intrinsic nature [Cameron]
     Full Idea: The property 'being such as to have been a child' is suspicious because it points beyond its instances in the sense that a thing's presently having that property tells us nothing about the present intrinsic nature of the thing.
     From: Ross P. Cameron (Truthmaking for Presentists [2011], 2)
     A reaction: This is his objection to what he calls the 'Lucretian' strategy, which tries to make history into a property of present reality. That is implausible, I think, because there is no test for the property, apart from knowledge of the past. Reality is tensed?
One temporal distibution property grounds our present and past truths [Cameron]
     Full Idea: Temporal distributional properties are fundamental - it is exactly the same property that is grounding the truth about how the bearer now is that is grounding truths about how the bearer was.
     From: Ross P. Cameron (Truthmaking for Presentists [2011], 4)
     A reaction: Some kind of slight of hand is going on here, though he does a nice job of confronting all possible objections. This is the sort of metaphysics you come up with when you stake everything on the dubious notion of a 'property'.
We don't want present truthmakers for the past, if they are about to cease to exist! [Cameron]
     Full Idea: Whilst not logically inconsistent, it would be bad if it could now be true that ten years ago there was a sea battle, but that five years ago it wasn't true that five years before that there was a sea battle.
     From: Ross P. Cameron (Truthmaking for Presentists [2011], 4)
     A reaction: Nicely makes the point that you can't let the past rely on truthmakers in the present, if those truthmakers are about to go out of existence. So you need a sustained truthmaker, without giving up presentism. Enter 'temporally distributed properties'?
4. Formal Logic / F. Set Theory ST / 1. Set Theory
We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo]
     Full Idea: Starting from set theory as it is historically given ...we must, on the one hand, restrict these principles sufficiently to exclude as contradiction and, on the other, take them sufficiently wide to retain all that is valuable in this theory.
     From: Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908], Intro)
     A reaction: Maddy calls this the one-step-back-from-disaster rule of thumb. Zermelo explicitly mentions the 'Russell antinomy' that blocked Frege's approach to sets.
Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo]
     Full Idea: Set theory is that branch whose task is to investigate mathematically the fundamental notions 'number', 'order', and 'function', taking them in their pristine, simple form, and to develop thereby the logical foundations of all of arithmetic and analysis.
     From: Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908], Intro)
     A reaction: At this point Zermelo seems to be a logicist. Right from the start set theory was meant to be foundational to mathematics, and not just a study of the logic of collections.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg]
     Full Idea: Zermelo-Fraenkel axioms: Existence (at least one set); Extension (same elements, same set); Specification (a condition creates a new set); Pairing (two sets make a set); Unions; Powers (all subsets make a set); Infinity (set of successors); Choice
     From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Brian Clegg - Infinity: Quest to Think the Unthinkable Ch.15
Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy]
     Full Idea: Zermelo proposed his listed of assumptions (including the controversial Axiom of Choice) in 1908, in order to secure his controversial proof of Cantor's claim that ' we can always bring any well-defined set into the form of a well-ordered set'.
     From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Penelope Maddy - Believing the Axioms I §1
     A reaction: This is interesting because it sometimes looks as if axiom systems are just a way of tidying things up. Presumably it is essential to get people to accept the axioms in their own right, the 'old-fashioned' approach that they be self-evident.
Set theory can be reduced to a few definitions and seven independent axioms [Zermelo]
     Full Idea: I intend to show how the entire theory created by Cantor and Dedekind can be reduced to a few definitions and seven principles, or axioms, which appear to be mutually independent.
     From: Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908], Intro)
     A reaction: The number of axioms crept up to nine or ten in subsequent years. The point of axioms is maximum reduction and independence from one another. He says nothing about self-evidence (though Boolos claimed a degree of that).
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy]
     Full Idea: Zermelo's Pairing Axiom superseded (in 1930) his original 1908 Axiom of Elementary Sets. Like Union, its only justification seems to rest on 'limitations of size' and on the 'iterative conception'.
     From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Penelope Maddy - Believing the Axioms I §1.3
     A reaction: Maddy says of this and Union, that they seem fairly obvious, but that their justification is of prime importance, if we are to understand what the axioms should be.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy]
     Full Idea: Zermelo used a weak form of the Axiom of Foundation to block Russell's paradox in 1906, but in 1908 felt that the form of his Separation Axiom was enough by itself, and left the earlier axiom off his published list.
     From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Penelope Maddy - Believing the Axioms I §1.2
     A reaction: Foundation turns out to be fairly controversial. Barwise actually proposes Anti-Foundation as an axiom. Foundation seems to be the rock upon which the iterative view of sets is built. Foundation blocks infinite descending chains of sets, and circularity.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation
The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy]
     Full Idea: The most characteristic Zermelo axiom is Separation, guided by a new rule of thumb: 'one step back from disaster' - principles of set generation should be as strong as possible short of contradiction.
     From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Penelope Maddy - Believing the Axioms I §1.4
     A reaction: Why is there an underlying assumption that we must have as many sets as possible? We are then tempted to abolish axioms like Foundation, so that we can have even more sets!
Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD]
     Full Idea: Zermelo assumes that not every predicate has an extension but rather that given a set we may separate out from it those of its members satisfying the predicate. This is called 'separation' (Aussonderung).
     From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by William D. Hart - The Evolution of Logic 3
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
Inferences are surely part of the causal structure of the world [Fodor]
     Full Idea: Inferences are surely part of the causal structure of the world.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §3)
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD]
     Full Idea: In Zermelo's set theory, the Burali-Forti Paradox becomes a proof that there is no set of all ordinals (so 'is an ordinal' has no extension).
     From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by William D. Hart - The Evolution of Logic 3
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy]
     Full Idea: For Zermelo the successor of n is {n} (rather than Von Neumann's successor, which is n U {n}).
     From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Penelope Maddy - Naturalism in Mathematics I.2 n8
     A reaction: I could ask some naive questions about the comparison of these two, but I am too shy about revealing my ignorance.
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy]
     Full Idea: Zermelo was a reductionist, and believed that theorems purportedly about numbers (cardinal or ordinal) are really about sets, and since Von Neumann's definitions of ordinals and cardinals as sets, this has become common doctrine.
     From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Penelope Maddy - Believing the Axioms I §1.8
     A reaction: Frege has a more sophisticated take on this approach. It may just be an updating of the Greek idea that arithmetic is about treating many things as a unit. A set bestows an identity on a group, and that is all that is needed.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR]
     Full Idea: In Zermelo's set-theoretic definition of number, 2 is a member of 3, but not a member of 4; in Von Neumann's definition every number is a member of every larger number. This means they have two different structures.
     From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by James Robert Brown - Philosophy of Mathematics Ch. 4
     A reaction: This refers back to the dilemma highlighted by Benacerraf, which was supposed to be the motivation for structuralism. My intuition says that the best answer is that they are both wrong. In a pattern, the nodes aren't 'members' of one another.
8. Modes of Existence / B. Properties / 3. Types of Properties
Being polka-dotted is a 'spatial distribution' property [Cameron]
     Full Idea: Spatial distribution properties say how things are across a region of space, such as being polka-dotted.
     From: Ross P. Cameron (Truthmaking for Presentists [2011], 3)
     A reaction: I think the routine fallacy of inferring properties from predicates is buried here. We truthfully describe it as 'polka-dotted', but that doesn't mean we must reify polka-dottedness, and see it as a feature of the world. What is a 'jumbled' space?
9. Objects / E. Objects over Time / 2. Objects that Change
Change is instantiation of a non-uniform distributional property, like 'being red-then-orange' [Cameron]
     Full Idea: What change is on the account being offered is to instantiate a non-uniform distributional property. Being red at one time and orange at a later time is to be analysed as instantiating the distributional property 'being red-then-orange'.
     From: Ross P. Cameron (Truthmaking for Presentists [2011], 4)
     A reaction: One of those moments when you begin to doubt whether 'being analysed' successfully actually adds much to our wisdom. His property sounds suspiciously 'gruesome' - i.e. subject to the vagaries of how we chose to describe the thing.
13. Knowledge Criteria / C. External Justification / 5. Controlling Beliefs
Control of belief is possible if you know truth conditions and what causes beliefs [Fodor]
     Full Idea: Premeditated cognitive management is possible if knowing the contents of one's thoughts would tell you what would make them true and what would cause you to have them.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: I love the idea of 'cognitive management'. Since belief is fairly involuntary, I subject myself to the newspapers, books, TV and conversation which will create the style of beliefs to which I aspire. Why?
14. Science / A. Basis of Science / 3. Experiment
An experiment is a deliberate version of what informal thinking does all the time [Fodor]
     Full Idea: Experimentation is an occasional and more or less self-conscious exercise in what informal thinking does all the time without thinking about it.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
We can deliberately cause ourselves to have true thoughts - hence the value of experiments [Fodor]
     Full Idea: A creature that knows what makes its thoughts true and what would cause it to have them, could therefore cause itself to have true thoughts. …This would explain why experimentation is so close to the heart of our cognitive style.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
Interrogation and experiment submit us to having beliefs caused [Fodor]
     Full Idea: You can put yourself into a situation where you may be caused to believe that P. Putting a question to someone who is in the know is one species of this behaviour, and putting a question to Nature (an experiment) is another.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
Participation in an experiment requires agreement about what the outcome will mean [Fodor]
     Full Idea: To be in the audience for an experiment you have to believe what the experimenter believes about what the outcome would mean, but not necessarily what the outcome will be.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
14. Science / B. Scientific Theories / 1. Scientific Theory
Theories are links in the causal chain between the environment and our beliefs [Fodor]
     Full Idea: Theories function as links in the causal chains that run from environmental outcomes to the beliefs that they cause the inquirer to have.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
15. Nature of Minds / A. Nature of Mind / 1. Mind / e. Questions about mind
I say psychology is intentional, semantics is informational, and thinking is computation [Fodor]
     Full Idea: I hold that psychological laws are intentional, that semantics is purely informational, and that thinking is computation (and that it is possible to hold all of these assumptions at once).
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: When he puts it baldly like that, it doesn't sound terribly persuasive. Thinking is 'computation'? Raw experience is irrelevant? What is it 'like' to spot an interesting connection between two propositions or concepts? It's not like adding 7 and 5.
15. Nature of Minds / B. Features of Minds / 1. Consciousness / f. Higher-order thought
We are probably the only creatures that can think about our own thoughts [Fodor]
     Full Idea: I think it is likely that we are the only creatures that can think about the contents of our thoughts.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: I think this is a major idea. If you ask me the traditional question - what is the essential difference between us and other animals? - this is my answer (not language, or reason). We are the metathinkers.
17. Mind and Body / A. Mind-Body Dualism / 2. Interactionism
Cartesians consider interaction to be a miracle [Fodor]
     Full Idea: The Cartesian view is that the interaction problem does arise, but is unsolvable because interaction is miraculous.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: A rather unsympathetic statement of the position. Cartesians might think that God could explain to us how interaction works. Cartesians are not mysterians, I think, but they see no sign of any theory of interaction.
Semantics v syntax is the interaction problem all over again [Fodor]
     Full Idea: The question how mental representations could be both semantic, like propositions, and causal, like rocks, trees, and neural firings, is arguably just the interaction problem all over again.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: Interesting way of presenting the problem. If you seem to be confronting the interaction problem, you have probably drifted into a bogus dualist way of thinking. Retreat, and reformulate you questions and conceptual apparatus, till the question vanishes.
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Type physicalism equates mental kinds with physical kinds [Fodor]
     Full Idea: Type physicalism is, roughly, the doctrine that psychological kinds are identical to neurological kinds.
     From: Jerry A. Fodor (The Elm and the Expert [1993], App A n.1)
     A reaction: This gets my general support, leaving open the nature of 'kinds'. Presumably the identity is strict, as in 'Hesperus is identical to Phosphorus'. It seems unlikely that if you and I think the 'same' thought, that we have strictly identical brain states.
17. Mind and Body / E. Mind as Physical / 4. Connectionism
Hume has no theory of the co-ordination of the mind [Fodor]
     Full Idea: What Hume didn't see was that the causal and representational properties of mental symbols have somehow to be coordinated if the coherence of mental life is to be accounted for.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: Certainly the idea that it all somehow becomes magic at the point where the brain represents the world is incoherent - but it is a bit magical. How can the whole of my garden be in my brain? Weird.
18. Thought / A. Modes of Thought / 2. Propositional Attitudes
Propositional attitudes are propositions presented in a certain way [Fodor]
     Full Idea: Propositional attitudes are really three-place relations, between a creature, a proposition, and a mode of presentation (which are sentences of Mentalese).
     From: Jerry A. Fodor (The Elm and the Expert [1993], §2.II)
     A reaction: I'm not sure about 'really'! Why do we need a creature? Isn't 'hoping it will rain' a propositional attitude which some creature may or may not have? Fodor wants it to be physical, but it's abstract?
18. Thought / A. Modes of Thought / 5. Rationality / a. Rationality
Rationality has mental properties - autonomy, productivity, experiment [Fodor]
     Full Idea: Mentalism isn't gratuitous; you need it to explain rationality. Mental causation buys you behaviours that are unlike reflexes in at least three ways: they're autonomous, they're productive, and they're experimental.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: He makes his three ways sound all-or-nothing, which is (I believe) the single biggest danger when thinking about the mind. "Either you are conscious, or you are not..."
18. Thought / C. Content / 5. Twin Earth
XYZ (Twin Earth 'water') is an impossibility [Fodor]
     Full Idea: There isn't any XYZ, and there couldn't be any, and so we don't have to worry about it.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §2.I)
     A reaction: Jadeite and Nephrite are real enough, which are virtually indistinguishable variants of jade. You just need Twin Jewellers instead of Twin Earths. We could build them, and employ twins to work there.
18. Thought / C. Content / 6. Broad Content
Truth conditions require a broad concept of content [Fodor]
     Full Idea: We need the idea of broad content to make sense of the fact that thoughts have the truth-conditions that they do.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §2.II)
     A reaction: There seems to be (as Dummett points out) a potential circularity here, as you can hardly know the truth-conditions of something if you don't already know its content.
18. Thought / C. Content / 7. Narrow Content
Concepts aren't linked to stuff; they are what is caused by stuff [Fodor]
     Full Idea: If the words of 'Swamp Man' (spontaneously created, with concepts) are about XYZ on Twin Earth, it is not because he's causally connected to the stuff, but because XYZ would cause his 'water' tokens (in the absence of H2O).
     From: Jerry A. Fodor (The Elm and the Expert [1993], App B)
     A reaction: The sight of the Eiffel tower causes my 'France' tokens, so is my word "France" about the Eiffel Tower? What would cause my 'nothing' tokens?
18. Thought / C. Content / 10. Causal Semantics
Knowing the cause of a thought is almost knowing its content [Fodor]
     Full Idea: If you know the content of a thought, you know quite a lot about what would cause you to have it.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: I'm not sure where this fits into the great jigsaw of the mind, but it strikes me as an acute and important observation. The truth of a thought is not essential to make you have it. Ask Othello.
18. Thought / C. Content / 12. Informational Semantics
Is content basically information, fixed externally? [Fodor]
     Full Idea: I assume intentional content reduces (in some way) to information. …The content of a thought depends on its external relations; on the way that the thought is related to the world, not the way that it is related to other thoughts.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §1.2)
     A reaction: Does this make Fodor a 'weak' functionalist? The 'strong' version would say a thought is merely a location in a flow diagram, but Fodor's 'mentalism' includes a further 'content' in each diagram box.
18. Thought / D. Concepts / 3. Ontology of Concepts / b. Concepts as abilities
In the information view, concepts are potentials for making distinctions [Fodor]
     Full Idea: Semantics, according to the informational view, is mostly about counterfactuals; what counts for the identity of my concepts is not what I do distinguish but what I could distinguish if I cared to (even using instruments and experts).
     From: Jerry A. Fodor (The Elm and the Expert [1993], §2.I)
     A reaction: We all differ in our discriminations (and awareness of expertise), so our concepts would differ, which is bad news for communication (see Idea 223). The view has some plausibility, though.
19. Language / A. Nature of Meaning / 1. Meaning
Semantic externalism says the concept 'elm' needs no further beliefs or inferences [Fodor]
     Full Idea: It is the essence of semantic externalism that there is nothing that you have to believe, there are no inferences that you have to accept, to have the concept 'elm'.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §2.I)
     A reaction: [REMINDER: broad content is filed in 18.C.7, under 'Thought' rather than under language. That is because I am a philospher of thought, rather than of language.
If meaning is information, that establishes the causal link between the state of the world and our beliefs [Fodor]
     Full Idea: It is the causal connection between the state of the world and the contents of beliefs that the reduction of meaning to information is designed to insure.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: I'm not clear why characterising the contents of a belief in terms of its information has to amount to a 'reduction'. A cup of tea isn't reduced to tea. Connections imply duality.
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
To know the content of a thought is to know what would make it true [Fodor]
     Full Idea: If you know the content of a thought, you thereby know what would make the thought true.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: The truthmaker might by physically impossible, and careful thought might show it to be contradictory - but that wouldn't destroy the meaning.
19. Language / A. Nature of Meaning / 7. Meaning Holism / b. Language holism
For holists no two thoughts are ever quite the same, which destroys faith in meaning [Fodor]
     Full Idea: If what you are thinking depends on all of what you believe, then nobody ever thinks the same thing twice. …That is why so many semantic holists (Quine, Putnam, Rorty, Churchland, probably Wittgenstein) end up being semantic eliminativists.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §1.2b)
     A reaction: If linguistic holism is nonsense, this is easily settled. What I say about breakfast is not changed by reading some Gibbon yesterday.
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
It is claimed that reference doesn't fix sense (Jocasta), and sense doesn't fix reference (Twin Earth) [Fodor]
     Full Idea: The standard view is that Frege cases [knowing Jocasta but not mother] show that reference doesn't determine sense, and Twin cases [knowing water but not H2O] show that sense doesn't determine reference.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §1.3)
     A reaction: How about 'references don't contain much information', and 'descriptions may not fix what they are referring to'? Simple really.
19. Language / C. Assigning Meanings / 2. Semantics
Broad semantics holds that the basic semantic properties are truth and denotation [Fodor]
     Full Idea: Broad semantic theories generally hold that the basic semantic properties of thoughts are truth and denotation.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §1.2b)
     A reaction: I think truth and denotation are the basic semantic properties, but I am dubious about whole-hearted broad semantic theories, so I seem to have gone horribly wrong somewhere.
19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics
Externalist semantics are necessary to connect the contents of beliefs with how the world is [Fodor]
     Full Idea: You need an externalist semantics to explain why the contents of beliefs should have anything to do with how the world is.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: Since externalist semantics only emerged in the 1970s, that implies that no previous theory had any notion that language had some connection to how the world is. Eh?
27. Natural Reality / D. Time / 3. Parts of Time / c. Intervals
Surely if things extend over time, then time itself must be extended? [Cameron]
     Full Idea: If there are temporally extended entities - and there are - then there must be extended regions of time for those entities to extend in. Hence presentism is false.
     From: Ross P. Cameron (Truthmaking for Presentists [2011], 4)
     A reaction: [Cameron is playing devil's advocate] Something has to be weird here, and I take it to be the fact that the past no longer exists, and yet it is fixed and supports truths. Get over it. My childhood has gone. Totally. Irrevocably.