36 ideas
| 19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
| Full Idea: Philosophy is an attempt to understand the world, as it is revealed to us both in our ordinary experience and by the discoveries and theories of science. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.311) | |
| A reaction: I don't see a sharp division between 'ordinary' and 'scientific'. I really like this idea, first because it makes 'understanding' central, and second because it wants both revelations. In discussing matter and time, there is too much emphasis on science. |
| 17651 | Without words or other symbols, we have no world [Goodman] |
| Full Idea: We can have words without a world but no world without words or other symbols. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.3) | |
| A reaction: Goodman seems to have a particularly extreme version of the commitment to philosophy as linguistic. Non-human animals have no world, it seems. |
| 12619 | We have no successful definitions, because they all use indefinable words [Fodor] |
| Full Idea: There are practically no defensible examples of definitions; for all the examples we've got, practically all the words (/concepts) are undefinable. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.3) | |
| A reaction: I don't think a definition has to be defined all the way down. Aristotle is perfectly happy if you can get a concept you don't understand down to concepts you do. Understanding is the test, not further definitions. |
| 19067 | A successful proof requires recognition of truth at every step [Dummett] |
| Full Idea: For a demonstration to be cogent it is necessary that the passage from step to step involve a recognition of truth at each line. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.313) | |
| A reaction: Dummett cited Quine (esp. 1970) as having an almost entirely syntactic view of logic. Rumfitt points out that logic can move validly from one falsehood to another. Even a 'proof' might detour into falsehood, but it would not be a 'canonical' proof! |
| 17652 | Truth is irrelevant if no statements are involved [Goodman] |
| Full Idea: Truth pertains solely to what is said ...For nonverbal versions and even for verbal versions without statements, truth is irrelevant. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.5) | |
| A reaction: Goodman is a philosopher of language (like Dummett), but I am a philosopher of thought (like Evans). The test, for me, is whether truth is applicable to the thought of non-human animals. I take it to be obvious that it is applicable. |
| 19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
| Full Idea: It is arguable whether two-valued truth tables give correct meanings for certain sentential operators, and even whether they constitute legitimate explanations of any possible sentential operators. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.294) | |
| A reaction: See 'Many-valued logic' for examples of non-binary truth tables. Presumably logicians should aspire to make their semantics precise, as well as their syntax. |
| 11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
| Full Idea: For Dummett the semantics of the metalanguage is the external and objective source of the justification of deduction. | |
| From: report of Michael Dummett (The Justification of Deduction [1973]) by Robert Hanna - Rationality and Logic 3.4 | |
| A reaction: This is offered as an answer to the Lewis Carroll problem that justifying deduction seems to need deduction, thus leading to a regress. [There is a reply to Dummett by Susan Haack] |
| 19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
| Full Idea: A plausible account is that the syntactic notion of consequence is for positive results, that some form of argument is valid; the semantic notion is required for negative results, that some argument is invalid, because a counterexample can be found. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.292) | |
| A reaction: This rings true for the two strategies of demonstration, the first by following the rules in steps, the second by using your imagination (or a tableau) to think up problems. |
| 19063 | Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett] |
| Full Idea: Beth trees give a semantics for intuitionistic logic, by representing sentence meaning in terms of conditions under which it is recognised to have been established as true. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.305) |
| 19059 | In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett] |
| Full Idea: Nothing is lost, on this view, if in the standard semantic treatment of classical sentential logic, we replace the standard truth-values 'true' and 'false' by the numbers 0 and 1. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.294) | |
| A reaction: [A long context will explain 'on this view'] He is discussing the relationship of syntactic and semantic consequence, and goes on to criticise simple binary truth-table accounts of connectives. Semantics on a computer would just be 0 and 1. |
| 19062 | Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett] |
| Full Idea: The standard two-valued semantics for classical logic involves a conception under which to grasp the meaning of a sentence is to apprehend the conditions under which it is, or is not, true. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.305) | |
| A reaction: The idea is that you only have to grasp the truth tables for sentential logic, and that needs nothing more than knowing whether a sentence is true or false. I'm not sure where the 'conditions' creep in, though. |
| 19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |
| Full Idea: A proof of soundess or completeness is a test, not so much of the logical theory to which it applies, but of the theory of meaning which underlies the semantics. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.310) | |
| A reaction: These two types of proof concern how the syntax and the semantics match up, so this claim sounds plausible, though I tend to think of them as more like roadworthiness tests for logic, checking how well they function. |
| 12620 | If 'exist' is ambiguous in 'chairs and numbers exist', that mirrors the difference between chairs and numbers [Fodor] |
| Full Idea: People say 'exist' is ambiguous, because of the difference between 'chairs exist' and 'numbers exist'. A reply goes: the difference between the existence of chairs and the existence of numbers is strikingly like the difference between chairs and numbers. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.3) | |
| A reaction: To say 'numbers are objects which exist' is, to me, either a funny use of 'exist' or a funny use of 'object'. I think I will now vote for the latter. Just as 'real number' was a funny use of 'number', but we seem to have got used to it. |
| 17656 | Being primitive or prior always depends on a constructional system [Goodman] |
| Full Idea: Nothing is primitive or derivationally prior to anything apart from a constructional system. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.4c) | |
| A reaction: Something may be primitive not just because we can't be bothered to analyse it any further, but because even God couldn't analyse it. Maybe. |
| 17661 | We don't recognise patterns - we invent them [Goodman] |
| Full Idea: Recognising patterns is very much a matter of inventing or imposing them. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.7) | |
| A reaction: I take this to be false. |
| 17659 | Reality is largely a matter of habit [Goodman] |
| Full Idea: Reality in a world, like realism in a picture, is largely a matter of habit. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.6) | |
| A reaction: I'm a robust realist, me, but I sort of see what he means. We become steeped in unspoken conventions about how we take our world to be, and filter out anything that conflicts with it. |
| 17657 | We build our world, and ignore anything that won't fit [Goodman] |
| Full Idea: We dismiss as illusory or negligible what cannot be fitted into the architecture of the world we are building. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.4d) | |
| A reaction: I'm trying to think of an example of this, but can't. Maybe poor people are invisible to the rich? |
| 17654 | A world can be full of variety or not, depending on how we sort it [Goodman] |
| Full Idea: A world may be unmanageably heterogeneous or unbearably monotonous according to how events are sorted into kinds. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.4a) | |
| A reaction: We might expect this from the man who invented 'grue', which allows you to classify things that change colour with things that don't. Could you describe a bird as 'might have been a fish', and classify it with fish? ('Projectible'?) |
| 12613 | Empiricists use dispositions reductively, as 'possibility of sensation' or 'possibility of experimental result' [Fodor] |
| Full Idea: Using dispositional analyses in aid of ontological reductions is what empiricism taught us. If you are down on cats, reduce them to permanent possibilities of sensation; if you are down on electrons, reduce them to possibilities of experimental outcome. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.1) | |
| A reaction: The cats line is phenomenalism; the electrons line is instrumentalism. I like this as a serious warning about dispositions, even where they seem most plausible, as in the disposition of glass to break when struck. Why is it thus disposed? |
| 17653 | Things can only be judged the 'same' by citing some respect of sameness [Goodman] |
| Full Idea: Identification rests upon organization into entities and kinds. The response to the question 'Same or not the same?' must always be 'Same what?'. ...Identity or constancy in a world is identity with respect to what is within that world as organised. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.4a) | |
| A reaction: And the gist of his book is that 'organised' is done by us, not by the world. He seems to be committed to the full Geachean relative identity, rather than the mere Wigginsian relative individuation. An unfashionable view! |
| 12617 | Associationism can't explain how truth is preserved [Fodor] |
| Full Idea: The essential problem is to explain how thinking manages reliably to preserve truth; and Associationism, as Kant rightly pointed out to Hume, hasn't the resources to do so. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.1) | |
| A reaction: One might be able to give an associationist account of truth-preservation if one became a bit more externalist about it, so that the normal association patterns track their connections with the external world. |
| 17660 | Discovery is often just finding a fit, like a jigsaw puzzle [Goodman] |
| Full Idea: Discovery often amounts, as when I place a piece in a jigsaw puzzle, not to arrival at a proposition for declaration or defense, but to finding a fit. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.7) | |
| A reaction: I find Goodman's views here pretty alien, but I like this bit. Coherence really rocks. |
| 17658 | Users of digital thermometers recognise no temperatures in the gaps [Goodman] |
| Full Idea: To use a digital thermometer with readings in tenths of a degree is to recognise no temperature as lying between 90 and 90.1 degrees. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.4d) | |
| A reaction: This appears to be nonsense, treating users of digital thermometers as if they were stupid. No one thinks temperatures go up and down in quantum leaps. We all know there is a gap between instrument and world. (Very American, I'm thinking!) |
| 17650 | We lack frames of reference to transform physics, biology and psychology into one another [Goodman] |
| Full Idea: We have no neat frames of reference, no ready rules for transforming physics, biology and psychology into one another. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.2) |
| 17655 | Grue and green won't be in the same world, as that would block induction entirely [Goodman] |
| Full Idea: Grue cannot be a relevant kind for induction in the same world as green, for that would preclude some of the decisions, right or wrong, that constitute inductive inference. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.4b) | |
| A reaction: This may make 'grue' less mad than I thought it was. I always assume we are slicing the world as 'green, blue and grue'. I still say 'green' is a basic predicate of experience, but 'grue' is amenable to analysis. |
| 19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
| Full Idea: An explanation is often a deductive argument, with the fact needing explaining as its conclusion. ...But the conclusion is usually given in advance, and we may only believe the premisses because they plausibly explain the conclusion. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.296) | |
| A reaction: [compressed (Dummett's wordy prose cries out for it!)] I suppose this works better in mathematics, which is central to Dummett's interests. In the real world the puzzle is not usually logically implied by its explanation. |
| 12615 | Mental representations are the old 'Ideas', but without images [Fodor] |
| Full Idea: The idea that there are mental representations is the idea that there are Ideas minus the idea that Ideas are images. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.1) | |
| A reaction: Good for you, Fodor. I've always thought that the vociferous contempt with which modern philosphers refer to the old notion of 'Ideas' was grossly exaggerated. At last someone puts a clear finger on what seems to be the difficulty. |
| 6650 | Fodor is now less keen on the innateness of concepts [Fodor, by Lowe] |
| Full Idea: Fodor has recently changed his mind about the innateness of concepts, which he formerly championed. | |
| From: report of Jerry A. Fodor (Concepts:where cogn.science went wrong [1998]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.7 n25 | |
| A reaction: There is some sensible middle road to be charted here. We presumably do not have an innate idea of a screwdriver, but there are plenty of basic concepts in logic and perception that are plausibly thought of as innate. |
| 12618 | It is essential to the concept CAT that it be satisfied by cats [Fodor] |
| Full Idea: Nothing in any mental life could be the concept CAT unless it is satisfied by cats. If you haven't got a concept that applies to cats, that entails that you haven't got the CAT concept. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.2) | |
| A reaction: Of course, having a concept that applies to cats doesn't entail that you have the CAT concept. Quine's 'gavagai', for example. I think Fodor is right in this idea. |
| 12614 | I prefer psychological atomism - that concepts are independent of epistemic capacities [Fodor] |
| Full Idea: I argue for a very strong version of psychological atomism; one according to which what concepts you have is conceptually and metaphysically independent of what epistemic capacities you have. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.1) | |
| A reaction: This is a frontal assault on the tradition of Frege, Dummett and Peacocke. I immediately find Fodor's approach more congenial, because he wants to say what a concept IS, rather than just place it within some larger scheme of things. |
| 12621 | Definable concepts have constituents, which are necessary, individuate them, and demonstrate possession [Fodor] |
| Full Idea: The definition theory says that concepts are complex structures which entail their constituents. By saying this, it guarantees both the connection between content and necessity, and the connection between concept individuation and concept possession. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.5) | |
| A reaction: He cites Pinker as a spokesman for the definitional view. This is the view Fodor attacks, in favour of his atomistic account. He adds in a note that his view also offered to reduce conceptual truth to logical truth. |
| 12622 | Many concepts lack prototypes, and complex prototypes aren't built from simple ones [Fodor] |
| Full Idea: Many concepts have no prototypes; and there are many complex concepts whose prototypes aren't related to the prototypes of their constituents in the way compositional explanation of productivity and systematicity requires. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.5) | |
| A reaction: His favourite example of the latter is 'pet fish', where the prototype of 'pet' is hardly ever a fish, and the prototype of 'fish' is usually much bigger than goldfish. Fodor is arguing that concepts are atomic. |
| 12623 | The theory theory can't actually tell us what concepts are [Fodor] |
| Full Idea: If the theory theory has a distinctive and coherent answer to the 'What's a concept?' question on offer, it's a well-kept secret. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.5) | |
| A reaction: Not an argument, but worth recording as an attitude. I certainly agree that accounts which offer some sort of answer to 'What is a concept?' have an immediate head's start on those which don't. |
| 19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |
| Full Idea: In the sense of giving a model for the content of a sentence, its representative power, holism is not a theory of meaning; it is the denial that a theory of meaning is possible. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.309) | |
| A reaction: This will obviously be because sentences just don't have meaning in isolation, so their meaning can't be given in terms of the sentences. |
| 12616 | English has no semantic theory, just associations between sentences and thoughts [Fodor] |
| Full Idea: English has no semantics. Learning English isn't learning a theory about what its sentences mean, it's learning how to associate its sentences with the corresponding thoughts. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.1) | |
| A reaction: This sounds remarkably close to John Locke's account of language (which I always thought was seriously underrated). Presumably we can then say that the 'thought' (or Locke's 'idea') is the meaning, which is old-fashioned real meanings. |
| 17649 | If the world is one it has many aspects, and if there are many worlds they will collect into one [Goodman] |
| Full Idea: If there is but one world, it embraces a multiplicity of contrasting aspects; if there are many worlds, the collection of them all is one. One world may be taken as many, or many worlds taken as one; whether one or many depends on the way of taking. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.2) | |
| A reaction: He cites 'The Pluralistic Universe' by William James for this idea. The idea is that the distinction 'evaporates under analysis'. Parmenides seems to have thought that no features could be distinguished in the true One. |