Combining Texts

All the ideas for 'Natural Kinds', 'Gilles Deleuze' and 'Truthmakers and Converse Barcan Formula'

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


34 ideas

1. Philosophy / G. Scientific Philosophy / 3. Scientism
Philosophy is continuous with science, and has no external vantage point [Quine]
     Full Idea: I see philosophy not as an a priori propaedeutic or groundwork for science, but as continuous with science. I see philosophy and science as in the same boat. …There is no external vantage point, no first philosophy.
     From: Willard Quine (Natural Kinds [1969], p.126)
     A reaction: Philosophy is generalisation. Science holds the upper hand, because it settles the subject-matter to be generalised.
1. Philosophy / H. Continental Philosophy / 1. Continental Philosophy
Deleuze relies on Spinoza (immanence), Bergson (duration), and difference (Nietzsche) [May]
     Full Idea: The three tripods on which the philosophy of Deleuze stands are immanence (Spinoza), duration (Bergson), and the affirmation of difference (Nietzsche).
     From: Todd May (Gilles Deleuze [2006], 2.12)
     A reaction: [Just to begin sketching how continental philosophy sees its tradition].
3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
The truthmaker principle requires some specific named thing to make the difference [Williamson]
     Full Idea: The truthmaker principle seems compelling, because if a proposition is true, something must be different from a world in which it is false. The principle makes this specific, by treating 'something' as a quantifier binding a variable in name position.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2)
     A reaction: See Williamson for an examination of the logical implications of this. The point is that the principle seems to require some very specific 'thing', which may be asking too much. For a start, it might be the absence of a thing.
3. Truth / B. Truthmakers / 7. Making Modal Truths
Truthmaker is incompatible with modal semantics of varying domains [Williamson]
     Full Idea: Friends of the truthmaker principle should reject the Kripke semantics of varying domains.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3)
     A reaction: See other ideas from this paper to get a sense of what that is about.
The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson]
     Full Idea: The converse Barcan formula does not allow any contingent truths at all to have a truthmaker. Once cannot combine the converse Barcan formula with any truthmaker principle worth having.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3)
     A reaction: One might reply, so much the worse for the converse Barcan formula, but Williamson doesn't think that.
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson]
     Full Idea: In S5, necessity and possibility are not themselves contingent matters. This is plausible for metaphysical modality, since metaphysical possibility, unlike practical possibility, does not depend on the contingencies of one's situation.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §1)
     A reaction: This is the clearest statement I have found of why S5 might be preferable for metaphysics. See Nathan Salmon for the rival view. Williamson's point sounds pretty persuasive to me.
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson]
     Full Idea: If the domain of propositional quantification is constant across worlds, the Barcan formula and its converse hold.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2)
     A reaction: So the issue is whether we should take metaphysics to be dealing with a constant or varying domains. Williamson seems to favour the former, but my instincts incline towards the latter.
Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson]
     Full Idea: The converse Barcan is at least plausible, since its denial says there is something that could fail to meet a condition when everything met that condition; but how could everything meet that condition if that thing did not?
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3)
     A reaction: Presumably the response involves a discussion of domains, since everything in a given domain might meet a condition, but something in a different domain might fail it.
5. Theory of Logic / G. Quantification / 1. Quantification
Not all quantification is either objectual or substitutional [Williamson]
     Full Idea: We should not assume that all quantification is either objectual or substitutional.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], p.262)
     A reaction: [see Prior 1971:31-4] He talks of quantifying into sentence position.
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson]
     Full Idea: If quantification into sentence position is substitutional, then it is metaphysically neutral. A substitutionally interpreted 'existential' quantification is semantically equivalent to the disjunction (possibly infinite) of its substitution instances.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2)
     A reaction: Is it not committed to the disjunction, just as the objectual reading commits to objects? Something must make the disjunction true. Or is it too verbal to be about reality?
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Not all quantification is objectual or substitutional [Williamson]
     Full Idea: We should not assume that all quantification is objectual or substitutional.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2)
6. Mathematics / A. Nature of Mathematics / 2. Geometry
Klein summarised geometry as grouped together by transformations [Quine]
     Full Idea: Felix Klein's so-called 'Erlangerprogramm' in geometry involved characterizing the various branches of geometry by what transformations were irrelevant to each.
     From: Willard Quine (Natural Kinds [1969], p.137)
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
Mass terms just concern spread, but other terms involve both spread and individuation [Quine]
     Full Idea: 'Yellow' and 'water' are mass terms, concerned only with spread; 'apple' and 'square' are terms of divided reference, concerned with both spread and individuation.
     From: Willard Quine (Natural Kinds [1969], p.124)
     A reaction: Would you like some apple? Pass me that water. It is helpful to see that it is a requirement of 'individuation' that is missing from terms for stuff.
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson]
     Full Idea: If one uses 'fact' as a noun, the question arises why one cannot name the fact that dogs bark 'Mary'.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2 n10)
     A reaction: What an intriguing thought! Must all nouns pass this test? 'The courage of the regiment was called Alfred'?
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
Once we know the mechanism of a disposition, we can eliminate 'similarity' [Quine]
     Full Idea: Once we can legitimize a disposition term by defining the relevant similarity standard, we are apt to know the mechanism of the disposition, and so by-pass the similarity.
     From: Willard Quine (Natural Kinds [1969], p.135)
     A reaction: I love mechanisms, but can we characterise mechanisms without mentioning powers and dispositions? Quine's dream is to eliminate 'similarity'.
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / d. Dispositions as occurrent
We judge things to be soluble if they are the same kind as, or similar to, things that do dissolve [Quine]
     Full Idea: Intuitively, what qualifies a thing as soluble though it never gets into water is that it is of the same kind as the things that actually did or will dissolve; it is similar to them.
     From: Willard Quine (Natural Kinds [1969], p.130)
     A reaction: If you can judge that the similar things 'will' dissolve, you can cut to the chase and judge that this thing will dissolve.
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
Our ability to count objects across possibilities favours the Barcan formulas [Williamson]
     Full Idea: Consideration of our ability to count objects across possibilities strongly favour both the Barcan formula and its converse.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3)
     A reaction: I'm not sure that I can understand counting objects across possibilities. The objects themselves are possibilia, and possibilia seem to include unknowns. The unexpected is highly possible.
14. Science / A. Basis of Science / 3. Experiment
Science is common sense, with a sophisticated method [Quine]
     Full Idea: Sciences differ from common sense only in the degree of methodological sophistication.
     From: Willard Quine (Natural Kinds [1969], p.129)
     A reaction: Science is normal thinking about the world, but it is teamwork, with the bar set very high.
14. Science / C. Induction / 1. Induction
Induction is just more of the same: animal expectations [Quine]
     Full Idea: Induction is essentially only more of the same: animal expectation or habit formation.
     From: Willard Quine (Natural Kinds [1969], p.125)
     A reaction: My working definition of induction is 'learning from experience', but that doesn't disagree with Quine. Lipton has a richer account of different types of induction. Quine's point is that it rests on resemblance.
Induction relies on similar effects following from each cause [Quine]
     Full Idea: Induction expresses our hopes that similar causes will have similar effects.
     From: Willard Quine (Natural Kinds [1969], p.125)
     A reaction: Some top philosophers are also top teachers, and Quine was one of them, in his writings. He boils it down for the layman. Once again, he is pointing to the fundamental role of the similarity relation.
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
Grue is a puzzle because the notions of similarity and kind are dubious in science [Quine]
     Full Idea: What makes Goodman's example a puzzle is the dubious scientific standing of a general notion of similarity, or of kind.
     From: Willard Quine (Natural Kinds [1969], p.116)
     A reaction: Illuminating. It might be best expressed as revealing a problem with sortal terms, as employed by Geach, or by Wiggins. Grue is a bit silly, but sortals are subject to convention and culture. 'Natural' properties seem needed.
15. Nature of Minds / C. Capacities of Minds / 7. Seeing Resemblance
General terms depend on similarities among things [Quine]
     Full Idea: The usual general term, whether a common noun or a verb or an adjective, owes its generality to some resemblance among the things referred to.
     From: Willard Quine (Natural Kinds [1969], p.116)
     A reaction: Quine has a nice analysis of the basic role of similarity in a huge amount of supposedly strict scientific thought.
To learn yellow by observation, must we be told to look at the colour? [Quine]
     Full Idea: According to the 'respects' view, our learning of yellow by ostension would have depended on our first having been told or somehow apprised that it was going to be a question of color.
     From: Willard Quine (Natural Kinds [1969], p.122)
     A reaction: Quine suggests there is just one notion of similarity, and respects can be 'abstracted' afterwards. Even the ontologically ruthless Quine admits psychological abstraction!
Standards of similarity are innate, and the spacing of qualities such as colours can be mapped [Quine]
     Full Idea: A standard of similarity is in some sense innate. The spacing of qualities (such as red, pink and blue) can be explored and mapped in the laboratory by experiments. They are needed for all learning.
     From: Willard Quine (Natural Kinds [1969], p.123)
     A reaction: This reasserts Hume's original point in more scientific terms. It is one of the undeniable facts about our perceptions of qualities and properties, no matter how platonist your view of universals may be.
Similarity is just interchangeability in the cosmic machine [Quine]
     Full Idea: Things are similar to the extent that they are interchangeable parts of the cosmic machine.
     From: Willard Quine (Natural Kinds [1969], p.134)
     A reaction: This is a major idea for Quine, because it is a means to gradually eliminate the fuzzy ideas of 'resemblance' or 'similarity' or 'natural kind' from science. I love it! Two tigers are same insofar as they are substitutable.
19. Language / C. Assigning Meanings / 3. Predicates
Projectible predicates can be universalised about the kind to which they refer [Quine]
     Full Idea: 'Projectible' predicates are predicates F and G whose shared instances all do count, for whatever reason, towards confirmation of 'All F are G'. ….A projectible predicate is one that is true of all and only the things of a kind.
     From: Willard Quine (Natural Kinds [1969], p.115-6)
     A reaction: Both Quine and Goodman are infuriatingly brief about the introduction of this concept. 'Red' is true of all ripe tomatoes, but not 'only' of them. Hardly any predicates are true only of one kind. Is that a scholastic 'proprium'?
23. Ethics / F. Existentialism / 1. Existentialism
For existentialists the present is empty without the pull of the future and weight of the past [May]
     Full Idea: For the existential view of lived time, the present would be empty if it were not for the pull of the future and the weight of the past that give it its character.
     From: Todd May (Gilles Deleuze [2006], 2.05)
     A reaction: Bergson seems to be important in developing this idea, though I suspect that Kierkegaard is a source.
24. Political Theory / D. Ideologies / 6. Liberalism / a. Liberalism basics
Liberal theory starts from the governed, not from the governor [May]
     Full Idea: For liberal theory, it is the individual to be governed, not the governor, who is the starting point.
     From: Todd May (Gilles Deleuze [2006], 4.02)
     A reaction: I'm inclined to see this as the single-handed achievement of Thomas Hobbes, who starts from the need of citizens to secure their contracts. Plato's society starts from entrepreneurs, but their need for a ruler seems a priori.
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
Quine probably regrets natural kinds now being treated as essences [Quine, by Dennett]
     Full Idea: The concept of natural kinds was reintroduced by Quine, who may now regret the way it has become a stand-in for the dubious but covertly popular concept of essences.
     From: report of Willard Quine (Natural Kinds [1969]) by Daniel C. Dennett - Consciousness Explained 12.2 n2
     A reaction: He is right that Quine would regret it, and he is right that we can't assume that there are necessary essences just because there seem to be stable natural kinds, but personally I am an essentialist, so I'm not that bothered.
If similarity has no degrees, kinds cannot be contained within one another [Quine]
     Full Idea: If similarity has no degrees there is no containing of kinds within broader kinds. If colored things are a kind, they are similar, but red things are too narrow for a kind. If red things are a kind, colored things are not similar, and it's too broad.
     From: Willard Quine (Natural Kinds [1969], p.118)
     A reaction: [compressed] I'm on Quine's side with this. We glibly talk of 'kinds', but the criteria for sorting things into kinds seems to be a mess. Quine goes on to offer a better account than the (diadic, yes-no) one rejected here.
Comparative similarity allows the kind 'colored' to contain the kind 'red' [Quine]
     Full Idea: With the triadic relation of comparative similarity, kinds can contain one another, as well as overlapping. Red and colored things can both count as kinds. Colored things all resemble one another, even though less than red things do.
     From: Willard Quine (Natural Kinds [1969], p.119)
     A reaction: [compressed] Quine claims that comparative similarity is necessary for kinds - that there be some 'foil' in a similarity - that A is more like C than B is.
26. Natural Theory / B. Natural Kinds / 3. Knowing Kinds
You can't base kinds just on resemblance, because chains of resemblance are a muddle [Quine]
     Full Idea: If kinds are based on similarity, this has the Imperfect Community problem. Red round, red wooden and round wooden things all resemble one another somehow. There may be nothing outside the set resembling them, so it meets the definition of kind.
     From: Willard Quine (Natural Kinds [1969], p.120)
     A reaction: [ref. to Goodman 'Structure' 2nd 163- , which attacks Carnap on this] This suggests an invocation of Wittgenstein's family resemblance, which won't be much help for natural kinds.
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
It is hard to see how regularities could be explained [Quine]
     Full Idea: Why there have been regularities is an obscure question, for it is hard to see what would count as an answer.
     From: Willard Quine (Natural Kinds [1969], p.126)
     A reaction: This is the standard pessimism of the 20th century Humeans, but it strikes me as comparable to the pessimism about science found in Locke and Hume. Regularities are explained all the time by scientists, though the lowest level may be hopeless.
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
A thing can't be the only necessary existent, because its singleton set would be as well [Williamson]
     Full Idea: That there is just one necessary existent is surely false, for if x is a necessary, {x} is a distinct necessary existent.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §1)
     A reaction: You would have to believe that sets actually 'exist' to accept this, but it is a very neat point.