Combining Texts

All the ideas for 'On the Philosophy of Logic', 'Ways of Worldmaking' and 'Can Mechanisms Replace Laws of Nature?'

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


34 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.
2. Reason / A. Nature of Reason / 1. On Reason
We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher]
     Full Idea: A state of 'reflective equilibrium' is when our theory and our intuitions become completely aligned
     From: Jennifer Fisher (On the Philosophy of Logic [2008], 12.IV)
     A reaction: [Rawls made this concept famous] This is a helpful concept in trying to spell out the ideal which is the dream of believers in 'pure reason' - that there is a goal in which everything comes right. The problem is when people have different intuitions!
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 / E. Nonclassical Logics / 3. Many-Valued Logic
Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher]
     Full Idea: In three-valued logic (L3), neither the law of excluded middle (p or not-p), nor the law of non-contradiction (not(p and not-p)) will be tautologies. If p has the value 'indeterminate' then so will not-p.
     From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.I)
     A reaction: I quite accept that the world is full of indeterminate propositions, and that excluded middle and non-contradiction can sometimes be uncertain, but I am reluctant to accept that what is being offered here should be called 'logic'.
4. Formal Logic / E. Nonclassical Logics / 4. Fuzzy Logic
Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher]
     Full Idea: In fuzzy logic objects have properties to a greater or lesser degree, and truth values are given as fractions or decimals, ranging from 0 to 1. Not-p is defined as 1-p, and other formula are defined in terms of maxima and minima for sets.
     From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.II)
     A reaction: The question seems to be whether this is actually logic, or a recasting of probability theory. Susan Haack attacks it. If logic is the study of how truth is preserved as we move between propositions, then 0 and 1 need a special status.
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher]
     Full Idea: For simplicity, we can say that 'classical logic' amounts to the truth of four sentences: 1) either p or not-p; 2) it is not the case that both p and not-p; 3) from p and not-p, infer q; 4) from p or q and not-p, infer q.
     From: Jennifer Fisher (On the Philosophy of Logic [2008], 12.I)
     A reaction: [She says there are many ways of specifying classical logic] Intuition suggests that 2 and 4 are rather hard to dispute, while 1 is ignoring some grey areas, and 3 is totally ridiculous. There is, of course, plenty of support for 3!
5. Theory of Logic / C. Ontology of Logic / 2. Platonism in Logic
Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher]
     Full Idea: Even if one is inclined to be a realist about everything, it is hard to see why our logic should be the determiner. Logic is supposed to formalize how we ought to reason, but whether or not we should be realists is a matter of philosophy, not logic.
     From: Jennifer Fisher (On the Philosophy of Logic [2008], 09.I)
     A reaction: Nice to hear a logician saying this. I do not see why talk in terms of an object is a commitment to its existence. We can discuss the philosopher's stone, or Arthur's sword, or the Loch Ness monster, or gravitinos, with degrees of commitment.
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 / D. Theories of Reality / 10. Vagueness / g. Degrees of vagueness
We could make our intuitions about heaps precise with a million-valued logic [Fisher]
     Full Idea: We could construct a 1,000,000-valued logic that would allow our intuitions concerning a heap to vary exactly with the amount of sand in the heap.
     From: Jennifer Fisher (On the Philosophy of Logic [2008])
     A reaction: Presumably only an infinite number of grains of sand would then produce a true heap, and even one grain would count as a bit of a heap, which must both be wrong, so I can't see this helping much.
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 / B. Unity of Objects / 3. Unity Problems / e. Vague objects
Vagueness can involve components (like baldness), or not (like boredom) [Fisher]
     Full Idea: Vague terms come in at least two different kinds: those whose constituent parts come in discrete packets (bald, rich, red) and those that don't (beauty, boredom, niceness).
     From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.II)
     A reaction: The first group seem to be features of the external world, and the second all occur in the mind. Baldness may be vague, but presumably hairs are (on the whole) not. Nature doesn't care whether someone is actually 'bald' or not.
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!
10. Modality / B. Possibility / 1. Possibility
We can't explain 'possibility' in terms of 'possible' worlds [Fisher]
     Full Idea: Explaining 'it is possible that p' by saying p is true in at least one possible world doesn't get me very far. If I don't understand what possibility is, then appealing to possible worlds is not going to do me much good.
     From: Jennifer Fisher (On the Philosophy of Logic [2008], 06.III)
     A reaction: This seems so blatant that I assume friends of possible worlds will have addressed the problem. Note that you will also need to understand 'possible' to define necessity as 'true in all possible worlds'. Necessarily-p is not-possibly-not-p.
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher]
     Full Idea: If all truths are implied by a falsehood, then 'if there are no trees in the park then there is no shade' and 'if there are no trees in the park there is plenty of shade' both come out as true. Intuitively, though, the second one is false.
     From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.I)
     A reaction: The rule that a falsehood implies all truths must be the weakest idea in classical logic, if it actually implies a contradiction. This means we must take an interest in relevance logics.
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher]
     Full Idea: A good account of relevance logic suggests that a conditional will be true when the flow of information is such that a conditional is the device that helps information to flow from the antecedent to the consequent.
     From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.III)
     A reaction: Hm. 'If you are going out, you'll need an umbrella'. This passes on information about 'out', but also brings in new information. 'If you are going out, I'm leaving you'. What flows is an interpretation of the antecedent. Tricky.
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 / 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.
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
Generalisations must be invariant to explain anything [Leuridan]
     Full Idea: A generalisation is explanatory if and only if it is invariant.
     From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §4)
     A reaction: [He cites Jim Woodward 2003] I dislike the idea that generalisations and regularities explain anything at all, but this rule sounds like a bare minimum for being taken seriously in the space of explanations.
14. Science / D. Explanation / 2. Types of Explanation / h. Explanations by function
Biological functions are explained by disposition, or by causal role [Leuridan]
     Full Idea: The main alternative to the dispositional theory of biological functions (which confer a survival-enhancing propensity) is the etiological theory (effects are functions if they play a role in the causal history of that very component).
     From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §3)
     A reaction: [Bigelow/Pargetter 1987 for the first, Mitchell 2003 for the second] The second one sounds a bit circular, but on the whole a I prefer causal explanations to dispositional explanations.
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
Mechanisms must produce macro-level regularities, but that needs micro-level regularities [Leuridan]
     Full Idea: Nothing can count as a mechanism unless it produces some macro-level regular behaviour. To produce macro-level regular behaviour, it has to rely on micro-level regularities.
     From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §5)
     A reaction: This is the core of Leuridan's argument that regularities are more basic than mechanisms. It doesn't follow, though, that the more basic a thing is the more explanatory work it can do. I say mechanisms explain more than low-level regularities do.
Mechanisms can't explain on their own, as their models rest on pragmatic regularities [Leuridan]
     Full Idea: To model a mechanism one must incorporate pragmatic laws. ...As valuable as the concept of mechanism and mechanistic explanation are, they cannot replace regularities nor undermine their relevance for scientific explanation.
     From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §1)
     A reaction: [See Idea 12786 for 'pragmatic laws'] I just don't see how the observation of a regularity is any sort of explanation. I just take a regularity to be something interesting which needs to be explained.
We can show that regularities and pragmatic laws are more basic than mechanisms [Leuridan]
     Full Idea: Summary: mechanisms depend on regularities, there may be regularities without mechanisms, models of mechanisms must incorporate pragmatic laws, and pragmatic laws do not depend epistemologically on mechanistic models.
     From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §1)
     A reaction: See Idea 14382 for 'pragmatic' laws. I'm quite keen on mechanisms, so this is an arrow close to the heart, but at this point I say that my ultimate allegiance is to powers, not to mechanisms.
Mechanisms are ontologically dependent on regularities [Leuridan]
     Full Idea: Mechanisms are ontologically dependent on the existence of regularities.
     From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §3)
     A reaction: This seems to be the Humean rearguard action in favour of the regularity account of laws. Wrong, but a nice paper. This point shows why only powers (despite their vagueness!) are the only candidate for the bottom level of explanation.
14. Science / D. Explanation / 3. Best Explanation / b. Ultimate explanation
There is nothing wrong with an infinite regress of mechanisms and regularities [Leuridan]
     Full Idea: I see nothing metaphysically wrong in an infinite ontological regress of mechanisms and regularities.
     From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §5)
     A reaction: This is a pretty unusual view, and I can't accept it. My revulsion at this regress is precisely the reason why I believe in powers, as the bottom level of explanation.
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.
26. Natural Theory / A. Speculations on Nature / 3. Natural Function
Rather than dispositions, functions may be the element that brought a thing into existence [Leuridan]
     Full Idea: The dispositional theory of biological functions is not unquestioned. The main alternative is the etiological theory: a component's effect is a function of that component if it has played an essential role in the causal history of its existence.
     From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §3)
     A reaction: [He cites S.D. Mitchell 2003] Presumably this account is meant to fit into a theory of evolution in biology. The obvious problem is where something comes into existence for one reason, and then acquires a new function (such as piano-playing).
26. Natural Theory / D. Laws of Nature / 3. Laws and Generalities
Pragmatic laws allow prediction and explanation, to the extent that reality is stable [Leuridan]
     Full Idea: A generalization is a 'pragmatic law' if it allows of prediction, explanation and manipulation, even if it fails to satisfy the traditional criteria. To this end, it should describe a stable regularity, but not necessarily a universal and necessary one.
     From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §1)
     A reaction: I am tempted to say of this that all laws are pragmatic, given that it is rather hard to know whether reality is stable. The universal laws consist of saying that IF reality stays stable in certain ways, certain outcomes will ensue necessarily.
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
Strict regularities are rarely discovered in life sciences [Leuridan]
     Full Idea: Strict regularities are rarely if ever discovered in the life sciences.
     From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §2)
     A reaction: This is elementary once it is pointed out, but too much philosophy have science has aimed at the model provided by the equations of fundamental physics. Science is a broad church, to employ an entertaining metaphor.
26. Natural Theory / D. Laws of Nature / 11. Against Laws of Nature
A 'law of nature' is just a regularity, not some entity that causes the regularity [Leuridan]
     Full Idea: By 'law of nature' or 'natural law' I mean a generalization describing a regularity, not some metaphysical entity that produces or is responsible for that regularity.
     From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §1 n1)
     A reaction: I take the second version to be a relic of a religious world view, and having no place in a naturalistic metaphysic. The regularity view is then the only player in the field, and the question is, can we do more? Can't we explain regularities?