36 ideas
| 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. |
| 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. |
| 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. |
| 12215 | The existence of numbers is not a matter of identities, but of constituents of the world [Fine,K] |
| Full Idea: On saying that a particular number exists, we are not saying that there is something identical to it, but saying something about its status as a genuine constituent of the world. | |
| From: Kit Fine (The Question of Ontology [2009], p.168) | |
| A reaction: This is aimed at Frege's criterion of identity, which is to be an element in an identity relation, such as x = y. Fine suggests that this only gives a 'trivial' notion of existence, when he is interested in a 'thick' sense of 'exists'. |
| 12211 | It is plausible that x^2 = -1 had no solutions before complex numbers were 'introduced' [Fine,K] |
| Full Idea: It is not implausible that before the 'introduction' of complex numbers, it would have been incorrect for mathematicians to claim that there was a solution to the equation 'x^2 = -1' under a completely unrestricted understanding of 'there are'. | |
| From: Kit Fine (The Question of Ontology [2009]) | |
| A reaction: I have adopted this as the crucial test question for anyone's attitude to platonism in mathematics. I take it as obvious that complex numbers were simply invented so that such equations could be dealt with. They weren't 'discovered'! |
| 12209 | The indispensability argument shows that nature is non-numerical, not the denial of numbers [Fine,K] |
| Full Idea: Arguments such as the dispensability argument are attempting to show something about the essentially non-numerical character of physical reality, rather than something about the nature or non-existence of the numbers themselves. | |
| From: Kit Fine (The Question of Ontology [2009], p.160) | |
| A reaction: This is aimed at Hartry Field. If Quine was right, and we only believe in numbers because of our science, and then Field shows our science doesn't need it, then Fine would be wrong. Quine must be wrong, as well as Field. |
| 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. |
| 12214 | 'Exists' is a predicate, not a quantifier; 'electrons exist' is like 'electrons spin' [Fine,K] |
| Full Idea: The most natural reading of 'electrons exist' is that there are electrons while, on our view, the proper reading should be modeled on 'electrons spin', meaning every electron spins. 'Exists' should be treated as a predicate rather than a quantifier. | |
| From: Kit Fine (The Question of Ontology [2009], p.167) | |
| A reaction: So existence IS a predicate (message to Kant). Dunno. Electrons have to exist in order to spin, but they don't have to exist in order to exist. But they don't have to exist to be 'dead'. |
| 12212 | Just as we introduced complex numbers, so we introduced sums and temporal parts [Fine,K] |
| Full Idea: Just as one can extend the domain of discourse to include solutions to the equation 'x^2=-1' so one can extend the domain of discourse to include objects that satisfy the condition 'x is the sum of the G's' or 'x is a temporal part of the object b at t'. | |
| From: Kit Fine (The Question of Ontology [2009], p.164) | |
| A reaction: This thought lies behind Fine's 'Proceduralism'. I take it that our collection of abstracta consists entirely of items we have either deliberately or unthinkingly 'introduced' into our discourse when they seemed useful. They then submit to certain laws. |
| 12216 | Real objects are those which figure in the facts that constitute reality [Fine,K] |
| Full Idea: The real objects are the objects of reality, those that figure in the facts by which reality is constituted. | |
| From: Kit Fine (The Question of Ontology [2009], p.172) | |
| A reaction: And these need to be facts over and above the basic facts. Thus, does the 'equator' constitute reality, over and above the Earth being a rotating sphere? Does 'six' constitute reality, over and above all the possible groups of six objects? |
| 12218 | Being real and being fundamental are separate; Thales's water might be real and divisible [Fine,K] |
| Full Idea: Being the case in reality and being fundamental are not sufficient for one another. If one agrees with Thales that the world is composed of water, and with Aristotle that water is indefinitely divisible, then water would be real but not fundamental. | |
| From: Kit Fine (The Question of Ontology [2009], p.174) | |
| A reaction: Presumably the divisibility would make a reductionist account of water possible. The Atlantic Ocean is real, but water molecules would have a more prominent place in the ontology of any good metaphysician. |
| 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. |
| 12217 | For ontology we need, not internal or external views, but a view from outside reality [Fine,K] |
| Full Idea: We need to straddle both of Carnap's internal and external views. It is only by standing outside of reality that we are able to occupy a standpoint from which the constitution of reality can be adequately described. | |
| From: Kit Fine (The Question of Ontology [2009], p.174) | |
| A reaction: See Idea 4840! I thoroughly approve of this idea, which almost amounts to a Credo for the modern metaphysician. Since we can think outside our room, or our country, or our era, or our solar system, I think we can do what Fine is demanding. |
| 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? |
| 12213 | Ontological claims are often universal, and not a matter of existential quantification [Fine,K] |
| Full Idea: I suggest we give up on the account of ontological claims in terms of existential quantification. The commitment to the integers is not an existential but a universal commitment, to each of the integers, not to some integer or other. | |
| From: Kit Fine (The Question of Ontology [2009], p.167) | |
| A reaction: In classical logic it is only the existential quantifier which requires the domain to be populated, so Fine is more or less giving up on classical logic as a tool for doing ontology (apparently?). |
| 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. |
| 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'?) |
| 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! |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |