23 ideas
10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
Full Idea: Impredicative Definitions are definitions of an object by reference to the totality to which the object itself (and perhaps also things definable only in terms of that object) belong. | |
From: Kurt Gödel (Russell's Mathematical Logic [1944], n 13) |
15557 | Verisimilitude has proved hard to analyse, and seems to have several components [Lewis] |
Full Idea: The analysis of verisimilitude has been much debated. Some plausible analyses have failed disastrously, others conflict with one another. One conclusion is that verisimilitude seems to consist of several distinguishable virtues. | |
From: David Lewis (Causal Explanation [1986], V n7) | |
A reaction: Presumably if it is complex, you can approach truth in one respect while receding from it in another. It seems clear enough if you are calculating pi by some iterative process. |
21716 | In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B] |
Full Idea: In the superior realist and simple theory of types, the place of the axiom of reducibility is not taken by the axiom of classes, Zermelo's Aussonderungsaxiom. | |
From: report of Kurt Gödel (Russell's Mathematical Logic [1944], p.140-1) by Bernard Linsky - Russell's Metaphysical Logic 6.1 n3 | |
A reaction: This is Zermelo's Axiom of Separation, but that too is not an axiom of standard ZFC. |
10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |
Full Idea: 'Mathematical Logic' is a precise and complete formulation of formal logic, and is both a section of mathematics covering classes, relations, symbols etc, and also a science prior to all others, with ideas and principles underlying all sciences. | |
From: Kurt Gödel (Russell's Mathematical Logic [1944], p.447) | |
A reaction: He cites Leibniz as the ancestor. In this database it is referred to as 'theory of logic', as 'mathematical' seems to be simply misleading. The principles of the subject are standardly applied to mathematical themes. |
10042 | Reference to a totality need not refer to a conjunction of all its elements [Gödel] |
Full Idea: One may, on good grounds, deny that reference to a totality necessarily implies reference to all single elements of it or, in other words, that 'all' means the same as an infinite logical conjunction. | |
From: Kurt Gödel (Russell's Mathematical Logic [1944], p.455) |
10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |
Full Idea: In order to be sure that new expression can be translated into expressions not containing them, it is necessary to have a survey of all possible expressions, and this can be furnished only by syntactical considerations. | |
From: Kurt Gödel (Russell's Mathematical Logic [1944], p.448) | |
A reaction: [compressed] |
10046 | The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel] |
Full Idea: The generalized Continuum Hypothesis says that there exists no cardinal number between the power of any arbitrary set and the power of the set of its subsets. | |
From: Kurt Gödel (Russell's Mathematical Logic [1944], p.464) |
10039 | Some arithmetical problems require assumptions which transcend arithmetic [Gödel] |
Full Idea: It has turned out that the solution of certain arithmetical problems requires the use of assumptions essentially transcending arithmetic. | |
From: Kurt Gödel (Russell's Mathematical Logic [1944], p.449) | |
A reaction: A nice statement of the famous result, from the great man himself, in the plainest possible English. |
10043 | Mathematical objects are as essential as physical objects are for perception [Gödel] |
Full Idea: Classes and concepts may be conceived of as real objects, ..and are as necessary to obtain a satisfactory system of mathematics as physical bodies are necessary for a satisfactory theory of our sense perceptions, with neither case being about 'data'. | |
From: Kurt Gödel (Russell's Mathematical Logic [1944], p.456) | |
A reaction: Note that while he thinks real objects are essential for mathematics, be may not be claiming the same thing for our knowledge of logic. If logic contains no objects, then how could mathematics be reduced to it, as in logicism? |
10045 | Impredicative definitions are admitted into ordinary mathematics [Gödel] |
Full Idea: Impredicative definitions are admitted into ordinary mathematics. | |
From: Kurt Gödel (Russell's Mathematical Logic [1944], p.464) | |
A reaction: The issue is at what point in building an account of the foundations of mathematics (if there be such, see Putnam) these impure definitions should be ruled out. |
15554 | A disposition needs a causal basis, a property in a certain causal role. Could the disposition be the property? [Lewis] |
Full Idea: I take for granted that a disposition requires a causal basis: one has the disposition iff one has a property that occupies a certain causal role. Shall we then identify the disposition with its basis? That makes the disposition cause its manifestations. | |
From: David Lewis (Causal Explanation [1986], III) | |
A reaction: Introduce the concept of a 'power' and I see no problem with his proposal. Fundamental dispositions are powerful, and provide the causal basis for complex dispositions. Something had better be powerful. |
15560 | We can explain a chance event, but can never show why some other outcome did not occur [Lewis] |
Full Idea: I think we are right to explain chance events, yet we are right also to deny that we can ever explain why a chance process yields one outcome rather than another. We cannot explain why one event happened rather than the other. | |
From: David Lewis (Causal Explanation [1986], VI) | |
A reaction: This misses out an investigation which slowly reveals that a 'chance' event wasn't so chancey after all. Failure to explain confirms chance, so the judgement of chance shouldn't block attempts to explain. |
15559 | Does a good explanation produce understanding? That claim is just empty [Lewis] |
Full Idea: It is said that a good explanation ought to produce understanding, ...but this just says that a good explanation produces possession of that which it provide, so this desideratum is empty. It adds nothing to our understanding of explanation. | |
From: David Lewis (Causal Explanation [1986], V) | |
A reaction: I am not convinced by this dismissal. If you are looking for a test of whether an explanation is good, the announcement that the participants feel they have achieved a good understanding sounds like success. |
15556 | Science may well pursue generalised explanation, rather than laws [Lewis] |
Full Idea: The pursuit of general explanations may be very much more widespread in science than the pursuit of general laws. | |
From: David Lewis (Causal Explanation [1986], IV) | |
A reaction: Nice. I increasingly think that the main target of all enquiry is ever-widening generality, with no need to aspire to universality. |
15558 | A good explanation is supposed to show that the event had to happen [Lewis] |
Full Idea: It is said that a good explanation ought to show that the explanandum event had to happen, given the laws and circumstances. | |
From: David Lewis (Causal Explanation [1986], V) | |
A reaction: I cautiously go along with this view. Given that there are necessities in nature (a long story), we should aim to reveal them. There is no higher aspiration open to us than successful explanation. Lewis says good explanations can reveal falsehoods. |
4809 | Lewis endorses the thesis that all explanation of singular events is causal explanation [Lewis, by Psillos] |
Full Idea: Lewis endorses the thesis that all explanation of singular events is causal explanation. | |
From: report of David Lewis (Causal Explanation [1986]) by Stathis Psillos - Causation and Explanation p.237 | |
A reaction: It is hard to challenge this. The assumption is that only nomological and causal explanations are possible, and the former are unobtainable for singular events. |
14321 | To explain an event is to provide some information about its causal history [Lewis] |
Full Idea: Here is my main thesis: to explain an event is to provide some information about its causal history. | |
From: David Lewis (Causal Explanation [1986], II) | |
A reaction: The obvious thought is that you might provide some tiny and barely relevant part of that causal history, such as a bird perched on the Titanic's iceberg. So how do we distinguish the 'important' causal information? |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
Full Idea: Archelaus was the first person to say that the universe is boundless. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
15555 | Explaining match lighting in general is like explaining one lighting of a match [Lewis] |
Full Idea: Explaining why struck matches light in general is not so very different from explaining why some particular struck match lit. ...We may generalize modestly, without laying claim to universality. | |
From: David Lewis (Causal Explanation [1986], IV) | |
A reaction: A suggestive remark, since particular causation and general causation seem far apart, but Lewis suggests that the needs of explanation bring them together. Lawlike and unlawlike explanations? |
15551 | Ways of carving causes may be natural, but never 'right' [Lewis] |
Full Idea: There is no one right way - though there may be more or less natural ways - of carving up a causal history. | |
From: David Lewis (Causal Explanation [1986], I) | |
A reaction: This invites a distinction between the 'natural' causes and the 'real' causes. Presumably if any causes were 'real', they would have a better claim to be 'right'. Is an earthquake the 'real' (correct?) cause of a tsunami? |
15552 | We only pick 'the' cause for the purposes of some particular enquiry. [Lewis] |
Full Idea: Disagreement about 'the' cause is only disagreement about which part of the causal history is most salient for the purposes of some particular inquiry. | |
From: David Lewis (Causal Explanation [1986], I) | |
A reaction: I don't believe this. In the majority of cases I see the cause of an event, without having any interest in any particular enquiry. It is just so obvious that there isn't even a disagreement. Maybe there is only one sensible enquiry. |
15553 | Causal dependence is counterfactual dependence between events [Lewis] |
Full Idea: I take causal dependence to be counterfactual dependence, of a suitably back-tracking sort, between distinct events. | |
From: David Lewis (Causal Explanation [1986], I) | |
A reaction: He quotes Hume in support. 'Counterfactual dependence' strikes me as too vague, or merely descriptive, for the job of explanation. 'If...then' is a logical relationship; what is it in nature that justifies the dependency? |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |