30 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. |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 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'?) |
| 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! |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 3756 | Perception, introspection, testimony, memory, reason, and inference can give us knowledge [Bernecker/Dretske] |
| Full Idea: The basic sources of knowledge and justification are perception, introspection, testimony, memory, reason, and inference. | |
| From: Bernecker / Dretske (Knowledge:Readings in Cont.Epist [2000], Pt.V Int) |
| 3757 | Causal theory says true perceptions must be caused by the object perceived [Bernecker/Dretske] |
| Full Idea: The causal theory of perceptions says that to perceive an object is to have a sense-datum caused by that object; it is not enough for the world to be the way we perceive it; the world must cause the perception. | |
| From: Bernecker / Dretske (Knowledge:Readings in Cont.Epist [2000], Pt.V Int) | |
| A reaction: All causal theories seem dubious to me; what causes something is not the same was what it means, or refers to, or what justifies it. The hallmark of successful perception is truth. I would perceive a tree if God planted the perception in me. |
| 3759 | You can acquire new knowledge by exploring memories [Bernecker/Dretske] |
| Full Idea: You can first come to know by remembering, as in learning how many windows there were in your childhood home by imagining a tour. | |
| From: Bernecker / Dretske (Knowledge:Readings in Cont.Epist [2000], Pt.V Int) |
| 3752 | Justification can be of the belief, or of the person holding the belief [Bernecker/Dretske] |
| Full Idea: There is a distinction between a person being justified in holding a belief, and the belief itself being justified. | |
| From: Bernecker / Dretske (Knowledge:Readings in Cont.Epist [2000], Pt.II Int) | |
| A reaction: This is the crucial and elementary distinction which even the most sophisticated of epistemologists keep losing sight of. Epistemology is about persons. All true beliefs are justified - by the facts! |
| 3753 | Foundationalism aims to avoid an infinite regress [Bernecker/Dretske] |
| Full Idea: The driving force behind foundationalism has always been the threat of an infinite regress. | |
| From: Bernecker / Dretske (Knowledge:Readings in Cont.Epist [2000], Pt.III Int) | |
| A reaction: You could just live with the regress (Peter Klein), or say that the regress fades away, or that it is cut off by social epistemological convention, or the regress circles round and rejoins. |
| 3754 | Infallible sensations can't be foundations if they are non-epistemic [Bernecker/Dretske] |
| Full Idea: If sense experiences are non-epistemic they may be infallible, but they are unsuitable for providing the foundations for other beliefs. | |
| From: Bernecker / Dretske (Knowledge:Readings in Cont.Epist [2000], Pt.III Int) | |
| A reaction: If we experience flashing lights in the retina, or an afterimage, we don't think we are seeing objects, so why is normal perception different? Ans: because it is supported by judgement. |
| 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. |
| 3755 | Justification is normative, so it can't be reduced to cognitive psychology [Bernecker/Dretske] |
| Full Idea: The concept of justification is absolutely central to epistemology; but this concept is normative (i.e. it lays down norms), so epistemology can't be reduced to factual cognitive psychology. | |
| From: Bernecker / Dretske (Knowledge:Readings in Cont.Epist [2000], Pt.III Int) | |
| A reaction: A simple rejection of the 'epistemology naturalised' idea. Best to start with slugs rather than people. You can confuse a slug, so it has truth or falsehood, but what is slug normativity? This is an interesting discussion point, not an argument. |
| 3761 | Modern arguments against the sceptic are epistemological and semantic externalism, and the focus on relevance [Bernecker/Dretske] |
| Full Idea: In modern epistemology the three strategies to rebut the sceptic are 1) epistemological externalism, 2) the 'relevant alternative account of knowledge' (that scepticism is too extreme to be relevant), and 3) semantic externalism. | |
| From: Bernecker / Dretske (Knowledge:Readings in Cont.Epist [2000], Pt.IV Int) |
| 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) |
| 3760 | Predictions are bound to be arbitrary if they depend on the language used [Bernecker/Dretske] |
| Full Idea: The new riddle of induction ('grue') seems to demonstrate that sound inductive inferences are arbitrary because they depend on the actual language people use to formulate predictions. | |
| From: Bernecker / Dretske (Knowledge:Readings in Cont.Epist [2000], Pt.V Int) |
| 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. |
| 3758 | Semantic externalism ties content to the world, reducing error [Bernecker/Dretske] |
| Full Idea: Semantic externalism ties our mental content down to our actual environment so there is no possibility of massive error. | |
| From: Bernecker / Dretske (Knowledge:Readings in Cont.Epist [2000], Pt.V Int) | |
| A reaction: This sounds more prescriptive than descriptive. People do make massive errors in their concepts. Maybe educated people are more externalist (respectful of experts) than uneducated people? |
| 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. |