49 ideas
| 2352 | The job of the philosopher is to distinguish facts about the world from conventions [Putnam] |
| Full Idea: It is the job of the philosopher to distinguish what is fact and what is convention in our theorising about the world. | |
| From: Hilary Putnam (Representation and Reality [1988], §7 p.112) | |
| A reaction: This may well be the entire truth about philosophy. It begins with the Nomos-Physis debate in ancient Athens, and it turns out to be the key issue in almost every area of metaphysics, epistemology, aesthetics and morality. |
| 192 | Only one thing can be contrary to something [Plato] |
| Full Idea: To everything that admits of a contrary there is one contrary and no more. | |
| From: Plato (Protagoras [c.380 BCE], 332c) | |
| A reaction: The sort of thing for which a modern philosopher would demand a proof (and then reject when the proof couldn't be found), where a Greek is happy to assert it as self-evident. I can't think of a counterexample. |
| 2345 | Semantic notions do not occur in Tarski's definitions, but assessing their correctness involves translation [Putnam] |
| Full Idea: Although no semantic notions are used in Tarski's truth definitions themselves, they are used in deciding when such a definition is correct, namely the notion of translation. | |
| From: Hilary Putnam (Representation and Reality [1988], §4 p.66) |
| 2347 | Asserting the truth of an indexical statement is not the same as uttering the statement [Putnam] |
| Full Idea: If you say "I am going to drive this car", and I say "That's true", that is very different from my saying "I am going to drive this car". | |
| From: Hilary Putnam (Representation and Reality [1988], §4 p.68) |
| 8472 | Sentential logic is consistent (no contradictions) and complete (entirely provable) [Orenstein] |
| Full Idea: Sentential logic has been proved consistent and complete; its consistency means that no contradictions can be derived, and its completeness assures us that every one of the logical truths can be proved. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
| A reaction: The situation for quantificational logic is not quite so clear (Orenstein p.98). I do not presume that being consistent and complete makes it necessarily better as a tool in the real world. |
| 8476 | Axiomatization simply picks from among the true sentences a few to play a special role [Orenstein] |
| Full Idea: In axiomatizing, we are merely sorting out among the truths of a science those which will play a special role, namely, serve as axioms from which we derive the others. The sentences are already true in a non-conventional or ordinary sense. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
| A reaction: If you were starting from scratch, as Euclidean geometers may have felt they were doing, you might want to decide which are the simplest truths. Axiomatizing an established system is a more advanced activity. |
| 8480 | S4: 'poss that poss that p' implies 'poss that p'; S5: 'poss that nec that p' implies 'nec that p' [Orenstein] |
| Full Idea: The five systems of propositional modal logic contain successively stronger conceptions of necessity. In S4 'it is poss that it is poss that p' implies 'it is poss that p'. In S5, 'it is poss that it is nec that p' implies 'it is nec that p'. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.7) | |
| A reaction: C.I. Lewis originated this stuff. Any serious student of modality is probably going to have to pick a system. E.g. Nathan Salmon says that the correct modal logic is even weaker than S4. |
| 8474 | Unlike elementary logic, set theory is not complete [Orenstein] |
| Full Idea: The incompleteness of set theory contrasts sharply with the completeness of elementary logic. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
| A reaction: This seems to be Quine's reason for abandoning the Frege-Russell logicist programme (quite apart from the problems raised by Gödel. |
| 8465 | Mereology has been exploited by some nominalists to achieve the effects of set theory [Orenstein] |
| Full Idea: The theory of mereology has had a history of being exploited by nominalists to achieve some of the effects of set theory. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.3) | |
| A reaction: Some writers refer to mereology as a 'theory', and others as an area of study. This appears to be an interesting line of investigation. Orenstein says Quine and Goodman showed its limitations. |
| 8452 | Traditionally, universal sentences had existential import, but were later treated as conditional claims [Orenstein] |
| Full Idea: In traditional logic from Aristotle to Kant, universal sentences have existential import, but Brentano and Boole construed them as universal conditionals (such as 'for anything, if it is a man, then it is mortal'). | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.2) | |
| A reaction: I am sympathetic to the idea that even the 'existential' quantifier should be treated as conditional, or fictional. Modern Christians may well routinely quantify over angels, without actually being committed to them. |
| 8475 | The substitution view of quantification says a sentence is true when there is a substitution instance [Orenstein] |
| Full Idea: The substitution view of quantification explains 'there-is-an-x-such-that x is a man' as true when it has a true substitution instance, as in the case of 'Socrates is a man', so the quantifier can be read as 'it is sometimes true that'. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
| A reaction: The word 'true' crops up twice here. The alternative (existential-referential) view cites objects, so the substitution view is a more linguistic approach. |
| 8454 | The whole numbers are 'natural'; 'rational' numbers include fractions; the 'reals' include root-2 etc. [Orenstein] |
| Full Idea: The 'natural' numbers are the whole numbers 1, 2, 3 and so on. The 'rational' numbers consist of the natural numbers plus the fractions. The 'real' numbers include the others, plus numbers such a pi and root-2, which cannot be expressed as fractions. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.2) | |
| A reaction: The 'irrational' numbers involved entities such as root-minus-1. Philosophical discussions in ontology tend to focus on the existence of the real numbers. |
| 8473 | The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein] |
| Full Idea: The question to be posed is whether is-a-member-of should be considered a logical constant, that is, does logic include set theory. Frege, Russell and Whitehead held that it did. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
| A reaction: This is obviously the key element in the logicist programme. The objection seems to be that while first-order logic is consistent and complete, set theory is not at all like that, and so is part of a different world. |
| 2349 | Realists believe truth is correspondence, independent of humans, is bivalent, and is unique [Putnam] |
| Full Idea: Metaphysical realism about truth is a bundle of ideas: that it is a matter of Correspondence, that it exhibits Independence (of humans), Bivalence, and Uniqueness (there is only one ultimate truth). | |
| From: Hilary Putnam (Representation and Reality [1988], §7 p.107) | |
| A reaction: It requires robust truth, but not correspondence (which is too strict, and too imprecise). Not sure about bivalence, which seems an unwarranted imposition. The other two seem fine, to me. |
| 8458 | Just individuals in Nominalism; add sets for Extensionalism; add properties, concepts etc for Intensionalism [Orenstein] |
| Full Idea: Modest ontologies are Nominalism (Goodman), admitting only concrete individuals; and Extensionalism (Quine/Davidson) which admits individuals and sets; but Intensionalists (Frege/Carnap/Church/Marcus/Kripke) may have propositions, properties, concepts. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.3) | |
| A reaction: I don't like sets, because of Idea 7035. Even the ontology of individuals could collapse dramatically (see the ideas of Merricks, e.g. 6124). The intensional items may be real enough, but needn't have a place at the ontological high table. |
| 190 | If asked whether justice itself is just or unjust, you would have to say that it is just [Plato] |
| Full Idea: If someone asked me 'Is justice itself just or unjust?' I should answer that it was just, wouldn't you? I agree. | |
| From: Plato (Protagoras [c.380 BCE], 330c) |
| 2351 | Aristotle says an object (e.g. a lamp) has identity if its parts stay together when it is moved [Putnam] |
| Full Idea: The parts of a lamp stay together when it is moved (which is one of Aristotle's criteria for objecthood). | |
| From: Hilary Putnam (Representation and Reality [1988], §7 p.110) | |
| A reaction: Metaphysics 1052a26 (just after the cross-reference) says a thing may be unified 'if its movement is single'. |
| 20184 | The only real evil is loss of knowledge [Plato] |
| Full Idea: The only real kind of faring ill is the loss of knowledge. | |
| From: Plato (Protagoras [c.380 BCE], 345b) | |
| A reaction: This must crucially involve the intellectualist view (of Socrates) that virtuos behaviour results from knowledge, and moral wickedness is the result of ignorance. It is hard to see how forgetting a phone number is evil. |
| 20185 | The most important things in life are wisdom and knowledge [Plato] |
| Full Idea: It would be shameful indeed to say that wisdom and knowledge are anything but the most powerful forces in human activity. | |
| From: Plato (Protagoras [c.380 BCE], 352d) | |
| A reaction: He lumps wisdom and knowledge together, and I think we can take 'knowledge' to mean something like understanding, because obviously mere atomistic propositional knowledge can be utterly trivial. |
| 8457 | The Principle of Conservatism says we should violate the minimum number of background beliefs [Orenstein] |
| Full Idea: The principle of conservatism in choosing between theories is a maxim of minimal mutilation, stating that of competing theories, all other things being equal, choose the one that violates the fewest background beliefs held. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.2) | |
| A reaction: In this sense, all rational people should be conservatives. The idea is a modern variant of Hume's objection to miracles (Idea 2227). A Kuhnian 'paradigm shift' is the dramatic moment when this principle no longer seems appropriate. |
| 191 | Everything resembles everything else up to a point [Plato] |
| Full Idea: Everything resembles everything else up to a point. | |
| From: Plato (Protagoras [c.380 BCE], 331d) |
| 2331 | Functionalism says robots and people are the same at one level of abstraction [Putnam] |
| Full Idea: My "functionalism" insisted that a robot, a human being, a silicon creature and a disembodied spirit could all work much the same way when described at the relevant level of abstraction, and it is wrong to think the essence of mind is hardware. | |
| From: Hilary Putnam (Representation and Reality [1988], Int p.xii) | |
| A reaction: This is the key point about the theory - that it is an abstract theory of mind, saying nothing about substances. It drew, however, some misguided criticisms suggesting silly implementations. |
| 2348 | Is there just one computational state for each specific belief? [Putnam] |
| Full Idea: The idea that there is one computational state that every being who believes that there are lots of cats in the neighbourhood is in must be false. | |
| From: Hilary Putnam (Representation and Reality [1988], §5 p.84) | |
| A reaction: It is tempting to say that the mental states of such people must have SOMETHING in common, until you realise that all you can specify is that all their states are about cats. |
| 2332 | Functionalism can't explain reference and truth, which are needed for logic [Putnam] |
| Full Idea: Functionalism has as much trouble with physical accounts of reference as of meaning. Reference is the main tool used in formal theories of truth. But 'truth' isn't folk psychology, it is central to logic, which everyone wants. | |
| From: Hilary Putnam (Representation and Reality [1988], Int p.xiv) | |
| A reaction: All logic is defined in terms of truth and falsehood resulting from reasoning, but it could be that 'true' and 'false' have no more content that 1 and 0 in binary electronics. They are distinct, but empty. |
| 2071 | If concepts have external meaning, computational states won't explain psychology [Putnam] |
| Full Idea: Computational models of the brain/mind will not suffice for cognitive psychology. We cannot individuate concepts and beliefs without reference to the environment. Meanings aren't "in the head". | |
| From: Hilary Putnam (Representation and Reality [1988], p.73) | |
| A reaction: Mr Functionalism quits! |
| 2344 | If we are going to eliminate folk psychology, we must also eliminate folk logic [Putnam] |
| Full Idea: Why don't the eliminationists speak of "folk logic" as well as "folk psychology"? | |
| From: Hilary Putnam (Representation and Reality [1988], §4 p.60) | |
| A reaction: I think Putnam considers that if you can prove 'truth' to be a necessary feature of mental life, that connects mind and world, but marking a sentence as 'T' doesn't make any connections. |
| 2074 | Can we give a scientific, computational account of folk psychology? [Putnam] |
| Full Idea: The desire that grips Fodor, as it once gripped me, is the desire to make belief-desire psychology "scientific" by simply identifying it outright with computational psychology. | |
| From: Hilary Putnam (Representation and Reality [1988], p.7) | |
| A reaction: An "outright" identification looks very implausible. It seems that we should accept that belief-desire psychology is a very good guide to normal brain events, but a bad guide to unusual brain events. See Ideas 2987 and 7519. |
| 2343 | Reference may be different while mental representation is the same [Putnam] |
| Full Idea: The 'mental representations' of Earth speakers and Twin Earth speakers were not in any way different; the reference was different because the substances were different. Reference is fixed by the environment itself. | |
| From: Hilary Putnam (Representation and Reality [1988], §2 p.32) | |
| A reaction: There seems to be an elementary distinction here between what you think you are referring to, and what you are in fact referring to. "That man is the Prince of Wales" (pointing at the butler). |
| 2346 | Meaning and translation (which are needed to define truth) both presuppose the notion of reference [Putnam] |
| Full Idea: The notion of meaning, and hence of translation (needed to define truth), presupposes the notion of reference. | |
| From: Hilary Putnam (Representation and Reality [1988], §4 p.67) | |
| A reaction: It is plausible to see reference as the fundamental notion of language. With no anchors in reality, language would be 'private', in LW's sense. |
| 2354 | "Meaning is use" is not a definition of meaning [Putnam] |
| Full Idea: "Meaning is use" is not a definition of meaning. | |
| From: Hilary Putnam (Representation and Reality [1988], §7 p.119) | |
| A reaction: I agree. It probably fails to define meaning because it is false. A corkscrew is not the action of opening a wine bottle. |
| 2334 | Meaning holism tried to show that you can't get fixed meanings built out of observation terms [Putnam] |
| Full Idea: The doctrine of Quine called "meaning holism" offered arguments refuting logical positivist attempts to show that every term we can understand can be defined using a limited group of "observation terms". | |
| From: Hilary Putnam (Representation and Reality [1988], §1 p.08) | |
| A reaction: To seems a rather large jump from saying that sentences come in groups to full-blown 'holism' (involving every sentence). |
| 2335 | Understanding a sentence involves background knowledge and can't be done in isolation [Putnam] |
| Full Idea: If I say "Hawks fly", I do not intend my hearer to deduce that a hawk with a broken wing will fly. What we expect depends on the whole network of belief. Language describes experience as a network, not sentence by sentence. | |
| From: Hilary Putnam (Representation and Reality [1988], §1 p.09) | |
| A reaction: The shortcut through this is 'exactly what did you mean when you said "Hawks fly"?'. That is, get me closer to your proposition. |
| 2336 | Holism seems to make fixed definition more or less impossible [Putnam] |
| Full Idea: Holism immediately suggests that most terms cannot be defined, at least not in a way that is fixed once and for all. | |
| From: Hilary Putnam (Representation and Reality [1988], §1 p.09) | |
| A reaction: Perhaps there exists a single perfect definition for each holistic system, only graspable by a transcendent intellect. Or why can't there be a matching holistic system of definitions? |
| 8477 | People presume meanings exist because they confuse meaning and reference [Orenstein] |
| Full Idea: A good part of the confidence people have that there are meanings rests on the confusion of meaning and reference. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.6) | |
| A reaction: An important point. Everyone assumes that sentences link to the world, but Frege shows that that is not part of meaning. Words like prepositions and conjunctions ('to', 'and') don't have 'a meaning' apart from their function and use. |
| 2340 | We should separate how the reference of 'gold' is fixed from its conceptual content [Putnam] |
| Full Idea: The effect of my account, as of Kripke's, is to separate the question of how the reference of terms such as 'gold' is fixed from the question of their conceptual content. | |
| From: Hilary Putnam (Representation and Reality [1988], §2 p.38) | |
| A reaction: Too simple. 'Gold' isn't a proper name, like 'Hilary', which needs no more content than a serial number. Baptising a gold sample needs much more information than baptising a person. |
| 2341 | Like names, natural kind terms have their meaning fixed by extension and reference [Putnam] |
| Full Idea: It seems that the dominant "component" of natural kind words is the extension. The referential factor does almost all the work, and natural kind terms resemble names. | |
| From: Hilary Putnam (Representation and Reality [1988], §3 p.49) | |
| A reaction: My concept of 'tiger' does not mainly consist of the tigers. Does the concept contract as the tiger population dwindles? Prototypes, exemplars etc. See 'Concepts' |
| 2339 | Aristotle implies that we have the complete concepts of a language in our heads, but we don't [Putnam] |
| Full Idea: What is wrong with the Aristotelian picture (of meaning and reference based on concepts) is that it suggest that everything that is necessary for the use of language is stored in each individual mind, but no individual language works this way. | |
| From: Hilary Putnam (Representation and Reality [1988], §2 p.25) | |
| A reaction: Languages must partly work that way. You can't talk without a conceptual storehouse. In a small society I would expect every adult to know the full vocabulary. |
| 2338 | Reference (say to 'elms') is a social phenomenon which we can leave to experts [Putnam] |
| Full Idea: Reference is a social phenomenon. Individual speakers do not have to know how to distinguish robins, or elms, or aluminium. They can always rely on experts to do this for them. | |
| From: Hilary Putnam (Representation and Reality [1988], §2 p.22) | |
| A reaction: It can't just be a social phenomenon. The experts don't just enquire about standard usage, or defer to Hilary Putnam. |
| 8471 | Three ways for 'Socrates is human' to be true are nominalist, platonist, or Montague's way [Orenstein] |
| Full Idea: 'Socrates is human' is true if 1) subject referent is identical with a predicate referent (Nominalism), 2) subject reference member of the predicate set, or the subject has that property (Platonism), 3) predicate set a member of the subject set (Montague) | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.3) | |
| A reaction: Orenstein offers these as alternatives to Quine's 'inscrutability of reference' thesis, which makes the sense unanalysable. |
| 8484 | If two people believe the same proposition, this implies the existence of propositions [Orenstein] |
| Full Idea: If we can say 'there exists a p such that John believes p and Barbara believes p', logical forms such as this are cited as evidence for our ontological commitment to propositions. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.7) | |
| A reaction: Opponents of propositions (such as Quine) will, of course, attempt to revise the logical form to eliminate the quantification over propositions. See Orenstein's outline on p.171. |
| 203 | Courage is knowing what should or shouldn't be feared [Plato] |
| Full Idea: Knowledge of what is and is not to be feared is courage. | |
| From: Plato (Protagoras [c.380 BCE], 360d) |
| 202 | No one willingly and knowingly embraces evil [Plato] |
| Full Idea: No one willingly goes to meet evil, or what he thinks is evil. | |
| From: Plato (Protagoras [c.380 BCE], 358d) | |
| A reaction: Presumably people who actively choose satanism can override this deep-seated attitude. But their adherence to evil usually seems to be rather restrained. A danger of tautology with ideas like this. |
| 193 | Some things are good even though they are not beneficial to men [Plato] |
| Full Idea: 'Do you mean by good those things that are beneficial to men?' 'Not only those. I call some things which are not beneficial good as well'. | |
| From: Plato (Protagoras [c.380 BCE], 333e) | |
| A reaction: Examples needed, but this would be bad news for utilitarians. Good health is not seen as beneficial if it is taken for granted. Not being deaf. |
| 197 | Some pleasures are not good, and some pains are not evil [Plato] |
| Full Idea: There are some pleasures which are not good, and some pains which are not evil. | |
| From: Plato (Protagoras [c.380 BCE], 351d) | |
| A reaction: Sadism and child birth. Though Bentham (I think) says that there is nothing good about the pain, since the event would obviously be better without it. |
| 200 | People tend only to disapprove of pleasure if it leads to pain, or prevents future pleasure [Plato] |
| Full Idea: The only reason the common man disapproves of pleasures is if they lead to pain and deprive us of future pleasures. | |
| From: Plato (Protagoras [c.380 BCE], 354a) | |
| A reaction: Plato has a strong sense that some pleasures are just innately depraved and wicked. If those pleasure don't hurt anyone, it is very hard to pinpoint what is wrong with them. |
| 204 | Socrates is contradicting himself in claiming virtue can't be taught, but that it is knowledge [Plato] |
| Full Idea: Socrates is contradicting himself by saying virtue is not teachable, and yet trying to demonstrate that every virtue is knowledge. | |
| From: Plato (Protagoras [c.380 BCE], 361b) |
| 189 | If we punish wrong-doers, it shows that we believe virtue can be taught [Plato] |
| Full Idea: Athenians inflict punishment on wrong-doers, which shows that they too think it possible to impart and teach goodness. | |
| From: Plato (Protagoras [c.380 BCE], 324c) |
| 188 | Socrates did not believe that virtue could be taught [Plato] |
| Full Idea: Socrates: I do not believe that virtue can be taught. | |
| From: Plato (Protagoras [c.380 BCE], 320b) |
| 2342 | "Water" is a natural kind term, but "H2O" is a description [Putnam] |
| Full Idea: "Water" functions as a natural kind term, but "H2O" is a description, synonymous with an account of its atoms. | |
| From: Hilary Putnam (Representation and Reality [1988], §3 p.50) |