54 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) |
| 18486 | We might define truth as arising from the truth-maker relation [MacBride] |
| Full Idea: We might define truth using the truth-maker relation, albeit in a roundabout way, according to the pattern of saying 'S is true' is equivalent to 'there is something which makes S true'. | |
| From: Fraser MacBride (Truthmakers [2013], 3.3) | |
| A reaction: [MacBride gives it more algebraically, but I prefer English!] You would need to explain 'truth-making' without reference to truth. Horwich objects, reasonably, that ordinary people grasp 'truth' much more clearly than 'truth-making'. Bad idea, I think. |
| 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) |
| 18484 | Phenomenalists, behaviourists and presentists can't supply credible truth-makers [MacBride] |
| Full Idea: For Martin the fatal error of phenomenalists was their inability to supply credible truth-makers for truths about unobserved objects; the same error afflicted Ryle's behaviourism, ...and Prior's Presentism (for past-tensed and future-tensed truths). | |
| From: Fraser MacBride (Truthmakers [2013], 3.1) | |
| A reaction: This seems to be the original motivation for the modern rise of the truthmaker idea. Personally I find 'Napoleon won at Austerlitz' is a perfectly good past-tensed truthmaker which is compatible with presentism. Truth-making is an excellent challenge. |
| 18466 | If truthmaking is classical entailment, then anything whatsoever makes a necessary truth [MacBride] |
| Full Idea: If a truthmaker entails its truth, this threatens to over-generate truth-makers for necessary truths - at least if the entailment is classical. It's a feature of this notion that anything whatsoever entails a given necessary truth. | |
| From: Fraser MacBride (Truthmakers [2013], 1.1) | |
| A reaction: This is a good reason to think that the truth-making relation does not consist of logical entailment. |
| 18473 | 'Maximalism' says every truth has an actual truthmaker [MacBride] |
| Full Idea: The principle of 'maximalism' is that for every truth, then there must be something in the world that makes it true. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1) | |
| A reaction: That seems to mean that no truths can be uttered about anything which is not in the world. If I say 'pigs might have flown', that isn't about the modal profile of actual pigs, it is about what might have resulted from that profile. |
| 18481 | Maximalism follows Russell, and optimalism (no negative or universal truthmakers) follows Wittgenstein [MacBride] |
| Full Idea: If maximalism is intellectual heir to Russell's logical atomism, then 'optimalism' (the denial that universal and negative statements need truth-makers) is heir to Wittgenstein's version, where only atomic propositions represent states of affairs. | |
| From: Fraser MacBride (Truthmakers [2013], 2.2) | |
| A reaction: Wittgenstein's idea is that you can use the logical connectives to construct all the other universal and negative facts. 'Optimalism' restricts truthmaking to atomic statements. |
| 18483 | The main idea of truth-making is that what a proposition is about is what matters [MacBride] |
| Full Idea: According the Lewis, the kernel of truth in truth-making is the idea that propositions have a subject matter. They are about things, so whether they are true or false depends on how those things stand. | |
| From: Fraser MacBride (Truthmakers [2013], 2.4.1) | |
| A reaction: [Lewis 'Things Qua Truth-makers' 2003] That sounds like the first step in the story, rather than the 'kernel' of the truth-making approach. |
| 18479 | There are different types of truthmakers for different types of negative truth [MacBride] |
| Full Idea: We recognise that what makes it true that there is no oil in this engine is different from what makes it true that there are no dodos left. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4.1) | |
| A reaction: This looks like a local particular negation up against a universal negation. I'm not sure there is a big difference between 'my dodo's gone missing' (like my oil), and 'all the dodos have gone permanently missing'. |
| 18477 | There aren't enough positive states out there to support all the negative truths [MacBride] |
| Full Idea: It's not obvious that there are enough positive states out there to underwrite all the negative truths. Even though it may be true that this liquid is odourless this needn't be because there's something further about it that excludes its being odourless. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4.1) | |
| A reaction: What is the ontological status of all these hypothetical truths? What is the truthmaker for 'a trillion trillion negative truths exist'? What is the status of 'this is not not-red'? |
| 18482 | Optimalists say that negative and universal are true 'by default' from the positive truths [MacBride] |
| Full Idea: Optimalists say that negative truths are 'true by default' (having the opposite truth value of p), and universal truths are too. Universal truths are equivalent to negative existential truths, which are true by default. | |
| From: Fraser MacBride (Truthmakers [2013], 2.2) | |
| A reaction: The background idea is Wittgenstein's, that if p is false, then not-p is true by default, without anyone having to assert the negation. This strikes me as a very promising approach to truthmaking. See Simons 2008. |
| 18474 | Does 'this sentence has no truth-maker' have a truth-maker? Reductio suggests it can't have [MacBride] |
| Full Idea: If the sentence 'This sentence has no truth-maker' has a truth-maker, then it must be true. But then what it says must be the case, so it has no truth-maker. Hence by reductio the sentence has no truth-maker. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.1) | |
| A reaction: [Argument proposed by Peter Milne 2005] Rodriguez-Pereyra replies that the sentence is meaningless, so that it can't possibly be true. The Liar sentence is also said to be meaningless. The argument opposes Maximalism. |
| 18485 | Even idealists could accept truthmakers, as mind-dependent [MacBride] |
| Full Idea: Even an idealist could accept that there are truth-makers whilst thinking of them as mind-dependent entities. | |
| From: Fraser MacBride (Truthmakers [2013], 3.1) | |
| A reaction: This undercuts anyone (me, perhaps?) who was hoping to prop up their robust realism with an angry demand to be shown the truthmakers. |
| 18490 | Maybe 'makes true' is not an active verb, but just a formal connective like 'because'? [MacBride] |
| Full Idea: Maybe the truth-maker panegyrists have misconstrued the logical form of 'makes true'. They have taken it to be a verb like 'x hits y', when really it is akin to the connective '→' or 'because'. | |
| From: Fraser MacBride (Truthmakers [2013], 3.7) | |
| A reaction: [He cites Melia 2005] This isn't any sort of refutation of truth-making, but an offer of how to think of the phenomenon if you reject the big principle. I like truth-making, but resist the 'makes' that brings unthought propositions into existence. |
| 18493 | Truthmaker talk of 'something' making sentences true, which presupposes objectual quantification [MacBride] |
| Full Idea: When supporters of truth-making talk of 'something' which makes a sentence true, they make the assumption that it is an objectual quantifier in name position. | |
| From: Fraser MacBride (Truthmakers [2013], 3.8) | |
| A reaction: We might say, more concisely, that they are 'reifying' the something. This makes it sound as if Armstrong and Bigelow have made a mistake, but that are simply asserting that this particular quantification is indeed objectual. |
| 18489 | Connectives link sentences without linking their meanings [MacBride] |
| Full Idea: The 'connectives' are expressions that link sentences but without expressing a relation that holds between the states of affairs, facts or tropes that these sentences denote. | |
| From: Fraser MacBride (Truthmakers [2013], 3.7) | |
| A reaction: MacBride notes that these contrast with ordinary verbs, which do express meaningful relations. |
| 18476 | 'A is F' may not be positive ('is dead'), and 'A is not-F' may not be negative ('is not blind') [MacBride] |
| Full Idea: Statements of the form 'a is F' aren't invariably positive ('a is dead'), and nor are statements of the form 'a isn't F' ('a isn't blind') always negative. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4) | |
| A reaction: The point is that the negation may be implicit in the predicate. There are many ways to affirm or deny something, other than by use of the standard syntax. |
| 18480 | Maybe it only exists if it is a truthmaker (rather than the value of a variable)? [MacBride] |
| Full Idea: 'To be is to be a truth-maker' has been proposed as a replacement the standard conception of ontological commitment, that to be is to be the value of a variable. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4.2) | |
| A reaction: [He cites Ross Cameron 2008] Unconvincing. What does it mean to say that some remote unexperienced bit of the universe 'makes truths'? How many truths? Where do these truths reside when they aren't doing anything useful? |
| 18471 | Different types of 'grounding' seem to have no more than a family resemblance relation [MacBride] |
| Full Idea: The concept of 'grounding' appears to cry out for treatment as a family resemblance concept, a concept whose instances have no more in common than different games do. | |
| From: Fraser MacBride (Truthmakers [2013], 1.6) | |
| A reaction: I like the word 'determinations', though MacBride's point my also apply to that. I take causation to be one species of determination, and truth-making to be another. They form a real family, with no adoptees. |
| 18472 | Which has priority - 'grounding' or 'truth-making'? [MacBride] |
| Full Idea: Some philosophers define 'grounding' in terms of 'truth-making', rather than the other way around. | |
| From: Fraser MacBride (Truthmakers [2013], 1.6) | |
| A reaction: [Cameron exemplifies the first, and Schaffer the second] I would have thought that grounding was in the world, but truth-making required the introduction of propositions about the world by minds, so grounding is prior. Schaffer is right. |
| 18475 | Russell allows some complex facts, but Wittgenstein only allows atomic facts [MacBride] |
| Full Idea: The logical atomism of Russell admitted some logically complex facts but not others - in contrast to Wittgenstein's version which admitted only atomic facts. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.3) | |
| A reaction: For truthmakers, it looks as if the Wittgenstein version might do a better job (e.g. with negative truths). I quite like the Russell approach, where complex facts underwrite the logical connectives. Disjunctive, negative, conjunctive, hypothetical facts. |
| 13076 | Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne] |
| Full Idea: The scholastics treated it as a step in the right explanatory direction to analyze a relational statement of the form 'aRb' into two subject-predicate statements, attributing different relational predicates to a and to b. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 2.2.1) | |
| A reaction: The only alternative seems to be Russell's view of relations as pure universals, having a life of their own, quite apart from their relata. Or you could take them as properties of space, time (and powers?), external to the relata? |
| 13102 | If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne] |
| Full Idea: If we go for the necessity-of-origins view, A and B are different if the origin of A is different from the origin of B. But one is left with the further question 'When is the origin of A distinct from the origin of B?' | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1) | |
| A reaction: There may be an answer to this, in a regress of origins that support one another, but in the end the objection is obviously good. You can't begin to refer to an 'origin' if you can't identify anything in the first place. |
| 13103 | Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne] |
| Full Idea: Scholastics distinguished criteria of numerical difference from questions of individuation proper, since numerical difference is a symmetrical notion. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1) | |
| A reaction: This apparently old-fashioned point appears to be conclusively correct. Modern thinkers, though, aren't comfortable with proper individuation, because they don't believe in concepts like 'essence' and 'substance' that are needed for the job. |
| 13104 | Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne] |
| Full Idea: There is a contemporary property construal of haecceities, ...and a Scotistic construal as primitive, 'colourless' thisnesses which, unlike singleton-set haecceities, are aimed to do some explanatory work. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.4) | |
| A reaction: [He associates the contemporary account with David Kaplan] I suppose I would say that individuation is done by properties, but not by some single property, so I take it that I don't believe in haecceities at all. What individuates a haecceity? |
| 13100 | Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne] |
| Full Idea: We could think of 'substance' on the model of a mass noun, rather than a count noun. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.3) | |
| A reaction: They offer this to help Leibniz out of a mess, but I think he would be appalled. The proposal seems close to 'prime matter' in Aristotle, which never quite does the job required of it. The idea is nice, though, and should be taken seriously. |
| 13068 | We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne] |
| Full Idea: In the 'blueprint' approach to substance, we confront at least three questions: What is it for a thing to be an individual substance? What is it for a thing to be the kind of substance that it is? What is it to be that very individual substance? | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.1) | |
| A reaction: My working view is that the answer to the first question is that substance is essence, that the second question is overrated and parasitic on the third, and that the third is the key question, and also reduces to essence. |
| 13069 | The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne] |
| Full Idea: There is a widespread assumption, now and in the past, that substances are essentially substances: nothing is actually a substance but possibly a non-substance. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.2) | |
| A reaction: It seems to me that they clearly mean, in this context, that substances are 'necessarily' substances, not that they are 'essentially' substances. I would just say that substances are essences, and leave the necessity question open. |
| 13072 | Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne] |
| Full Idea: The modern view of essence is that the essence of a particular thing is given by the set of predicate-functions essential to it, and the essence of any kind is given by the set of predicate-functions essential to every possible member of that kind. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.2.2) | |
| A reaction: Thus the modern view has elided the meanings of 'essential' and 'necessary' when talking of properties. They are said to be 'functions' from possible worlds to individuals. The old view (and mine) demands real essences, not necessary properties. |
| 17080 | Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne] |
| Full Idea: The modern essentialist gives the same metaphysical treatment to every grammatical predicate - by associating a function from worlds to extensions for each. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 2.2) | |
| A reaction: I take this to mean that essentialism is the view that if some predicate attaches to an object then that predicate is essential if there is an extension of that predicate in all possible worlds. In English, essential predicates are necessary predicates. |
| 13101 | Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne] |
| Full Idea: A necessity-of-origins approach cannot work to distinguish things that come into being genuinely ex nihilo, and cannot work to distinguish things sharing a single origin. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1) | |
| A reaction: Since I am deeply suspicious of essentiality or necessity of origin (and they are not, I presume, the same thing) I like these two. Twins have always bothered me with the second case (where order of birth seems irrelevant). |
| 18478 | Wittgenstein's plan to show there is only logical necessity failed, because of colours [MacBride] |
| Full Idea: It is almost universally acknowledged that Wittgenstein's plan to show all necessity is logical necessity ended in failure - indeed foundered upon the very problem of explaining colour incompatibilities. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4.1) | |
| A reaction: I'm not sure whether you can 'show' that colour incompatibility is some sort of necessity, though intuitively it seems so. I'm thinking that 'necessity' is a unitary concept, with a wide variety of sources generating it. |
| 13081 | Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne] |
| Full Idea: It might be suggested that even the extreme modal realist can countenance transworld identity for abstract objects. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 3.2.2 n46) | |
| A reaction: This may sound right for uncontroversial or well-defined abstracta such as numbers and circles, but even 'or' is ambiguous, and heaven knows what the transworld identity of 'democracy' is! |
| 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) |
| 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) |
| 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) |
| 13071 | We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne] |
| Full Idea: The philosopher comfortable with an 'order of being' has richer resources to make sense of the 'in virtue of' relation than that provided only by causal relations between states of affairs, positing in addition other sorts of explanatory relationships. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.2) | |
| A reaction: This might best be characterised as 'ontological dependence', and could be seen as a non-causal but fundamental explanatory relationship, and not one that has to depend on a theistic world view. |
| 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) |
| 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. |