49 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. |
| 11193 | Understanding begins with the notion of being and essence [Avicenna] |
| Full Idea: Understanding begins with the notion of being and essence. | |
| From: Avicenna (Abu Ibn Sina) (Commentary on the Metaphysics [1022], 1/6), quoted by Thomas Aquinas - De Ente et Essentia (Being and Essence) p.91 | |
| A reaction: I think I might put it that wisdom is only really possible for people who aim to grasp being and essence in some way. I see no prospect of understanding 'being', and even essences may be forever just beyond our grasp. |
| 19275 | You cannot understand what exists without understanding possibility and necessity [Hale] |
| Full Idea: I defend the thesis that questions about what kinds of things there are cannot be properly understood or adequately answered without recourse to considerations about possibility and necessity. | |
| From: Bob Hale (Necessary Beings [2013], Intro) | |
| A reaction: Good. I would say that this is a growing realisation in contemporary philosophy. The issue is focused when we ask what are the limitations of Quine's approach to metaphysics. If you don't see possibilities around you, you are a fool. |
| 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) |
| 19291 | A canonical defintion specifies the type of thing, and what distinguish this specimen [Hale] |
| Full Idea: One might think of a full dress, or canonical, definition as specifying what type of thing it is, and what distinguishes it from everything else within its type. | |
| From: Bob Hale (Necessary Beings [2013], 06.4) | |
| A reaction: Good! At last someone embraces the Aristotelian ideas that definitions are a) quite extensive and detailed (unlike lexicography), and b) they aim to get right down to the individual. In that sense, an essence is captured by a definition. |
| 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) |
| 19301 | With a negative free logic, we can dispense with the Barcan formulae [Hale] |
| Full Idea: I reject both Barcan and Converse Barcan by adopting a negative free logic. | |
| From: Bob Hale (Necessary Beings [2013], 11.3) | |
| A reaction: See section 9.2 of Hale's book, where he makes his case. I can't evaluate this bold move, though I don't like the Barcan Formulae. We can anticipate objections to Hale: are you prepared to embrace the unexpected consequences of your new logic? |
| 19297 | The two Barcan principles are easily proved in fairly basic modal logic [Hale] |
| Full Idea: If the Brouwersche principle, p ⊃ □◊p is adjoined to a standard quantified vesion of the weakest modal logic K, then one can prove both the Barcan principle, and its converse. | |
| From: Bob Hale (Necessary Beings [2013], 09.2) | |
| A reaction: The Brouwersche principle (that p implies that p must be possible) sounds reasonable, but the Barcan principles strike me as false, so something has to give. They are theorems of S5. Hale proposes giving up classical logic. |
| 19296 | If second-order variables range over sets, those are just objects; properties and relations aren't sets [Hale] |
| Full Idea: Contrary to what Quine supposes, it is neither necessary nor desirable to interpret bound higher-order variables as ranging over sets. Sets are a species of object. They should range over entities of a completely different type: properties and relations. | |
| From: Bob Hale (Necessary Beings [2013], 08.2) | |
| A reaction: This helpfully clarifies something which was confusing me. If sets are objects, then 'second-order' logic just seems to be the same as first-order logic (rather than being 'set theory in disguise'). I quantify over properties, but deny their existence! |
| 19289 | Maybe conventionalism applies to meaning, but not to the truth of propositions expressed [Hale] |
| Full Idea: An old objection to conventionalism claims that it confuses sentences with propositions, confusing what makes sentences mean what they do with what makes them (as propositions) true. | |
| From: Bob Hale (Necessary Beings [2013], 05.2) | |
| A reaction: The conventions would presumably apply to the sentences, but not to the propositions. Since I think that focusing on propositions solves a lot of misunderstandings in modern philosophy, I like the sound of this. |
| 19298 | Unlike axiom proofs, natural deduction proofs needn't focus on logical truths and theorems [Hale] |
| Full Idea: In contrast with axiomatic systems, in natural deductions systems of logic neither the premises nor the conclusions of steps in a derivation need themselves be logical truths or theorems of logic. | |
| From: Bob Hale (Necessary Beings [2013], 09.2 n7) | |
| A reaction: Not sure I get that. It can't be that everything in an axiomatic proof has to be a logical truth. How would you prove anything about the world that way? I'm obviously missing something. |
| 19295 | Add Hume's principle to logic, to get numbers; arithmetic truths rest on the nature of the numbers [Hale] |
| Full Idea: The existence of the natural numbers is not a matter of pure logic - it cannot be proved in pure logic. It can be proved in second-order logic plus Hume's principle. Truths of arithmetic are not logic - they depend on the nature of natural numbers. | |
| From: Bob Hale (Necessary Beings [2013], 07.4) | |
| A reaction: Hume's principles needs entities which can be matched to one another, so a certain ontology is needed to get neo-logicism off the ground. |
| 19281 | Interesting supervenience must characterise the base quite differently from what supervenes on it [Hale] |
| Full Idea: Any intereresting supervenience thesis requires that the class of facts on which the allegedly supervening facts supervene be characterizable independently, without use or presupposition of the notions involved in stating the supervening facts. | |
| From: Bob Hale (Necessary Beings [2013], 03.4.1) | |
| A reaction: There might be intermediate cases here, since having descriptions which are utterly unconnected (at any level) might be rather challenging. |
| 19278 | There is no gap between a fact that p, and it is true that p; so we only have the truth-condtions for p [Hale] |
| Full Idea: There is no clear gap between its being a fact that p and its being true that p, no obvious way to individuate the fact a true statement records other than via that statement's truth-conditions. | |
| From: Bob Hale (Necessary Beings [2013], 03.2) | |
| A reaction: Typical of philosophers of language. The concept of a fact is of something mind-independent; the concept of a truth is of something mind-dependent. They can't therefore be the same thing (by the contrapositive of the indiscernability of identicals!). |
| 11209 | The simple's whatness is its very self [Avicenna] |
| Full Idea: The simple's whatness is its very self. | |
| From: Avicenna (Abu Ibn Sina) (Commentary on the Metaphysics [1022], 5.5), quoted by Thomas Aquinas - De Ente et Essentia (Being and Essence) p.103 | |
| A reaction: Aquinas endorses this Aristotelian view in Idea 11208. |
| 11204 | The ultimate material of things has the unity of total formlessness [Avicenna] |
| Full Idea: The ultimate material of things has the unity of total formlessness. | |
| From: Avicenna (Abu Ibn Sina) (Commentary on the Metaphysics [1022], 11/12.14), quoted by Thomas Aquinas - De Ente et Essentia (Being and Essence) | |
| A reaction: This remark is not invalidated by developments in modern particle physics. |
| 19302 | If a chair could be made of slightly different material, that could lead to big changes [Hale] |
| Full Idea: How shall we prevent a sorites taking us to the conclusion that a chair might have originated in a completely disjoint lot of wood, or even in some other material altogether? | |
| From: Bob Hale (Necessary Beings [2013], 11.3.7) | |
| A reaction: This seems a good criticism of Kripke's implausible claim that his lectern is necessarily (or essentially) made of the piece of wood it is made of. Could his lectern have had a small piece of plastic inserted in it? |
| 15036 | An essence can either be universal (in the mind) or singular (in concrete particulars) [Avicenna, by Panaccio] |
| Full Idea: Avicenna's 'indifference of essence' says the essence of certain things can become universal or singular, according to whether it is entertained by the mind (as a universal) or concretely exemplified as a singular thing. One essence can exist in two ways. | |
| From: report of Avicenna (Abu Ibn Sina) (Commentary on the Metaphysics [1022]) by Claude Panaccio - Medieval Problem of Universals 'Sources' | |
| A reaction: This would appear to be a form of nominalism, since in the concrete external world we only have particulars, and it is our mode of thinking (by abstraction?) that generates the universal aspect. I think this is probably right. |
| 19290 | Absolute necessities are necessarily necessary [Hale] |
| Full Idea: I argue that any absolute necessity is necessarily necessary. | |
| From: Bob Hale (Necessary Beings [2013], 05.5.2) | |
| A reaction: This requires the principle of S4 modal logic, that necessity implies necessary necessity. He argues that S5 is the logical of absolute necessity. |
| 19286 | 'Absolute necessity' is when there is no restriction on the things which necessitate p [Hale] |
| Full Idea: The strength of the claim that p is 'absolutely necessary' derives from the fact that in its expression as a universally quantified counterfactual ('everything will necessitate p'), the quantifier ranges over all propositions whatever. | |
| From: Bob Hale (Necessary Beings [2013], 04.1) | |
| A reaction: Other philosophers don't seem to use the term 'absolute necessity', but it seems a useful concept, in contrast to conditional or local necessities. You can't buy chocolate on the sun. |
| 19288 | Logical and metaphysical necessities differ in their vocabulary, and their underlying entities [Hale] |
| Full Idea: The difference between logical and metaphysical necessities lies, not in the range of possibilities for which they hold, but - at the linguistic level - in the kind of vocabulary essential to their expression, and the kinds of entities that explain them. | |
| From: Bob Hale (Necessary Beings [2013], 04.5) | |
| A reaction: I don't think much of the idea that the difference is just linguistic, and I don't like the idea of 'entities' as grounding them. I see logical necessities as arising from natural deduction rules, and metaphysical ones coming from the nature of reality. |
| 19285 | Logical necessity is something which is true, no matter what else is the case [Hale] |
| Full Idea: We can identify the belief that the proposition that p is logically necessary, where p may be of any logical form, with the belief that, no matter what else was the case, it would be true that p. | |
| From: Bob Hale (Necessary Beings [2013], 04.1) | |
| A reaction: I find this surprising. I take it that logical necessity must be the consequence of logic. That all squares have corners doesn't seem to be a matter of logic. But then he seems to expand logical necessity to include conceptual necessity. Why? |
| 19287 | Maybe each type of logic has its own necessity, gradually becoming broader [Hale] |
| Full Idea: We can distinguish between narrower and broader kinds of logical necessity. There are, for example, the logical necessities of propostional logic, those of first-order logic, and so on. Maybe they are necessities expressed using logical vocabulary. | |
| From: Bob Hale (Necessary Beings [2013], 04.5) | |
| A reaction: Hale goes on to prefer a view that embraces conceptual necessities. I think in philosophy we should designate the necessities according to their sources. This might clarify a currently rather confused situation. First-order includes propositional logic. |
| 19282 | It seems that we cannot show that modal facts depend on non-modal facts [Hale] |
| Full Idea: I think we may conclude that there is no significant version of modal supervenience which both commands acceptance and implies that all modal facts depend asymmetrically on non-modal ones. | |
| From: Bob Hale (Necessary Beings [2013], 03.4.3) | |
| A reaction: This is the conclusion of a sustained and careful discussion, recorded here for interest. I'm inclined to think that there are very few, if any, non-modal facts in the world, if those facts are accurately characterised. |
| 19276 | The big challenge for essentialist views of modality is things having necessary existence [Hale] |
| Full Idea: Whether the essentialist theory can account for all absolute necessities depends in part on whether the theory can explain the necessities of existence (of certain objects, properties and entities). | |
| From: Bob Hale (Necessary Beings [2013], Intro) | |
| A reaction: Hale has a Fregean commitment to all sorts of abstract objects, and then finds difficulty in explaining them from his essentialist viewpoint. His book didn't convince me. I'm more of a nominalist, me, so I sleep better at nights. |
| 19293 | Essentialism doesn't explain necessity reductively; it explains all necessities in terms of a few basic natures [Hale] |
| Full Idea: The point of the essentialist theory is not to provide a reductive explanation of necessities. It is, rather, to locate a base class of necessities - those which directly reflect the natures of things - in terms of which the remainder may be explained. | |
| From: Bob Hale (Necessary Beings [2013], 06.6) | |
| A reaction: My picture is of most of the necessities being directly explained by the natures of things, rather than a small core of natures generating all the derived ones. All the necessities of squares derive from the nature of the square. |
| 19294 | If necessity derives from essences, how do we explain the necessary existence of essences? [Hale] |
| Full Idea: If the essentialist theory of necessity is to be adequate, it must be able to explain how the existence of certain objects - such as the natural numbers - can itself be absolutely necessary. | |
| From: Bob Hale (Necessary Beings [2013], 07.1) | |
| A reaction: Hale and his neo-logicist pals think that numbers are 'objects', and they necessarily exist, so he obviously has a problem. I don't see any alternative for essentialists to treating the existing (and possible) natures as brute facts. |
| 19279 | What are these worlds, that being true in all of them makes something necessary? [Hale] |
| Full Idea: We need an explanation of what worlds are that makes clear why being true at all of them should be necessary and sufficient for being necessary (and true at one of them suffices for being possible). | |
| From: Bob Hale (Necessary Beings [2013], 03.3.2) | |
| A reaction: Hale is introducing combinatorial accounts of worlds, as one possible answer to this. Hale observes that all the worlds might be identical to our world. It is always assumed that the worlds are hugely varied. But maybe worlds are constrained. |
| 19299 | Possible worlds make every proposition true or false, which endorses classical logic [Hale] |
| Full Idea: The standard conception of worlds incorporates the assumption of bivalence - every proposition is either true or false. But it is infelicitous to build into one's basic semantic machinery a principle endorsing classical logic against its rivals. | |
| From: Bob Hale (Necessary Beings [2013], 10.3) | |
| A reaction: No wonder Dummett (with his intuitionist logic) immediately spurned possible worlds. This objection must be central to many recent thinkers who have begun to doubt possible worlds. I heard Kit Fine say 'always kick possible worlds where you can'. |
| 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) |
| 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. |
| 19300 | The molecules may explain the water, but they are not what 'water' means [Hale] |
| Full Idea: What it is to be (pure) water is to be explained in terms of being composed of H2O molecules, but this is not what the word 'water' means. | |
| From: Bob Hale (Necessary Beings [2013], 11.2) | |
| A reaction: Hale says when the real and verbal definitions match, we can know the essence a priori. If they come apart, presumably we need a posteriori research. Interesting. It is certainly dubious to say a stuff-word means its chemical composition. |
| 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. |