40 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. |
| 5750 | Consistency is modal, saying propositions are consistent if they could be true together [Melia] |
| Full Idea: Consistency is a modal notion: a set of propositions is consistent iff all the members of the set could be true together. | |
| From: Joseph Melia (Modality [2003], Ch.6) | |
| A reaction: This shows why Kantian ethics, for example, needs a metaphysical underpinning. Maybe Kant should have believed in the reality of Leibnizian possible worlds? An account of reason requires an account of necessity and possibility. |
| 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) |
| 5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |
| Full Idea: First-order predicate language has four connectives, two quantifiers, variables, predicates, equality, names, and brackets. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: Look up the reference for the details! The spirit of logic is seen in this basic framework, and the main interest is in the ontological commitment of the items on the list. The list is either known a priori, or it is merely conventional. |
| 5744 | First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia] |
| Full Idea: First-order predicate calculus is an extensional logic, while quantified modal logic is intensional (which has grave problems of interpretation, according to Quine). | |
| From: Joseph Melia (Modality [2003], Ch.3) | |
| A reaction: The battle is over ontology. Quine wants the ontology to stick with the values of the variables (i.e. the items in the real world that are quantified over in the extension). The rival view arises from attempts to explain necessity and counterfactuals. |
| 5740 | Second-order logic needs second-order variables and quantification into predicate position [Melia] |
| Full Idea: Permitting quantification into predicate position and adding second-order variables leads to second-order logic. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: Often expressed by saying that we now quantify over predicates and relations, rather than just objects. Depends on your metaphysical commitments. |
| 5741 | If every model that makes premises true also makes conclusion true, the argument is valid [Melia] |
| Full Idea: In first-order predicate calculus validity is defined thus: an argument is valid iff every model that makes the premises of the argument true also makes the conclusion of the argument true. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: See Melia Ch. 2 for an explanation of a 'model'. Traditional views of validity tend to say that if the premises are true the conclusion has to be true (necessarily), but this introduces the modal term 'necessarily', which is controversial. |
| 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) |
| 5736 | No sort of plain language or levels of logic can express modal facts properly [Melia] |
| Full Idea: Some philosophers say that modal facts cannot be expressed either by name/predicate language, or by first-order predicate calculus, or even by second-order logic. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: If 'possible' were a predicate, none of this paraphernalia would be needed. If possible worlds are accepted, then the quantifiers of first-order predicate calculus will do the job. If neither of these will do, there seems to be a problem. |
| 5735 | Maybe names and predicates can capture any fact [Melia] |
| Full Idea: Some philosophers think that any fact can be captured in a language containing only names and predicates. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: The problem case Melia is discussing is modal facts, such as 'x is possible'. It is hard to see how 'possible' could be an ordinary predicate, but then McGinn claims that 'existence' is, and that there are some predicates with unusual characters. |
| 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'. |
| 5746 | The Identity of Indiscernibles is contentious for qualities, and trivial for non-qualities [Melia] |
| Full Idea: If the Identity of Indiscernibles is referring to qualitative properties, such as 'being red' or 'having mass', it is contentious; if it is referring to non-qualitative properties, such as 'member of set s' or 'brother of a', it is true but trivial. | |
| From: Joseph Melia (Modality [2003], Ch.3 n 11) | |
| A reaction: I would say 'false' rather than 'contentious'. No one has ever offered a way of distinguishing two electrons, but that doesn't mean there is just one (very busy) electron. The problem is that 'indiscernible' is only an epistemological concept. |
| 5738 | We may be sure that P is necessary, but is it necessarily necessary? [Melia] |
| Full Idea: We may have fairly firm beliefs as to whether or not P is necessary, but many of us find ourselves at a complete loss when wondering whether or not P is necessarily necessary. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: I think it is questions like this which are pushing philosophy back towards some sort of rationalism. See Idea 3651, for example. A regress of necessities would be mad, so necessity must be taken as self-evident (in itself, though maybe not to us). |
| 5732 | 'De re' modality is about things themselves, 'de dicto' modality is about propositions [Melia] |
| Full Idea: In cases of 'de re' modality, it is a particular thing that has the property essentially or accidentally; where the modality attaches to the proposition, it is 'de dicto' - it is the whole truth that all bachelors are unmarried that is necessary. | |
| From: Joseph Melia (Modality [2003], Ch.1) | |
| A reaction: This seems to me one of the most important distinctions in metaphysics (as practised by analytical philosophers, who like distinctions). The first type leads off into the ontology, the second type veers towards epistemology. |
| 5739 | Sometimes we want to specify in what ways a thing is possible [Melia] |
| Full Idea: Sometimes we want to count the ways in which something is possible, or say that there are many ways in which a certain thing is possible. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: This is a basic fact about talk of 'possibility'. It is not an all-or-nothing property of a situation. There can be 'faint' possibilities of things. The proximity of some possible worlds, especially those sharing our natural laws, is one answer. |
| 5734 | Possible worlds make it possible to define necessity and counterfactuals without new primitives [Melia] |
| Full Idea: In modal logic the concepts of necessity and counterfactuals are not interdefinable, so the language needs two primitives to represent them, but with the machinery of possible worlds they are defined by what is the case in all worlds, or close worlds. | |
| From: Joseph Melia (Modality [2003], Ch.1) | |
| A reaction: If your motivation is to reduce ontology to the barest of minimums (which it was for David Lewis) then it is paradoxical that the existence of possible worlds may be the way to achieve it. I doubt, though, whether a commitment to their reality is needed. |
| 5742 | In possible worlds semantics the modal operators are treated as quantifiers [Melia] |
| Full Idea: The central idea in possible worlds semantics is that the modal operators are treated as quantifiers. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: It seems an essential requirement of metaphysics that an account be given of possibility and necessity, and it is also a good dream to keep the ontology simple. Commitment to possible worlds is the bizarre outcome of this dream. |
| 5743 | If possible worlds semantics is not realist about possible worlds, logic becomes merely formal [Melia] |
| Full Idea: It has proved difficult to justify possible worlds semantics without accepting possible worlds. Without a secure metaphysical underpinning, the results in logic are in danger of having nothing more than a formal significance. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: This makes nicely clear why Lewis's controversial modal realism has to be taken seriously. It appears that the key problem is truth, because that is needed to define validity, but you can't have truth without some sort of metaphysics. |
| 5749 | Possible worlds could be real as mathematics, propositions, properties, or like books [Melia] |
| Full Idea: One can be a realist about possible worlds without adopting Lewis's extreme views; they might be abstract or mathematical entities; they might be sets of propositions or maximal uninstantiated properties; they might be like books or pictures. | |
| From: Joseph Melia (Modality [2003], Ch.6) | |
| A reaction: My intuition is that once you go down the road of realism about possible worlds, Lewis's full concrete realism looks at least as attractive as any of these options. You can discuss the 'average man' in an economic theory without realism. |
| 5751 | The truth of propositions at possible worlds are implied by the world, just as in books [Melia] |
| Full Idea: Propositions are true at possible worlds in much the same way as they are true at books: by being implied by the book. | |
| From: Joseph Melia (Modality [2003], Ch.7) | |
| A reaction: An intriguing way to introduce the view that possible worlds should be seen as like books. The truth-makers of propositions about the actual world are items in it, but the truth-makers in novels (say) are the conditions of the whole work as united. |
| 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. |
| 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! |
| 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. |
| 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. |
| 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. |
| 5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
| Full Idea: Many philosophers now concede that it is rational to accept a proposition not because we can directly verify it but because it is supported by considerations of simplicity, theoretical utility, explanatory power and/or intuitive plausibility. | |
| From: Joseph Melia (Modality [2003], Ch.5) | |
| A reaction: This suggests how the weakness of logical positivism may have led us to the concept of epistemic virtues (such as those listed), which are, of course, largely a matter of community consensus, just as the moral virtues are. |
| 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. |
| 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? |
| 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. |
| 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. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
| 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) |