50 ideas
| 3600 | Slow and accurate thought makes the greatest progress [Descartes] |
| Full Idea: Those who go forward only very slowly can progress much further if they always keep to the right path, than those who run and wander off it. | |
| From: René Descartes (A Discourse on Method [1637], §1.2) | |
| A reaction: Like Descartes' 'Method'. This seems to place a low value on 'nous' or intuition. |
| 3601 | Most things in human life seem vain and useless [Descartes] |
| Full Idea: Looking at the various activities and enterprises of mankind with the eye of a philosopher, there is hardly one which does not seem to me vain and useless. | |
| From: René Descartes (A Discourse on Method [1637], §1.3) | |
| A reaction: Well, yes. The obvious retort is that everything is vain and useless; or if not, then certainly metaphysics is. Useful for what? Is ornamental gardening useless, or sport? Art? What is the use of cosmology? He's right, of course. |
| 3602 | Almost every daft idea has been expressed by some philosopher [Descartes] |
| Full Idea: There is nothing one can imagine so strange or so unbelievable that has not been said by one or other of the philosophers. | |
| From: René Descartes (A Discourse on Method [1637], §2.16) | |
| A reaction: Actually I think that extensive areas of logical possibilities for existence remain totally unexplored. On the other hand, most of the metaphysical beliefs of most of the human race, including the majority of philosophers, strike me as being false. |
| 3603 | Methodical thinking is cautious, analytical, systematic, and panoramic [Descartes, by PG] |
| Full Idea: Descartes' four principles for his method of thinking are: be cautious, analyse the problem, be systematic from simple to complex, and keep an overview of the problem | |
| From: report of René Descartes (A Discourse on Method [1637], §2.18) by PG - Db (ideas) |
| 3612 | Clear and distinct conceptions are true because a perfect God exists [Descartes] |
| Full Idea: That the things we grasp very clearly and very distinctly are all true, is assured only because God is or exists, and because he is a perfect Being. | |
| From: René Descartes (A Discourse on Method [1637], §4.38) |
| 3610 | Truth is clear and distinct conception - of which it is hard to be sure [Descartes] |
| Full Idea: I take it as a general rule that the things we conceive very clearly and very distinctly are all true, but that there is merely some difficulty in properly discerning which are those which we distinctly conceive. | |
| From: René Descartes (A Discourse on Method [1637], §4.33) |
| 18194 | 'Forcing' can produce new models of ZFC from old models [Maddy] |
| Full Idea: Cohen's method of 'forcing' produces a new model of ZFC from an old model by appending a carefully chosen 'generic' set. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.4) |
| 18195 | A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy] |
| Full Idea: A possible axiom is the Large Cardinal Axiom, which asserts that there are more and more stages in the cumulative hierarchy. Infinity can be seen as the first of these stages, and Replacement pushes further in this direction. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.5) |
| 18191 | Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy] |
| Full Idea: The axiom of infinity: that there are infinite sets is to claim that completed infinite collections can be treated mathematically. In its standard contemporary form, the axioms assert the existence of the set of all finite ordinals. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.3) |
| 18193 | The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy] |
| Full Idea: In the presence of other axioms, the Axiom of Foundation is equivalent to the claim that every set is a member of some Vα. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.3) |
| 18169 | Axiom of Reducibility: propositional functions are extensionally predicative [Maddy] |
| Full Idea: The Axiom of Reducibility states that every propositional function is extensionally equivalent to some predicative proposition function. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) |
| 18168 | 'Propositional functions' are propositions with a variable as subject or predicate [Maddy] |
| Full Idea: A 'propositional function' is generated when one of the terms of the proposition is replaced by a variable, as in 'x is wise' or 'Socrates'. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: This implies that you can only have a propositional function if it is derived from a complete proposition. Note that the variable can be in either subject or in predicate position. It extends Frege's account of a concept as 'x is F'. |
| 18190 | Completed infinities resulted from giving foundations to calculus [Maddy] |
| Full Idea: The line of development that finally led to a coherent foundation for the calculus also led to the explicit introduction of completed infinities: each real number is identified with an infinite collection of rationals. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.3) | |
| A reaction: Effectively, completed infinities just are the real numbers. |
| 18171 | Cantor and Dedekind brought completed infinities into mathematics [Maddy] |
| Full Idea: Both Cantor's real number (Cauchy sequences of rationals) and Dedekind's cuts involved regarding infinite items (sequences or sets) as completed and subject to further manipulation, bringing the completed infinite into mathematics unambiguously. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1 n39) | |
| A reaction: So it is the arrival of the real numbers which is the culprit for lumbering us with weird completed infinites, which can then be the subject of addition, multiplication and exponentiation. Maybe this was a silly mistake? |
| 18172 | Infinity has degrees, and large cardinals are the heart of set theory [Maddy] |
| Full Idea: The stunning discovery that infinity comes in different degrees led to the theory of infinite cardinal numbers, the heart of contemporary set theory. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: It occurs to me that these huge cardinals only exist in set theory. If you took away that prop, they would vanish in a puff. |
| 18175 | For any cardinal there is always a larger one (so there is no set of all sets) [Maddy] |
| Full Idea: By the mid 1890s Cantor was aware that there could be no set of all sets, as its cardinal number would have to be the largest cardinal number, while his own theorem shows that for any cardinal there is a larger. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: There is always a larger cardinal because of the power set axiom. Some people regard that with suspicion. |
| 18196 | An 'inaccessible' cardinal cannot be reached by union sets or power sets [Maddy] |
| Full Idea: An 'inaccessible' cardinal is one that cannot be reached by taking unions of small collections of smaller sets or by taking power sets. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.5) | |
| A reaction: They were introduced by Hausdorff in 1908. |
| 18187 | Theorems about limits could only be proved once the real numbers were understood [Maddy] |
| Full Idea: Even the fundamental theorems about limits could not [at first] be proved because the reals themselves were not well understood. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: This refers to the period of about 1850 (Weierstrass) to 1880 (Dedekind and Cantor). |
| 18182 | The extension of concepts is not important to me [Maddy] |
| Full Idea: I attach no decisive importance even to bringing in the extension of the concepts at all. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], §107) | |
| A reaction: He almost seems to equate the concept with its extension, but that seems to raise all sorts of questions, about indeterminate and fluctuating extensions. |
| 18177 | In the ZFC hierarchy it is impossible to form Frege's set of all three-element sets [Maddy] |
| Full Idea: In the ZFC cumulative hierarchy, Frege's candidates for numbers do not exist. For example, new three-element sets are formed at every stage, so there is no stage at which the set of all three-element sets could he formed. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: Ah. This is a very important fact indeed if you are trying to understand contemporary discussions in philosophy of mathematics. |
| 18164 | Frege solves the Caesar problem by explicitly defining each number [Maddy] |
| Full Idea: To solve the Julius Caesar problem, Frege requires explicit definitions of the numbers, and he proposes his well-known solution: the number of Fs = the extension of the concept 'equinumerous with F' (based on one-one correspondence). | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: Why do there have to be Fs before there can be the corresponding number? If there were no F for 523, would that mean that '523' didn't exist (even if 522 and 524 did exist)? |
| 18184 | Making set theory foundational to mathematics leads to very fruitful axioms [Maddy] |
| Full Idea: The set theory axioms developed in producing foundations for mathematics also have strong consequences for existing fields, and produce a theory that is immensely fruitful in its own right. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: [compressed] Second of Maddy's three benefits of set theory. This benefit is more questionable than the first, because the axioms may be invented because of their nice fruit, instead of their accurate account of foundations. |
| 18185 | Unified set theory gives a final court of appeal for mathematics [Maddy] |
| Full Idea: The single unified area of set theory provides a court of final appeal for questions of mathematical existence and proof. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: Maddy's third benefit of set theory. 'Existence' means being modellable in sets, and 'proof' means being derivable from the axioms. The slightly ad hoc character of the axioms makes this a weaker defence. |
| 18183 | Set theory brings mathematics into one arena, where interrelations become clearer [Maddy] |
| Full Idea: Set theoretic foundations bring all mathematical objects and structures into one arena, allowing relations and interactions between them to be clearly displayed and investigated. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: The first of three benefits of set theory which Maddy lists. The advantages of the one arena seem to be indisputable. |
| 18186 | Identifying geometric points with real numbers revealed the power of set theory [Maddy] |
| Full Idea: The identification of geometric points with real numbers was among the first and most dramatic examples of the power of set theoretic foundations. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: Hence the clear definition of the reals by Dedekind and Cantor was the real trigger for launching set theory. |
| 18188 | The line of rationals has gaps, but set theory provided an ordered continuum [Maddy] |
| Full Idea: The structure of a geometric line by rational points left gaps, which were inconsistent with a continuous line. Set theory provided an ordering that contained no gaps. These reals are constructed from rationals, which come from integers and naturals. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: This completes the reduction of geometry to arithmetic and algebra, which was launch 250 years earlier by Descartes. |
| 18163 | Mathematics rests on the logic of proofs, and on the set theoretic axioms [Maddy] |
| Full Idea: Our much loved mathematical knowledge rests on two supports: inexorable deductive logic (the stuff of proof), and the set theoretic axioms. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I Intro) |
| 18207 | Maybe applications of continuum mathematics are all idealisations [Maddy] |
| Full Idea: It could turn out that all applications of continuum mathematics in natural sciences are actually instances of idealisation. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], II.6) |
| 18204 | Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy] |
| Full Idea: Crudely, the scientist posits only those entities without which she cannot account for observations, while the set theorist posits as many entities as she can, short of inconsistency. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], II.5) |
| 18167 | We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy] |
| Full Idea: Recent commentators have noted that Frege's versions of the basic propositions of arithmetic can be derived from Hume's Principle alone, that the fatal Law V is only needed to derive Hume's Principle itself from the definition of number. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: Crispin Wright is the famous exponent of this modern view. Apparently Charles Parsons (1965) first floated the idea. |
| 18205 | The theoretical indispensability of atoms did not at first convince scientists that they were real [Maddy] |
| Full Idea: The case of atoms makes it clear that the indispensable appearance of an entity in our best scientific theory is not generally enough to convince scientists that it is real. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], II.6) | |
| A reaction: She refers to the period between Dalton and Einstein, when theories were full of atoms, but there was strong reluctance to actually say that they existed, until the direct evidence was incontrovertable. Nice point. |
| 3605 | We can believe a thing without knowing we believe it [Descartes] |
| Full Idea: The action of thought by which one believes a thing, being different from that by which one knows that one believes it, they often exist the one without the other. | |
| From: René Descartes (A Discourse on Method [1637], §3.23) |
| 19525 | If the only aim is to believe truths, that justifies recklessly believing what is unsupported (if it is right) [Conee/Feldman] |
| Full Idea: If it is intellectually required that one try to believe all and only truths (as Chisholm says), ...then it is possible to believe some unsubstantiated proposition in a reckless endeavour to believe a truth, and happen to be right. | |
| From: E Conee / R Feldman (Evidentialism [1985], 'Justification') | |
| A reaction: This implies doxastic voluntarism. Sorry! I meant, this implies that we can control what we believe, when actually we believe what impinges on us as facts. |
| 1583 | In morals Descartes accepts the conventional, but rejects it in epistemology [Roochnik on Descartes] |
| Full Idea: Descartes' procedure for treating values (accepting normal conventions when faced with uncertainty) is the exact antithesis of that used to attain knowledge. | |
| From: comment on René Descartes (A Discourse on Method [1637], §3.23) by David Roochnik - The Tragedy of Reason p.73 |
| 3607 | In thinking everything else false, my own existence remains totally certain [Descartes] |
| Full Idea: While I decided to think that everything was false, it followed necessarily that I who thought thus must be something; the truth 'I think therefore I am' was so certain that the most extravagant scepticism could never shake it. | |
| From: René Descartes (A Discourse on Method [1637], §4.32) |
| 3617 | I aim to find the principles and causes of everything, using the seeds within my mind [Descartes] |
| Full Idea: I have tried to find in general the principles or first causes of everything which is or which may be in the world, ..without taking them from any other source than from certain seeds of truth which are naturally in our minds. | |
| From: René Descartes (A Discourse on Method [1637], §6.64) |
| 3611 | Understanding, rather than imagination or senses, gives knowledge [Descartes] |
| Full Idea: Neither our imagination nor our senses could ever assure us of anything, if our understanding did not intervene. | |
| From: René Descartes (A Discourse on Method [1637], §4.37) |
| 19524 | We don't have the capacity to know all the logical consequences of our beliefs [Conee/Feldman] |
| Full Idea: Our limited cognitive capacities lead Goldman to deny a principle instructing people to believe all the logical consequences of their beliefs, since they are unable to have the infinite number of beliefs that following such a principle would require. | |
| From: E Conee / R Feldman (Evidentialism [1985], 'Doxastic') | |
| A reaction: This doesn't sound like much of an objection to epistemic closure, which I took to be the claim that you know the 'known' entailments of your knowledge. |
| 3606 | I was searching for reliable rock under the shifting sand [Descartes] |
| Full Idea: My whole plan had for its aim simply to give me assurance, and the rejection of shifting ground and sand in order to find rock or clay. | |
| From: René Descartes (A Discourse on Method [1637], §3.29) | |
| A reaction: I take this to be characteristic of an age when religion is being quietly rocked by the revival of ancient scepticism. If he'd settled for fallibilism, our civilization would have gone differently. |
| 3604 | When rebuilding a house, one needs alternative lodgings [Descartes] |
| Full Idea: Before beginning to rebuild the house in which one lives…. one must also provide oneself with some other accommodation in which to be lodge conveniently while the work is going on. | |
| From: René Descartes (A Discourse on Method [1637], §3.22) |
| 3618 | Only experiments can settle disagreements between rival explanations [Descartes] |
| Full Idea: I observe almost no individual effect without immediately knowing that it can be deduced in many different ways, ..and I know of no way to resolve this but by experiments such that the results are different according to different explanations. | |
| From: René Descartes (A Discourse on Method [1637], §6.65) |
| 3615 | Little reason is needed to speak, so animals have no reason at all [Descartes] |
| Full Idea: Animals not only have less reason than men, but they have none at all; for we see that very little of it is required in order to be able to speak. | |
| From: René Descartes (A Discourse on Method [1637], §5.58) |
| 18206 | Science idealises the earth's surface, the oceans, continuities, and liquids [Maddy] |
| Full Idea: In science we treat the earth's surface as flat, we assume the ocean to be infinitely deep, we use continuous functions for what we know to be quantised, and we take liquids to be continuous despite atomic theory. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], II.6) | |
| A reaction: If fussy people like scientists do this all the time, how much more so must the confused multitude be doing the same thing all day? |
| 3609 | I am a thinking substance, which doesn't need a place or material support [Descartes] |
| Full Idea: I concluded that I was a substance, of which the whole essence or nature consists in thinking, and which, in order to exist, needs no place and depends on no material thing. | |
| From: René Descartes (A Discourse on Method [1637], §4.33) | |
| A reaction: To me that sounds like "I concluded that I wasn't a human being", which highlights the bizarre wishful thinking that seems to have gripped the human race for the first few thousand years of its serious thinking. |
| 3608 | I can deny my body and the world, but not my own existence [Descartes] |
| Full Idea: I could pretend that I had no body, and that there was no world or place that I was in, but I could not, for all that, pretend that I did not exist. | |
| From: René Descartes (A Discourse on Method [1637], §4.32) | |
| A reaction: He makes the (in my opinion) appalling blunder of thinking that because he can pretend that he has no body, that therefore he might not have one. I can pretend that gold is an unusual form of cheese. However, "I don't exist" certainly sounds wrong. |
| 3613 | Reason is universal in its responses, but a physical machine is constrained by its organs [Descartes] |
| Full Idea: Whereas reason is a universal instrument which can serve on any kind of occasion, the organs of a machine need a disposition for each action; so it is impossible to have enough different organs in a machine to respond to all the occurrences of life. | |
| From: René Descartes (A Discourse on Method [1637], §5.57) | |
| A reaction: How can Descartes know that reason is 'universal' rather than just 'very extensive'? Is there any information which cannot be encoded in a computer? It doesn't feel as if there any intrinsic restrictions to reason, but note Idea 4688. |
| 3616 | The soul must unite with the body to have appetites and sensations [Descartes] |
| Full Idea: It is not sufficient that the reasonable soul should be lodged in the body like a pilot in a ship, unless perhaps to move its limbs, but it needs to be united more closely with the body in order to have sensations and appetites, and so be a true man. | |
| From: René Descartes (A Discourse on Method [1637], §5.59) | |
| A reaction: The idea that the pineal gland is the link suggests that Descartes has the 'pilot' view, but this idea shows that he believes in very close and complex interaction between mind and body. But how can a mind 'have' appetites if it has no physical needs? |
| 3614 | A machine could speak in response to physical stimulus, but not hold a conversation [Descartes] |
| Full Idea: One may conceive of a machine made so as to emit words, and even emit them in response to a change in its bodily organs, such as being touched, but not to reply to the sense of everything said in its presence, as the most unintelligent men can. | |
| From: René Descartes (A Discourse on Method [1637], §5.56) | |
| A reaction: A critique of the Turing Test, written in 1637! You have to admire. Because of the advent of the microprocessor, we can 'conceive' more sophisticated, multi-level machines than Descartes could come up with. |
| 1581 | Greeks elevate virtues enormously, but never explain them [Descartes] |
| Full Idea: The ancient pagans place virtues on a high plateau and make them appear the most valuable thing in the world, but they do not sufficiently instruct us about how to know them. | |
| From: René Descartes (A Discourse on Method [1637], §1.8) |
| 16686 | God has established laws throughout nature, and implanted ideas of them within us [Descartes] |
| Full Idea: I have noticed certain laws that God has so established in nature, and of which he has implanted such notions in our souls, that …we cannot doubt that they are exactly observed in everything that exists or occurs in the world. | |
| From: René Descartes (A Discourse on Method [1637], pt 5), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 15.5 | |
| A reaction: This is the view of laws which still seems to be with us (and needs extirpating) - that some outside agency imposes them on nature. I suspect that even Richard Feynman thought of laws like that, because he despised philosophy, and was thus naïve. |