37 ideas
| 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. |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
| A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
| From: Ian Rumfitt ("Yes" and "No" [2000]) | |
| A reaction: This is the standard view which Rumfitt sets out to challenge. |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
| A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
| 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. |
| 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). |
| 15959 | If the substantial form of brass implies its stability, how can it melt and remain brass? [Alexander,P] |
| Full Idea: If we account for the stability of a piece of brass by reference to the substantial form of brass, then it is mysterious how it can be melted and yet remain brass. | |
| From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 02.3) | |
| A reaction: [Alexander is discussing Boyle] |
| 15956 | The peripatetics treated forms and real qualities as independent of matter, and non-material [Alexander,P] |
| Full Idea: The peripatetic philosophers, in spite of their disagreements, all treated forms and real qualities as independent of matter and not to be understood in material terms. | |
| From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 54) | |
| A reaction: This is the simple reason why hylomorphism became totally discredited, in the face of the 'mechanical philosophy'. But there must be a physical version of hylomorphism, and I don't think Aristotle himself would reject it. |
| 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? |
| 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. |
| 15975 | Can the qualities of a body be split into two groups, where the smaller explains the larger? [Alexander,P] |
| Full Idea: Is there any way of separating the qualities that bodies appear to have into two groups, one as small as possible and the other as large as possible, such that the smaller group can plausibly be used to explain the larger? | |
| From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 5.02) | |
| A reaction: Alexander implies that this is a question Locke asked himself. This is pretty close to what I take to be the main question for essentialism, though I am cautious about couching it in terms of groups of qualities. I think this was Aristotle's question. |
| 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. |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
| A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |
| 15963 | Science has been partly motivated by the belief that the universe is run by God's laws [Alexander,P] |
| Full Idea: The idea of a designed universe has not been utterly irrelevant to the scientific project; it is one of the beliefs that can give a scientist the faith that there are laws, waiting to be discovered, that govern all phenomena. | |
| From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 03.3) | |
| A reaction: Of course if you start out looking for the 'laws of God' that is probably what you will discover. Natural selection strikes me as significant, because it shows no sign of being a procedure appropriate to a benevolent god. |
| 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. |
| 15951 | Alchemists tried to separate out essences, which influenced later chemistry [Alexander,P] |
| Full Idea: The alchemists sought the separation of the 'pure essences' of substances from unwanted impurities. This last goal was of great importance for the development of modern chemistry at the hands of Boyle and his successors. | |
| From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 01.1) | |
| A reaction: In a nutshell this gives us the reason why essences are so important, and also why they became discredited. Time for a clear modern rethink. |
| 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. |
| 15981 | Absolute space either provides locations, or exists but lacks 'marks' for locations [Alexander,P] |
| Full Idea: There are two conceptions of absolute space. In the first, empty space is independent of objects but provides a frame of reference so an object has a location. ..In the second space exists independently, but has no 'marks' into which objects can be put. | |
| From: Peter Alexander (Ideas, Qualities and Corpuscles [1985], 6) | |
| A reaction: He says that Locke seems to reject the first one, but accept the second one. |