Combining Texts

All the ideas for 'Ways of Worldmaking', 'Evidence' and 'What is Cantor's Continuum Problem?'

unexpand these ideas     |    start again     |     specify just one area for these texts


29 ideas

1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
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.
3. Truth / A. Truth Problems / 5. Truth Bearers
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.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
We perceive the objects of set theory, just as we perceive with our senses [Gödel]
     Full Idea: We have something like perception of the objects of set theory, shown by the axioms forcing themselves on us as being true. I don't see why we should have less confidence in this kind of perception (i.e. mathematical intuition) than in sense perception.
     From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], p.483), quoted by Michčle Friend - Introducing the Philosophy of Mathematics 2.4
     A reaction: A famous strong expression of realism about the existence of sets. It is remarkable how the ingredients of mathematics spread themselves before the mind like a landscape, inviting journeys - but I think that just shows how minds cope with abstractions.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam]
     Full Idea: Gödel proved the classical relative consistency of the axiom V = L (which implies the axiom of choice and the generalized continuum hypothesis). This established the full independence of the continuum hypothesis from the other axioms.
     From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by Hilary Putnam - Mathematics without Foundations
     A reaction: Gödel initially wanted to make V = L an axiom, but the changed his mind. Maddy has lots to say on the subject.
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / a. Set theory paradoxes
Set-theory paradoxes are no worse than sense deception in physics [Gödel]
     Full Idea: The set-theoretical paradoxes are hardly any more troublesome for mathematics than deceptions of the senses are for physics.
     From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], p.271), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 03.4
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg]
     Full Idea: Gödel proved that the Continuum Hypothesis was not inconsistent with the axioms of set theory.
     From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by Brian Clegg - Infinity: Quest to Think the Unthinkable Ch.15
If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD]
     Full Idea: Gödel proved that (if set theory is consistent) we cannot refute the continuum hypothesis, and Cohen proved that (if set theory is consistent) we cannot prove it either.
     From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by William D. Hart - The Evolution of Logic 10
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Basic mathematics is related to abstract elements of our empirical ideas [Gödel]
     Full Idea: Evidently the 'given' underlying mathematics is closely related to the abstract elements contained in our empirical ideas.
     From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], Suppl)
     A reaction: Yes! The great modern mathematical platonist says something with which I can agree. He goes on to hint at a platonic view of the structure of the empirical world, but we'll let that pass.
7. Existence / C. Structure of Existence / 4. Ontological Dependence
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.
7. Existence / C. Structure of Existence / 5. Supervenience / d. Humean supervenience
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.
7. Existence / D. Theories of Reality / 3. Reality
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.
7. Existence / D. Theories of Reality / 4. Anti-realism
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?
7. Existence / E. Categories / 5. Category Anti-Realism
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'?)
9. Objects / F. Identity among Objects / 3. Relative Identity
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!
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
Internalists are much more interested in evidence than externalists are [McGrew]
     Full Idea: The notion of evidence generally plays a much more significant role in internalist epistemologies than it does in various forms of externalism.
     From: Timothy McGrew (Evidence [2011], 'Prop..')
     A reaction: I'm guessing that this is because evidence needs a certain amount of interpretation, whereas raw facts (which externalists seem to rely on) may never even enter a mind.
13. Knowledge Criteria / B. Internal Justification / 3. Evidentialism / a. Evidence
Does spotting a new possibility count as evidence? [McGrew]
     Full Idea: Does the sudden realization of a heretofore unrecognized possibility count as evidence?
     From: Timothy McGrew (Evidence [2011], 'Evid..')
     A reaction: [Nice use of 'heretofore'! Why say 'previously' when you can keep these wonderful old English words alive?] This means that we can imagine new evidence ('maybe the murderer was a snake'!). Wrong. The evidence is what suggests the possibility.
Absence of evidence proves nothing, and weird claims need special evidence [McGrew]
     Full Idea: Two well know slogans (popularised by Carl Sagan) are 'absence of evidence is not evidence of absence', ...and 'extraordinary claims require extraordinary evidence'.
     From: Timothy McGrew (Evidence [2011], 'Absence')
     A reaction: [Sagan was a popular science writer and broadcaster] The second one is something like Hume's argument against miracles. The old problem of the 'missing link' for human evolution embodied the first idea.
Every event is highly unlikely (in detail), but may be perfectly plausible [McGrew]
     Full Idea: At a certain level of detail, almost any claim is unprecedented. How likely is 'Matilda won at Scrabble on Thursday with a score of 438 while drinking mint tea'? But there is nothing particularly unbelievable about the claim.
     From: Timothy McGrew (Evidence [2011], 'Extraordinary')
     A reaction: A striking idea, which rules out the simplistic idea that we can just assess evidence by its isolated likelihood. Context is crucial. How good is 438? What if she smoked opium? What if there is no Scrabble set on her island?
Criminal law needs two separate witnesses, but historians will accept one witness [McGrew]
     Full Idea: An ancient rule in law is that a criminal conviction needs evidence of two independent witnesses, but in history it is assumed that a document deserves the benefit of the doubt if it cannot be independently verified.
     From: Timothy McGrew (Evidence [2011], 'Interp..')
     A reaction: [compressed; McGrew's full account qualifies it a bit] A nice observation. One might even be suspicious of the two 'independent' witnesses, if there were lots of other reasons to doubt someon's guilt. A single weird document is also dubious.
Maybe all evidence consists of beliefs, rather than of facts [McGrew]
     Full Idea: Some philosophers have been attracted to the view that, strictly speaking, what counts as evidence is not a set of physical objects or even experiences, but rather a set of believed propositions.
     From: Timothy McGrew (Evidence [2011], 'Prop..')
     A reaction: This may be right. However, as always, I think animals are a key test. Do animals respond to evidence? Even if they did, they might need to 'make sense' of what they experienced, and even formulate a non-linguistic proposition.
If all evidence is propositional, what is the evidence for the proposition? Do we face a regress? [McGrew]
     Full Idea: Taking evidence as propositional may trade one problem for another. If the bloodstain isn't evidence, but 'this is a bloodstain' is evidence, then what serves as evidence for the belief about the bloodstain? Is there an infinite regress?
     From: Timothy McGrew (Evidence [2011], 'Prop..')
     A reaction: [compressed] I quite like evidence being propositional, but then find this. I'll retreat to my beloved coherence. I do not endorse Sellars's 'only a belief can justify a belief', because raw experience has to be part of what is coherent.
Several unreliable witnesses can give good support, if they all say the same thing [McGrew]
     Full Idea: The testimony of a number of independent witnesses, none of them particularly reliable, who give substantially the same account of some event, may provide a strong argument in its favor.
     From: Timothy McGrew (Evidence [2011], 'Testimonial')
     A reaction: A striking point. It obviously works well for panicking people in a crowd during an incident. Does it also apply to independent scientists who are known to cheat? They may not collaborate, but may all want the same result.
13. Knowledge Criteria / B. Internal Justification / 3. Evidentialism / b. Evidentialism
Narrow evidentialism relies wholly on propositions; the wider form includes other items [McGrew]
     Full Idea: Evidentialism comes in both narrow and wide forms depending on whether evidence is taken to consist only of propositions or of a wider range of items.
     From: Timothy McGrew (Evidence [2011], 'Evid..')
     A reaction: [He cites Conee and Feldman for the wide view, which is not restricted to beliefs] You can hardly rely on occurrent beliefs as evidence, so we often have good knowledge with forgotten justification. But such knowledge has been 'weakened'.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
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.
14. Science / A. Basis of Science / 6. Falsification
Falsificationism would be naive if even a slight discrepancy in evidence killed a theory [McGrew]
     Full Idea: Data do not quite speak for themselves, which speaks against a naive form of falsificationism according to which even the slightest mismatch between theory and evidence suffices to overturn a theory.
     From: Timothy McGrew (Evidence [2011], 'Interp..')
     A reaction: [He cites Robert Boyle wisely ignoring some data to get a good fit for his graph]
14. Science / B. Scientific Theories / 3. Instrumentalism
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!)
14. Science / B. Scientific Theories / 5. Commensurability
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)
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
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.
26. Natural Theory / A. Speculations on Nature / 1. Nature
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.