82 ideas
| 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. |
| 15879 | The Square of Opposition has two contradictory pairs, one contrary pair, and one sub-contrary pair [Harré] |
| Full Idea: Square of Opposition: 'all A are B' and 'no A are B' are contraries; 'some A are B' and 'some A are not B' are sub-contraries; the pairs 'all A are B'/'some A are B' and 'no A are B'/'some A are B' are contradictories. | |
| From: Rom Harré (Laws of Nature [1993], 3) | |
| A reaction: [the reader may construct his own diagram from this description!] The contraries are at the extremes of contradiction, but the sub-contraries are actual compatible. You could add possible worlds to this picture. |
| 18074 | Intuitionists rely on assertability instead of truth, but assertability relies on truth [Kitcher] |
| Full Idea: Though it may appear that the intuitionist is providing an account of the connectives couched in terms of assertability conditions, the notion of assertability is a derivative one, ultimately cashed out by appealing to the concept of truth. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.5) | |
| A reaction: I have quite a strong conviction that Kitcher is right. All attempts to eliminate truth, as some sort of ideal at the heart of ordinary talk and of reasoning, seems to me to be doomed. |
| 15891 | Traditional quantifiers combine ordinary language generality and ontology assumptions [Harré] |
| Full Idea: The generalising function and the ontological function of discourse are elided in the traditional quantifier. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: This simple point strikes me as helping enormously to disentangle the mess created by over-emphasis on formal logic in ontology, and especially in the Quinean concept of 'ontological commitment'. |
| 15878 | Some quantifiers, such as 'any', rule out any notion of order within their range [Harré] |
| Full Idea: The quantifier 'any' unambiguously rules out any presupposition of order in the members of the range of individuals quantified. | |
| From: Rom Harré (Laws of Nature [1993], 3) | |
| A reaction: He contrasts this with 'all', 'each' and 'every', which are ambiguous in this respect. |
| 6298 | Kitcher says maths is an idealisation of the world, and our operations in dealing with it [Kitcher, by Resnik] |
| Full Idea: Kitcher says maths is an 'idealising theory', like some in physics; maths idealises features of the world, and practical operations, such as segregating and matching (numbering), measuring, cutting, moving, assembling (geometry), and collecting (sets). | |
| From: report of Philip Kitcher (The Nature of Mathematical Knowledge [1984]) by Michael D. Resnik - Maths as a Science of Patterns One.4.2.2 | |
| A reaction: This seems to be an interesting line, which is trying to be fairly empirical, and avoid basing mathematics on purely a priori understanding. Nevertheless, we do not learn idealisation from experience. Resnik labels Kitcher an anti-realist. |
| 12392 | Mathematical a priorism is conceptualist, constructivist or realist [Kitcher] |
| Full Idea: Proposals for a priori mathematical knowledge have three main types: conceptualist (true in virtue of concepts), constructivist (a construct of the human mind) and realist (in virtue of mathematical facts). | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 02.3) | |
| A reaction: Realism is pure platonism. I think I currently vote for conceptualism, with the concepts deriving from the concrete world, and then being extended by fictional additions, and shifts in the notion of what 'number' means. |
| 18078 | The interest or beauty of mathematics is when it uses current knowledge to advance undestanding [Kitcher] |
| Full Idea: What makes a question interesting or gives it aesthetic appeal is its focussing of the project of advancing mathematical understanding, in light of the concepts and systems of beliefs already achieved. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 09.3) | |
| A reaction: Kitcher defends explanation (the source of understanding, presumably) in terms of unification with previous theories (the 'concepts and systems'). I always have the impression that mathematicians speak of 'beauty' when they see economy of means. |
| 12426 | The 'beauty' or 'interest' of mathematics is just explanatory power [Kitcher] |
| Full Idea: Insofar as we can honor claims about the aesthetic qualities or the interest of mathematical inquiries, we should do so by pointing to their explanatory power. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 09.4) | |
| A reaction: I think this is a good enough account for me (but probably not for my friend Carl!). Beautiful cars are particularly streamlined. Beautiful people look particularly healthy. A beautiful idea is usually wide-ranging. |
| 12395 | Real numbers stand to measurement as natural numbers stand to counting [Kitcher] |
| Full Idea: The real numbers stand to measurement as the natural numbers stand to counting. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.4) |
| 12425 | Complex numbers were only accepted when a geometrical model for them was found [Kitcher] |
| Full Idea: An important episode in the acceptance of complex numbers was the development by Wessel, Argand, and Gauss, of a geometrical model of the numbers. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 07.5) | |
| A reaction: The model was in terms of vectors and rotation. New types of number are spurned until they can be shown to integrate into a range of mathematical practice, at which point mathematicians change the meaning of 'number' (without consulting us). |
| 18071 | A one-operation is the segregation of a single object [Kitcher] |
| Full Idea: We perform a one-operation when we perform a segregative operation in which a single object is segregated. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.3) | |
| A reaction: This is part of Kitcher's empirical but constructive account of arithmetic, which I find very congenial. He avoids the word 'unit', and goes straight to the concept of 'one' (which he treats as more primitive than zero). |
| 18066 | The old view is that mathematics is useful in the world because it describes the world [Kitcher] |
| Full Idea: There is an old explanation of the utility of mathematics. Mathematics describes the structural features of our world, features which are manifested in the behaviour of all the world's inhabitants. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.1) | |
| A reaction: He only cites Russell in modern times as sympathising with this view, but Kitcher gives it some backing. I think the view is totally correct. The digression produced by Cantorian infinities has misled us. |
| 18083 | With infinitesimals, you divide by the time, then set the time to zero [Kitcher] |
| Full Idea: The method of infinitesimals is that you divide by the time, and then set the time to zero. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 10.2) |
| 12393 | Intuition is no basis for securing a priori knowledge, because it is fallible [Kitcher] |
| Full Idea: The process of pure intuition does not measure up to the standards required of a priori warrants not because it is sensuous but because it is fallible. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 03.2) |
| 18061 | Mathematical intuition is not the type platonism needs [Kitcher] |
| Full Idea: The intuitions of which mathematicians speak are not those which Platonism requires. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 03.3) | |
| A reaction: The point is that it is not taken to be a 'special' ability, but rather a general insight arising from knowledge of mathematics. I take that to be a good account of intuition, which I define as 'inarticulate rationality'. |
| 12420 | If mathematics comes through intuition, that is either inexplicable, or too subjective [Kitcher] |
| Full Idea: If mathematical statements are don't merely report features of transient and private mental entities, it is unclear how pure intuition generates mathematical knowledge. But if they are, they express different propositions for different people and times. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 03.1) | |
| A reaction: This seems to be the key dilemma which makes Kitcher reject intuition as an a priori route to mathematics. We do, though, just seem to 'see' truths sometimes, and are unable to explain how we do it. |
| 12387 | Mathematical knowledge arises from basic perception [Kitcher] |
| Full Idea: Mathematical knowledge arises from rudimentary knowledge acquired by perception. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], Intro) | |
| A reaction: This is an empiricist manifesto, which asserts his allegiance to Mill, and he gives a sophisticated account of how higher mathematics can be accounted for in this way. Well, he tries to. |
| 12412 | My constructivism is mathematics as an idealization of collecting and ordering objects [Kitcher] |
| Full Idea: The constructivist position I defend claims that mathematics is an idealized science of operations which can be performed on objects in our environment. It offers an idealized description of operations of collecting and ordering. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], Intro) | |
| A reaction: I think this is right. What is missing from Kitcher's account (and every other account I've met) is what is meant by 'idealization'. How do you go about idealising something? Hence my interest in the psychology of abstraction. |
| 18065 | We derive limited mathematics from ordinary things, and erect powerful theories on their basis [Kitcher] |
| Full Idea: I propose that a very limited amount of our mathematical knowledge can be obtained by observations and manipulations of ordinary things. Upon this small base we erect the powerful general theories of modern mathematics. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 05.2) | |
| A reaction: I agree. The three related processes that take us from the experiential base of mathematics to its lofty heights are generalisation, idealisation and abstraction. |
| 18077 | The defenders of complex numbers had to show that they could be expressed in physical terms [Kitcher] |
| Full Idea: Proponents of complex numbers had ultimately to argue that the new operations shared with the original paradigms a susceptibility to construal in physical terms. The geometrical models of complex numbers answered to this need. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 07.5) | |
| A reaction: [A nice example of the verbose ideas which this website aims to express in plain English!] The interest is not that they had to be described physically (which may pander to an uninformed audience), but that they could be so described. |
| 12423 | Analyticity avoids abstract entities, but can there be truth without reference? [Kitcher] |
| Full Idea: Philosophers who hope to avoid commitment to abstract entities by claiming that mathematical statements are analytic must show how analyticity is, or provides a species of, truth not requiring reference. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 04.I) | |
| A reaction: [the last part is a quotation from W.D. Hart] Kitcher notes that Frege has a better account, because he provides objects to which reference can be made. I like this idea, which seems to raise a very large question, connected to truthmakers. |
| 18069 | Arithmetic is an idealizing theory [Kitcher] |
| Full Idea: I construe arithmetic as an idealizing theory. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.2) | |
| A reaction: I find 'generalising' the most helpful word, because everyone seems to understand and accept the idea. 'Idealisation' invokes 'ideals', which lots of people dislike, and lots of philosophers seem to have trouble with 'abstraction'. |
| 18068 | Arithmetic is made true by the world, but is also made true by our constructions [Kitcher] |
| Full Idea: I want to suggest both that arithmetic owes its truth to the structure of the world and that arithmetic is true in virtue of our constructive activity. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.2) | |
| A reaction: Well said, but the problem seems no more mysterious to me than the fact that trees grow in the woods and we build houses out of them. I think I will declare myself to be an 'empirical constructivist' about mathematics. |
| 18070 | We develop a language for correlations, and use it to perform higher level operations [Kitcher] |
| Full Idea: The development of a language for describing our correlational activity itself enables us to perform higher level operations. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.2) | |
| A reaction: This is because all language itself (apart from proper names) is inherently general, idealised and abstracted. He sees the correlations as the nested collections expressed by set theory. |
| 18072 | Constructivism is ontological (that it is the work of an agent) and epistemological (knowable a priori) [Kitcher] |
| Full Idea: The constructivist ontological thesis is that mathematics owes its truth to the activity of an actual or ideal subject. The epistemological thesis is that we can have a priori knowledge of this activity, and so recognise its limits. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.5) | |
| A reaction: The mention of an 'ideal' is Kitcher's personal view. Kitcher embraces the first view, and rejects the second. |
| 18063 | Conceptualists say we know mathematics a priori by possessing mathematical concepts [Kitcher] |
| Full Idea: Conceptualists claim that we have basic a priori knowledge of mathematical axioms in virtue of our possession of mathematical concepts. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 04.1) | |
| A reaction: I sympathise with this view. If concepts are reasonably clear, they will relate to one another in certain ways. How could they not? And how else would you work out those relations other than by thinking about them? |
| 18064 | If meaning makes mathematics true, you still need to say what the meanings refer to [Kitcher] |
| Full Idea: Someone who believes that basic truths of mathematics are true in virtue of meaning is not absolved from the task of saying what the referents of mathematical terms are, or ...what mathematical reality is like. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 04.6) | |
| A reaction: Nice question! He's a fan of getting at the explanatory in mathematics. |
| 15874 | Scientific properties are not observed qualities, but the dispositions which create them [Harré] |
| Full Idea: The properties of material things with which the sciences deal are not the qualities we observe them to have, but the dispositions of those things to engender the states and qualities we observe. | |
| From: Rom Harré (Laws of Nature [1993], 2) | |
| A reaction: I take this to be the correct use of the word 'qualities', so that properties are not qualities (in the way Heil would like). |
| 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. |
| 18067 | Abstract objects were a bad way of explaining the structure in mathematics [Kitcher] |
| Full Idea: The original introduction of abstract objects was a bad way of doing justice to the insight that mathematics is concerned with structure. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.1) | |
| A reaction: I'm a fan of explanations in metaphysics, and hence find the concept of 'bad' explanations in metaphysics particularly intriguing. |
| 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. |
| 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'. |
| 15884 | Laws of nature remain the same through any conditions, if the underlying mechanisms are unchanged [Harré] |
| Full Idea: A statement is a law of nature if it is true in all those worlds which differ only as to their initial conditions, that is in which the underlying mechanisms of nature are the same. | |
| From: Rom Harré (Laws of Nature [1993], 4) | |
| A reaction: Harré takes it that laws of nature have to be necessary, by definition. I like this way of expressing natural necessity, in terms of 'mechanisms' rather than of 'laws'. Where do the mechanisms get their necessity? |
| 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) |
| 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. |
| 12390 | A priori knowledge comes from available a priori warrants that produce truth [Kitcher] |
| Full Idea: X knows a priori that p iff the belief was produced with an a priori warrant, which is a process which is available to X, and this process is a warrant, and it makes p true. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 01.4) | |
| A reaction: [compression of a formal spelling-out] This is a modified version of Goldman's reliabilism, for a priori knowledge. It sounds a bit circular and uninformative, but it's a start. |
| 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. |
| 12418 | In long mathematical proofs we can't remember the original a priori basis [Kitcher] |
| Full Idea: When we follow long mathematical proofs we lose our a priori warrants for their beginnings. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 02.2) | |
| A reaction: Kitcher says Descartes complains about this problem several times in his 'Regulae'. The problem runs even deeper into all reasoning, if you become sceptical about memory. You have to remember step 1 when you do step 2. |
| 12389 | Knowledge is a priori if the experience giving you the concepts thus gives you the knowledge [Kitcher] |
| Full Idea: Knowledge is independent of experience if any experience which would enable us to acquire the concepts involved would enable us to have the knowledge. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 01.3) | |
| A reaction: This is the 'conceptualist' view of a priori knowledge, which Kitcher goes on to attack, preferring a 'constructivist' view. The formula here shows that we can't divorce experience entirely from a priori thought. I find conceptualism a congenial view. |
| 12416 | We have some self-knowledge a priori, such as knowledge of our own existence [Kitcher] |
| Full Idea: One can make a powerful case for supposing that some self-knowledge is a priori. At most, if not all, of our waking moments, each of us knows of herself that she exists. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 01.6) | |
| A reaction: This is a begrudging concession from a strong opponent to the whole notion of a priori knowledge. I suppose if you ask 'what can be known by thought alone?' then truths about thought ought to be fairly good initial candidates. |
| 12413 | A 'warrant' is a process which ensures that a true belief is knowledge [Kitcher] |
| Full Idea: A 'warrant' refers to those processes which produce belief 'in the right way': X knows that p iff p, and X believes that p, and X's belief that p was produced by a process which is a warrant for it. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 01.2) | |
| A reaction: That is, a 'warrant' is a justification which makes a belief acceptable as knowledge. Traditionally, warrants give you certainty (and are, consequently, rather hard to find). I would say, in the modern way, that warrants are agreed by social convention. |
| 20473 | If experiential can defeat a belief, then its justification depends on the defeater's absence [Kitcher, by Casullo] |
| Full Idea: According to Kitcher, if experiential evidence can defeat someone's justification for a belief, then their justification depends on the absence of that experiential evidence. | |
| From: report of Philip Kitcher (The Nature of Mathematical Knowledge [1984], p.89) by Albert Casullo - A Priori Knowledge 2.3 | |
| A reaction: Sounds implausible. There are trillions of possible defeaters for most beliefs, but to say they literally depend on trillions of absences seems a very odd way of seeing the situation |
| 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. |
| 15880 | In physical sciences particular observations are ordered, but in biology only the classes are ordered [Harré] |
| Full Idea: In the physical sciences the particular observations and experimental results are usually orderable, while in the biological sciences it is the classes of organism which are ordered, not the particular organisms. | |
| From: Rom Harré (Laws of Nature [1993], 3) | |
| A reaction: Harré is interesting on the role of ordering in science. Functions can be defined by an order. Maths feeds on orderings. Physics, he notes, focuses on things which vary together. |
| 15869 | Reports of experiments eliminate the experimenter, and present results as the behaviour of nature [Harré] |
| Full Idea: In accounts of experiments, by Faraday and others, the role of the guiding hand of the actual experimenter is written out in successive accounts. The effect is to display the phenomenon as a natural occurrence, existing independently of the experiments. | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: He records three stages in Faraday's reports. The move from active to passive voice is obviously part of it. The claim of universality is thus implicit rather than explicit. |
| 15881 | We can save laws from counter-instances by treating the latter as analytic definitions [Harré] |
| Full Idea: When we come upon a counter-instance to a generalisation we can save the putative law, by treating it as potentially analytic and claiming it as a definition. ...Thus magnetism doesn't hold for phosphorus, so we say phosphorus is not a magnetic substance. | |
| From: Rom Harré (Laws of Nature [1993], 3) | |
| A reaction: He notes this as being particularly true when the laws concern the dispositions of substances, rather than patterns of events. |
| 15882 | Since there are three different dimensions for generalising laws, no one system of logic can cover them [Harré] |
| Full Idea: Since there are three different dimensions of generality into which every law of nature is generalised, there can be no one system of logic which will govern inference to or from every law of every kind. | |
| From: Rom Harré (Laws of Nature [1993], 3) | |
| A reaction: This is aimed at the covering-law approach, which actually aims to output observations as logical inferences from laws. Wrong. |
| 15888 | The grue problem shows that natural kinds are central to science [Harré] |
| Full Idea: The grue problem illustrates the enormous importance that the concept of a natural-kind plays in real science. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: The point is that we took emeralds to be a natural kind, but 'grue' proposes that they aren't, since stability is the hallmark of a natural kind. |
| 15887 | 'Grue' introduces a new causal hypothesis - that emeralds can change colour [Harré] |
| Full Idea: In introducing the predicate 'grue' we also introduce an additional causal hypothesis into our chemistry and physics; namely, that when observed grue emeralds change from blue to green. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: [The 'when observered' is a Harré addition] I hate 'grue'. Only people who think our predicates have very little to do with reality are impressed by it. Grue is a behaviour, not a colour. |
| 15889 | It is because ravens are birds that their species and their colour might be connected [Harré] |
| Full Idea: It is because ravens are birds that it makes sense to contemplate the possibility of a lawful relation between their species and their colour. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: Compare the 'laws' concerning leaf colour in autumn, and the 'laws' concerning packaging colour in supermarkets. Harré's underlying point is that raven colour concerns mechanism. |
| 15890 | Non-black non-ravens just aren't part of the presuppositions of 'all ravens are black' [Harré] |
| Full Idea: Non-black non-ravens have no role to play in assessing the plausibility of 'All ravens are black' because their existence is not among the existential presuppositions of that statement. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: [He cites Strawson for the 'presupposition' approach] |
| 15885 | The necessity of Newton's First Law derives from the nature of material things, not from a mechanism [Harré] |
| Full Idea: The 'must' of Newton's First Law is different. There is no deeper level relative to the processes described to give a mechanism which generates uniform motion. There is no such mechanism. ..It specifies what it is for something to be a material thing. | |
| From: Rom Harré (Laws of Nature [1993], 4) | |
| A reaction: Harré says the law can only exist as part of a network of other ideas. |
| 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. |
| 15868 | Idealisation idealises all of a thing's properties, but abstraction leaves some of them out [Harré] |
| Full Idea: An 'idealisation' preserves all the properties of the source but it possesses these properties in some ideal or perfect form. ...An 'abstraction', on the other hand, lacks certain features of its source. | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: Yet another example in contemporary philosophy of a clear understanding of the sort of abstraction which Geach and others have poured scorn on. |
| 18075 | Idealisation trades off accuracy for simplicity, in varying degrees [Kitcher] |
| Full Idea: To idealize is to trade accuracy in describing the actual for simplicity of description, and the compromise can sometimes be struck in different ways. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.5) | |
| A reaction: There is clearly rather more to idealisation than mere simplicity. A matchstick man is not an ideal man. |
| 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? |
| 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. |
| 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. |
| 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. |
| 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. |
| 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? |
| 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. |
| 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. |
| 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 |
| 15886 | Science rests on the principle that nature is a hierarchy of natural kinds [Harré] |
| Full Idea: The animating principle behind the material and discursive practices of science is the thesis that nature exemplifies multiple hierarchies of natural kinds. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: I agree. I take it to be a brute fact that there seem to be lots of stable natural kinds, which are worth investigating as long as they stay stable. If they are unstable, there needs to be something stable to measure that by - or we give up. |
| 15864 | Classification is just as important as laws in natural science [Harré] |
| Full Idea: Classification systems, or taxonomies, are as important a part of the natural sciences as are the laws of nature. | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: This illustrates how our view of science is radically shifted if we give biology equal prominence with physics. |
| 15865 | Newton's First Law cannot be demonstrated experimentally, as that needs absence of external forces [Harré] |
| Full Idea: We can never devise an experimental situation in which there are no external forces to act on a body. It follows that Newton's First Law could never be demonstrated by means of experiment or observation. | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: It can't be wholly demonstrated, but certain observations conform to it, such as the movement of low friction bodies, or the movements of planetary bodies. |
| 15862 | Laws can come from data, from theory, from imagination and concepts, or from procedures [Harré] |
| Full Idea: Boyle's Law generalises a mass of messy data culled from an apparatus; Snell's Law is an experimentally derived law deducible from theory; Newton's First Law derives from concepts and thought experiments; Mendel's Law used an experimental procedure. | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: Nice examples, especially since Boyle's and Newton's laws are divided by a huge gulf, and arrived at about the same time. On p.35 Harré says these come down to two: abstraction from experiment, and derivation from deep assumptions. |
| 15870 | Are laws of nature about events, or types and universals, or dispositions, or all three? [Harré] |
| Full Idea: What is Newton's First Law about? Is it about events? Is it about types or universals? Is it about dispositions? Or is it, in some peculiar way, about all three? | |
| From: Rom Harré (Laws of Nature [1993], 2) | |
| A reaction: If laws merely chart regularities, then I suppose they are about events (which exhibit the regular patterns). If laws explain, which would be nice, then they are only about universals if you are a platonist. Hence laws are about dispositions. |
| 15871 | Are laws about what has or might happen, or do they also cover all the possibilities? [Harré] |
| Full Idea: Is Newton's First Law about what has actually happened or is it about what might, or could possibly happen? Is it about the actual events and states of the world, or possible events and states? | |
| From: Rom Harré (Laws of Nature [1993], 2) | |
| A reaction: I presume the first sentence distinguishes between what 'might (well)' happen, and what 'could (just) possibly happen'. I take it for granted that laws predict the actual future. The question is are they true of situations which will never occur? |
| 15876 | Maybe laws of nature are just relations between properties? [Harré] |
| Full Idea: The idea of the Dretske-Armstrong-Tooley view is very simple: the laws of nature relate properties to properties. | |
| From: Rom Harré (Laws of Nature [1993], 2) | |
| A reaction: Presumably the relations are necessary ones. I don't see why we need to mention these wretched 'universals' in order to expound this theory. It sounds much more plausible if you just say a property is defined by the way it relates to other properties. |
| 15860 | We take it that only necessary happenings could be laws [Harré] |
| Full Idea: We do not take laws to be recordings of what happens perchance or for the most part, but specifications of what happens necessarily | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: This sounds like a plausible necessary condition for a law, but it may not be a sufficient one. Are trivial necessities laws? On this view if there are no necessities then there are no laws. |
| 15872 | Must laws of nature be universal, or could they be local? [Harré] |
| Full Idea: Is a law of nature about everything in the universe or just about a restricted group of things? | |
| From: Rom Harré (Laws of Nature [1993], 2) | |
| A reaction: I presume the answer is that while a law may only refer to a small group of things, the law would still have to apply if that group moved or spread or enlarged, so it would have to be universals. A laws confined to one time or place? Maybe. |
| 15867 | Laws describe abstract idealisations, not the actual mess of nature [Harré] |
| Full Idea: The laws of nature are not simple descriptions of what can be seen to happen. They are descriptions of abstractions and idealisations from a somewhat messy reality. | |
| From: Rom Harré (Laws of Nature [1993], 1) | |
| A reaction: This view seems to have increasingly gripped modern philosophers, so that the old view of God decreeing a few simple equations to run the world has faded away. |
| 15892 | Laws of nature state necessary connections of things, events and properties, based on models of mechanisms [Harré] |
| Full Idea: A law of nature tells us what kinds of things, events and properties (all else being equal) go along with what. The 'must' of natural necessity has its place here because it is bound up with a model or analogy representing generative mechanisms. | |
| From: Rom Harré (Laws of Nature [1993], 5) | |
| A reaction: This is Harré's final page summary of laws. I agree with it. I would say that the laws are therefore descriptive, of the patterns of behaviour that arise when generative mechanisms meet. Maybe laws concern 'transformations'. |
| 15875 | In counterfactuals we keep substances constant, and imagine new situations for them [Harré] |
| Full Idea: In drawing 'countefactual' conclusions we can be thought imaginatively to vary the conditions under which the substance, set-up etc. is manipulated or stimulated, while maintaining constant our conception of the nature of the being in question. | |
| From: Rom Harré (Laws of Nature [1993], 2) | |
| A reaction: Presumably you could vary the substance and keep the situation fixed, but then the counterfactual seems to be 'about' something different. Either that or the 'situation' is a actually a set of substances to be tested. |