14 ideas
| 17082 | 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. |
| 17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
| Full Idea: Zermelo's paper sets out to show that the standard set-theoretic axioms (what he calls the 'constitutive axioms', thus the ZF axioms minus the axiom of infinity) have an unending sequence of different models, thus that they are non-categorical. | |
| From: report of Ernst Zermelo (On boundary numbers and domains of sets [1930]) by Michael Hallett - Introduction to Zermelo's 1930 paper p.1209 | |
| A reaction: Hallett says later that Zermelo is working with second-order set theory. The addition of an Axiom of Infinity seems to have aimed at addressing the problem, and the complexities of that were pursued by Gödel. |
| 13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
| Full Idea: Zermelo included Replacement in 1930, after it was noticed that the sequence of power sets was needed, and Replacement gave the ordinal form of the well-ordering theorem, and justification for transfinite recursion. | |
| From: report of Ernst Zermelo (On boundary numbers and domains of sets [1930]) by Penelope Maddy - Believing the Axioms I §1.8 | |
| A reaction: Maddy says that this axiom suits the 'limitation of size' theorists very well, but is not so good for the 'iterative conception'. |
| 17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
| Full Idea: Two opposite tendencies of thought, the idea of creative advance and of collection and completion (underlying the Kantian 'antinomies') find their symbolic representation and their symbolic reconciliation in the transfinite numbers based on well-ordering. | |
| From: Ernst Zermelo (On boundary numbers and domains of sets [1930], §5) | |
| A reaction: [a bit compressed] It is this sort of idea, from one of the greatest set-theorists, that leads philosophers to think that the philosophy of mathematics may offer solutions to metaphysical problems. As an outsider, I am sceptical. |
| 17945 | Forms are not a theory of universals, but an attempt to explain how predication is possible [Nehamas] |
| Full Idea: The theory of Forms is not a theory of universals but a first attempt to explain how predication, the application of a single term to many objects - now considered one of the most elementary operations of language - is possible. | |
| From: Alexander Nehamas (Introduction to 'Virtues of Authenticity' [1999], p.xxvii) |
| 17946 | Only Tallness really is tall, and other inferior tall things merely participate in the tallness [Nehamas] |
| Full Idea: Only Tallness and nothing else really is tall; everything else merely participates in the Forms and, being excluded from the realm of Being, belongs to the inferior world of Becoming. | |
| From: Alexander Nehamas (Introduction to 'Virtues of Authenticity' [1999], p.xxviii) | |
| A reaction: This is just as weird as the normal view (and puzzle of participation), but at least it makes more sense of 'metachein' (partaking). |
| 17944 | 'Episteme' is better translated as 'understanding' than as 'knowledge' [Nehamas] |
| Full Idea: The Greek 'episteme' is usually translated as 'knowledge' but, I argue, closer to our notion of understanding. | |
| From: Alexander Nehamas (Introduction to 'Virtues of Authenticity' [1999], p.xvi) | |
| A reaction: He agrees with Julia Annas on this. I take it to be crucial. See the first sentence of Aristotle's 'Metaphysics'. It is explanation which leads to understanding. |
| 17087 | 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. |
| 17081 | 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. |
| 17092 | 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. |
| 17090 | 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. |
| 17094 | 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. |
| 17088 | 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. |
| 17089 | 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. |