10 ideas
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. |
12739 | If we are dreaming, it is sufficient that the events are coherent, and obey laws [Leibniz] |
Full Idea: Skeptics may doubt the truth of things, and if it pleases them to call the things that occur to us dreams, it suffices for these dreams to be in agreement with each other, and to obey certain laws. | |
From: Gottfried Leibniz (On Perceptions [1680], A6.4.1398), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 7 | |
A reaction: Leibniz flirted a great deal with phenomenalism throughout the middle of his career, as charted by Garber. Descartes made similar points. It is really only Berkeley who took this idea seriously. |
12738 | Successful prediction shows proficiency in nature [Leibniz] |
Full Idea: He who can finally make predictions with success must be said to have become sufficiently proficient in nature. | |
From: Gottfried Leibniz (On Perceptions [1680], A6.4.1398), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 7 | |
A reaction: Is prediction achieved by knowledge of laws, or knowledge of essences and powers? The trouble with most laws is that they permit exceptions. 'Things fall, unless prevented' etc. |
8430 | Causal statements are used to explain, to predict, to control, to attribute responsibility, and in theories [Kim] |
Full Idea: The function of causal statements is 1) to explain events, 2) for predictive usefulness, 3) to help control events, 4) with agents, to attribute moral responsibility, 5) in physical theory. We should judge causal theories by how they account for these. | |
From: Jaegwon Kim (Causes and Counterfactuals [1973], p.207) | |
A reaction: He suggests that Lewis's counterfactual theory won't do well on this test. I think the first one is what matters. Philosophy aims to understand, and that is achieved through explanation. Regularity and counterfactual theories explain very little. |
8396 | Many counterfactuals have nothing to do with causation [Kim, by Tooley] |
Full Idea: Kim has pointed out that there are a number of counterfactuals that have nothing to do with causation. If John marries Mary, then if John had not existed he would not have married Mary, but that is not the cause of their union. | |
From: report of Jaegwon Kim (Causes and Counterfactuals [1973], 5.2) by Michael Tooley - Causation and Supervenience | |
A reaction: One might not think that this mattered, but it leaves the problem of distinguishing between the causal counterfactuals and the rest (and you mustn't mention causation when you are doing it!). |
8429 | Counterfactuals can express four other relations between events, apart from causation [Kim] |
Full Idea: Counterfactuals can express 'analytical' dependency, or the fact that one event is part of another, or an action done by doing another, or (most interestingly) an event can determine another without causally determining it. | |
From: Jaegwon Kim (Causes and Counterfactuals [1973], p.205) | |
A reaction: [Kim gives example of each case] Counterfactuals can even express a relation that involves no dependency. Or they might just involve redescription, as in 'If Scott were still alive, then the author of "Waverley" would be too'. |
8428 | Causation is not the only dependency relation expressed by counterfactuals [Kim] |
Full Idea: The sort of dependency expressed by counterfactual relations is considerably broader than strictly causal dependency, and causal dependency is only one among the heterogeneous group of dependency relationships counterfactuals can express. | |
From: Jaegwon Kim (Causes and Counterfactuals [1973], p.205) | |
A reaction: In 'If pigs could fly, one and one still wouldn't make three' there isn't even a dependency. Kim has opened up lines of criticism which make the counterfactual analysis of causation look very implausible to me. |
4781 | Many counterfactual truths do not imply causation ('if yesterday wasn't Monday, it isn't Tuesday') [Kim, by Psillos] |
Full Idea: Kim gives a range of examples of counterfactual dependence without causation, as: 'if yesterday wasn't Monday, today wouldn't be Tuesday', and 'if my sister had not given birth, I would not be an uncle'. | |
From: report of Jaegwon Kim (Causes and Counterfactuals [1973]) by Stathis Psillos - Causation and Explanation §3.3 | |
A reaction: This is aimed at David Lewis. The objection seems like commonsense. "If you blink, the cat gets it". Causal claims involve counterfactuals, but they are not definitive of what causation is. |