Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'Mechanisms' and 'Elusive Knowledge'

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


13 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]
     Full Idea: The Axiom of Reducibility is self-effacing: if it is true, the ramification it is meant to cope with was pointless to begin with.
     From: Willard Quine (Introduction to Russell's Theory of Types [1967], p.152), quoted by Penelope Maddy - Naturalism in Mathematics I.1
     A reaction: Maddy says the rejection of Reducibility collapsed the ramified theory of types into the simple theory.
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
The timid student has knowledge without belief, lacking confidence in their correct answer [Lewis]
     Full Idea: I allow knowledge without belief, as in the case of the timid student who knows the answer but has no confidence that he has it right, and so does not believe what he knows.
     From: David Lewis (Elusive Knowledge [1996], p.429)
     A reaction: [He cites Woozley 1953 for the timid student] I don't accept this example (since my views on knowledge are rather traditional, I find). Why would the student give that answer if they didn't believe it? Sustained timid correctness never happens.
11. Knowledge Aims / B. Certain Knowledge / 3. Fallibilism
To say S knows P, but cannot eliminate not-P, sounds like a contradiction [Lewis]
     Full Idea: If you claim that S knows that P, and yet grant that S cannot eliminate a certain possibility of not-P, it certainly seems as if you have granted that S does not after all know that P. To speak of fallible knowledge just sounds contradictory.
     From: David Lewis (Elusive Knowledge [1996], p.419)
     A reaction: Starting from this point, fallibilism seems to be a rather bold move. The only sensible response seems to be to relax the requirement that not-P must be eliminable. Best: in one epistemic context P, in another not-P.
13. Knowledge Criteria / A. Justification Problems / 1. Justification / b. Need for justification
Justification is neither sufficient nor necessary for knowledge [Lewis]
     Full Idea: I don't agree that the mark of knowledge is justification, first because justification isn't sufficient - your true opinion that you will lose the lottery isn't knowledge, whatever the odds; and also not necessary - for what supports perception or memory?
     From: David Lewis (Elusive Knowledge [1996])
     A reaction: I don't think I agree. The point about the lottery is that an overwhelming reason will never get you to knowing that you won't win. But good reasons are coherent, not statistical. If perceptions are dubious, justification must be available.
13. Knowledge Criteria / C. External Justification / 6. Contextual Justification / a. Contextualism
Knowing is context-sensitive because the domain of quantification varies [Lewis, by Cohen,S]
     Full Idea: The context-sensitivity of 'knows' is a function of contextual restrictions on the domain of quantification.
     From: report of David Lewis (Elusive Knowledge [1996]) by Stewart Cohen - Contextualism Defended p.68
     A reaction: I think the shifting 'domain of quantification' is one of the most interesting features of ordinary talk. Or, more plainly. 'what are you actually talking about?' is the key question in any fruitful dialogue. Sophisticated speakers tacitly shift domain.
We have knowledge if alternatives are eliminated, but appropriate alternatives depend on context [Lewis, by Cohen,S]
     Full Idea: S knows P if S's evidence eliminates every alternative. But the nature of the alternatives depends on context. So for Lewis, the context sensitivity of 'knows' is a function of contextual restrictions ln the domain of quantification.
     From: report of David Lewis (Elusive Knowledge [1996]) by Stewart Cohen - Contextualism Defended (and reply) 1
     A reaction: A typical modern attempt to 'regiment' a loose term like 'context'. That said, I like the idea. I'm struck by how the domain varies during a conversation (as in 'what we are talking about'). Domains standardly contain 'objects', though.
14. Science / B. Scientific Theories / 2. Aim of Science
Empiricist theories are sets of laws, which give explanations and reductions [Glennan]
     Full Idea: In the empiricist tradition theories were understood to be deductive closures of sets of laws, explanations were understood as arguments from covering laws, and reduction was understood as a deductive relationship between laws of different theories.
     From: Stuart Glennan (Mechanisms [2008], 'Intro')
     A reaction: A lovely crisp summary of the whole tradition of philosophy of science from Comte through to Hempel. Mechanism and essentialism are the new players in the game.
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
Modern mechanism need parts with spatial, temporal and function facts, and diagrams [Glennan]
     Full Idea: Modern champions of mechanisms say models should identify both the parts and their spatial, temporal and functional organisation, ...and the practical importance of diagrams in addition to or in place of linguistic representations of mechanisms.
     From: Stuart Glennan (Mechanisms [2008], 'Discover')
     A reaction: Apparently chemists obtain much more refined models by using mathematics than they did by diagrams or 3D models (let alone verbal descriptions). For that reason, I'm thinking that 'model' might be a better term than 'mechanism'.
Mechanistic philosophy of science is an alternative to the empiricist law-based tradition [Glennan]
     Full Idea: To a significant degree, a mechanistic philosophy of science can be seen as an alternative to an earlier logical empiricist tradition in philosophy of science that gave pride of place to laws of nature.
     From: Stuart Glennan (Mechanisms [2008], 'Intro')
     A reaction: Lovely! Someone who actually spells out what's going on here. Most philosophers are far too coy about explaining what their real game is. Mechanism is fine in chemistry and biology. How about in 'mathematical' physics, or sociology?
Mechanisms are either systems of parts or sequences of activities [Glennan]
     Full Idea: There are two sorts of mechanisms: systems consist of collections of parts that interact to produce some behaviour, and processes are sequences of activities which produce some outcome.
     From: Stuart Glennan (Mechanisms [2008], 'Intro')
     A reaction: [compressed] The second one is important because it is more generic, and under that account all kinds the features of the world that need to be explained can be subsumed. E.g. hyperinflation in an economy is a 'mechanism'.
17th century mechanists explained everything by the kinetic physical fundamentals [Glennan]
     Full Idea: 17th century mechanists said that interactions governed by chemical, electrical or gravitational forces would have to be explicable in terms of the operation of some atomistic (or corpuscular) kinetic mechanism.
     From: Stuart Glennan (Mechanisms [2008], 'Intro')
     A reaction: Glennan says science has rejected this, so modern mechanists do not reduce mechanisms to anything in particular.
Unlike the lawlike approach, mechanistic explanation can allow for exceptions [Glennan]
     Full Idea: One of the advantages of the move from nomological to mechanistic modes of explanation is that the latter allows for explanations involving exception-ridden generalizations.
     From: Stuart Glennan (Mechanisms [2008], 'regular')
     A reaction: The lawlike approach has endless problems with 'ceteris paribus' ('all things being equal') laws, where specifying all the other 'things' seems a bit tricky.
26. Natural Theory / C. Causation / 4. Naturalised causation
Since causal events are related by mechanisms, causation can be analysed in that way [Glennan]
     Full Idea: Causation can be analyzed in terms of mechanisms because (except for fundamental causal interactions) causally related events will be connected by intervening mechanisms.
     From: Stuart Glennan (Mechanisms [2008], 'causation')
     A reaction: This won't give us the metaphysics of causation (which concerns the fundamentals), but this strikes me as a very coherent and interesting proposal. He mentions electron interaction as non-mechanistic causation.