353 ideas
| 7504 | Modern science comes from Descartes' view that knowledge doesn't need moral purity [Descartes, by Foucault] |
| Full Idea: Before Descartes, one could not be impure, immoral, and know the truth. After Descartes, direct evidence is enough, and we have a nonascetic subject of knowledge; this change makes possible the institutionalisation of modern science. | |
| From: report of René Descartes (Meditations [1641]) by Michel Foucault - On the Genealogy of Ethics | |
| A reaction: I would have thought Gassendi and the British Empiricists would be a more plausible source for this shift of attitude. Plato would relegate modern science to a lower level of knowledge. |
| 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. |
| 3656 | The greatest good for a state is true philosophers [Descartes] |
| Full Idea: The greatest good which can exist in a state is to have true philosophers. | |
| From: René Descartes (Principles of Philosophy [1646], Pref) | |
| A reaction: …because they understand true reality, especially the Good. |
| 9218 | Maybe what distinguishes philosophy from science is its pursuit of necessary truths [Sider] |
| Full Idea: According to one tradition, necessary truth demarcates philosophical from empirical inquiry. Science identifies contingent aspects of the world, whereas philosophical inquiry reveals the essential nature of its objects. | |
| From: Theodore Sider (Reductive Theories of Modality [2003], 1) | |
| A reaction: I don't think there is a clear demarcation, and I would think that lots of generalizations about contingent truths are in philosophical territory, but I quite like this idea - even if it does make scientists laugh at philosophers. |
| 24032 | Clever scholars can obscure things which are obvious even to peasants [Descartes] |
| Full Idea: Scholars are usually ingenious enough to find ways of spreading darkness even in things which are obvious by themselves, and which the peasants are not ignorant of. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 12) | |
| A reaction: Wonderful! I see it everywhere in philosophy. It is usually the result of finding ingenious and surprising grounds for scepticism. The amazing thing is not their lovely arguments, but that fools then take their conclusions seriously. Modus tollens. |
| 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. |
| 15010 | Your metaphysics is 'cheating' if your ontology won't support the beliefs you accept [Sider] |
| Full Idea: Ontological 'cheaters' are those ne'er-do-well metaphysicians (such as presentists, phenomenalists, or solipsists) who refuse to countenance a sufficiently robust conception of the fundamental to underwrite the truths they accept. | |
| From: Theodore Sider (Writing the Book of the World [2011], 08.4) | |
| A reaction: Presentists are placed in rather insalubrious company here, The notion of 'cheaters' is nice, and I associate it with Australian philosophy, and the reason that was admired by David Lewis. |
| 14721 | Metaphysical enquiry can survive if its conclusions are tentative [Sider] |
| Full Idea: Metaphysical enquiry can survive if we are willing to live with highly tentative conclusions. | |
| From: Theodore Sider (Four Dimensionalism [2001], Intro) | |
| A reaction: Nice. Nothing alienates the rather literal scientific sort of mind quicker that bold, dogmatic and even arrogant assertions about metaphysics. But to entirely close down metaphysical speculation for that reason is absurd. |
| 21962 | Metaphysics is the roots of the tree of science [Descartes] |
| Full Idea: The whole of philosophy is like a tree. The roots are metaphysics, the trunk is physics, and the branches emerging from the trunk are all the other sciences. | |
| From: René Descartes (Preface to 'Principles of Philosophy' [1647]), quoted by A.W. Moore - The Evolution of Modern Metaphysics 01.2 | |
| A reaction: If Descartes had not believed this he would not have bothered with metaphysics, and philosophy might have been dead by 1650. |
| 14977 | Metaphysics is not about what exists or is true or essential; it is about the structure of reality [Sider] |
| Full Idea: Metaphysics, at bottom, is about the fundamental structure of reality. Not about what's necessarily true. Not about what properties are essential. Not about conceptual analysis. Not about what there is. Structure. | |
| From: Theodore Sider (Writing the Book of the World [2011], 01) | |
| A reaction: The opening words of his book. I take them to be absolutely correct, and to articulate the new orthodoxy about metaphysics which has emerged since about 1995. He expands this as being about patterns, categories and joints. |
| 14994 | Extreme doubts about metaphysics also threaten to undermine the science of unobservables [Sider] |
| Full Idea: The most extreme critics of metaphysics base their critique on sweeping views about language (logical positivism), or knowledge (empiricism), ...but this notoriously threatens the science of unobservables as much as it threatens metaphysics. | |
| From: Theodore Sider (Writing the Book of the World [2011], 05.1) | |
| A reaction: These criticisms also threaten speculative physics (even about what is possibly observable). |
| 15003 | It seems unlikely that the way we speak will give insights into the universe [Sider] |
| Full Idea: It has always seemed odd that insight into the fundamental workings of the universe should be gained by reflection on how we think and speak. | |
| From: Theodore Sider (Writing the Book of the World [2011], 07.8) | |
| A reaction: A nice expression of what should by now be obvious to all philosophers - that analysis of language is not going to reveal very much. It is merely clearing the undergrowth so that we can go somewhere. |
| 14986 | Conceptual analysts trust particular intuitions much more than general ones [Sider] |
| Full Idea: Conceptual analysts generally regard intuitive judgements about particular cases as being far more diagnostic than intuitive judgements about general principles. | |
| From: Theodore Sider (Writing the Book of the World [2011], 02.4 n7) | |
| A reaction: Since I take the aim to be the building up an accurate picture about general truths, it would be daft to just leap to our intuitions about those general truths. Equally you can't cut intuition out of the picture (pace Ladyman). |
| 24033 | Most scholastic disputes concern words, where agreeing on meanings would settle them [Descartes] |
| Full Idea: The questions on which scholars argue are almost always questions of word. …If philosophers were agreed on the meaning of words, almost all their controversies would cease. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 13) | |
| A reaction: He has a low opinion of 'scholars'! It isn't that difficult to agree on the meanings of key words, in a given context. The aim isn't to get rid of the problems, but to focus on the real problems. Some words contain problems. |
| 3653 | My Meditations are the complete foundation of my physics [Descartes] |
| Full Idea: My six Meditations contain all the foundations of my physics, …and their principles destroy those of Aristotle. | |
| From: René Descartes (Letters to Mersenne [1640], 1641.01.28) |
| 1569 | Descartes impoverished the classical idea of logos, and it no longer covered human experience [Roochnik on Descartes] |
| Full Idea: Descartes attacked and fundamentally altered classical logos. The result is an impoverished conception of reason, one that is unable to do justice to the significance and value of human experience. | |
| From: comment on René Descartes (Meditations [1641]) by David Roochnik - The Tragedy of Reason Prol. Xii |
| 24024 | The secret of the method is to recognise which thing in a series is the simplest [Descartes] |
| Full Idea: It is necessary, in a series of objects, to recognise which is the simplest thing, and how all the others depart from it. This rule contains the whole secret of the method. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 06) | |
| A reaction: This is an appealing thought, though deciding the criteria for 'simplest' looks tough. Are electrons, for example, simple? Is a person a simple basic thing? |
| 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) |
| 2248 | Reason says don't assent to uncertain principles, just as much as totally false ones [Descartes] |
| Full Idea: Reason now persuades me that I should withhold my assent no less carefully from opinions that are not completely certain and indubitable than I would from those that are patently false. | |
| From: René Descartes (Meditations [1641], §1.18) |
| 24018 | One truth leads us to another [Descartes] |
| Full Idea: One truth discovered helps us to discover another. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 01) | |
| A reaction: I take this to be one of the key ingredients of objectivity. People who know very little have almost no chance of objectivity. A mind full of falsehoods also blocks it. |
| 2857 | Since Plato all philosophers have followed the herd, except Descartes, stuck in superficial reason [Nietzsche on Descartes] |
| Full Idea: Since Plato all philosophers have followed moral 'instinct', or 'faith', or (as I call it) 'the herd'. One might exclude Descartes, the father of rationalism, who recognised only reason - but reason is only an instrument, and Descartes was superficial. | |
| From: comment on René Descartes (Meditations [1641]) by Friedrich Nietzsche - Beyond Good and Evil §191 |
| 15015 | It seems possible for a correct definition to be factually incorrect, as in defining 'contact' [Sider] |
| Full Idea: Arguably, 'there is absolutely no space between two objects in contact' is false, but definitional of 'contact'. ...We need a word for true definitional sentences. I propose: 'analytic'. | |
| From: Theodore Sider (Writing the Book of the World [2011], 09.8) |
| 14981 | Philosophical concepts are rarely defined, and are not understood by means of definitions [Sider] |
| Full Idea: Philosophical concepts of interest are rarely reductively defined; still more rarely does our understanding of such concepts rest on definitions. ...(We generally understand concepts to the extent that we know what role they play in thinking). | |
| From: Theodore Sider (Writing the Book of the World [2011], 02.1) | |
| A reaction: I'm not sure that I agree with this. I suspect that Sider has the notion of definition in mind that is influenced by lexicography. Aristotle's concept of definition I take to be lengthy and expansive, and that is very relevant to philosophy. |
| 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) |
| 2290 | Once it is clear that there is a God who is no deceiver, I conclude that clear and distinct perceptions must be true [Descartes] |
| Full Idea: Once I perceived that there is a God,…and that he is no deceiver, I then concluded that everything that I clearly and distinctly perceived is necessarily true. | |
| From: René Descartes (Meditations [1641], §5.70) | |
| A reaction: spotted by Arnauld |
| 3659 | I know the truth that God exists and is the author of truth [Descartes] |
| Full Idea: I have very clearly deduced the following truths, that there is a God who is the author of all that is in the world, and who is the source of all truth. | |
| From: René Descartes (Preface to 'Principles of Philosophy' [1647], p.180) |
| 3641 | It is circular to make truth depend on believing God's existence is true [Arnauld on Descartes] |
| Full Idea: How does the author avoid reasoning in a circle when he says that we are sure that what we clearly and distinctly perceive is true only because God exists? But we can be sure that God exists only because we clearly and distinctly perceive this. | |
| From: comment on René Descartes (Meditations [1641], §5.71) by Antoine Arnauld - Objections to 'Meditations' (Fourth) 214 |
| 4524 | Descartes is right that in the Christian view only God can guarantee the reliability of senses [Nietzsche on Descartes] |
| Full Idea: Even Descartes had a notion that in a Christian mode of thought (where God is a good creator), only God's veracity guarantees to us the judgements of our senses. | |
| From: comment on René Descartes (Meditations [1641], §5.71) by Friedrich Nietzsche - The Will to Power (notebooks) §436 | |
| A reaction: An unusual defence of the notorious Cartesian Circle. Of course, Descartes claims that God guarantees reason (as 'clear and distinct conception'), not senses, and only reason led Descartes to God. |
| 4736 | Truth is such a transcendentally clear notion that it cannot be further defined [Descartes] |
| Full Idea: Truth is such a transcendentally clear notion that it cannot be further defined. | |
| From: René Descartes (Letters to Mersenne [1640], 1642), quoted by Pascal Engel - Truth Intro | |
| A reaction: This is the view endorsed by Davidson. It is tempting to take basic concepts as axiomatic, but philosophers can't make that move every time they are in trouble. I have to say, though, that truth is a good candidate. |
| 14992 | We don't care about plain truth, but truth in joint-carving terms [Sider] |
| Full Idea: What we care about is truth in joint-carving terms, not just truth. | |
| From: Theodore Sider (Writing the Book of the World [2011], 04.5) | |
| A reaction: The thought is that it matters what conceptual scheme is used to express the truth (the 'ideology'). Truths can be true but uninformative or unexplanatory. |
| 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) |
| 2266 | My general rule is that everything that I perceive clearly and distinctly is true [Descartes] |
| Full Idea: I now seem able to posit as a general rule that everything I very clearly and distinctly perceive is true. | |
| From: René Descartes (Meditations [1641], §3.35) |
| 4301 | Someone may think a thing is 'clear and distinct', but be wrong [Leibniz on Descartes] |
| Full Idea: Leibniz objected to Descartes' theory of truth, saying that people may think something is clear and distinct, and yet be wrong. | |
| From: comment on René Descartes (Meditations [1641], §3.36) by Gottfried Leibniz - works | |
| A reaction: Quite so. Descartes has misunderstood what sort of concept 'truth' is meant to be. It's the usual confusion of epistemology and metaphysics. Truth is not a feature of the human mind. |
| 15012 | Orthodox truthmaker theories make entities fundamental, but that is poor for explanation [Sider] |
| Full Idea: According to the entrenched truthmaker theorist, the fundamental facts consist just of facts citing the existence of entities. It's hard to see how all the complexity we experience could possibly be explained from that sparse basis. | |
| From: Theodore Sider (Writing the Book of the World [2011], 08.5) | |
| A reaction: This may be the 'entrenched' truthmaker view, but it is not clear why there could not be more complicated fundamental truthmakers, with structure as well as entities. And powers. |
| 4298 | All items of possible human knowledge are interconnected, and can be reached by inference [Descartes] |
| Full Idea: All the items of knowledge that lie within the reach of the human mind are linked together with a marvellous bond, and can be derived from each other by necessary inferences. | |
| From: René Descartes (unfinished dialogue [1649]) | |
| A reaction: It does seem that God ought to be able to infer all empirical facts from first principles. But how do you get started? |
| 13689 | 'Theorems' are formulas provable from no premises at all [Sider] |
| Full Idea: Formulas provable from no premises at all are often called 'theorems'. | |
| From: Theodore Sider (Logic for Philosophy [2010], 2.6) |
| 13705 | Truth tables assume truth functionality, and are just pictures of truth functions [Sider] |
| Full Idea: The method of truth tables assumes truth functionality. Truth tables are just pictures of truth functions. | |
| From: Theodore Sider (Logic for Philosophy [2010], 6.3) |
| 13706 | Intuitively, deontic accessibility seems not to be reflexive, but to be serial [Sider] |
| Full Idea: Deontic accessibility seems not to be reflexive (that it ought to be true doesn't make it true). One could argue that it is serial (that there is always a world where something is acceptable). | |
| From: Theodore Sider (Logic for Philosophy [2010], 6.3.1) |
| 13710 | In D we add that 'what is necessary is possible'; then tautologies are possible, and contradictions not necessary [Sider] |
| Full Idea: In D we add to K a new axiom saying that 'what's necessary is possible' (□φ→◊φ), ..and it can then be proved that tautologies are possible and contradictions are not necessary. | |
| From: Theodore Sider (Logic for Philosophy [2010], 6.4.2) |
| 13711 | System B introduces iterated modalities [Sider] |
| Full Idea: With system B we begin to be able to say something about iterated modalities. ..S4 then takes a different stand on the iterated modalities, and neither is an extension of the other. | |
| From: Theodore Sider (Logic for Philosophy [2010], 6.4.4) |
| 13708 | S5 is the strongest system, since it has the most valid formulas, because it is easy to be S5-valid [Sider] |
| Full Idea: S5 is the strongest system, since it has the most valid formulas. That's because it has the fewest models; it's easy to be S5-valid since there are so few potentially falsifying models. K is the weakest system, for opposite reasons. | |
| From: Theodore Sider (Logic for Philosophy [2010], 6.3.2) | |
| A reaction: Interestingly, the orthodox view is that S5 is the correct logic for metaphysics, but it sounds a bit lax. Compare Idea 13707. |
| 13712 | Epistemic accessibility is reflexive, and allows positive and negative introspection (KK and K¬K) [Sider] |
| Full Idea: Epistemic accessibility should be required to be reflexive (allowing Kφ→φ). S4 allows the 'KK principle', or 'positive introspection' (Kφ→KKφ), and S5 allows 'negative introspection' (¬Kφ→K¬Kφ). | |
| From: Theodore Sider (Logic for Philosophy [2010], 7.2) |
| 13714 | We can treat modal worlds as different times [Sider] |
| Full Idea: We can think of the worlds of modal logic as being times, rather than 'possible' worlds. | |
| From: Theodore Sider (Logic for Philosophy [2010], 7.3.3) |
| 13720 | Converse Barcan Formula: □∀αφ→∀α□φ [Sider] |
| Full Idea: The Converse Barcan Formula reads □∀αφ→∀α□φ (or an equivalent using ◊). | |
| From: Theodore Sider (Logic for Philosophy [2010], 9.5.2) | |
| A reaction: I would read that as 'if all the αs happen to be φ, then αs have to be φ'. Put like that, I would have thought that it was obviously false. Sider points out that some new object could turn up which isn't φ. |
| 13718 | The Barcan Formula ∀x□Fx→□∀xFx may be a defect in modal logic [Sider] |
| Full Idea: The Barcan Formula ∀x□Fx→□∀xFx is often regarded as a defect of Simple Quantified Modal Logic, though this most clearly seen in its equivalent form ◊∃xFx→∃x◊Fx. | |
| From: Theodore Sider (Logic for Philosophy [2010], 9.5.2) | |
| A reaction: [See Idea 13719 for an explanation why it might be a defect] I translate the first one as 'if xs must be F, then they are always F', and the second one as 'for x to be possibly F, there must exist an x which is possibly F'. Modality needs existence. |
| 13723 | System B is needed to prove the Barcan Formula [Sider] |
| Full Idea: The proof of the Barcan Formula require System B. | |
| From: Theodore Sider (Logic for Philosophy [2010], 9.7) |
| 15023 | The Barcan schema implies if X might have fathered something, there is something X might have fathered [Sider] |
| Full Idea: If we accept the Barcan and converse Barcan schemas, this leads to surprising ontological consequences. Wittgenstein might have fathered something, so, by the Barcan schema, there is something that Wittgenstein might have fathered. | |
| From: Theodore Sider (Writing the Book of the World [2011], 11.9) | |
| A reaction: [He cites Tim Williamson for this line of thought] I was liking the Barcan picture, by now I am backing away fast. They cannot be serious! |
| 13715 | You can employ intuitionist logic without intuitionism about mathematics [Sider] |
| Full Idea: Not everyone who employs intuitionistic logic is an intuitionist about mathematics. | |
| From: Theodore Sider (Logic for Philosophy [2010], 7.4.1) | |
| A reaction: This seems worthy of note, since it may be tempting to reject the logic because of the implausibility of the philosophy of mathematics. I must take intuitionist logic more seriously. |
| 15004 | 'Gunk' is an object in which proper parts all endlessly have further proper parts [Sider] |
| Full Idea: An object is 'gunky' if each of its parts has further proper parts; thus gunk involves infinite descent in the part-whole relation. | |
| From: Theodore Sider (Writing the Book of the World [2011], 07.11.2) |
| 14984 | Which should be primitive in mereology - part, or overlap? [Sider] |
| Full Idea: Should our fundamental theory of part and whole take 'part' or 'overlap' as primitive? | |
| From: Theodore Sider (Writing the Book of the World [2011], 02.3) |
| 14980 | There is a real issue over what is the 'correct' logic [Sider] |
| Full Idea: Certain debates over the 'correct' logic are genuine, and not linguistic or conceptual. | |
| From: Theodore Sider (Writing the Book of the World [2011], 01.3) | |
| A reaction: It is rather hard to give arguments in favour of this view, but I am pleased to have the authority of Sider with me. |
| 15000 | 'It is raining' and 'it is not raining' can't be legislated, so we can't legislate 'p or ¬p' [Sider] |
| Full Idea: I cannot legislate-true 'It is raining' and I cannot legislate true 'It is not raining', so if I cannot legislate either true then I cannot legislate-true the disjunction 'it is raining or it is not raining'. | |
| From: Theodore Sider (Writing the Book of the World [2011], 06.5) | |
| A reaction: This strikes me as a very simple and very persuasive argument against the idea that logic is a mere convention. I take disjunction to be an abstract summary of how the world works. Sider seems sympathetic. |
| 15020 | Classical logic is good for mathematics and science, but less good for natural language [Sider] |
| Full Idea: Despite its brilliant success in mathematics and fundamental science, classical logic applies uneasily to natural language. | |
| From: Theodore Sider (Writing the Book of the World [2011], 10.6) | |
| A reaction: He gives examples of the conditional, and debates over the meaning of 'and', 'or' and 'not', and also names and quantifiers. Many modern philosophical problems result from this conflict. |
| 13678 | The most popular account of logical consequence is the semantic or model-theoretic one [Sider] |
| Full Idea: On the question of the nature of genuine logical consequence, ...the most popular answer is the semantic, or model-theoretic one. | |
| From: Theodore Sider (Logic for Philosophy [2010], 1.5) | |
| A reaction: Reading the literature, one might be tempted to think that this is the only account that anyone takes seriously. Substitutional semantics seems an interesting alternative. |
| 13679 | Maybe logical consequence is more a matter of provability than of truth-preservation [Sider] |
| Full Idea: Another answer to the question about the nature of logical consequence is a proof-theoretic one, according to which it is more a matter of provability than of truth-preservation. | |
| From: Theodore Sider (Logic for Philosophy [2010], 1.5) | |
| A reaction: I don't like this, and prefer the model-theoretic or substitutional accounts. Whether you can prove that something is a logical consequence seems to me entirely separate from whether you can see that it is so. Gödel seems to agree. |
| 13682 | Maybe logical consequence is impossibility of the premises being true and the consequent false [Sider] |
| Full Idea: The 'modal' account of logical consequence is that it is not possible for the premises to be true and the consequent false (under some suitable notion of possibility). | |
| From: Theodore Sider (Logic for Philosophy [2010], 1.5) | |
| A reaction: Sider gives a nice summary of five views of logical consequence, to which Shapiro adds substitutional semantics. |
| 13680 | Maybe logical consequence is a primitive notion [Sider] |
| Full Idea: There is a 'primitivist' account, according to which logical consequence is a primitive notion. | |
| From: Theodore Sider (Logic for Philosophy [2010], 1.5) | |
| A reaction: While sympathetic to substitutional views (Idea 13674), the suggestion here pushes me towards thinking that truth must be at the root of it. The trouble, though, is that a falsehood can be a good logical consequence of other falsehoods. |
| 15029 | Modal accounts of logical consequence are simple necessity, or essential use of logical words [Sider] |
| Full Idea: The simplest modal account is that logical consequence is just necessary consequence; another modal account says that logical consequences are modal consequences that involve only logical words essentially. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.3) | |
| A reaction: [He cites Quine's 'Carnap and Logical Truth' for the second idea] Sider is asserting that Humeans like him dislike modality, and hence need a nonmodal account of logical consequence. |
| 13722 | A 'theorem' is an axiom, or the last line of a legitimate proof [Sider] |
| Full Idea: A 'theorem' is defined as the last line of a proof in which each line is either an axiom or follows from earlier lines by a rule. | |
| From: Theodore Sider (Logic for Philosophy [2010], 9.7) | |
| A reaction: In other words, theorems are the axioms and their implications. |
| 10054 | Arithmetic and geometry achieve some certainty without worrying about existence [Descartes] |
| Full Idea: Arithmetic, geometry and sciences of that kind only treat of things without taking any great trouble to ascertain whether they are actually existent or not, and contain some measure of certainty. | |
| From: René Descartes (Meditations [1641], §1), quoted by Alan Musgrave - Logicism Revisited §4 | |
| A reaction: This is Musgrave's earliest quotation which seems to take the if-thenist view. |
| 15019 | Define logical constants by role in proofs, or as fixed in meaning, or as topic-neutral [Sider] |
| Full Idea: Some say that logical constants are those expressions that are defined by their proof-theoretic roles, others that they are the expressions whose semantic values are permutation-invariant, and still others that they are the topic-neutral expressions. | |
| From: Theodore Sider (Writing the Book of the World [2011], 10.3) | |
| A reaction: [He cites MacFarlane 2005 as giving a survey of this] |
| 13696 | When a variable is 'free' of the quantifier, the result seems incapable of truth or falsity [Sider] |
| Full Idea: When a variable is not combined with a quantifier (and so is 'free'), the result is, intuitively, semantically incomplete, and incapable of truth or falsity. | |
| From: Theodore Sider (Logic for Philosophy [2010], 4.2) |
| 13700 | A 'total' function must always produce an output for a given domain [Sider] |
| Full Idea: Calling a function a 'total' function 'over D' means that the function must have a well-defined output (which is a member of D) whenever it is given as inputs any n members of D. | |
| From: Theodore Sider (Logic for Philosophy [2010], 5.2) |
| 13703 | λ can treat 'is cold and hungry' as a single predicate [Sider] |
| Full Idea: We might prefer λx(Fx∧Gx)(a) as the symbolization of 'John is cold and hungry', since it treats 'is cold and hungry' as a single predicate. | |
| From: Theodore Sider (Logic for Philosophy [2010], 5.5) |
| 13688 | Good axioms should be indisputable logical truths [Sider] |
| Full Idea: Since they are the foundations on which a proof rests, the axioms in a good axiomatic system ought to represent indisputable logical truths. | |
| From: Theodore Sider (Logic for Philosophy [2010], 2.6) |
| 13687 | No assumptions in axiomatic proofs, so no conditional proof or reductio [Sider] |
| Full Idea: Axiomatic systems do not allow reasoning with assumptions, and therefore do not allow conditional proof or reductio ad absurdum. | |
| From: Theodore Sider (Logic for Philosophy [2010], 2.6) | |
| A reaction: Since these are two of the most basic techniques of proof which I have learned (in Lemmon), I shall avoid axiomatic proof systems at all costs, despites their foundational and Ockhamist appeal. |
| 13690 | Proof by induction 'on the length of the formula' deconstructs a formula into its accepted atoms [Sider] |
| Full Idea: The style of proof called 'induction on formula construction' (or 'on the number of connectives', or 'on the length of the formula') rest on the fact that all formulas are built up from atomic formulas according to strict rules. | |
| From: Theodore Sider (Logic for Philosophy [2010], 2.7) | |
| A reaction: Hence the proof deconstructs the formula, and takes it back to a set of atomic formulas have already been established. |
| 13691 | Induction has a 'base case', then an 'inductive hypothesis', and then the 'inductive step' [Sider] |
| Full Idea: A proof by induction starts with a 'base case', usually that an atomic formula has some property. It then assumes an 'inductive hypothesis', that the property is true up to a certain case. The 'inductive step' then says it will be true for the next case. | |
| From: Theodore Sider (Logic for Philosophy [2010], 2.7) | |
| A reaction: [compressed] |
| 15001 | 'Tonk' is supposed to follow the elimination and introduction rules, but it can't be so interpreted [Sider] |
| Full Idea: 'Tonk' is stipulated by Prior to stand for a meaning that obeys the elimination and introduction rules; but there simply is no such meaning; 'tonk' cannot be interpreted so as to obey the rules. | |
| From: Theodore Sider (Writing the Book of the World [2011], 06.5) | |
| A reaction: 'Tonk' thus seems to present a problem for so-called 'natural' deduction, if the natural deduction consists of nothing more than obey elimination and introduction rules. |
| 13685 | Natural deduction helpfully allows reasoning with assumptions [Sider] |
| Full Idea: The method of natural deduction is popular in introductory textbooks since it allows reasoning with assumptions. | |
| From: Theodore Sider (Logic for Philosophy [2010], 2.5) | |
| A reaction: Reasoning with assumptions is generally easier, rather than being narrowly confined to a few tricky axioms, You gradually show that an inference holds whatever the assumption was, and so end up with the same result. |
| 13686 | We can build proofs just from conclusions, rather than from plain formulae [Sider] |
| Full Idea: We can construct proofs not out of well-formed formulae ('wffs'), but out of sequents, which are some premises followed by their logical consequence. We explicitly keep track of the assumptions upon which the conclusion depends. | |
| From: Theodore Sider (Logic for Philosophy [2010], 2.5.1) | |
| A reaction: He says the method of sequents was invented by Gerhard Gentzen (the great nazi logician) in 1935. The typical starting sequents are the introduction and elimination rules. E.J. Lemmon's book, used in this database, is an example. |
| 13697 | Valuations in PC assign truth values to formulas relative to variable assignments [Sider] |
| Full Idea: A valuation function in predicate logic will assign truth values to formulas relative to variable assignments. | |
| From: Theodore Sider (Logic for Philosophy [2010], 4.2) | |
| A reaction: Sider observes that this is a 'double' relativisation (due to Tarski), since propositional logic truth was already relative to an interpretation. Now we are relative to variable assignments as well. |
| 13684 | The semantical notion of a logical truth is validity, being true in all interpretations [Sider] |
| Full Idea: The semantical notion of a logical truth is that of a valid formula, which is true in all interpretations. In propositional logic they are 'tautologies'. | |
| From: Theodore Sider (Logic for Philosophy [2010], 2.3) | |
| A reaction: This implies that there is a proof-theoretic account of logical truth as well. Intuitively a logical truth is a sequent which holds no matter which subject matter it refers to, so the semantic view sounds OK. |
| 13704 | It is hard to say which are the logical truths in modal logic, especially for iterated modal operators [Sider] |
| Full Idea: It isn't clear which formulas of modal propositional logic are logical truths, ...especially for sentences that contain iterations of modal operators. Is □P→□□P a logical truth? It's hard to say. | |
| From: Theodore Sider (Logic for Philosophy [2010], 6.3) | |
| A reaction: The result, of course, is that there are numerous 'systems' for modal logic, so that you can choose the one that gives you the logical truths you want. His example is valid in S4 and S5, but not in the others. |
| 13724 | In model theory, first define truth, then validity as truth in all models, and consequence as truth-preservation [Sider] |
| Full Idea: In model theory one normally defines some notion of truth in a model, and then uses it to define validity as truth in all models, and semantic consequence as the preservation of truth in models. | |
| From: Theodore Sider (Logic for Philosophy [2010], 10.1) |
| 13698 | In a complete logic you can avoid axiomatic proofs, by using models to show consequences [Sider] |
| Full Idea: You can establish facts of the form Γ|-φ while avoiding the agonies of axiomatic proofs by reasoning directly about models to conclusions about semantic consequence, and then citing completeness. | |
| From: Theodore Sider (Logic for Philosophy [2010], 4.5) | |
| A reaction: You cite completeness by saying that anything which you have shown to be a semantic consequence must therefore be provable (in some way). |
| 13699 | Compactness surprisingly says that no contradictions can emerge when the set goes infinite [Sider] |
| Full Idea: Compactness is intuitively surprising, ..because one might have thought there could be some contradiction latent within some infinite set, preventing it from being satisfiable, only discovered when you consider the whole set. But this can't happen. | |
| From: Theodore Sider (Logic for Philosophy [2010], 4.5) |
| 2252 | Surely maths is true even if I am dreaming? [Descartes] |
| Full Idea: Surely whether I am asleep or awake, two plus three makes five, and a square does not have more than four sides. | |
| From: René Descartes (Meditations [1641], §1.20) |
| 2430 | I can learn the concepts of duration and number just from observing my own thoughts [Descartes] |
| Full Idea: When I think that I exist now, and recollect that I existed in the past, and when I conceive various thoughts, the number of which I know, then I acquire the ideas of duration and number which I can thereafter transfer to all the other objects I wish. | |
| From: René Descartes (Meditations [1641], §3.44) |
| 13445 | Descartes showed a one-one order-preserving match between points on a line and the real numbers [Descartes, by Hart,WD] |
| Full Idea: Descartes founded analytic geometry on the assumption that there is a one-one order-preserving correspondence between the points on a line and the real numbers. | |
| From: report of René Descartes (works [1643]) by William D. Hart - The Evolution of Logic 1 |
| 24035 | Unity is something shared by many things, so in that respect they are equals [Descartes] |
| Full Idea: Unity is that common nature in which all things that are compared with each other must participate equally. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 14) | |
| A reaction: A lovely explanation of the concept of 'units' for counting. Fregeans hate units, but we Grecian thinkers love them. |
| 24036 | I can only see the proportion of two to three if there is a common measure - their unity [Descartes] |
| Full Idea: I do not recognise what the proportion of magnitude is between two and three, unless I consider a third term, namely unity, which is the common measure of the one and the other. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 14) | |
| A reaction: A striking defence of the concept of the need for the unit in arithmetic. To say 'three is half as big again', you must be discussing the same size of 'half' in each instance. |
| 13701 | A single second-order sentence validates all of arithmetic - but this can't be proved axiomatically [Sider] |
| Full Idea: A single second-order sentence has second-order semantic consequences which are all and only the truths of arithmetic, but this is cold comfort because of incompleteness; no axiomatic system draws out the consequences of this axiom. | |
| From: Theodore Sider (Logic for Philosophy [2010], 5.4.3) |
| 21963 | It is possible that an omnipotent God might make one and two fail to equal three [Descartes] |
| Full Idea: Since every basic truth depends on God's omnipotence, I would not dare to say that God cannot make it....that one and two should not be three. | |
| From: René Descartes (Letters to Antoine Arnauld [1645]), quoted by A.W. Moore - The Evolution of Modern Metaphysics 01.3 | |
| A reaction: An unusual view. Most people would say that if Descartes can doubt something that simple, he should also doubt his reasons for believing in God's existence. |
| 24029 | Among the simples are the graspable negations, such as rest and instants [Descartes] |
| Full Idea: Among the simple things, we must also place their negation and deprivation, insofar as they fall under out intelligence, because the idea of nothingness, of the instant, of rest, is no less true an idea than that of existence, of duration, of motion. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 12) | |
| A reaction: He sees the 'simple' things as the foundation of all knowledge, because they are self-evident. Not sure about 'no less true', since the specific nothings are parasitic on the somethings. |
| 14760 | Four-dimensionalism sees things and processes as belonging in the same category [Sider] |
| Full Idea: Four-dimensionalism does not respect a deep difference between thing-talk and process-talk, because it tends to place events and things in the same ontological category. | |
| From: Theodore Sider (Four Dimensionalism [2001], 6.1) | |
| A reaction: He then quotes Broad, Idea 14759. This idea is the best reason yet for being sympathetic to the four-dimensionalist view, because I think processes really must have a central place in any decent ontology. |
| 15017 | Supervenience is a modal connection [Sider] |
| Full Idea: Supervenience is just a kind of modal connection. | |
| From: Theodore Sider (Writing the Book of the World [2011], 09.10) | |
| A reaction: It says what would happen, as well as what does. This is big for Sider because he rejects modality as a feature of actuality. I think the world is crammed full of modal facts, so supervenience should be a handy tool for me. |
| 3644 | Two things being joined together doesn't prove they are the same [Descartes] |
| Full Idea: The fact that we often see two things joined together does not license the inference that they are one and the same. | |
| From: René Descartes (Reply to Sixth Objections [1641], 444) | |
| A reaction: Correct. The problem comes when they are never ever apart, and you begin to suspect that they are conjoined in all possible worlds. Why might this be so? It can only be identity or a causal link. |
| 15008 | Is fundamentality in whole propositions (and holistic), or in concepts (and atomic)? [Sider] |
| Full Idea: The locus of fundamentality for a Finean is the whole proposition, whereas for me it is the proposition-part. Fundamentality is holistic for the Finean, atomistic for me. | |
| From: Theodore Sider (Writing the Book of the World [2011], 08.3) | |
| A reaction: This is because Kit Fine has pushed fundamentality into a relation (grounding), rather than into the particular entities involved (if I understand Sider's reading of him aright). My first intuition is to side with Sider. I'm on Sider's side... |
| 15013 | Tables and chairs have fundamental existence, but not fundamental natures [Sider] |
| Full Idea: The existence of tables and chairs is just as fundamental as the existence of electrons (in contrast, perhaps, with smirks and shadows, which do not exist fundamentally). However, tables and chairs have nonfundamental natures. | |
| From: Theodore Sider (Writing the Book of the World [2011], 08.7) | |
| A reaction: This seems to be a good clarification, and to me the 'nature' of something points towards its essence. However, I suppose he refers here to the place of something in a dependence hierarchy. But then, why does it have that place? What power? |
| 15014 | Unlike things, stuff obeys unrestricted composition and mereological essentialism [Sider] |
| Full Idea: Stuff obeys unrestricted composition and mereological essentialism, whereas things do not. | |
| From: Theodore Sider (Writing the Book of the World [2011], 09.6.2) | |
| A reaction: [He cites Markosian 2004] |
| 15009 | We must distinguish 'concrete' from 'abstract' and necessary states of affairs. [Sider] |
| Full Idea: The truthmaker theorist's 'concrete' states of affairs must be distinguished from necessarily existing 'abstract' states of affairs. | |
| From: Theodore Sider (Writing the Book of the World [2011], 08.4) | |
| A reaction: [He cites Plantinga's 'Nature of Necessity' for the second one; I presume the first one is Armstrong] |
| 13692 | A 'precisification' of a trivalent interpretation reduces it to a bivalent interpretation [Sider] |
| Full Idea: For a 'precisification' we take a trivalent interpretation and preserve the T and F values, and then assign all the third values in some way to either T or F. | |
| From: Theodore Sider (Logic for Philosophy [2010], 3.4.5) | |
| A reaction: [my informal summary of Sider's formal definition] |
| 13695 | Supervaluational logic is classical, except when it adds the 'Definitely' operator [Sider] |
| Full Idea: Supervaluation preserves classical logic (even though supervaluations are three-valued), except when we add the Δ operator (meaning 'definitely' or 'determinately'). | |
| From: Theodore Sider (Logic for Philosophy [2010], 3.4.5) |
| 13693 | A 'supervaluation' assigns further Ts and Fs, if they have been assigned in every precisification [Sider] |
| Full Idea: In a 'supervaluation' we take a trivalent interpretation, and assign to each wff T (or F) if it is T (or F) in every precisification, leaving the third truth-value in any other cases. The wffs are then 'supertrue' or 'superfalse' in the interpretation. | |
| From: Theodore Sider (Logic for Philosophy [2010], 3.4.5) | |
| A reaction: [my non-symbolic summary] Sider says the Ts and Fs in the precisifications are assigned 'in any way you like', so supervaluation is a purely formal idea, not a technique for eliminating vagueness. |
| 13694 | We can 'sharpen' vague terms, and then define truth as true-on-all-sharpenings [Sider] |
| Full Idea: We can introduce 'sharpenings', to make vague terms precise without disturbing their semantics. Then truth (or falsity) becomes true(false)-in-all-sharpenings. You are only 'rich' if you are rich-on-all-sharpenings of the word. | |
| From: Theodore Sider (Logic for Philosophy [2010], 3.4.5) | |
| A reaction: Not very helpful. Lots of people might be considered rich in many contexts, but very few people would be considered rich in all contexts. You are still left with some vague middle ground. |
| 14983 | Accept the ontology of your best theory - and also that it carves nature at the joints [Sider] |
| Full Idea: We can add to the Quinean advice to believe the ontology of your best theory that you should also regard the ideology of your best theory as carving at the joints. | |
| From: Theodore Sider (Writing the Book of the World [2011], 02.3) | |
| A reaction: I've never liked the original Quinean formulation, but this is much better. I just take my ontological commitments to reside in me, not in whatever theory I am currently employing. I may be dubious about my own theory. |
| 13683 | A relation is a feature of multiple objects taken together [Sider] |
| Full Idea: A relation is just a feature of multiple objects taken together. | |
| From: Theodore Sider (Logic for Philosophy [2010], 1.8) | |
| A reaction: Appealingly simple, especially for a logician, who can then just list the relevant objects as members of a set, and the job is done. But if everyone to the left of me is also taller than me, this won't quite do. |
| 14978 | A property is intrinsic if an object alone in the world can instantiate it [Sider] |
| Full Idea: Chisholm and Kim proposed a modal notion of an 'intrinsic' property - that a property is intrinsic if and only if it is possibly instantiated by an object that is alone in the world. | |
| From: Theodore Sider (Writing the Book of the World [2011], 01.2) | |
| A reaction: [He cites Chisholm 1976:127 and Kim 1982:59-60] Sider then gives a counterexample from David Lewis (Idea 14979). |
| 14194 | Proper ontology should only use categorical (actual) properties, not hypothetical ones [Sider] |
| Full Idea: A proper ontology should invoke only categorical, or occurrent, properties and relations. Categorical properties involve what objects are actually like, whereas hypothetical properties 'point beyond' their instances. | |
| From: Theodore Sider (Four Dimensionalism [2001], 2.3) | |
| A reaction: This spectacularly leaves out powers and dispositions, which are actual properties which 'point beyond' their instances! This is the nub of the powers debate, and the most interesting topic in modern metaphysics. |
| 14995 | Predicates can be 'sparse' if there is a universal, or if there is a natural property or relation [Sider] |
| Full Idea: For Armstrong a predicate is sparse when there exists a corresponding universal; for Lewis, a predicate is sparse when there exists a corresponding natural property or relation. | |
| From: Theodore Sider (Writing the Book of the World [2011], 06) | |
| A reaction: I like 'sparse' properties, but have no sympathy with Armstrong, and am cautious about Lewis. I like Shoemaker's account, which makes properties even sparser. 'Abundant' so-called properties are my pet hate. They are 'predicates'! |
| 16635 | Incorporeal substances are powers or forces [Descartes, by Pasnau] |
| Full Idea: In one of his last letters Descartes describes incorporeal substances as 'powers or forces'. | |
| From: report of René Descartes (Two letters on mind [1649], Feb 1649) by Robert Pasnau - Metaphysical Themes 1274-1671 08.4 | |
| A reaction: Only a glimmer, but I really like this idea. (Ellis flirts with it somewhere). Minds are deeply and intrinsically active things. Try ceasing to think for five minutes. Apparently 12th century Cistercian authors were keen on the idea. |
| 16744 | All powers can be explained by obvious features like size, shape and motion of matter [Descartes] |
| Full Idea: There are no powers in stones and plants that are not so mysterious that they cannot be explained …from principles that are known to all and admitted by all, namely the shape, size, position, and motion of particles of matter. | |
| From: René Descartes (Principles of Philosophy [1646], IV.187), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 23.6 | |
| A reaction: This is an invocation of 'categorical' properties, against dispositions. I take this to be quite wrong. The explanation goes the other way. What supports the structures; what drives the motion; what initiates anything? |
| 5016 | Five universals: genus, species, difference, property, accident [Descartes] |
| Full Idea: The five commonly enumerated universals are: genus, species, difference, property and accident. | |
| From: René Descartes (Principles of Philosophy [1646], I.59) | |
| A reaction: Interestingly, this seems to be Descartes passing on his medieval Aristotelian inheritance, in which things are defined by placing them in a class, and then noting what distinguishes them within that class. |
| 5015 | A universal is a single idea applied to individual things that are similar to one another [Descartes] |
| Full Idea: Universals arise solely from the fact that we avail ourselves of one idea in order to think of all individual things that have a certain similitude. When we understand under the same name all the objects represented by this idea, that name is universal. | |
| From: René Descartes (Principles of Philosophy [1646], I.59) | |
| A reaction: Judging by the boldness of the pronouncement, it looks as if Descartes hasn't recognised the complexity of the problem. How do we spot a 'similarity', especially an abstraction like 'tool' or 'useful'? This sounds like Descartes trying to avoid Platonism. |
| 14745 | If sortal terms fix the kind and the persistence conditions, we need to know what kinds there are [Sider] |
| Full Idea: Followers of the view that every entity is associated with some sortal term that answers the question 'what kind of thing is this?', and determines its persistence conditions, must answer the question what kinds of entity there are. | |
| From: Theodore Sider (Four Dimensionalism [2001], 5.3) | |
| A reaction: [He explicitly refers to David Wiggins here] In other words Wiggins has got it the wrong way round, which is my own view of his theory. Sortal terms don't grow on the trees in the Garden of Eden, available for applications. |
| 2297 | If I can separate two things in my understanding, then God can separate them in reality [Descartes] |
| Full Idea: My ability clearly and distinctly to understand one thing without another suffices to make me certain that the one thing is different from the other, since they can be separated from each other (at least by God). | |
| From: René Descartes (Meditations [1641], §6.78) |
| 3626 | Knowing the attributes is enough to reveal a substance [Descartes] |
| Full Idea: I have never thought that anything more is required to reveal a substance than its various attributes. | |
| From: René Descartes (Reply to Fifth Objections [1641], 360) |
| 16630 | If we perceive an attribute, we infer the existence of some substance [Descartes] |
| Full Idea: Based on perceiving the presence of some attribute, we conclude there must also be present an existing thing or substance to which it can be attributed. | |
| From: René Descartes (Principles of Philosophy [1646], I.52), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 08.1 | |
| A reaction: A rainbow might be a tricky case. This illustrates the persistent belief in substances, even among philosophers who embraced the new corpuscular and mechanistic view of matter. |
| 5013 | A substance needs nothing else in order to exist [Descartes] |
| Full Idea: By substance we can understand nothing else than a thing which so exists that it needs no other thing in order to exist. | |
| From: René Descartes (Principles of Philosophy [1646], I.51) | |
| A reaction: Properties, of course, are the things which have dependent existence. Can properties be reduced to substances (e.g. by adopting a materialist theory of mind)? Note that Descartes does not think that substances depend on God for existence. |
| 3628 | Substance cannot be conceived or explained to others [Gassendi on Descartes] |
| Full Idea: The alleged naked, or rather hidden, substance of wax is something that we can neither ourselves conceive nor explain to others. | |
| From: comment on René Descartes (Meditations [1641], §2.31) by Pierre Gassendi - Objections to 'Meditations' (Fifth) 273 |
| 16774 | Descartes thinks distinguishing substances from aggregates is pointless [Descartes, by Pasnau] |
| Full Idea: Descartes thinks it is a pointless relic of scholastic metaphysics to dispute over the boundaries between substances and mere aggregates. | |
| From: report of René Descartes (works [1643]) by Robert Pasnau - Metaphysical Themes 1274-1671 25.6 | |
| A reaction: This is Pasnau's carefully considered conclusion, with which others may not agree. It presumably captures the attitude of modern science generally to such issues. |
| 14740 | If Tib is all of Tibbles bar her tail, when Tibbles loses her tail, two different things become one [Sider] |
| Full Idea: This powerful puzzle (known to the Stoics, introduced by Geach, popularised by Wiggins) has a cat Tibbles and a proper part Tib, which is all of Tibbles except the tail. If Tibbles loses her tail, the two were distinct, but they now coincide. | |
| From: Theodore Sider (Four Dimensionalism [2001], 5.1) | |
| A reaction: [compressed] Compare a few people leave a football ground, and what was a large part of the crowd becomes the whole of the crowd. Which suggests that there is no problem if cats are like crowds. But we don't like that view of cats. |
| 14752 | Artists 'create' statues because they are essentially statues, and so lack identity with the lump of clay [Sider] |
| Full Idea: Presumably it is claimed that the artist 'created' the statue because the object created is essentially a statue, and thus cannot be identified with the unformed lump of clay with which the artist began. | |
| From: Theodore Sider (Four Dimensionalism [2001]) | |
| A reaction: This is based on Burke's views. This is sortal essentialism, rather than my own view of essence as an inner explanatory mechanism or form. If an old abstract sculpture was no longer recognised as a statue, would it necessarily still be a statue? |
| 14743 | The stage view of objects is best for dealing with coincident entities [Sider] |
| Full Idea: There are numerous cases in which there is pressure to admit coincident entities. The best way of coming to grips with this, I think, invokes the stage view. ...In the worm theory, coincident objects are no more mysterious than overlapping roads. | |
| From: Theodore Sider (Four Dimensionalism [2001], 5.1) | |
| A reaction: At this point I get nervous if in order to 'get to grips' with a phenomenon which is hard to articulate but obvious to common sense, we have to invoke a rather startling metaphysics that completely upends the common sense we started with. |
| 14747 | 'Composition as identity' says that an object just is the objects which compose it [Sider] |
| Full Idea: 'Composition as identity' says that when a thing, x, is composed of some other objects, the ys, then this is a kind of identity between the x and the ys. The industrial-strength version says object x just is the ys. Lewis says it is just an analogy. | |
| From: Theodore Sider (Four Dimensionalism [2001], 5.3) | |
| A reaction: I am averse to such a doctrine, as is Leibniz, with his insistence that an aggregate is not a unity. There has to be some sort of principle that bestows oneness on a many. I take this to be structural, and is an elucidation of hylomorphism. |
| 16631 | If we remove surface qualities from wax, we have an extended, flexible, changeable thing [Descartes] |
| Full Idea: After taking away what does not belong to the wax, let us see what is left: surely, it is nothing other than a thing that is extended, flexible and changeable. | |
| From: René Descartes (Meditations [1641], (VII:30-1)), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 08.2 | |
| A reaction: Aristotle worried about nothing being left when you 'stripped' an object, so this could be seen as a positive contribution to scholastic philosophy. Why is the substrate 'flexible'? He talks elsewhere of taking the clothes off the wax and seeing it naked. |
| 17865 | Descartes gives an essence by an encapsulating formula [Descartes, by Almog] |
| Full Idea: For Descartes in providing an essence for an item [such as God, wax, or a mathematical kind] we provide an encapsulating formula defining the phenomenon. | |
| From: report of René Descartes (Meditations [1641]) by Joseph Almog - Nature Without Essence I | |
| A reaction: I argue that this is not what Aristotle intended be an essentialist definition, which can be quite long, like a scientific monograph. Descartes firmly rejected Aristotle's 'substantial form' as essence. |
| 16633 | A substance has one principal property which is its nature and essence [Descartes] |
| Full Idea: Each substance has one principal property that constitutes its nature and essence, to which all its other properties are referred. Extension in length, breadth, and depth constitutes the nature of corporeal substance; and thought of thinking substances. | |
| From: René Descartes (Principles of Philosophy [1646], I.53), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 08.3 | |
| A reaction: Property is likely to be 'propria', which is a property distinctive of some thing, not just any old modern property. This is quite a strikingly original view of the nature of essence. Descartes despised 'substantial forms'. |
| 14757 | Mereological essentialism says an object's parts are necessary for its existence [Sider] |
| Full Idea: Mereological essentialism says that an object's parts are necessary for its existence. ....It is literally never correct to say that an thing survives a change in its parts. | |
| From: Theodore Sider (Four Dimensionalism [2001], 5.7) | |
| A reaction: Chisholm is well known for proposing this view. Sider adds a possible toughening clause, that the parts are also sufficient for the object's existence. This is a philosophers' notion of identity, not the normal English language concept. |
| 12251 | Substantial forms are not understood, and explain nothing [Descartes] |
| Full Idea: Clearly no explanation can be given by these substantial forms for any natural action, since their defenders admit that they are occult and that they do not understand them themselves, ...so they explain nothing. | |
| From: René Descartes (Letters to Regius [1642], 1642.01), quoted by David S. Oderberg - Real Essentialism 267 n5 | |
| A reaction: [Oderberg gives refs for attack by Locke and Hume, p.66] Descartes' target is Aristotle's hylomorphism. The problem seems to be understanding what Aristotle meant, which is much more than mere 'shape'. More like 'controlling principle'. |
| 15026 | Essence (even if nonmodal) is not fundamental in metaphysics [Sider] |
| Full Idea: We should not regard nonmodal essence as being metaphysically basic: fundamental theories need essence no more than they need modality. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.1) | |
| A reaction: He is discussing Kit Fine, and notes that Fine offers a nonmodal view of essence, but still doesn't make it fundamental. I am a fan of essences, but making them fundamental in metaphysics seems unlikely. |
| 14727 | Three-dimensionalists assert 'enduring', being wholly present at each moment, and deny 'temporal parts' [Sider] |
| Full Idea: Three-dimensionalists say that things have no 'temporal parts', that they 'endure', and that they are wholly present at every moment of their careers. | |
| From: Theodore Sider (Four Dimensionalism [2001], 3) | |
| A reaction: An obvious problem case for being wholly present would be the building and fitting of a large ship, where it might seem to be present before it was wholly present. |
| 14738 | Some might say that its inconsistency with time travel is a reason to favour three-dimensionalism [Sider] |
| Full Idea: Some might even regard inconsistency with time travel as an advantage of three-dimensionalism, as a vindication of a prior belief that time travel is impossible! I see no merit in these claims. | |
| From: Theodore Sider (Four Dimensionalism [2001], 7.2) | |
| A reaction: I do! Sider cheerfully says that there are good reasons to believe that time travel is possible, and then use this possibility to support his four-dimensional view, but I personally doubt his assumption. The evidence for time travel is flimsy and obscure. |
| 14726 | Four-dimensionalists assert 'temporal parts', 'perduring', and being spread out over time [Sider] |
| Full Idea: Four-dimensionalists say that things have 'temporal parts', that they 'perdure', and that they are spread out over time. | |
| From: Theodore Sider (Four Dimensionalism [2001], 3) |
| 14728 | 4D says intrinsic change is difference between successive parts [Sider] |
| Full Idea: For four-dimensionalists intrinsic change is difference between successive temporal parts. | |
| From: Theodore Sider (Four Dimensionalism [2001], 3.2) | |
| A reaction: This attempts a reply to the commonest criticism of four-dimensionalism - that you can't explain change if you don't have one enduring thing which undergoes the change. I get stuck of the question 'how big (temporally) is a part?'. |
| 14729 | 4D says each spatiotemporal object must have a temporal part at every moment at which it exists [Sider] |
| Full Idea: Four-dimensionalism may be formulated as the claim that, necessarily, each spatiotemporal object has a temporal part at every moment at which it exists. | |
| From: Theodore Sider (Four Dimensionalism [2001], 3.2) | |
| A reaction: If there were tiny quantum gaps between temporal parts, that would presumably ruin the story. On this view an object has to be a 'worm', to be the thing which has the parts. |
| 14730 | Temporal parts exist, but are not prior building blocks for objects [Sider] |
| Full Idea: My four-dimensionalism implies the existence of temporal parts, but not that those parts are more fundamental, nor that the object is 'constructed' from its parts, nor that identity over time is reducible to parts. | |
| From: Theodore Sider (Four Dimensionalism [2001], 3.2) | |
| A reaction: That's a rather negative account of temporal parts, which makes you ask what their positive role could be. Do they contribute anything to our understanding of a temporally extended object? |
| 14731 | Temporal parts are instantaneous [Sider] |
| Full Idea: Unless otherwise noted, I will think of temporal parts as being instantaneous. | |
| From: Theodore Sider (Four Dimensionalism [2001], 3.2) | |
| A reaction: This comes up against all the Augustinian worries about the intrinsic nature of time. How many temporal parts does a typical object possess? Is a third temporal part always to be found between any two of them? How do they 'connect'? |
| 14758 | How can an instantaneous stage believe anything, if beliefs take time? [Sider] |
| Full Idea: How can an instantaneous stage believe anything? Beliefs take time. | |
| From: Theodore Sider (Four Dimensionalism [2001], 5.8) | |
| A reaction: Sider's four-dimensionalist answer is that the belief is embodied in the earlier counterparts, making belief a 'highly relational property'. I am not impressed by this answer to the very nice problem which he has raised. It's a problem for 3D, too. |
| 14762 | Four-dimensionalism says temporal parts are caused (through laws of motion) by previous temporal parts [Sider] |
| Full Idea: The sensible four-dimensionalist will claim that current temporal parts are caused to exist by previous temporal parts. The laws that govern this process are none other than the familiar laws of motion. | |
| From: Theodore Sider (Four Dimensionalism [2001], 6.3) | |
| A reaction: I keep struggling with the instantaneous natural of temporal parts, and now I find that they have to do the job of being causal relata. When do they do their job? They've gone home before they've finished clocking in. Continuance requires motion? |
| 14741 | The ship undergoes 'asymmetric' fission, where one candidate is seen as stronger [Sider] |
| Full Idea: The Ship of Theseus seems to be a case of 'asymmetric' fission (where one resultant entity has a stronger claim). Many see the continuously rebuilt ship as the stronger candidate, but each candidate, without the other, would be the original ship. | |
| From: Theodore Sider (Four Dimensionalism [2001], 5.1) |
| 13702 | The identity of indiscernibles is necessarily true, if being a member of some set counts as a property [Sider] |
| Full Idea: The identity of indiscernibles (∀x∀y(∀X(Xx↔Xy)→x=y) is necessarily true, provided that we construe 'property' very broadly, so that 'being a member of such-and-such set' counts as a property. | |
| From: Theodore Sider (Logic for Philosophy [2010], 5.4.3) | |
| A reaction: Sider's example is that if the two objects are the same they must both have the property of being a member of the same singleton set, which they couldn't have if they were different. |
| 14754 | If you say Leibniz's Law doesn't apply to 'timebound' properties, you are no longer discussing identity [Sider] |
| Full Idea: If someone is in pain at t1 and not at t2, we might restrict Leibniz's Law so as not to apply to 'timebound' properties, ..but this is deeply unsatisfying, ...and forfeits one's claim to be discussing identity. The demands of identity are high. | |
| From: Theodore Sider (Four Dimensionalism [2001], 5.5) | |
| A reaction: [on Myro 1986] Sider's response is unsatisfying. It means a thing loses its identity (with itself?) if it has even a tiny fluctuating in its properties. Quantum changes then destroy all notions of identity. English-speakers don't use 'identity' like that. |
| 13721 | 'Strong' necessity in all possible worlds; 'weak' necessity in the worlds where the relevant objects exist [Sider] |
| Full Idea: 'Strong necessity' requires the truth of 'necessarily φ' is all possible worlds. 'Weak necessity' merely requires that 'necessarily φ' be true in all worlds in which objects referred to within φ exist. | |
| From: Theodore Sider (Logic for Philosophy [2010], 9.6.3) | |
| A reaction: This seems to be a highly desirably distinction, given the problem of Idea 13719. It is weakly necessary that humans can't fly unaided, assuming we are referring the current feeble wingless species. That hardly seems to be strongly necessary. |
| 13707 | Maybe metaphysical accessibility is intransitive, if a world in which I am a frog is impossible [Sider] |
| Full Idea: Some argue that metaphysical accessibility is intransitive. The individuals involved mustn't be too different from the actual world. A world in which I am a frog isn't metaphysically possible. Perhaps the logic is modal system B or T. | |
| From: Theodore Sider (Logic for Philosophy [2010], 6.3.1) | |
| A reaction: This sounds rather plausible and attractive to me. We don't want to say that I am necessarily the way I actually am, though, so we need criteria. Essence! |
| 13709 | Logical truths must be necessary if anything is [Sider] |
| Full Idea: On any sense of necessity, surely logical truths must be necessary. | |
| From: Theodore Sider (Logic for Philosophy [2010], 6.4) |
| 13716 | 'If B hadn't shot L someone else would have' if false; 'If B didn't shoot L, someone else did' is true [Sider] |
| Full Idea: To show the semantic difference between counterfactuals and indicative conditionals, 'If Booth hadn't shot Lincoln someone else would have' is false, but 'If Booth didn't shoot Lincoln then someone else did' is true. | |
| From: Theodore Sider (Logic for Philosophy [2010], 8) | |
| A reaction: He notes that indicative conditionals also differ in semantics from material and strict conditionals. The first example allows a world where Lincoln was not shot, but the second assumes our own world, where he was. Contextual domains? |
| 15030 | Humeans say that we decide what is necessary [Sider] |
| Full Idea: The spirit of Humeanism is that necessity is not a realm to be discovered. We draw the lines around what is necessary. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.3) | |
| A reaction: I disagree, but it is hard to argue the point. My intuitions are that the obvious necessities of logic and mathematics reflect the way nature has to be. The deepest necessities are patterns (about which God has no choice). |
| 15031 | Modal terms in English are entirely contextual, with no modality outside the language [Sider] |
| Full Idea: English modals are context-dependent through and through; there is no stable 'outer modality'. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.7) | |
| A reaction: Sider has been doing so well up to here. To me this is swallowing the bait of linguistic approaches to philosophy which he has fought so hard to avoid. |
| 15027 | If truths are necessary 'by convention', that seems to make them contingent [Sider] |
| Full Idea: If □φ says that φ is true by convention, then □φ would apparently turn out to be contingent, since statements about what conventions we adopt are not themselves true by convention. The main axioms of S4 and S5 would be false. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.1) |
| 15028 | Conventionalism doesn't seem to apply to examples of the necessary a posteriori [Sider] |
| Full Idea: Conventionalism is apparently inapplicable to Kripke's and Putnam's examples of the necessary a posteriori (and, relatedly, to de re modality). | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.1) | |
| A reaction: [Sidelle 1989 discusses this] |
| 24030 | 3+4=7 is necessary because we cannot conceive of seven without including three and four [Descartes] |
| Full Idea: When I say that four and three make seven, this connection is necessary, because one cannot conceive the number seven distinctly without including in it in a confused way the number four and the number three. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 12) | |
| A reaction: This seems to make the truths of arithmetic conceptual, and hence analytic. |
| 15033 | Humeans says mathematics and logic are necessary because that is how our concept of necessity works [Sider] |
| Full Idea: Why are logical (or mathematical, or analytic...) truths necessary? The Humean's answer is that this is just how our concept of necessity works. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.11) | |
| A reaction: This is why I (unlike Sider) am not a Humean. If we agreed that 'necessary' meant 'whatever is decreed by the Pope', that would so obviously not be necessary that we would have to start searching nature for true necessities. |
| 15025 | The world does not contain necessity and possibility - merely how things are [Sider] |
| Full Idea: At bottom, the world is an amodal place. Necessity and possibility do not carve at the joints; ultimate reality is not 'full of threats and promises' (Goodman). The book of the world says how things are, not how they must or might be. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12) | |
| A reaction: Nice to see this expressed so clearly. I find it much easier to disagree with as a result. At first blush I would say that if you haven't noticed that the world is full of threats and promises, you should wake up and smell the coffee. Actuality is active. |
| 2301 | We know by thought that what is done cannot be undone [Descartes] |
| Full Idea: Some ideas belong exclusively to the mind, such as perceiving that what has been done cannot be undone, and everything else that is known by the light of nature. | |
| From: René Descartes (Meditations [1641], §6.82) |
| 3642 | Pythagoras' Theorem doesn't cease to be part of the essence of triangles just because we doubt it [Arnauld on Descartes] |
| Full Idea: You can't reason 'I know the triangle is right-angled, but I doubt Pythagoras' Theorem, therefore it does not belong to the essence of right-angled triangles that the square on the hypotenuse is equal to the sum of the squares on the other two sides'. | |
| From: comment on René Descartes (Meditations [1641], §6.78) by Antoine Arnauld - Objections to 'Meditations' (Fourth) 202 |
| 13717 | Transworld identity is not a problem in de dicto sentences, which needn't identify an individual [Sider] |
| Full Idea: There is no problem of transworld identification with de dicto modal sentence, for their evaluation does not require taking an individual from one possible world and reidentifying it in another. | |
| From: Theodore Sider (Logic for Philosophy [2010], 9.2) | |
| A reaction: If 'de dicto' is about the sentence and 'de re' is about the object (Idea 5732), how do you evaluate the sentence without at least some notion of the object to which it refers. Nec the Prime Minister chairs the cabinet. Could a poached egg do the job? |
| 14763 | Counterparts rest on similarity, so there are many such relations in different contexts [Sider] |
| Full Idea: A counterpart relation is a similarity relation. Since there are different dimensions of similarity, there are different counterpart relations. | |
| From: Theodore Sider (Four Dimensionalism [2001], 6.4) |
| 13719 | Barcan Formula problem: there might have been a ghost, despite nothing existing which could be a ghost [Sider] |
| Full Idea: A problem with the Barcan Formula is it might be possible for there to exist a ghost, even though there in fact exists nothing that could be a ghost. There could have existed some 'extra' thing which could be a ghost. | |
| From: Theodore Sider (Logic for Philosophy [2010], 9.5.2) | |
| A reaction: Thus when we make modal claims, do they only refer to what actually exists, or is specified in our initial domain? Can a claim enlarge the domain? Are domains 'variable'? Simple claims about what might have existed seem to be a problem. |
| 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) |
| 20190 | Belief is not an intellectual state or act, because propositions are affirmed or denied by the will [Descartes, by Zagzebski] |
| Full Idea: Descartes claimed that belief is not purely an intellectual state or act, since it is not the intellect that affirms or denies a proposition proposed for its consideration, but the will. | |
| From: report of René Descartes (Meditations [1641], IV) by Linda Trinkaus Zagzebski - Virtues of the Mind 4.2 | |
| A reaction: This is the canonical idea of 'doxastic voluntarism' - that we choose what to believe or not believe. In modern times this view has become deeply unfashionable. I don't we should wholly reject the possibility of choosing to believe something. |
| 24019 | If we accept mere probabilities as true we undermine our existing knowledge [Descartes] |
| Full Idea: It is better never to study than to be unable to distinguish the true from the false, and be obliged to accept as certain what is doubtful. One risks losing the knowledge one already has. Hence we reject all those knowledges which are only probable. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 02) | |
| A reaction: This is usually seen nowadays (and I agree) that this is a false dichotomy. Knowledge can't be all-or-nothing. We should accept probabilities as probable, not as knowledge. Probability became a science after Descartes. |
| 9807 | In pursuing truth, anything less certain than mathematics is a waste of time [Descartes] |
| Full Idea: In our search for the direct road towards truth we should busy ourselves with no object about which we cannot attain a certitude equal to that of the demonstrations of Arithmetic and Geometry. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], Rule II), quoted by Alain Badiou - Mathematics and Philosophy: grand and little p.8 | |
| A reaction: A beautiful statement of the way in which rationalist philosophy was founded on the model of mathematics (esp. Euclid), with all its concomitant problems. The most important concept of the last hundred years may well be fallibilist rationalism. |
| 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 |
| 1585 | Descartes tried to model reason on maths instead of 'logos' [Roochnik on Descartes] |
| Full Idea: Descartes rejects logos because it does not achieve the certainty he craves. He replaces it with his own model of rationality, one modelled essentially on mathematics. | |
| From: comment on René Descartes (Meditations [1641], §1) by David Roochnik - The Tragedy of Reason p.76 |
| 1582 | Labelling slightly doubtful things as false is irrational [Roochnik on Descartes] |
| Full Idea: To declare that which is the least bit dubious as absolutely false is to declare war on logos. | |
| From: comment on René Descartes (Meditations [1641], §1.17) by David Roochnik - The Tragedy of Reason p.72 |
| 2256 | Maybe there is only one certain fact, which is that nothing is certain [Descartes] |
| Full Idea: If I suppose that everything I see is false. Nothing I remember actually existed. I have no senses, and body, shape, extension, movement and place are all chimeras. What then is true? Perhaps just the single fact that nothing is certain. | |
| From: René Descartes (Meditations [1641], §2.24) |
| 3657 | Understanding, not the senses, gives certainty [Descartes] |
| Full Idea: Certainty is not in the sense but in the understanding alone, when it has evident perceptions. | |
| From: René Descartes (Preface to 'Principles of Philosophy' [1647], p.177) |
| 2260 | If I don't think, there is no reason to think that I exist [Descartes] |
| Full Idea: It could be that if I were to cease all thinking I would then utterly cease to exist. …I am therefore precisely nothing but a thinking thing; that is, a mind, or intellect, or understanding, or reason. | |
| From: René Descartes (Meditations [1641], §2.27) |
| 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) |
| 3658 | Total doubt can't include your existence while doubting [Descartes] |
| Full Idea: He who decides to doubt everything cannot nevertheless doubt that he exists while he doubts. | |
| From: René Descartes (Principles of Philosophy [1646], Pref) |
| 6914 | Descartes transformed 'God is thinkable, so he exists' into 'I think, so I exist' [Descartes, by Feuerbach] |
| Full Idea: Descartes transformed the proposition 'because God is thinkable, therefore he exists' into the proposition 'I think, therefore I am'. | |
| From: report of René Descartes (Meditations [1641], 2) by Ludwig Feuerbach - Principles of Philosophy of the Future §18 | |
| A reaction: This implies that Descartes' foundation is the Ontological Argument rather than the Cogito. It certainly shows how a priori synthetic thinking is basic in Descartes - that views of existence derive from pure thought. Was Descartes an idealist? |
| 4641 | In the Meditations version of the Cogito he says "I am; I exist", which avoids presenting it as an argument [Descartes, by Baggini /Fosl] |
| Full Idea: Descartes may have been aware of the danger of begging the question (in claiming "I think therefore I am") because in 'Meditations' he says "I am; I exist", which is not presented in the form of an argument. | |
| From: report of René Descartes (Meditations [1641], 2) by J Baggini / PS Fosl - The Philosopher's Toolkit §3.22 | |
| A reaction: Certainly the word 'therefore' cries out for a strict analysis of what is being inferred from what, but presenting the Cogito as a self-evident intuition for the 'natural light' has its own problems. |
| 5005 | I think, therefore I am, because for a thinking thing to not exist is a contradiction [Descartes] |
| Full Idea: There is a contradiction in conceiving that what thinks does not (at the same time as it thinks) exist. Hence this conclusion I think, therefore I am, is the first and most certain that occurs to one who philosophises in an orderly way. | |
| From: René Descartes (Principles of Philosophy [1646], I.07) | |
| A reaction: The classic statement of his argument. The significance here is that it seems to have the structure of an argument, as it involves 'philosophising', which leads to a 'contradiction', and hence to the famous conclusion. It is not just intuitive. |
| 5006 | 'Thought' is all our conscious awareness, including feeling as well as understanding [Descartes] |
| Full Idea: By the word 'thought' I understand everything we are conscious of as operating in us. And that is why not only understanding, willing, imagining, but also feeling, are here the same thing as thinking. | |
| From: René Descartes (Principles of Philosophy [1646], I.09) | |
| A reaction: There is a bit of tension here between Descartes' correct need to include feeling in thought for his Cogito argument, and his tendency to dismiss animal consciousness, on the grounds that they only sense things, and don't make judgements. |
| 24020 | We all see intuitively that we exist, where intuition is attentive, clear and distinct rational understanding [Descartes] |
| Full Idea: By intuition I mean the conception of an attentive mind, so distinct and clear that it has no doubt about what it understands, …a conception that is borne of the sole light of reason. Thus everyone can see intuitively that he exists. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 03) | |
| A reaction: By 'intuition' he means self-evident certainty, whereas my concept is of a judgement of which I am reasonably confident, but without sufficient grounds for certainty. This is an early assertion of the Cogito, with a clear statement of its grounding. |
| 24031 | When Socrates doubts, he know he doubts, and that truth is possible [Descartes] |
| Full Idea: If Socrates says he doubts everything, it necessarily follows that he at least understands that he doubts, and that he knows that something can be true or false: for these are notions that necessarily accompany doubt. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 12) | |
| A reaction: An early commitment to the Cogito. But note that the inescapable commitment is not just to his existence, but also to his own reasoning, and his own commitment, and to the possibility of truth. Many, many things are undeniable. |
| 6929 | Modern philosophy set the self-conscious ego in place of God [Descartes, by Feuerbach] |
| Full Idea: Modern philosophy set the thinking being, the ego, and the self-conscious mind in the place of the merely ideated being, in place of God. | |
| From: report of René Descartes (Meditations [1641]) by Ludwig Feuerbach - Principles of Philosophy of the Future §37 | |
| A reaction: Descartes would be shocked by this interpretation, but God comes third in his logical priorities, after the existence of his ego, and its reliance on what is clear and distinct. |
| 3849 | "I think therefore I am" is the absolute truth of consciousness [Sartre on Descartes] |
| Full Idea: "I think therefore I am" is the absolute truth of consciousness as it attains to itself. | |
| From: comment on René Descartes (Meditations [1641], §2) by Jean-Paul Sartre - Existentialism and Humanism p.44 |
| 2258 | I must even exist if I am being deceived by something [Descartes] |
| Full Idea: Doubtless I exist if I persuade myself of something. But there is some powerful and cunning deceiver who is deliberately deceiving me. Then too there is no doubt that I exist, if he is deceiving me. | |
| From: René Descartes (Meditations [1641], §2.25) |
| 2259 | "I am, I exist" is necessarily true every time I utter it or conceive it in my mind [Descartes] |
| Full Idea: "I am, I exist" is necessarily true every time I utter it or conceive it in my mind. | |
| From: René Descartes (Meditations [1641], §2.25) |
| 3160 | The Cogito is a transcendental argument, not a piece of a priori knowledge [Rey on Descartes] |
| Full Idea: The Cogito is a transcendental argument; Descartes doesn't claim that it is a priori that he exists, but that any doubt or denial that he exists would presuppose his existence. | |
| From: comment on René Descartes (Meditations [1641], §2.26) by Georges Rey - Contemporary Philosophy of Mind 3.2.1 |
| 3622 | The Cogito is not a syllogism but a self-evident intuition [Descartes] |
| Full Idea: When someone says 'I am thinking, therefore I am, or I exist', he does not deduce existence from thought by means of a syllogism, but recognises it as something self-evident by a simple intuition of the mind. | |
| From: René Descartes (Reply to Second Objections [1641], 140) |
| 3623 | The Cogito only works if you already understand what thought and existence are [Mersenne on Descartes] |
| Full Idea: In order to be certain that you are thinking you must know what thought or thinking is, and what your existence is; but since you do not yet know what these things are, how can you know that you are thinking or that you exist? | |
| From: comment on René Descartes (Meditations [1641], §2.26) by Marin Mersenne - Objections to 'Meditations' (Sixth) 413 |
| 1369 | It is a precondition of the use of the word 'I' that I exist [Ayer on Descartes] |
| Full Idea: In the Cogito the work is all done by the demonstrative word 'I', because it is a precondition of the use of such a word that the thing to which it points has to exist. | |
| From: comment on René Descartes (Meditations [1641], §2.26) by A.J. Ayer - The Problem of Knowledge Ch 2 (iii) |
| 5360 | The thing which experiences may be momentary, and change with the next experience [Russell on Descartes] |
| Full Idea: It might be that the something which sees a brown colour is quite momentary, and not the same thing which has some different experience the next moment. | |
| From: comment on René Descartes (Meditations [1641], §2.26) by Bertrand Russell - Problems of Philosophy Ch.2 | |
| A reaction: This has become one of the standard objections to the Cogito. Note that Descartes himself was aware of the problem (Idea 1400). Sometimes experiences make no sense if there isn't something connecting them to previous experiences. |
| 2870 | 'I think' assumes I exist, that thinking is known and caused, and that I am doing it [Nietzsche on Descartes] |
| Full Idea: The sentence "I think" contains a series of unprovable assertions; for example, it is I who think, that it must be something at all which thinks, that thinking is by an entity thought of as a cause, that an 'I' exists, and that I know what thinking is. | |
| From: comment on René Descartes (Meditations [1641], §2.26) by Friedrich Nietzsche - Beyond Good and Evil §16 |
| 5188 | A thought doesn't imply other thoughts, or enough thoughts to make up a self [Ayer on Descartes] |
| Full Idea: The fact that a thought occurs at a given moment does not entail that any other thought has occurred at any other moment, still less that there has occurred a series of thoughts sufficient to constitute a single self. | |
| From: comment on René Descartes (Meditations [1641], §2.26) by A.J. Ayer - Language,Truth and Logic Ch.2 | |
| A reaction: This seems to be the main objection to the Cogito. It doesn't refute it, but simply recommends cautious restraint in what is being claimed as its conclusion. I can't make much sense of a thought which has no thinker at all. |
| 3624 | That I perform an activity (thinking) doesn't prove what type of thing I am [Hobbes on Descartes] |
| Full Idea: From the fact that I am thinking it follows that I exist, since that which thinks is not nothing. But when he adds 'that is, I am a mind, or intelligence, or intellect', a doubt arises. ..You might as well say 'I am walking, therefore I am a walk'. | |
| From: comment on René Descartes (Meditations [1641], §2.26) by Thomas Hobbes - Objections to 'Meditations' (Third) 172 |
| 3120 | Autistic children seem to use the 'I' concept without seeing themselves as thinkers [Segal on Descartes] |
| Full Idea: It really does not seem (as a result of research into autism) that when one thinks of oneself with one's 'I' concept, one must thereby represent oneself as a thinker. | |
| From: comment on René Descartes (Meditations [1641], §2.26) by Gabriel M.A. Segal - A Slim Book about Narrow Content 4.2 |
| 4526 | The Cogito assumes a priori the existence of substance, when actually it is a grammatical custom [Nietzsche on Descartes] |
| Full Idea: Descartes' Cogito posits as 'true a priori' our belief in the concept of substance, but the idea that when there is a thought there has to be something 'that thinks' is simply a formulation of our grammatical custom that adds a doer to every deed. | |
| From: comment on René Descartes (Meditations [1641], §2.26) by Friedrich Nietzsche - The Will to Power (notebooks) §484 | |
| A reaction: This anticipates the sort of thing Ayer and the logical positivists said. It is not clear that Descartes does think the mind is a substance, but this pinpoints a possible presupposition in Descartes. |
| 5579 | How can we infer that all thinking involves self-consciousness, just from my own case? [Kant on Descartes] |
| Full Idea: It seems strange that the condition under which I think is to be valid for everything that thinks, and that on an empirical-seeming proposition we can presume to ground a universal judgement, that everything that thinks has self-consciousness. | |
| From: comment on René Descartes (Meditations [1641], §2.26) by Immanuel Kant - Critique of Pure Reason A346 | |
| A reaction: Kant is not bothered by this, and says we know it a priori. If it is indeed an empirical proposition, it becomes an induction with one instance, which is the notorious weakness of the 'argument from analogy' to other minds. The Cogito is not empirical. |
| 5580 | My self is not an inference from 'I think', but a presupposition of it [Kant on Descartes] |
| Full Idea: The simplicity of my self is not inferred from the proposition "I think", but rather the former lies in every thought. 'I am simple' is an immediate apperception, just as the Cogito is tautological, since 'cogito' immediately asserts the reality. | |
| From: comment on René Descartes (Meditations [1641], §2.26) by Immanuel Kant - Critique of Pure Reason A355 | |
| A reaction: This is why Kant thinks the self is the result of a transcendental deduction, rather than of a direct observation of the self-evident. Personally I side with Descartes. I do not 'observe' my self, but I am acutely aware of its presence and actions. |
| 5587 | We cannot give any information a priori about the nature of the 'thing that thinks' [Kant on Descartes] |
| Full Idea: If anyone asks me: What is the constitution of a thing that thinks? I do not know how to answer a priori, because the answer ought to be synthetic (for an analytic answer explains thinking, but gives no cognition of that on which thinking rests). | |
| From: comment on René Descartes (Meditations [1641], §2.26) by Immanuel Kant - Critique of Pure Reason A398 | |
| A reaction: This has always seemed a problem with Descartes' very thin account of his 'res cogitans', but then what exactly does Kant want to know? Is it a metaphysical disaster if we think of the self as having no more identity than a geometrical point? |
| 5588 | The fact that I am a subject is not enough evidence to show that I am a substantial object [Kant on Descartes] |
| Full Idea: The fact that I am a subject ..does not signify that as object I am a self-subsisting being or substance; the latter goes too far, and hence demands data that are not encountered at all in thinking. | |
| From: comment on René Descartes (Meditations [1641], §2.26) by Immanuel Kant - Critique of Pure Reason B407 | |
| A reaction: This is a key problem with the Cogito - that so little can be said about the 'I' of which the existence has been proved that it is not clear that anything has been proved at all - certainly not that there is a continuous and stable Ego. |
| 13923 | Descartes' claim to know his existence before his essence is misleading or absurd [Descartes, by Lowe] |
| Full Idea: Descartes claimed to know that he existed before he knew what he was - before he grasped his own essence. This is either disingenuous or intended non-literally, if it is not to be dismissed as incomprehensible. | |
| From: report of René Descartes (Meditations [1641], 2) by E.J. Lowe - Two Notions of Being: Entity and Essence 2 n32 | |
| A reaction: If something comes at you from the mist, you can know that it exists before you know what it is. How could you understand the essence of something if you hadn't first encountered its existence? Lowe has it the wrong way round. |
| 6930 | Modern self-consciousness is a doubtful abstraction; only senses and feelings are certain [Feuerbach on Descartes] |
| Full Idea: The self-consciousness of modern philosophy is only a being ideated and mediated through abstraction and thus a doubtful being; certain and immediately assured is only that which is an object of the senses, perception and feeling. | |
| From: comment on René Descartes (Meditations [1641], 2) by Ludwig Feuerbach - Principles of Philosophy of the Future §37 | |
| A reaction: This seems to agree with Hume's empirical doubts about the self (Idea 1316). The comment that 'abstraction' is involved in the Cogito argument is interesting. Descartes said the Cogito was a 'simply intuition of the mind' (Idea 3622). |
| 1117 | The Cogito proves subjective experience is basic, but makes false claims about the Self [Russell on Descartes] |
| Full Idea: The Cogito argument proves that subjective experience is the most reliable, but it makes unjustified claims about the certainty of the Self. | |
| From: comment on René Descartes (Meditations [1641], §2.26) by Bertrand Russell - Problems of Philosophy Ch 2 |
| 2873 | Maybe 'I' am not the thinker, but something produced by thought [Nietzsche on Descartes] |
| Full Idea: In the past one said 'I' is the condition, 'think' is the predicate and conditioned - thinking is an activity which the subject causes; but maybe the reverse is true - and 'I' is only a synthesis produced by thinking. | |
| From: comment on René Descartes (Meditations [1641], §2.26) by Friedrich Nietzsche - Beyond Good and Evil §54 |
| 2261 | My perceiving of things may be false, but my seeming to perceive them cannot be false [Descartes] |
| Full Idea: I now see a light, I hear a noise, I feel heat. Perhaps these things are false, since I am asleep. Yet I certainly do seem to see, hear, and feel warmth. This cannot be false. | |
| From: René Descartes (Meditations [1641], §2.29) |
| 2257 | I myself could be the author of all these self-delusions [Descartes] |
| Full Idea: I myself could be the author of all these self-delusions. | |
| From: René Descartes (Meditations [1641], §2.24) |
| 24025 | Clear and distinct truths must be known all at once (unlike deductions) [Descartes] |
| Full Idea: We require two conditions for intuition, namely that the proposition appear clear and distinct, and then that it be understood all at once and not successively. Deduction, on the other hand, implies a certain movement of the mind. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 11) | |
| A reaction: A nice distinction. Presumably with deduction you grasp each step clearly, and then the inference and conclusion, and you can then forget the previous steps because you have something secure. |
| 24022 | Our souls possess divine seeds of knowledge, which can bear spontaneous fruit [Descartes] |
| Full Idea: The human soul possesses something divine in which are deposited the first seeds of useful knowledge, which, in spite of the negligence and embarrassment of poorly done studies, bear spontaneous fruit. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 04) | |
| A reaction: This makes clear the religious underpinning which is required for his commitment to such useful innate ideas (such as basic geometry) |
| 3630 | Our thinking about external things doesn't disprove the existence of innate ideas [Descartes] |
| Full Idea: You can't prove that Praxiteles never made any statues on the grounds that he did not get from within himself the marble from which he sculpted them. | |
| From: René Descartes (Reply to Fifth Objections [1641], 362) |
| 2279 | A triangle has a separate non-invented nature, shown by my ability to prove facts about it [Descartes] |
| Full Idea: A triangle has a determinate nature, which I did not fabricate, and which does not depend on my mind. This is evident from the fact that various properties can be demonstrated regarding it, such as that its three angles are equal to two right angles. | |
| From: René Descartes (Meditations [1641], §5.64) |
| 5012 | 'Nothing comes from nothing' is an eternal truth found within the mind [Descartes] |
| Full Idea: The proposition 'nothing comes from nothing' is not to be considered as an existing thing, or the mode of a thing, but as a certain eternal truth which has its seat in our mind and is a common notion or axiom. | |
| From: René Descartes (Principles of Philosophy [1646], I.49) | |
| A reaction: There is a tension here, in his assertion that it is 'eternal', but 'not existing'. How does one distinguish an innate idea from an innate truth? 'Eternal' sounds like an external guarantee of truth, but being 'in our mind' sounds less reliable. |
| 2602 | What experience could prove 'If a=c and b=c then a=b'? [Descartes] |
| Full Idea: Please tell me what the corporeal motion is that is capable of forming some common notion to the effect that 'things which are equal to a third thing are equal to each other'. | |
| From: René Descartes (Comments on a Certain Broadsheet [1644], p.366) |
| 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) |
| 6490 | For Descartes, objects have one primary quality, which is geometrical [Descartes, by Robinson,H] |
| Full Idea: Descartes denies any similarity between the physical world and ideas, as matter possesses only geometrical properties; Locke allows more primary qualities, but follows Boyle and the atomists in treating secondary qualities as creations of sense. | |
| From: report of René Descartes (Meditations [1641]) by Howard Robinson - Perception 1.5 | |
| A reaction: The interesting point to note here is that Descartes' geometrical view of objects (they are defined purely by 'extension') is the view that they have one minimal primary quality. I prefer Locke's view, of which the history (given here) is interesting. |
| 22593 | Our sensation of light may not be the same as what produces the sensation [Descartes] |
| Full Idea: There can be a difference between our sensation of light and what is in the objects that produce that sensation in us. | |
| From: René Descartes (The World [1631]), quoted by Ian Dunt - How to be a Liberal 1 | |
| A reaction: Note only that they 'may' differ, and that he does not assert that they are entirely different. Secondary qualities give information, and are not just mental events. |
| 7400 | Descartes said images can refer to objects without resembling them (as words do) [Descartes, by Tuck] |
| Full Idea: Descartes argued (in 'The World') that just as words refer to objects, but they do not resemble them, in the same way, visual images or other sensory inputs relate to objects without depicting them. | |
| From: report of René Descartes (works [1643]) by Richard Tuck - Hobbes | |
| A reaction: This strikes me as a rather significant and plausible claim, which might contain the germ of the idea of a language of thought. It is also the basis for the recent view that language is the best route to understanding the mind. |
| 2295 | Why does pain make us sad? [Descartes] |
| Full Idea: Why should a certain sadness of spirit arise from a sensation of pain? | |
| From: René Descartes (Meditations [1641], §6.76) |
| 3627 | Dogs can make the same judgements as us about variable things [Gassendi on Descartes] |
| Full Idea: A dog certainly makes similar kinds of judgement to your perceiving men by their hats and cloaks when they see their master's hat or clothes, …and they can recognise their master even if he is standing, sitting, lying down, or crouching. | |
| From: comment on René Descartes (Meditations [1641], §2.32) by Pierre Gassendi - Objections to 'Meditations' (Fifth) 272 |
| 2265 | We perceive objects by intellect, not by senses or imagination [Descartes] |
| Full Idea: Bodies are not, properly speaking, perceived by the senses or by the faculty of imagination, but by the intellect alone. | |
| From: René Descartes (Meditations [1641], §2.34) |
| 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) |
| 2263 | The wax is not perceived by the senses, but by the mind alone [Descartes] |
| Full Idea: The perception of the wax is neither a seeing, nor a touching, nor an imagining. Rather, it is an inspection on the part of the mind alone. | |
| From: René Descartes (Meditations [1641], §2.31) |
| 2264 | We don't 'see' men in heavy clothes, we judge them to be men [Descartes] |
| Full Idea: Were I to look out of my window and observe men crossing the square, I would ordinarily say that I see the men themselves. But what do I see but hats and clothes, which could conceal automata? Yet I judge them to be men. | |
| From: René Descartes (Meditations [1641], §2.32) |
| 24034 | If someone had only seen the basic colours, they could deduce the others from resemblance [Descartes] |
| Full Idea: Let there be a man who has sometimes seen the fundamental colours, and never the intermediate and mixed colours; it may be that by a sort of deduction he will represent those he has not seen, by their resemblance to the others. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 14) | |
| A reaction: Thus Descartes solved Hume's shade of blue problem, by means of 'a sort of deduction' from resemblance, where Hume was paralysed by his need to actually experience it. Dogmatic empiricism is a false doctrine! |
| 604 | Knowledge is mind and knowing 'cohabiting' [Lycophron, by Aristotle] |
| Full Idea: Lycophron has it that knowledge is the 'cohabitation' (rather than participation or synthesis) of knowing and the soul. | |
| From: report of Lycophron (fragments/reports [c.375 BCE]) by Aristotle - Metaphysics 1045b | |
| A reaction: This sounds like a rather passive and inert relationship. Presumably knowing something implies the possibility of acting on it. |
| 24021 | The method starts with clear intuitions, followed by a process of deduction [Descartes] |
| Full Idea: If the method shows clearly how we must use intuition to avoid mistaking the false for the true, and how deduction must operate to lead us to the knowledge of all things, it will be complete in my opinion. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 04) | |
| A reaction: A perfect statement of his foundationalist view. It needs a clear and distinct basis, and the steps of building must be strictly logical. Of course, most of our knowledge relies on induction, rather than deduction. |
| 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. |
| 2247 | To achieve good science we must rebuild from the foundations [Descartes] |
| Full Idea: Once in my life I had to raze everything to the ground and begin again from the original foundations, if I wanted to establish anything firm and lasting in the sciences. | |
| From: René Descartes (Meditations [1641], §1.17) | |
| A reaction: This sentence is the beginning of the Enlightenment. The project of proving absolutely everything, and in a foundational way, is now met with much scepticism. I will never abandon the project! |
| 2255 | Only one certainty is needed for progress (like a lever's fulcrum) [Descartes] |
| Full Idea: Archimedes sought but one firm and immovable point in order to move the entire earth. Just so, great things are to be hoped for if I succeed in finding just one thing, however slight, that is certain and unshaken. | |
| From: René Descartes (Meditations [1641], §2.24) | |
| A reaction: The classic foundationalist difficulty is that you may find something totally certain, but is it a fulcrum? Or is it just minimal, boring and useless? |
| 5004 | We can know basic Principles without further knowledge, but not the other way round [Descartes] |
| Full Idea: It is on the Principles, or first causes, that the knowledge of other things depends, so the Principles can be known without these last, but the other things cannot reciprocally be known without the Principles. | |
| From: René Descartes (Principles of Philosophy [1646], Pref) | |
| A reaction: A particularly strong assertion of foundationalism, as it says that not only must the foundations exist, but also we must actually know them. This sounds false, as elementary knowledge then seems to require far too much sophistication. |
| 2251 | Even if my body and objects are imaginary, there may be simpler things which are true [Descartes] |
| Full Idea: Perhaps even though general things like eyes could be imaginary, still one must admit that certain other things that are even more simple and universal are true. | |
| From: René Descartes (Meditations [1641], §1.20) |
| 6347 | Descartes can't begin again, because sceptics doubt cognitive processes as well as beliefs [Pollock/Cruz on Descartes] |
| Full Idea: Descartes' strategy of starting over will not work, because the skeptic is not just questioning our beliefs, he is also questioning the cognitive processes by which we arrive at our beliefs, and if we start all over again we use the same processes. | |
| From: comment on René Descartes (Meditations [1641], §1) by J Pollock / J Cruz - Contemporary theories of Knowledge (2nd) | |
| A reaction: Scepticism comes in degrees, so there is not one strategy employed by sceptics. It is certainly true, though, that nothing can resist extreme scepticism. The most extreme view is to refuse to accept the meaningfulness of all belief language. |
| 2296 | If pain is felt in a lost limb, I cannot be certain that a felt pain exists in my real limbs [Descartes] |
| Full Idea: I have heard it said by people whose arm or leg has been amputated that they still sensed pain in the lost limb. Thus it does not seem certain that one of my bodily members causes me pain, even though I sense pain in it. | |
| From: René Descartes (Meditations [1641], §6.77) |
| 3620 | We correct sense errors with other senses, not intellect [Mersenne on Descartes] |
| Full Idea: Owing to refraction a stick which is in fact straight appears bent in water. What corrects the error? The intellect? Not at all; it is the sense of touch. | |
| From: comment on René Descartes (Meditations [1641], §1.18) by Marin Mersenne - Objections to 'Meditations' (Sixth) 418 |
| 3619 | The senses can only report, so perception errors are in the judgment [Gassendi on Descartes] |
| Full Idea: Although there is deception or falsity, it is not to be found in the senses; for the sense are quite passive and report only appearances, which must appear the way they do owing to their causes. The error or falsity is in the judgement or the mind. | |
| From: comment on René Descartes (Meditations [1641], §1.18) by Pierre Gassendi - Objections to 'Meditations' (Fifth) 332 |
| 2249 | It is prudent never to trust your senses if they have deceived you even once [Descartes] |
| Full Idea: The senses are sometimes deceptive, and it is a mark of prudence never to place our complete trust in those who have deceived us even once. | |
| From: René Descartes (Meditations [1641], §1.18) |
| 3621 | Only judgement decides which of our senses are reliable [Descartes] |
| Full Idea: Sense alone does not suffice to correct visual error: we also need a degree of reason to tell us that we should believe the judgement based on touch rather than vision. Since we don't have this power in infancy, it must be attributed to the intellect. | |
| From: René Descartes (Reply to Sixth Objections [1641], 439) |
| 2253 | God may have created nothing, but made his creation appear to me as it does now [Descartes] |
| Full Idea: How do I know that God did not bring it about that there is no earth or heavens, no extension, shape, size or place, and yet that all these things appear to me precisely as they do now? | |
| From: René Descartes (Meditations [1641], §1.21) |
| 2254 | To achieve full scepticism, I imagine a devil who deceives me about the external world and my own body and senses [Descartes] |
| Full Idea: I will suppose an evil genius, supremely powerful and clever, who has directed his entire effort at deceiving me. I will regard all external things as devilish hoaxes, and myself as not possessed of a body or senses, but falsely believing these things. | |
| From: René Descartes (Meditations [1641], §1.22) |
| 2305 | Waking actions are joined by memory to all our other actions, unlike actions of which we dream [Descartes] |
| Full Idea: Dreams are never joined by the memory with all the actions of life, as is the case with those actions that occur when one is awake. | |
| From: René Descartes (Meditations [1641], §6.89) |
| 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) |
| 2294 | I can only sense an object if it is present, and can't fail to sense it when it is [Descartes] |
| Full Idea: Perceptions come upon me without my consent, to the extent that, wish as I may, I could not sense any object unless it was present to a sense organ, nor could I fail to sense it when it was present. | |
| From: René Descartes (Meditations [1641], §6.75) |
| 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) |
| 14988 | A theory which doesn't fit nature is unexplanatory, even if it is true [Sider] |
| Full Idea: 'Theories' based on bizarre, non-joint-carving classifications are unexplanatory even when true. | |
| From: Theodore Sider (Writing the Book of the World [2011], 03.1) | |
| A reaction: This nicely pinpoints why I take explanation to be central to whole metaphysical enterprise. |
| 14982 | If I used Ramsey sentences to eliminate fundamentality from my theory, that would be a real loss [Sider] |
| Full Idea: If the entire theory of this book were replaced by its Ramsey sentence, omitting all mention of fundamentality, something would seem to be lost. | |
| From: Theodore Sider (Writing the Book of the World [2011], 02.2 n2) | |
| A reaction: It is a moot point whether Ramsey sentences actually eliminate anything from the ontology, but trying to wriggle out of ontological commitment looks a rather sad route to follow. |
| 14989 | Problem predicates in induction don't reflect the structure of nature [Sider] |
| Full Idea: 'Is nonblack', 'is a nonraven', and 'grue' fail to carve at the joints. | |
| From: Theodore Sider (Writing the Book of the World [2011], 03.3) | |
| A reaction: A lot more than this needs to said, but this remark encapsulates why I find most of these paradoxes of induction uninteresting. They are all the creations of logicians, rather than of scientists. |
| 14997 | Two applications of 'grue' do not guarantee a similarity between two things [Sider] |
| Full Idea: The applicability of 'grue' to each of a pair of particulars does not guarantee the similarity of those particulars. | |
| From: Theodore Sider (Writing the Book of the World [2011], 06.2) | |
| A reaction: Grue is not a colour but a behaviour. If two things are 'mercurial' or 'erratic', will that ensure a similarity at any given moment? |
| 14990 | Bayes produces weird results if the prior probabilities are bizarre [Sider] |
| Full Idea: In the Bayesian approach, bizarre prior probability distributions will result in bizarre responses to evidence. | |
| From: Theodore Sider (Writing the Book of the World [2011], 03.3) | |
| A reaction: This is exactly what you find when people with weird beliefs encounter ridiculous evidence for things. It doesn't invalidate the formula, but just says rubbish in rubbish out. |
| 15005 | Explanations must cite generalisations [Sider] |
| Full Idea: Explanations must cite generalisations. | |
| From: Theodore Sider (Writing the Book of the World [2011], 07.13) | |
| A reaction: I'm uneasy about this. Presumably some events have a unique explanation - a unique mechanism, perhaps. Language is inescapably general in its nature - which I take to be Aristotle's reason for agreeing the Sider. [Sider adds mechanisms on p.159] |
| 15011 | If the ultimate explanation is a list of entities, no laws, patterns or mechanisms can be cited [Sider] |
| Full Idea: Ultimate explanations always terminate in the citation of entities; but since a mere list of entities is so unstructured, these 'explanations' cannot be systematized with detailed general laws, patterns, or mechanisms. | |
| From: Theodore Sider (Writing the Book of the World [2011], 08.5) | |
| A reaction: We just need to distinguish between ultimate ontology and ultimate explanations. I think explanations peter out at the point where we descend below the mechanisms. Patterns or laws don't explain on their own. Causal mechanisms are the thing. |
| 4862 | Can the pineal gland be moved more slowly or quickly by the mind than by animal spirits? [Spinoza on Descartes] |
| Full Idea: I am in ignorance whether the pineal gland can be agitated more slowly or more quickly by the mind than by the animal spirits. | |
| From: comment on René Descartes (Meditations [1641], §6.82) by Baruch de Spinoza - The Ethics V Pref | |
| A reaction: Is this the earliest statement of the problem of double causation? It is a classic difficulty for dualists, highlighted by Ryle, among others. Avoidance of double causation is a classic reason for moving to monism about mind. |
| 3850 | We discovers others as well as ourselves in the Cogito [Sartre on Descartes] |
| Full Idea: It is not only oneself that one discovers in the Cogito, but those of others too. | |
| From: comment on René Descartes (Meditations [1641], §2) by Jean-Paul Sartre - Existentialism and Humanism p.45 | |
| A reaction: The analytical tradition requires a bit more than an instant perception of others in oneself. The problem of 'other minds' must at least be mentioned. However, the way to get to know a universal is to fully study a single instance. |
| 2302 | Faculties of the mind aren't parts, as one mind uses them [Descartes] |
| Full Idea: The faculties of willing, sensing, understanding and so on cannot be called "parts" of the mind, since it is one and the same mind that wills, senses and understands. | |
| From: René Descartes (Meditations [1641], §6.86) | |
| A reaction: It is best here to say that Descartes has confused the 'mind' with the 'person'. These faculties make (I think) no sense without a person to perform them, but the 'mind' surely includes these conscious activities, and many fringe events as well. |
| 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) |
| 24027 | Nerves and movement originate in the brain, where imagination moves them [Descartes] |
| Full Idea: The motive power or the nerves themselves originate in the brain, which contains the imagination, which moves them in a thousand ways, as the common sense is moved by the external sense. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 12) | |
| A reaction: This sounds a lot more physicalist than his later explicit dualism in Meditations. Even in that work the famous passage on the ship's pilot acknowledged tight integration of mind and brain. |
| 5014 | We can understand thinking occuring without imagination or sensation [Descartes] |
| Full Idea: We can understand thinking without imagination or sensation, as is quite clear to anyone who attends to the matter. | |
| From: René Descartes (Principles of Philosophy [1646], I.53) | |
| A reaction: We may certainly take it that Descartes means if it is understandable then it is logically possible. To believe that thinking could occur without imagination strikes me as an astonishing error. I take imagination to be more central than understanding. |
| 16634 | I can't be unaware of anything which is in me [Descartes] |
| Full Idea: Nothing can be in me of which I am entirely unaware. | |
| From: René Descartes (Reply to First Objections [1641]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 08.4 | |
| A reaction: This I take to be a place where Descartes is utterly and catastrophically wrong. Until you grasp the utter falseness of this thought, the possibility of you (dear reader) understanding human beings is zero. Here 'I' obviously means his mind. |
| 15018 | Intentionality is too superficial to appear in the catalogue of ultimate physics [Sider] |
| Full Idea: One day the physicists will complete the catalogue of ultimate and irreducible properties of things. When they do, the like of spin, charm and charge will perhaps appear on the list. But aboutness sure won't; intentionality simply doesn't go that deep. | |
| From: Theodore Sider (Writing the Book of the World [2011], 4 Intro) | |
| A reaction: Fodor's project is to give a reductive, and perhaps eliminative, account of intentionality of mind, while leaving open what one might do with the phenomenological aspects. Personally I don't think they will appear on the list either. |
| 3151 | Descartes put thought at the centre of the mind problem, but we put sensation [Rey on Descartes] |
| Full Idea: Descartes confined his dualism to problems of reason and language. Sensation and even imagination seemed to him physically unproblematic. Nowadays it is the reverse: thinking seems easy - but feeling? | |
| From: comment on René Descartes (Meditations [1641], 2) by Georges Rey - Contemporary Philosophy of Mind 2 n16 | |
| A reaction: Thinking only 'seems easy' if it can be done without consciousness, and that is beginning to look like a dubious assumption. The most interesting and promising area is the borderline between a chess-playing machine and a human chess player. |
| 24026 | Our four knowledge faculties are intelligence, imagination, the senses, and memory [Descartes] |
| Full Idea: There are four faculties in us which we can use to know: intelligence, imagination, the senses, and memory. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 12) | |
| A reaction: Philosophers have to attribute faculties to the mind, even if the psychologists and neuroscientists won't accept them. We must infer the sources of our modes of understanding. He is cautious about imagination. |
| 21800 | Descartes mentions many cognitive faculties, but reduces them to will and intellect [Descartes, by Schmid] |
| Full Idea: Although Descartes accepted a variety of cognitive faculties like the intellect, will, power of judgement, imagination, memory, and perception, he took them all to be ultimately reducible to different operations of the will and intellect. | |
| From: report of René Descartes (Meditations [1641], 4) by Stephan Schmid - Faculties in Early Modern Philosophy 2 | |
| A reaction: In Med 4, it is most clear, when he reduces 'judgement' to will and intellect, which enable his to assent to an idea. Nietzsche saw Descartes' view as simplistic. |
| 1399 | Imagination and sensation are non-essential to mind [Descartes] |
| Full Idea: This power of imagination which is in me, in so far as it differs from the power of conceiving, is in no way necessary to my nature or essence. | |
| From: René Descartes (Meditations [1641], §6.73) | |
| A reaction: This is my candidate for the biggest blunder ever made by a great philosopher. But it was thanks to his mistake that I began to realise how totally central imagination is to the very act of thinking. Thank you, René. |
| 1400 | Some cause must unite the separate temporal sections of a person [Descartes] |
| Full Idea: Because the entire span of one's life can be divided into countless parts, each one wholly independent of the rest, it does not follow from the fact that I existed a short time ago that I exist now, unless some cause creates and preserves me each moment. | |
| From: René Descartes (Meditations [1641], §3.49) | |
| A reaction: How could I 'prove' that this computer is the same computer as it was five minutes ago, even after I have accepted the straightforward existence of the computer? This is the Enlightenment Project, the mad desire to prove absolutely everything. |
| 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. |
| 1401 | Since I only observe myself to be thinking, I conclude that that is my essence [Descartes] |
| Full Idea: Since I do not observe that any other thing belongs necessarily to my nature or essence except that I am a thinking thing, I rightly conclude that my essence consists in this alone, that I am a thinking thing, or substance whose essence is thinking. | |
| From: René Descartes (Meditations [1641], §6.78) | |
| A reaction: This actually appears to be my favourite confusion - of episemology with ontology. Compare 'whenever I see him he is smiling, so he must be happy'. Personally I am happy to say that my essence is thinking, as long as it needn't be conscious. |
| 2299 | I can exist without imagination and sensing, but they can't exist without me [Descartes] |
| Full Idea: I can understand myself without the faculties of imagining and sensing, but not vice versa; I cannot understand them without me - a substance endowed with understanding. | |
| From: René Descartes (Meditations [1641], §6.78) | |
| A reaction: I think this is a fundamental and important error on Descartes' part. The idea that understanding is possible without imagination (and even sensation) is wrong, and it leads to the misleading concept of 'pure' reason. |
| 6907 | For Descartes a person's essence is the mind because objects are perceived by mind, not senses [Descartes, by Feuerbach] |
| Full Idea: For Descartes the essence of corporeal things is not an object of the senses, but only of the mind; and hence it is not the senses but the mind that is the essence of the perceiving subject, that is, of man. | |
| From: report of René Descartes (Meditations [1641], 2) by Ludwig Feuerbach - Principles of Philosophy of the Future §17 | |
| A reaction: This, of course, is why Descartes' approach can lead to idealism and solipsism, whereas the other approach leads to empiricism and animalism (Idea 6669). |
| 5017 | In thinking we shut ourselves off from other substances, showing our identity and separateness [Descartes] |
| Full Idea: Because each one of us understands what he thinks, and that in thinking he can shut himself off from every other substance, we may conclude that each of us is really distinct from every other thinking substance and from corporeal substance. | |
| From: René Descartes (Principles of Philosophy [1646], I.60) | |
| A reaction: This seems to be a novel argument which requires elucidation. I can 'shut myself off from every other substance'? If I shut myself off from thinking about food, does that mean hunger is not part of me? Or convince yourself that you don't have a brother? |
| 2283 | Our 'will' just consists of the feeling that when we are motivated to do something, there are no external pressures [Descartes] |
| Full Idea: The will consists solely in the fact that when something is proposed to us by our intellect either to affirm or deny, we are moved in such a way that we sense we are determined to it by no external force. | |
| From: René Descartes (Meditations [1641], §4.57) |
| 5010 | Our free will is so self-evident to us that it must be a basic innate idea [Descartes] |
| Full Idea: It is so evident that we are possessed of a free will that can give or withhold its assent, that this may be counted as one of the first and most common notions found innately in us. | |
| From: René Descartes (Principles of Philosophy [1646], I.39) | |
| A reaction: It seems to me plausible to say that we have an innate conception of our own will (our ability to make decisions), though Hume says we only learn about the will from experience, but the idea that it is absolutely 'free' might never cross our minds. |
| 3789 | The more reasons that compel me, the freer I am [Descartes] |
| Full Idea: I move the more freely towards an object in proportion to the number of reasons which compel me. | |
| From: René Descartes (Letter to Mersenne [1642]) |
| 2282 | My capacity to make choices with my free will extends as far as any faculty ever could [Descartes] |
| Full Idea: I experience that the will or free choice I have received from God is limited by no boundaries whatever, …indeed it is so great in me that I cannot grasp the idea of any greater faculty. | |
| From: René Descartes (Meditations [1641], §4.56) |
| 4310 | We have inner awareness of our freedom [Descartes] |
| Full Idea: We have inner awareness of our freedom. | |
| From: René Descartes (works [1643]) | |
| A reaction: This begs a few questions. I may be directly aware that I have not been hypnotised, but no one would accept it as proof. |
| 24028 | The force by which we know things is spiritual, and quite distinct from the body [Descartes] |
| Full Idea: This force by which we properly know objects is purely spiritual, and is no less distinct from the body than is the blood from the bones. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 12) | |
| A reaction: This firmly contradicts any physicalism I thought I detected in Idea 24027! He uses the word 'spiritual' of the mind here, which I don't think he uses in later writings. |
| 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. |
| 2276 | The mind is a non-extended thing which thinks [Descartes] |
| Full Idea: My concept of the human mind is a thinking thing, not extended in length, breadth or depth, and having nothing else from the body. | |
| From: René Descartes (Meditations [1641], §4.53) | |
| A reaction: But he admits (in Med 6) that the mind is so closely integrated with the body that they seem inseparable. Perhaps he shouldn't trust his own concept of the thing, because he is too close to the subject matter. You can't count a crowd if you are in it. |
| 2298 | Mind is not extended, unlike the body [Descartes] |
| Full Idea: Since I am clearly a thinking thing and not an extended thing, and on the other hand I have a distinct idea of a body, as merely an extended thing and not a thinking thing, it is certain that I am really distinct from my body, and can exist without it. | |
| From: René Descartes (Meditations [1641], §6.78) | |
| A reaction: How can he be 'certain' for this reason? This is a classic confusion of ontology and epistemology. Given that the mind is a special case, he should be asking WHY his thinking is clear to him, but his body isn't. Maybe it is because of his viewpoint. |
| 3423 | Descartes is a substance AND property dualist [Descartes, by Kim] |
| Full Idea: Descartes' dualism combines substance dualism and property dualism; two disparate domains of substances, and two mutually exclusive families of properties. | |
| From: report of René Descartes (Meditations [1641], §6.78) by Jaegwon Kim - Philosophy of Mind p.211 | |
| A reaction: I would have thought that substance dualism entailed property dualism. How would you distinguish two substances from one another except by their properties? There seems a merely logical possibility that God gives two substances the same properties. |
| 2303 | The mind is utterly indivisible [Descartes] |
| Full Idea: There is a great difference between a mind and a body, in that a body, by its very nature, is always divisible, but the mind is utterly indivisible. | |
| From: René Descartes (Meditations [1641], §6.85) | |
| A reaction: This strikes me as being simply false. I don't just mean that surgeons can split the mind in half. We should think of the mind as a team of conscious and non-conscious processes, which are held together by a self in normal healthy people. Selves change. |
| 5011 | There are two ultimate classes of existence: thinking substance and extended substance [Descartes] |
| Full Idea: I observe two ultimate classes of things: intellectual or thinking things, pertaining to the mind or to thinking substance, and material things, pertaining to extended substance or to body. | |
| From: René Descartes (Principles of Philosophy [1646], I.48) | |
| A reaction: This is clear confirmation that Descartes believed the mind is a substance, rather than an insubstantial world of thinking. It leaves open the possibility of a different theory: that mind is not a substance, but is a Platonic adjunct to reality. |
| 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? |
| 6153 | Interaction between mental and physical seems to violate the principle of conservation of energy [Rowlands on Descartes] |
| Full Idea: It is often argued that any interaction between the physical and the mental - as defined by Descartes - would require a violation of the first law of thermodynamics, the principle of conservation of energy. | |
| From: comment on René Descartes (Meditations [1641]) by Mark Rowlands - Externalism Ch.2 | |
| A reaction: This would be because consciousness is adding energy to the system (in order to generate movement) without it having come from anywhere else in the physical system. A good objection, which only a miracle could overcome. |
| 6553 | Descartes discussed the interaction problem, and compared it with gravity [Descartes, by Lycan] |
| Full Idea: Descartes himself was well aware of the interaction problem, and corresponded uncomfortably with Princess Elizabeth on the matter; …he pointed out that gravity is causal despite not being a physical object. | |
| From: report of René Descartes (works [1643]) by William Lycan - Consciousness n1.3 | |
| A reaction: Lycan observes that at least gravity is in space-time, unlike the Cartesian mind. Pierre Gassendi had pointed out the problem to Descartes in the Fifth Objection to the 'Meditations' (see Idea 3400). |
| 3654 | The pineal gland links soul to body, and unites the two symmetrical sides of the body [Descartes, by PG] |
| Full Idea: The soul is united with the body in just one place, a gland (the pineal) in the centre of the brain. It is placed so that its slightest movement will affect the passions, and it plays the essential role of uniting the two symmetrical sides of the body. | |
| From: report of René Descartes (The Passions of the Soul [1649], §31) by PG - Db (ideas) | |
| A reaction: See Idea 4862 for Spinoza's nice response to Descartes' proposal. If Descartes had followed brain research for the last four hundred years, at what point would he have wavered? If every single part of the brain seems to 'interact', dualism looks unlikely. |
| 3625 | The 'thinking thing' may be the physical basis of the mind [Hobbes on Descartes] |
| Full Idea: It may be that the thing that thinks is the subject to which mind, reason or intellect belong; and this subject may thus be something corporeal. | |
| From: comment on René Descartes (Meditations [1641], §2.27) by Thomas Hobbes - Objections to 'Meditations' (Third) 173 | |
| A reaction: Of course, Descartes goes on to reject this view. Presumably he is suggesting that mind etc. might be properties of something corporeal, rather than being identical with it. Descartes was well aware of materialism in Hobbes and Gassendi. |
| 2552 | Knowing different aspects of brain/mind doesn't make them different [Rorty on Descartes] |
| Full Idea: Why should an epistemic distinction reflect an ontological distinction? Why should our epistemic privilege of being incorrigible about how things seem to us reflect a distinction between two realms of being? | |
| From: comment on René Descartes (Meditations [1641], §6.78) by Richard Rorty - Philosophy and the Mirror of Nature 1.2 | |
| A reaction: This strikes me as being one of the most important ideas in philosophy, mainly as a corrective to a lot of bad philosophy, rather than as wisdom offered to non-philosophers (for whom Rorty's thought is probably common sense. How is it? How do we know? |
| 4305 | Descartes gives no clear criterion for individuating mental substances [Cottingham on Descartes] |
| Full Idea: Descartes gives no clear criterion for individuating mental substances. | |
| From: comment on René Descartes (Meditations [1641], §6.78) by John Cottingham - The Rationalists p.86 | |
| A reaction: Presumably I can individuate my own mind by the 'natural light' of reason, and the implications of the Cogito. The minds of others do seem to be a problem. Why should they coincide with bodies, and not overlap or blend or swap? |
| 4861 | Does Descartes have a clear conception of how mind unites with body? [Spinoza on Descartes] |
| Full Idea: What does Descartes understand by the union of the mind and the body? What clear and distinct conception has he got of thought in most intimate union with a certain particle of extended matter? | |
| From: comment on René Descartes (Meditations [1641], §6.82) by Baruch de Spinoza - The Ethics V Pref | |
| A reaction: This is the classic, original and strongest objection to Cartesian dualism - that mind and body are held to be too different to interact. Spinoza may have overreacted a bit when he saw the only solution as the total identity of the two things. |
| 6540 | Even Descartes may concede that mental supervenes on neuroanatomical [Lycan on Descartes] |
| Full Idea: Even Descartes may have conceded that the mental supervenes on the neuroanatomical. | |
| From: comment on René Descartes (Meditations [1641], 6) by William Lycan - Consciousness 5.2 | |
| A reaction: This is true (early in Meditation Six) despite his later suggestion of the pineal gland as the linking point. It proves nothing, but I have heard John Cottingham suggest that Descartes might well be a materialist if he came back today. |
| 7733 | Superman's strength is indubitable, Clark Kent's is doubtful, so they are not the same? [Maslin on Descartes] |
| Full Idea: Descartes's claim that mind and body are separate because the first is necessary when thinking and the second isn't, is like arguing 'Superman's strength is indubitable; Clark Kent's strength is widely doubted; so Clark Kent is not Superman'. | |
| From: comment on René Descartes (Meditations [1641], p.156) by Keith T. Maslin - Introduction to the Philosophy of Mind 2.7.1 | |
| A reaction: I've heard people defend Descartes on this, and Kripke is interesting on the subject, but Descartes had better not be following this pattern of argument, or else a great philosopher would really be presenting an absurdity. |
| 5018 | Even if tightly united, mind and body are different, as God could separate them [Descartes] |
| Full Idea: Even if we suppose God had united a body and a soul so closely that they couldn't be closer, and made a single thing out of the two, they would still remain distinct, because God has the power of separating them, or conserving out without the other. | |
| From: René Descartes (Principles of Philosophy [1646], I.60) | |
| A reaction: If Descartes lost his belief in God (after discussing existence with Kant) would he cease to be a dualist? This quotation seems to be close to conceding a mind-body relationship more like supervenience than interaction. |
| 3643 | The concept of mind excludes body, and vice versa [Descartes] |
| Full Idea: The concept of body includes nothing at all which belongs to the mind, and the concept of mind includes nothing at all which belongs to the body. | |
| From: René Descartes (Reply to Fourth Objections [1641], 225) | |
| A reaction: A headache? Hunger? The mistake, I think, is to regard the mind as entirely conscious, thus creating a sharp boundary between two aspects of our lives. As shown by blindsight, I take many of my central mental operations to be pre- or non-conscious. |
| 5686 | In some thoughts I grasp a subject, but also I will or fear or affirm or deny it [Descartes] |
| Full Idea: Other thoughts are different from ideas, as when I will, or fear, or affirm, or deny, there is always some thing that I grasp as the subject of my thought, yet I embrace in my thought something more than the likeness of that thing. | |
| From: René Descartes (Meditations [1641], §3.37) | |
| A reaction: Note that the class of mental events we call 'propositional attitudes' had already been identified by Descartes. His categories of thinking in Med. Three might be one of his most important contributions, because that is what matters in the mind. |
| 4015 | For Descartes passions are God-given preservers of the mind-body union [Descartes, by Taylor,C] |
| Full Idea: Descartes sees passions not as opinions, but as functional devices that the Creator has designed for us to help preserve the body-soul substantial union. | |
| From: report of René Descartes (The Passions of the Soul [1649]) by Charles Taylor - Sources of the Self §8 | |
| A reaction: I wonder what Descartes would have made of the theory of evolution? |
| 4313 | Are there a few primary passions (say, joy, sadness and desire)? [Descartes, by Cottingham] |
| Full Idea: Descartes says there are six primary passions (wonder, love, hatred, desire, joy and sadness); Spinoza says there are just three (joy, sadness and desire). | |
| From: report of René Descartes (The Passions of the Soul [1649]) by John Cottingham - The Rationalists p.172 | |
| A reaction: A dubious project. However, it is now agreed that there are a few (six?) basic universal facial expressions, to which these passions may correspond. |
| 23989 | There are six primitive passions: wonder, love, hatred, desire, joy and sadness [Descartes, by Goldie] |
| Full Idea: Descartes said there are six primitive passions, namely wonder, love, hatred, desire, joy and sadness. The others are either species of these, or composed of them. | |
| From: report of René Descartes (The Passions of the Soul [1649], 353) by Peter Goldie - The Emotions 4 'Evidence' | |
| A reaction: [not sure about ref] It's a nice touch to add 'wonder', which doesn't make it onto anyone else's list. |
| 4017 | Descartes created the modern view of rationality, as an internal feature instead of an external vision [Descartes, by Taylor,C] |
| Full Idea: Rationality is now an internal property of subjective thinking, rather than its consisting in (according to Plato) its vision of reality. This view of Descartes' has become the standard modern view. | |
| From: report of René Descartes (Meditations [1641]) by Charles Taylor - Sources of the Self §8 | |
| A reaction: Greek 'logos' actually seemed to be both internal and external. We have certainly lost the idea that the universe is rational, even though it is ordered. |
| 2284 | I make errors because my will extends beyond my understanding [Descartes] |
| Full Idea: My errors are owing simply to the fact that, since the will extends further than the intellect, I do not contain the will within the same boundaries, but extend it to things I do not understand. | |
| From: René Descartes (Meditations [1641], §4.58) |
| 5007 | Most errors of judgement result from an inaccurate perception of the facts [Descartes] |
| Full Idea: What usually misleads us is that we very frequently form a judgement although we do not have an accurate perception of what we judge. | |
| From: René Descartes (Principles of Philosophy [1646], I.33) | |
| A reaction: This seems to me a generally accurate observation, particularly in the making of moral judgements (which was probably not what Descartes was considering). The implication is that judgements are to a large extent forced by our perceptions. |
| 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. |
| 5685 | True ideas are images, such as of a man, a chimera, or God [Descartes] |
| Full Idea: Some of my thoughts are like images of things; to these alone does the word 'idea' properly apply, as when I think of a man, or a chimera, or the sky, or an angel, or God. | |
| From: René Descartes (Meditations [1641], §3.37) | |
| A reaction: Descartes is obviously aware of a problem with the application of the word 'idea'. This definition seems rather narrow (and visual), but it is certainly confined to concepts, and does not expand to include propositions. |
| 3629 | All ideas are adventitious, and come from the senses [Gassendi on Descartes] |
| Full Idea: I would go further than you and note that all our ideas seem to be adventitious - to proceed from things which exist outside the mind and come under one of our senses. ..The idea of a giant is a man of ordinary size which the mind enlarges at will. | |
| From: comment on René Descartes (Meditations [1641], §3.38) by Pierre Gassendi - Objections to 'Meditations' (Fifth) 280 | |
| A reaction: A classic early statement of modern empiricism. Gassendi needed to think about logic, maths, and necessities to make his case more secure. Where did his idea to 'enlarge' the giant come from? |
| 3631 | A blind man may still contain the idea of colour [Descartes] |
| Full Idea: How do you know that there is no idea of colour in a man born blind? | |
| From: René Descartes (Reply to Fifth Objections [1641], 363) |
| 2600 | The mind's innate ideas are part of its capacity for thought [Descartes] |
| Full Idea: I have never written or taken the view that the mind requires innate ideas which are something distinct from its own faculty of thinking. | |
| From: René Descartes (Comments on a Certain Broadsheet [1644], p.365) |
| 2273 | The ideas of God and of my self are innate in me [Descartes] |
| Full Idea: The idea of God is innate in me, just as the idea of myself is innate in me. | |
| From: René Descartes (Meditations [1641], §3.51) |
| 2285 | I can think of innumerable shapes I have never experienced [Descartes] |
| Full Idea: I can think of countless geometrical figures, concerning which there can be no suspicion of their ever having entered me through the senses. | |
| From: René Descartes (Meditations [1641], §5.64) |
| 2601 | Qualia must be innate, because physical motions do not contain them [Descartes] |
| Full Idea: The ideas of pains, colours, sounds etc. must be all the more innate if, on the occasion of certain corporeal motions, our mind is to be capable of representing them to itself, for there is no similarity between these ideas and the corporeal motions. | |
| From: René Descartes (Comments on a Certain Broadsheet [1644], p.365) | |
| A reaction: Simple and brilliant! We know perfectly well that there is no redness zooming through the air from a tomato (or the air would be pink!). Redness occurs when the light arrives, so we add the redness, so it is innate. |
| 2286 | The idea of a supremely perfect being is within me, like the basic concepts of mathematics [Descartes] |
| Full Idea: The idea of God, that is, the idea of a supremely perfect being, is one discovered to be no less within me than the idea of any figure or number. | |
| From: René Descartes (Meditations [1641], §5.65) |
| 14999 | Prior to conventions, not all green things were green? [Sider] |
| Full Idea: It is absurd to say that 'before we introduced our conventions, not all green things were green'. | |
| From: Theodore Sider (Writing the Book of the World [2011], 06.5) | |
| A reaction: Well… Different cultures label the colours of the rainbow differently, and many of them omit orange. I suspect the blue/green borderline has shifted. |
| 14998 | Conventions are contingent and analytic truths are necessary, so that isn't their explanation [Sider] |
| Full Idea: To suggest that analytic truths make statements about linguistic conventions is a nonstarter; statements about linguistic conventions are contingent, whereas the statements made by typical analytic sentences are necessary. | |
| From: Theodore Sider (Writing the Book of the World [2011], 06.5) | |
| A reaction: That 'anything yellow is extended' is not just a convention should be fairly obvious, and it is obviously necessary. But we can say that bachelors are necessarily unmarried men - given the current convention. |
| 15016 | Analyticity has lost its traditional role, which relied on truth by convention [Sider] |
| Full Idea: Nothing can fully play the role traditionally associated with analyticity, for much of that traditional role presupposed the doctrine of truth by convention. | |
| From: Theodore Sider (Writing the Book of the World [2011], 09.8) | |
| A reaction: Sider rejects Quine's attack on analyticity, but accepts his critique of truth by convention. |
| 20037 | Merely willing to walk leads to our walking [Descartes] |
| Full Idea: Our merely willing to walk has the consequence that our legs move and we walk. | |
| From: René Descartes (The Passions of the Soul [1649], 18), quoted by Rowland Stout - Action 1 'Volitionism' | |
| A reaction: Stout attributes this to Descartes' dualism, as if legs are separate from persons. Stout says the idea of a prior mental act is not usually now considered as part of an action, or even to exist at all. If the volition is intentional, there is a regress. |
| 5009 | We do not praise the acts of an efficient automaton, as their acts are necessary [Descartes] |
| Full Idea: We do not praise automata, although they respond exactly to the movements they were designed to produce, since their actions are performed necessarily | |
| From: René Descartes (Principles of Philosophy [1646], I.37) | |
| A reaction: I say we attribute responsibility when we perceive something like a 'person' as causing them. We don't blame small animals, because there is 'no one at home', but we blame children as they develop a full character and identity. We can ignore free will. |
| 5008 | The greatest perfection of man is to act by free will, and thus merit praise or blame [Descartes] |
| Full Idea: That the will should extend widely accords with its nature, and it is the greatest perfection in man to be able to act by its means, that is, freely, and by so doing we are in peculiar way masters of our actions, and thereby merit praise or blame. | |
| From: René Descartes (Principles of Philosophy [1646], I.37) | |
| A reaction: This seems to me to be a deep-rooted and false understanding which philosophy has inherited from theology. It doesn't strike me that there must an absolute 'buck-stop' to make us responsible. Why is it better for a decision to appear out of nowhere? |
| 16763 | We don't die because the soul departs; the soul departs because the organs cease functioning [Descartes] |
| Full Idea: We ought to hold, on the contrary, that the soul takes its leave when we die only because this heat ceases and the organs that bring about bodily movement decay. | |
| From: René Descartes (The Passions of the Soul [1649], I.5), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.5 | |
| A reaction: This sounds like a pretty major change in our concept of death, given that we all now agree with Descartes. |
| 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) |
| 4016 | Descartes makes strength of will the central virtue [Descartes, by Taylor,C] |
| Full Idea: Descartes makes strength of will the central virtue. | |
| From: report of René Descartes (The Passions of the Soul [1649]) by Charles Taylor - Sources of the Self §8 | |
| A reaction: Presumably strength of will can serve evil ends, so this is a bit confusing. |
| 3635 | Essence must be known before we discuss existence [Descartes] |
| Full Idea: According to the laws of true logic, we must never ask about the existence of anything until we first understand its essence. | |
| From: René Descartes (Reply to First Objections [1641], 108) |
| 19676 | Nature is devoid of thought [Descartes, by Meillassoux] |
| Full Idea: It is Descartes who ratifies the idea that nature is devoid of thought. | |
| From: report of René Descartes (works [1643]) by Quentin Meillassoux - After Finitude; the necessity of contingency 5 | |
| A reaction: His dualism is crucial, along with his ontological argument, because they make all mentality supernatural. Remember, for Descartes animals are mindless machines. |
| 15987 | Physics only needs geometry or abstract mathematics, which can explain and demonstrate everything [Descartes] |
| Full Idea: I do not accept or desire any other principle in physics than in geometry or abstract mathematics, because all the phenomena of nature may be explained by their means, and sure demonstrations can be given of them. | |
| From: René Descartes (Principles of Philosophy [1646], 2.64), quoted by Peter Alexander - Ideas, Qualities and Corpuscles 7 | |
| A reaction: This is his famous and rather extreme view, which might be described as hyper-pythagoreanism (by adding geometry to numbers). It seems to leave out matter, forces and activity. |
| 2280 | Many causes are quite baffling, so it is absurd to deduce causes from final purposes [Descartes] |
| Full Idea: God can make unnumerable things whose cause escapes me, and for this reason alone the entire class of causes which people customarily derive from a thing's "end", I judge to be utterly useless in physics. | |
| From: René Descartes (Meditations [1641], §4.55) | |
| A reaction: anti-Aristotle |
| 12730 | We will not try to understand natural or divine ends, or final causes [Descartes] |
|
Full Idea:
We will not seek for the reason of natural things from the end which God or nature has set before him in their creation |
|
| From: René Descartes (Principles of Philosophy [1646], §28) | |
| A reaction: Teleology is more relevant to biology than to the other sciences, and it is hard to understand an eye without a notion of 'what it is for'. Planetary motion reveals nothing about purposes. If you demand a purpose, it becomes more baffling. |
| 24023 | All the sciences searching for order and measure are related to mathematics [Descartes] |
| Full Idea: I have discovered that all the sciences which have as their aim the search for order and measure are related to mathematics. | |
| From: René Descartes (Rules for the Direction of the Mind [1628], 04) | |
| A reaction: Note that he sound a more cautious note than Galileo's famous remark. It leaves room for biology to still be a science, even when it fails to be mathematical. |
| 16569 | The Hot, Cold, Wet and Dry of the philosophers need themselves to be explained [Descartes] |
| Full Idea: If you find it strange that in explaining these elements I do not use the qualities called Hot, Cold, Wet and Dry - as the philosophers do - I shall say to you that these qualities themselves seem to me to need explanation. | |
| From: René Descartes (The World [1631], 9:25-6), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 1.3 | |
| A reaction: Nice. I take pushing the boundaries of explanation back (or down) to be the basic driving force of all human thought, in metaphysics as well as in physics. |
| 16684 | Impenetrability only belongs to the essence of extension [Descartes] |
| Full Idea: It is demonstrated that impenetrability belongs to the essence of extension and not to the essence of any other thing. | |
| From: René Descartes (Two letters on mind [1649], More, Apr 1649), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 15.5 | |
| A reaction: I'm not sure that I understand how pure extension can be impenetrable. |
| 6518 | Matter can't just be Descartes's geometry, because a filler of the spaces is needed [Robinson,H on Descartes] |
| Full Idea: Notoriously, the Cartesian idea that matter is purely geometrical will not do, for it leaves no distinction between matter and empty volumes: a filler for these volumes is required. | |
| From: comment on René Descartes (works [1643]) by Howard Robinson - Perception IX.3 | |
| A reaction: Descartes thinks of matter as 'extension'. Descartes's error seems so obvious that it is a puzzle why he made it. He may have confused epistemology and ontology - all we can know of matter is its extension in space. |
| 16601 | Matter is not hard, heavy or coloured, but merely extended in space [Descartes] |
| Full Idea: The nature of matter, or body viewed as a whole, consists not in its being something which is hard, heavy, or colored, or which in any other way affects the senses, but only in its being a thing extended in length, breadth and depth. | |
| From: René Descartes (Principles of Philosophy [1646], 2.4), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 04.5 |
| 2272 | There must be at least as much in the cause as there is in the effect [Descartes] |
| Full Idea: There must be at least as much in the cause as there is in the effect. | |
| From: René Descartes (Meditations [1641], §3.49) |
| 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. |
| 14985 | The notion of law doesn't seem to enhance physical theories [Sider] |
| Full Idea: Adding the notion of law to physical theory doesn't seem to enhance its explanatory power. | |
| From: Theodore Sider (Writing the Book of the World [2011], 02.4) | |
| A reaction: I agree with his scepticism about laws, although Sider offers it as part of his scepticism about modal facts being included in explanations of actuality. Personally I like dispositions, but not laws. See the ideas of Stephen Mumford. |
| 14987 | Many of the key theories of modern physics do not appear to be 'laws' [Sider] |
| Full Idea: That spacetime is 4D Lorentzian manifold, that the universe began with a singularity, and in a state of low entropy, are all central to physics, but it is a stretch to call them 'laws'. ...It has been argued that there are no laws of biology. | |
| From: Theodore Sider (Writing the Book of the World [2011], 03.1) |
| 14725 | Maybe motion is a dynamical quantity intrinsic to a thing at a particular time [Sider] |
| Full Idea: There is an alternative to the Russellian 'at-at' theory of motion, according to which dynamical quantities are intrinsic to times. Whether and how an object is moving at a time is a fact about what that object is like then. | |
| From: Theodore Sider (Four Dimensionalism [2001], 2.2) | |
| A reaction: I think I find this quite appealing, because there is too much of a tendency to think of objects as passive and inert, with laws, forces, motions etc. imposed from the outside. But nature is active and dynamic. However, motion can't be wholly intrinsic. |
| 20964 | Descartes said there was conservation of 'quantity of motion' [Descartes, by Papineau] |
| Full Idea: Descartes incorporated the conservation of what he called 'quantity of motion', by which he meant mass times speed. | |
| From: report of René Descartes (The World [1631]) by David Papineau - Thinking about Consciousness App 2 | |
| A reaction: Mass times velocity is now called 'momentum'. Is this the first ever conservation law? There are now lots of them. |
| 14991 | Space has real betweenness and congruence structure (though it is not the Euclidean concepts) [Sider] |
| Full Idea: In metaphysics, space is intrinsically structured; the genuine betweenness and congruence relations are privileged in a way that Euclidean-betweenness and Euclidean-congruence are not. | |
| From: Theodore Sider (Writing the Book of the World [2011], 03.4) | |
| A reaction: I note that Einstein requires space to be 'curved', which implies that it is a substance with properties. |
| 14735 | Space is 3D and lacks a direction; time seems connected to causation [Sider] |
| Full Idea: Unlike time, space has three dimensions and lacks a distinguishing direction; unlike space, time seems to be specially connected with causation. | |
| From: Theodore Sider (Four Dimensionalism [2001], 4.5) | |
| A reaction: These strike me as nice reasons to doubt (what I already prima facie doubt) that there is a single manifold that is 'space-time', for all that twentieth century physics tells us it is so. A century is a mere click of a clock where truth is concerned. |
| 15021 | The central question in the philosophy of time is: How alike are time and space? [Sider] |
| Full Idea: The central question in the philosophy of time is: How alike are time and space? | |
| From: Theodore Sider (Writing the Book of the World [2011], 11.1) |
| 15024 | The spotlight theorists accepts eternal time, but with a spotlight of the present moving across it [Sider] |
| Full Idea: The spotlight theorist accepts the block universe, but also something in addition: a joint-carving monadic property of presentness, which is possessed by just one moment of time, and which 'moves', to be possessed by later and later times. | |
| From: Theodore Sider (Writing the Book of the World [2011], 11.9) | |
| A reaction: This seems better than the merely detached eternalist view, which seems to ignore the key phenomenon. I just can't comprehend any theory which makes the future as real as the past. |
| 14722 | Between presentism and eternalism is the 'growing block' view - the past is real, the future is not [Sider] |
| Full Idea: Intermediate between the polar opposites of presentism and eternalism is the view (defended by Broad 1923 and Tooley 1997) that the past is real but the future is not. Reality consists of a growing four-dimensional manifold, the 'growing block universe'. | |
| From: Theodore Sider (Four Dimensionalism [2001], 2.1) | |
| A reaction: The obvious and plausible basis for this is that statements about the past seem to have truthmakers, but statements about the future lack them. Does a truth always require ontological commitment? Death is cessation of existence. |
| 14756 | For Presentists there must always be a temporal vantage point for any description [Sider] |
| Full Idea: The Presentist acknowledges that no atemporal description of the case can be given; a vantage point must be chosen for any description. | |
| From: Theodore Sider (Four Dimensionalism [2001], 5.5) | |
| A reaction: This is because Presentists are committed to tense, which have to be either explicit or implicit in any sentence. But what of famously 'timeless' truths such as '2 and 2 are 4'? |
| 14724 | Presentists must deny truths about multiple times [Sider] |
| Full Idea: The presentist must deny the truth of everyday claims that concern multiple times taken together. | |
| From: Theodore Sider (Four Dimensionalism [2001], 2.2) | |
| A reaction: This rests on the extent to which every truth has an ontological commitment. You can deny the literal existence of multiple times without denying such truths. |
| 14723 | Talk using tenses can be eliminated, by reducing it to indexical connections for an utterance [Sider] |
| Full Idea: The temporal reductionist claims that tensed locutions are indexical - 'present' being the time of utterance etc. This generalises to say that nothing corresponding to tense need be admitted as a fundamental feature of the world. | |
| From: Theodore Sider (Four Dimensionalism [2001], 2.1) | |
| A reaction: [He particular cites Mellor for this view] Highly implausible. I very much doubt whether it is possible to explain the indexicality of a word like 'now' without referring to tenses. Does time only exist when sentences and thoughts occur? |
| 14736 | The B-theory is adequate, except that it omits to say which time is present [Sider] |
| Full Idea: The B-theoretic description of the world is completely adequate except that it leaves out information about which time is present. | |
| From: Theodore Sider (Four Dimensionalism [2001], 4.6) | |
| A reaction: This strikes me as a pretty basic deficiency. How could there a time which lacked a present moment? The present is when things happen. How would it qualify as time at all if it lacked past, present and future? |
| 14734 | The B-series involves eternalism, and the reduction of tense [Sider] |
| Full Idea: The B-series has two components: eternalism - the thesis that all future entities are real - and the thesis of reducibility of tense. | |
| From: Theodore Sider (Four Dimensionalism [2001], 4.2) |
| 2269 | God the creator is an intelligent, infinite, powerful substance [Descartes] |
| Full Idea: I understand by the name "God" a certain substance that is infinite, independent, supremely intelligent and supremely powerful, and created me along with everything that exists. | |
| From: René Descartes (Meditations [1641], §3.45) |
| 2289 | Nothing apart from God could have essential existence, and such a being must be unique and eternal [Descartes] |
| Full Idea: I cannot think of anything aside from God alone to whose essence existence belongs, and I cannot conceive of two or more such Gods. I also perceive that God must be eternal, and have other perfect qualities. | |
| From: René Descartes (Meditations [1641], §5.68) |
| 2275 | It is self-evident that deception is a natural defect, so God could not be a deceiver [Descartes] |
| Full Idea: It is quite obvious that a perfect God cannot be a deceiver, for it is manifest by the light of nature that all fraud and deception depend on some defect. | |
| From: René Descartes (Meditations [1641], §3.52) |
| 3637 | Ideas in God's mind only have value if he makes it so [Descartes] |
| Full Idea: It is impossible to imagine that anything is thought of in the divine intellect as good or true, or worthy of belief or action or omission, prior to the decision of the divine will to make it so. | |
| From: René Descartes (Reply to Sixth Objections [1641], 432) |
| 2287 | Existence and God's essence are inseparable, like a valley and a mountain, or a triangle and its properties [Descartes] |
| Full Idea: Existence can no more be separated from God's essence than its having three angles equal to two right angles can be separated from the essence of a triangle, or than the idea of a valley can be separated from the idea of a mountain. | |
| From: René Descartes (Meditations [1641], §5.66) |
| 2268 | One idea leads to another, but there must be an initial idea that contains the reality of all the others [Descartes] |
| Full Idea: Although one idea can perhaps issue from another, nevertheless no infinite regress is permitted here; eventually some first idea must be reached whose cause is a sort of archetype that contains formally all the reality that is in the idea. | |
| From: René Descartes (Meditations [1641], §3.42) |
| 3640 | Possible existence is a perfection in the idea of a triangle [Descartes] |
| Full Idea: Possible existence is a perfection in the idea of a triangle, just as necessary existence is a perfection in the idea of God. | |
| From: René Descartes (Reply to Fifth Objections [1641], 383) |
| 2274 | The idea of God in my mind is like the mark a craftsman puts on his work [Descartes] |
| Full Idea: In creating me, God has endowed me with the idea of God, so that it would be like the mark of the craftsman impressed upon his work, although this mark need not be something distinct from the work itself. | |
| From: René Descartes (Meditations [1641], §3.51) |
| 3639 | Necessary existence is a property which is uniquely part of God's essence [Descartes] |
| Full Idea: In the case of God necessary existence is in fact a property in the strictest sense of the term, since it applies to him alone and forms a part of his essence as it does of no other thing | |
| From: René Descartes (Reply to Fifth Objections [1641], 383) |
| 2288 | I cannot think of a supremely perfect being without the supreme perfection of existence [Descartes] |
| Full Idea: I am not free to think of God without existence, that is, a supremely perfect being without a supreme perfection. | |
| From: René Descartes (Meditations [1641], §5.67) |
| 3632 | We mustn't worship God as an image because we have no idea of him [Hobbes on Descartes] |
| Full Idea: We are forbidden to worship God in the form of an image, for otherwise we might think that we were conceiving of him who is incapable of being conceived. It seems, then, that there is no idea of God in us. | |
| From: comment on René Descartes (Meditations [1641], §5.65) by Thomas Hobbes - Objections to 'Meditations' (Third) 180 |
| 3633 | We can never conceive of an infinite being [Gassendi on Descartes] |
| Full Idea: The human intellect is not capable of conceiving of infinity, and hence it neither has nor can contemplate any idea representing an infinite thing. | |
| From: comment on René Descartes (Meditations [1641], §5.65) by Pierre Gassendi - Objections to 'Meditations' (Fifth) 286 |
| 5036 | Descartes cannot assume that a most perfect being exists without contradictions [Leibniz on Descartes] |
| Full Idea: Descartes' error is in assuming without proof that a most perfect being does not involve a contradiction. | |
| From: comment on René Descartes (Meditations [1641], §5.67) by Gottfried Leibniz - A Specimen of Discoveries p.76 | |
| A reaction: Certainly Descartes seems obliged to grasp the concept of God 'clearly and distinctly', so there must be an absence of contradictions. But does Descartes have to prove that there are no contradictions in his concept of a triangle? Is self-evidence enough? |
| 3638 | Existence is not a perfection; it is what makes perfection possible [Gassendi on Descartes] |
| Full Idea: Existence is not a perfection in God or in anything else; it is that without which no perfections can be present. | |
| From: comment on René Descartes (Meditations [1641], §5.67) by Pierre Gassendi - Objections to 'Meditations' (Fifth) 323 |
| 3634 | We can't prove a first cause from our inability to grasp infinity [Descartes] |
| Full Idea: My inability to grasp an infinite chain of successive causes without a first cause does not entail that there must be a first cause, just as my inability to grasp infinite divisibility of finite things does not make that impossible. | |
| From: René Descartes (Reply to First Objections [1641], 106) |
| 16712 | Atheism is an atrocious and intolerable crime in any country [Descartes] |
| Full Idea: Atheism is the most atrocious crime, and should be tolerated in no republic, however free. | |
| From: René Descartes (Letters to Voetius [1640], VIIIB:174), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2 |
| 3660 | Atheism arises from empiricism, because God is intangible [Descartes] |
| Full Idea: The existence of God has been doubted by some, because they attributed too much to the perceptions of the senses, and God can be neither seen nor touched. | |
| From: René Descartes (Preface to 'Principles of Philosophy' [1647], p.180) |
| 16772 | An angelic mind would not experience pain, even when connected to a human body [Descartes, by Pasnau] |
| Full Idea: Descartes points out that an angelic mind, even if causally connected to a human body, would not experience the same sort of bodily sensations; it would, instead, simply observe flesh being torn, like a piece of paper. | |
| From: report of René Descartes (Letters to Regius [1642], III:493) by Robert Pasnau - Metaphysical Themes 1274-1671 25.6 | |
| A reaction: Does that mean that the angel could not have the experience even if it wanted to have it. So they can't pick up a cup either? So they can't make themselves known to us, even if they are desperate to? So the Annunciation never happened? |
| 3652 | I can't prove the soul is indestructible, only that it is separate from the mortal body [Descartes] |
| Full Idea: I don't know how to demonstrate that God cannot annihilate the soul, but only that it is entirely distinct from the body, and consequently that it is not naturally subject to die with it, which is all that is required to establish religion. | |
| From: René Descartes (Letters to Mersenne [1640], 1640.02.24) |
| 3636 | God didn't give us good judgement even about our own lives [Gassendi on Descartes] |
| Full Idea: God is not to be blamed for giving puny man a faculty of judging that is too small to cope with everything, but we may still wonder why our judgement is uncertain, confused and inadequate even for the few matters he did want us to decide upon. | |
| From: comment on René Descartes (Meditations [1641], §4.58) by Pierre Gassendi - Objections to 'Meditations' (Fifth) 314 |
| 2278 | Error arises because my faculty for judging truth is not infinite [Descartes] |
| Full Idea: I make mistakes because the faculty of judging the truth, which I got from God, is not, in my case, infinite. | |
| From: René Descartes (Meditations [1641], §4.54) |
| 2277 | Since God does not wish to deceive me, my judgement won't make errors if I use it properly [Descartes] |
| Full Idea: Since God does not wish to deceive me, he assuredly has not given me a faculty of judgement with which I could never make a mistake, when I use it properly. | |
| From: René Descartes (Meditations [1641], §4.54) |
| 2281 | If we ask whether God's works are perfect, we must not take a narrow viewpoint, but look at the universe as a whole [Descartes] |
| Full Idea: Whenever we ask whether the works of God are perfect, we should keep in view not simply some one creature in isolation from the rest, but the universe as a whole. | |
| From: René Descartes (Meditations [1641], §4.55) |