Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Modal Logic within Counterfactual Logic' and 'Explaining Explanation'

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


15 ideas

1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
Paradox: why do you analyse if you know it, and how do you analyse if you don't? [Ruben]
     Full Idea: The alleged paradox of analysis asserts that if one knew what was involved in the concept, one would not need the analysis; if one did not know what was involved in the concept, no analysis could be forthcoming.
     From: David-Hillel Ruben (Explaining Explanation [1990], Ch 1)
     A reaction: This is the sort of problem that seemed to bug Plato a lot. You certainly can't analyse something if you don't understand it, but it seems obvious that you can illuminatingly analyse something of which you have a reasonable understanding.
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
In S5 matters of possibility and necessity are non-contingent [Williamson]
     Full Idea: In system S5 matters of possibility and necessity are always non-contingent.
     From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 3)
     A reaction: This will be because if something is possible in one world (because it can be seen to be true in some possible world) it will be possible for all worlds (since they can all see that world in S5).
10. Modality / A. Necessity / 1. Types of Modality
Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation [Williamson]
     Full Idea: Modal thinking is logically equivalent to a type of counterfactual thinking. ...The necessary is that which is counterfactually implied by its own negation; the possible is that which does not counterfactually imply its own negation.
     From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 1)
     A reaction: I really like this, because it builds modality on ordinary imaginative thinking. He says you just need to grasp counterfactuals, and also negation and absurdity, and you can then understand necessity and possibility. We can all do that.
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
Strict conditionals imply counterfactual conditionals: □(A⊃B)⊃(A□→B) [Williamson]
     Full Idea: The strict conditional implies the counterfactual conditional: □(A⊃B) ⊃ (A□→B) - suppose that A would not have held without B holding too; then if A had held, B would also have held.
     From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 1)
     A reaction: [He then adds a reading of his formula in terms of possible worlds] This sounds rather close to modus ponens. If A implies B, and A is actually the case, what have you got? B!
10. Modality / B. Possibility / 9. Counterfactuals
Counterfactual conditionals transmit possibility: (A□→B)⊃(◊A⊃◊B) [Williamson]
     Full Idea: The counterfactual conditional transmits possibility: (A□→B) ⊃ (◊A⊃◊B). Suppose that if A had held, B would also have held; the if it is possible for A to hold, it is also possible for B to hold.
     From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 1)
10. Modality / C. Sources of Modality / 1. Sources of Necessity
Rather than define counterfactuals using necessity, maybe necessity is a special case of counterfactuals [Williamson, by Hale/Hoffmann,A]
     Full Idea: Instead of regarding counterfactuals as conditionals restricted to a range of possible worlds, we can define the necessity operator by means of counterfactuals. Metaphysical necessity is a special case of ordinary counterfactual thinking.
     From: report of Timothy Williamson (Modal Logic within Counterfactual Logic [2010]) by Bob Hale/ Aviv Hoffmann - Introduction to 'Modality' 2
     A reaction: [compressed] I very much like Williamson's approach, of basing these things on the ordinary way that ordinary people think. To me it is a welcome inclusion of psychology into metaphysics, which has been out in the cold since Frege.
14. Science / A. Basis of Science / 4. Prediction
The 'symmetry thesis' says explanation and prediction only differ pragmatically [Ruben]
     Full Idea: The 'symmetry thesis' holds that there is only a pragmatic, or epistemic, but no logical, difference between explaining and predicting. …The only difference is in what the producer of the deduction knows just before the deduction is produced.
     From: David-Hillel Ruben (Explaining Explanation [1990], Ch 4)
     A reaction: He cites Mill has holding this view. It seems elementary to me that I can explain something but not predict it, or predict it but not explain it. The latter case is just Humean habitual induction.
14. Science / D. Explanation / 1. Explanation / a. Explanation
Usually explanations just involve giving information, with no reference to the act of explanation [Ruben]
     Full Idea: Plato, Aristotle, Mill and Hempel believed that an explanatory product can be characterized solely in terms of the kind of information it conveys, no reference to the act of explaining being required.
     From: David-Hillel Ruben (Explaining Explanation [1990], Ch 1)
     A reaction: Achinstein says it's about acts, because the same information could be an explanation, or a critique, or some other act. Ruben disagrees, and so do I.
14. Science / D. Explanation / 1. Explanation / c. Direction of explanation
An explanation needs the world to have an appropriate structure [Ruben]
     Full Idea: Objects or events in the world must really stand in some appropriate 'structural' relation before explanation is possible.
     From: David-Hillel Ruben (Explaining Explanation [1990], Ch 7)
     A reaction: An important point. These days people talk of 'dependence relations'. Some sort of structure to reality (mainly imposed by the direction of time and causation, I would have thought) is a prerequisite of finding a direction to explanation.
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Most explanations are just sentences, not arguments [Ruben]
     Full Idea: Typically, full explanations are not arguments, but singular sentences, or conjunctions thereof.
     From: David-Hillel Ruben (Explaining Explanation [1990], Ch 6)
     A reaction: This is mainly objecting to the claim that explanations are deductions from laws and facts. I agree with Ruben. Explanations are just information, I think. Of course, Aristotle's demonstrations are arguments.
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
The causal theory of explanation neglects determinations which are not causal [Ruben]
     Full Idea: The fault of the causal theory of explanation was to overlook the fact that there are more ways of making something what it is or being responsible for it than by causing it. …Causation is a particular type of determinative relation.
     From: David-Hillel Ruben (Explaining Explanation [1990], Ch 7)
     A reaction: The only thing I can think of is that certain abstract facts are 'determined' by other abtract facts, without being 'caused' by them. A useful word.
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
Reducing one science to another is often said to be the perfect explanation [Ruben]
     Full Idea: The reduction of one science to another has often been taken as paradigmatic of explanation.
     From: David-Hillel Ruben (Explaining Explanation [1990], Ch 5)
     A reaction: It seems fairly obvious that the total reduction of chemistry to physics would involve the elimination of all the current concepts of chemistry. Could this possibly enhance our understanding of chemistry? I would have thought not.
14. Science / D. Explanation / 4. Explanation Doubts / a. Explanation as pragmatic
Facts explain facts, but only if they are conceptualised or named appropriately [Ruben]
     Full Idea: Facts explain facts only when the features and the individuals the facts are about are appropriately conceptualized or named.
     From: David-Hillel Ruben (Explaining Explanation [1990], Ch 5)
     A reaction: He has a nice example that 'Cicero's speeches stop in 43 BCE' isn't explained by 'Tully died then', if you don't know that Cicero was Tully. Ruben is not defending pragmatic explanation, but to this extent he must be right.
15. Nature of Minds / C. Capacities of Minds / 2. Imagination
Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson]
     Full Idea: Imagination can be made to look cognitively worthless. Once we recall its fallible but vital role in evaluating counterfactual conditionals, we should be more open to the idea that it plays such a role in evaluating claims of possibility and necessity.
     From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 6)
     A reaction: I take this to be a really important idea, because it establishes the importance of imagination within the formal framework of modern analytic philosopher (rather than in the whimsy of poets and dreamers).
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
     Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom.
     From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88)
     A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate').