74 ideas
23889 | Among the Greeks Aristotle is the only philosopher in the modern style [Weil] |
Full Idea: In Greece, Aristotle is perhaps the only philosopher in the modern sense, and he is entirely outside the Greek tradition. | |
From: Simone Weil (God in Plato [1942], p.45) | |
A reaction: She sees Plato as embodying the true tradition. Everything Aristotle writes is 'peri phusis' (about nature), and that is a standard topic of philosophy right from the start. She emphasises Plato long historical roots. Pythagoras is key. |
2463 | 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) |
2435 | 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) |
10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
Full Idea: Three traditional names for rules are 'Simplification' (P from 'P and Q'), 'Addition' ('P or Q' from P), and 'Disjunctive Syllogism' (Q from 'P or Q' and 'not-P'). | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
11004 | Necessity is provability in S4, and true in all worlds in S5 [Read] |
Full Idea: In S4 necessity is said to be informal 'provability', and in S5 it is said to be 'true in every possible world'. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: It seems that the S4 version is proof-theoretic, and the S5 version is semantic. |
11018 | There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read] |
Full Idea: In fuzzy logic, besides fuzzy predicates, which define fuzzy sets, there are also fuzzy quantifiers (such as 'most' and 'few') and fuzzy modifiers (such as 'usually'). | |
From: Stephen Read (Thinking About Logic [1995], Ch.7) |
11011 | Same say there are positive, negative and neuter free logics [Read] |
Full Idea: It is normal to classify free logics into three sorts; positive free logics (some propositions with empty terms are true), negative free logics (they are false), and neuter free logics (they lack truth-value), though I find this unhelpful and superficial. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) |
11020 | Realisms like the full Comprehension Principle, that all good concepts determine sets [Read] |
Full Idea: Hard-headed realism tends to embrace the full Comprehension Principle, that every well-defined concept determines a set. | |
From: Stephen Read (Thinking About Logic [1995], Ch.8) | |
A reaction: This sort of thing gets you into trouble with Russell's paradox (though that is presumably meant to be excluded somehow by 'well-defined'). There are lots of diluted Comprehension Principles. |
2442 | 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) |
10986 | Not all validity is captured in first-order logic [Read] |
Full Idea: We must recognise that first-order classical logic is inadequate to describe all valid consequences, that is, all cases in which it is impossible for the premisses to be true and the conclusion false. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: This is despite the fact that first-order logic is 'complete', in the sense that its own truths are all provable. |
10972 | The non-emptiness of the domain is characteristic of classical logic [Read] |
Full Idea: The non-emptiness of the domain is characteristic of classical logic. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
11024 | Semantics must precede proof in higher-order logics, since they are incomplete [Read] |
Full Idea: For the realist, study of semantic structures comes before study of proofs. In higher-order logic is has to, for the logics are incomplete. | |
From: Stephen Read (Thinking About Logic [1995], Ch.9) | |
A reaction: This seems to be an important general observation about any incomplete system, such as Peano arithmetic. You may dream the old rationalist dream of starting from the beginning and proving everything, but you can't. Start with truth and meaning. |
10985 | We should exclude second-order logic, precisely because it captures arithmetic [Read] |
Full Idea: Those who believe mathematics goes beyond logic use that fact to argue that classical logic is right to exclude second-order logic. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
Full Idea: A theory of logical consequence, while requiring a conceptual analysis of consequence, also searches for a set of techniques to determine the validity of particular arguments. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
Full Idea: If classical logic insists that logical consequence is just a matter of the form, we fail to include as valid consequences those inferences whose correctness depends on the connections between non-logical terms (such as 'round' and 'square'). | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: He suggests that an inference such as 'round, so not square' should be labelled as 'materially valid'. |
10973 | A theory is logically closed, which means infinite premisses [Read] |
Full Idea: A 'theory' is any logically closed set of propositions, ..and since any proposition has infinitely many consequences, including all the logical truths, so that theories have infinitely many premisses. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: Read is introducing this as the essential preliminary to an account of the Compactness Theorem, which relates these infinite premisses to the finite. |
11007 | Quantifiers are second-order predicates [Read] |
Full Idea: Quantifiers are second-order predicates. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) | |
A reaction: [He calls this 'Frege's insight'] They seem to be second-order in Tarski's sense, that they are part of a metalanguage about the sentence, rather than being a part of the sentence. |
10978 | In second-order logic the higher-order variables range over all the properties of the objects [Read] |
Full Idea: The defining factor of second-order logic is that, while the domain of its individual variables may be arbitrary, the range of the first-order variables is all the properties of the objects in its domain (or, thinking extensionally, of the sets objects). | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: The key point is that the domain is 'all' of the properties. How many properties does an object have. You need to decide whether you believe in sparse or abundant properties (I vote for very sparse indeed). |
10971 | A logical truth is the conclusion of a valid inference with no premisses [Read] |
Full Idea: Logical truth is a degenerate, or extreme, case of consequence. A logical truth is the conclusion of a valid inference with no premisses, or a proposition in the premisses of an argument which is unnecessary or may be suppressed. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10988 | Any first-order theory of sets is inadequate [Read] |
Full Idea: Any first-order theory of sets is inadequate because of the Löwenheim-Skolem-Tarski property, and the consequent Skolem paradox. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: The limitation is in giving an account of infinities. |
10974 | Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read] |
Full Idea: Classical logical consequence is compact, which means that any consequence of an infinite set of propositions (such as a theory) is a consequence of some finite subset of them. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10975 | Compactness does not deny that an inference can have infinitely many premisses [Read] |
Full Idea: Compactness does not deny that an inference can have infinitely many premisses. It can; but classically, it is valid if and only if the conclusion follows from a finite subset of them. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10977 | Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read] |
Full Idea: Compact consequence undergenerates - there are intuitively valid consequences which it marks as invalid, such as the ω-rule, that if A holds of the natural numbers, then 'for every n, A(n)', but the proof of that would be infinite, for each number. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10976 | Compactness makes consequence manageable, but restricts expressive power [Read] |
Full Idea: Compactness is a virtue - it makes the consequence relation more manageable; but it is also a limitation - it limits the expressive power of the logic. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: The major limitation is that wholly infinite proofs are not permitted, as in Idea 10977. |
11014 | Self-reference paradoxes seem to arise only when falsity is involved [Read] |
Full Idea: It cannot be self-reference alone that is at fault. Rather, what seems to cause the problems in the paradoxes is the combination of self-reference with falsity. | |
From: Stephen Read (Thinking About Logic [1995], Ch.6) |
11025 | Infinite cuts and successors seems to suggest an actual infinity there waiting for us [Read] |
Full Idea: Every potential infinity seems to suggest an actual infinity - e.g. generating successors suggests they are really all there already; cutting the line suggests that the point where the cut is made is already in place. | |
From: Stephen Read (Thinking About Logic [1995], Ch.8) | |
A reaction: Finding a new gambit in chess suggests it was there waiting for us, but we obviously invented chess. Daft. |
10979 | Although second-order arithmetic is incomplete, it can fully model normal arithmetic [Read] |
Full Idea: Second-order arithmetic is categorical - indeed, there is a single formula of second-order logic whose only model is the standard model ω, consisting of just the natural numbers, with all of arithmetic following. It is nevertheless incomplete. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: This is the main reason why second-order logic has a big fan club, despite the logic being incomplete (as well as the arithmetic). |
10980 | Second-order arithmetic covers all properties, ensuring categoricity [Read] |
Full Idea: Second-order arithmetic can rule out the non-standard models (with non-standard numbers). Its induction axiom crucially refers to 'any' property, which gives the needed categoricity for the models. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |
Full Idea: The Von Neumann numbers have a structural isomorphism to the natural numbers - each number is the set of all its predecessors, so 2 is the set of 0 and 1. This helps proofs, but is unacceptable. 2 is not a set with two members, or a member of 3. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) |
11016 | Would a language without vagueness be usable at all? [Read] |
Full Idea: We must ask whether a language without vagueness would be usable at all. | |
From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
A reaction: Popper makes a similar remark somewhere, with which I heartily agreed. This is the idea of 'spreading the word' over the world, which seems the right way of understanding it. |
11013 | Identities and the Indiscernibility of Identicals don't work with supervaluations [Read] |
Full Idea: In supervaluations, the Law of Identity has no value for empty names, and remains so if extended. The Indiscernibility of Identicals also fails if extending it for non-denoting terms, where Fa comes out true and Fb false. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) |
11012 | A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read] |
Full Idea: A 'supervaluation' says a proposition is true if it is true in all classical extensions of the original partial valuation. Thus 'A or not-A' has no valuation for an empty name, but if 'extended' to make A true or not-true, not-A always has opposite value. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) |
11019 | Supervaluations say there is a cut-off somewhere, but at no particular place [Read] |
Full Idea: The supervaluation approach to vagueness is to construe vague predicates not as ones with fuzzy borderlines and no cut-off, but as having a cut-off somewhere, but in no particular place. | |
From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
A reaction: Presumably you narrow down the gap by supervaluation, then split the difference to get a definite value. |
10995 | A haecceity is a set of individual properties, essential to each thing [Read] |
Full Idea: The haecceitist (a neologism coined by Duns Scotus, pronounced 'hex-ee-it-ist', meaning literally 'thisness') believes that each thing has an individual essence, a set of properties which are essential to it. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: This seems to be a difference of opinion over whether a haecceity is a set of essential properties, or a bare particular. The key point is that it is unique to each entity. |
11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
Full Idea: The equation of 'necessity' with 'true in every possible world' is known as the S5 conception, corresponding to the strongest of C.I.Lewis's five modal systems. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: Are the worlds naturally, or metaphysically, or logically possible? |
10989 | The standard view of conditionals is that they are truth-functional [Read] |
Full Idea: The standard view of conditionals is that they are truth-functional, that is, that their truth-values are determined by the truth-values of their constituents. | |
From: Stephen Read (Thinking About Logic [1995], Ch.3) |
10992 | The point of conditionals is to show that one will accept modus ponens [Read] |
Full Idea: The point of conditionals is to show that one will accept modus ponens. | |
From: Stephen Read (Thinking About Logic [1995], Ch.3) | |
A reaction: [He attributes this idea to Frank Jackson] This makes the point, against Grice, that the implication of conditionals is not conversational but a matter of logical convention. See Idea 21396 for a very different view. |
11017 | Some people even claim that conditionals do not express propositions [Read] |
Full Idea: Some people even claim that conditionals do not express propositions. | |
From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
A reaction: See Idea 14283, where this appears to have been 'proved' by Lewis, and is not just a view held by some people. |
10983 | Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read] |
Full Idea: The modal Platonist denies that knowledge always depends on a causal relation. The reality of possible worlds is an ontological requirement, to secure the truth-values of modal propositions. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: [Reply to Idea 10982] This seems to be a case of deriving your metaphyics from your semantics, of which David Lewis seems to be guilty, and which strikes me as misguided. |
10982 | How can modal Platonists know the truth of a modal proposition? [Read] |
Full Idea: If modal Platonism was true, how could we ever know the truth of a modal proposition? | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: I take this to be very important. Our knowledge of modal truths must depend on our knowledge of the actual world. The best answer seems to involve reference to the 'powers' of the actual world. A reply is in Idea 10983. |
10996 | Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read] |
Full Idea: There are two main forms of actualism: reductionism, which seeks to construct possible worlds out of some more mundane material; and moderate realism, in which the actual concrete world is contrasted with abstract, but none the less real, possible worlds. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: I am a reductionist, as I do not take abstractions to be 'real' (precisely because they have been 'abstracted' from the things that are real). I think I will call myself a 'scientific modalist' - we build worlds from possibilities, discovered by science. |
10981 | A possible world is a determination of the truth-values of all propositions of a domain [Read] |
Full Idea: A possible world is a complete determination of the truth-values of all propositions over a certain domain. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: Even if the domain is very small? Even if the world fitted the logic nicely, but was naturally impossible? |
11000 | If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read] |
Full Idea: If each possible world constitutes a concrete reality, then no object can be present in more than one world - objects may have 'counterparts', but cannot be identical with them. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: This explains clearly why in Lewis's modal realist scheme he needs counterparts instead of rigid designation. Sounds like a slippery slope. If you say 'Humphrey might have won the election', who are you talking about? |
2462 | 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? |
2454 | 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) |
2455 | 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) |
2460 | 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) |
2461 | 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) |
2458 | 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) |
2443 | 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. |
2453 | 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. |
10998 | The mind abstracts ways things might be, which are nonetheless real [Read] |
Full Idea: Ways things might be are real, but only when abstracted from the actual way things are. They are brought out and distinguished by the mind, by abstraction, but are not dependent on mind for their existence. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: To me this just flatly contradicts itself. The idea that the mind can 'bring something out' by its operations, with the result being then accepted as part of reality is nonsense on stilts. What is real is the powers that make the possibilities. |
2445 | 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. |
2446 | 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. |
2464 | 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. |
2447 | 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. |
2440 | 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? |
2450 | 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..." |
2437 | 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. |
2441 | 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. |
3114 | 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? |
2452 | 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. |
2432 | 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. |
2438 | 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. |
2439 | 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. |
2457 | 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. |
2451 | 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. |
2433 | 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. |
2436 | 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. |
2434 | 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. |
11005 | Negative existentials with compositionality make the whole sentence meaningless [Read] |
Full Idea: A problem with compositionality is negative existential propositions. If some of the terms of the proposition are empty, and don't refer, then compositionality implies that the whole will lack meaning too. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) | |
A reaction: I don't agree. I don't see why compositionality implies holism about sentence-meaning. If I say 'that circular square is a psychopath', you understand the predication, despite being puzzled by the singular term. |
2459 | 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? |
10966 | A proposition objectifies what a sentence says, as indicative, with secure references [Read] |
Full Idea: A proposition makes an object out of what is said or expressed by the utterance of a certain sort of sentence, namely, one in the indicative mood which makes sense and doesn't fail in its references. It can then be an object of thought and belief. | |
From: Stephen Read (Thinking About Logic [1995], Ch.1) | |
A reaction: Nice, but two objections: I take it to be crucial to propositions that they eliminate ambiguities, and I take it that animals are capable of forming propositions. Read seems to regard them as fictions, but I take them to be brain events. |
23892 | The only legitimate proof of God by order derives from beauty [Weil] |
Full Idea: The only legitimate proof [of God's existence] from the order of the world is the proof from the beauty of the world. | |
From: Simone Weil (God in Plato [1942], p.89) | |
A reaction: She finds this proof in Plato. Hume's critique never (I think) mentions beauty, although in the 18thC love of the sublime could play that role. For me, the human experience of beauty doesn't have such cosmic significance. |