70 ideas
| 9955 | Contextual definitions replace a complete sentence containing the expression [George/Velleman] |
| Full Idea: A contextual definition shows how to analyse an expression in situ, by replacing a complete sentence (of a particular form) in which the expression occurs by another in which it does not. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.2) | |
| A reaction: This is a controversial procedure, which (according to Dummett) Frege originally accepted, and later rejected. It might not be the perfect definition that replacing just the expression would give you, but it is a promising step. |
| 10031 | Impredicative definitions quantify over the thing being defined [George/Velleman] |
| Full Idea: When a definition contains a quantifier whose range includes the very entity being defined, the definition is said to be 'impredicative'. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.2) | |
| A reaction: Presumably they are 'impredicative' because they do not predicate a new quality in the definiens, but make use of the qualities already known. |
| 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. |
| 10098 | The 'power set' of A is all the subsets of A [George/Velleman] |
| Full Idea: The 'power set' of A is all the subsets of A. P(A) = {B : B ⊆ A}. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) |
| 10099 | The 'ordered pair' <a, b>, for two sets a and b, is the set {{a, b},{a}} [George/Velleman] |
| Full Idea: The 'ordered pair' <a, b>, for two sets a and b, is the set {{a, b},{a}}. The existence of this set is guaranteed by three applications of the Axiom of Pairing. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
| A reaction: See Idea 10100 for the Axiom of Pairing. |
| 10101 |
Cartesian Product A x B: the set of all ordered pairs |
| Full Idea: The 'Cartesian Product' of any two sets A and B is the set of all ordered pairs <a, b> in which a ∈ A and b ∈ B, and it is denoted as A x B. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) |
| 10103 | Grouping by property is common in mathematics, usually using equivalence [George/Velleman] |
| Full Idea: The idea of grouping together objects that share some property is a common one in mathematics, ...and the technique most often involves the use of equivalence relations. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) |
| 10104 | 'Equivalence' is a reflexive, symmetric and transitive relation; 'same first letter' partitions English words [George/Velleman] |
| Full Idea: A relation is an equivalence relation if it is reflexive, symmetric and transitive. The 'same first letter' is an equivalence relation on the set of English words. Any relation that puts a partition into clusters will be equivalence - and vice versa. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
| A reaction: This is a key concept in the Fregean strategy for defining numbers. |
| 10096 | Even the elements of sets in ZFC are sets, resting on the pure empty set [George/Velleman] |
| Full Idea: ZFC is a theory concerned only with sets. Even the elements of all of the sets studied in ZFC are also sets (whose elements are also sets, and so on). This rests on one clearly pure set, the empty set Φ. ..Mathematics only needs pure sets. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
| A reaction: This makes ZFC a much more metaphysically comfortable way to think about sets, because it can be viewed entirely formally. It is rather hard to disentangle a chair from the singleton set of that chair. |
| 10097 | Axiom of Extensionality: for all sets x and y, if x and y have the same elements then x = y [George/Velleman] |
| Full Idea: The Axiom of Extensionality says that for all sets x and y, if x and y have the same elements then x = y. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
| A reaction: This seems fine in pure set theory, but hits the problem of renates and cordates in the real world. The elements coincide, but the axiom can't tell you why they coincide. |
| 10100 | Axiom of Pairing: for all sets x and y, there is a set z containing just x and y [George/Velleman] |
| Full Idea: The Axiom of Pairing says that for all sets x and y, there is a set z containing x and y, and nothing else. In symbols: ∀x∀y∃z∀w(w ∈ z ↔ (w = x ∨ w = y)). | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
| A reaction: See Idea 10099 for an application of this axiom. |
| 17900 | The Axiom of Reducibility made impredicative definitions possible [George/Velleman] |
| Full Idea: The Axiom of Reducibility ...had the effect of making impredicative definitions possible. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) |
| 10109 | ZFC can prove that there is no set corresponding to the concept 'set' [George/Velleman] |
| Full Idea: Sets, unlike extensions, fail to correspond to all concepts. We can prove in ZFC that there is no set corresponding to the concept 'set' - that is, there is no set of all sets. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.4) | |
| A reaction: This is rather an important point for Frege. However, all concepts have extensions, but they may be proper classes, rather than precisely defined sets. |
| 10108 | As a reduction of arithmetic, set theory is not fully general, and so not logical [George/Velleman] |
| Full Idea: The problem with reducing arithmetic to ZFC is not that this theory is inconsistent (as far as we know it is not), but rather that is not completely general, and for this reason not logical. For example, it asserts the existence of sets. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.4) | |
| A reaction: Note that ZFC has not been proved consistent. |
| 10111 | Asserting Excluded Middle is a hallmark of realism about the natural world [George/Velleman] |
| Full Idea: A hallmark of our realist stance towards the natural world is that we are prepared to assert the Law of Excluded Middle for all statements about it. For all statements S, either S is true, or not-S is true. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.4) | |
| A reaction: Personally I firmly subscribe to realism, so I suppose I must subscribe to Excluded Middle. ...Provided the statement is properly formulated. Or does liking excluded middle lead me to realism? |
| 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. |
| 10129 | A 'model' is a meaning-assignment which makes all the axioms true [George/Velleman] |
| Full Idea: A 'model' of a theory is an assignment of meanings to the symbols of its language which makes all of its axioms come out true. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.7) | |
| A reaction: If the axioms are all true, and the theory is sound, then all of the theorems will also come out true. |
| 10105 | Differences between isomorphic structures seem unimportant [George/Velleman] |
| Full Idea: Mathematicians tend to regard the differences between isomorphic mathematical structures as unimportant. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
| A reaction: This seems to be a pointer towards Structuralism as the underlying story in mathematics. The intrinsic character of so-called 'objects' seems unimportant. How theories map onto one another (and onto the world?) is all that matters? |
| 10119 | Consistency is a purely syntactic property, unlike the semantic property of soundness [George/Velleman] |
| Full Idea: Consistency is a purely syntactic property, unlike the semantic property of soundness. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.6) |
| 10126 | A 'consistent' theory cannot contain both a sentence and its negation [George/Velleman] |
| Full Idea: If there is a sentence such that both the sentence and its negation are theorems of a theory, then the theory is 'inconsistent'. Otherwise it is 'consistent'. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.7) |
| 10120 | Soundness is a semantic property, unlike the purely syntactic property of consistency [George/Velleman] |
| Full Idea: Soundness is a semantic property, unlike the purely syntactic property of consistency. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.6) |
| 10127 | A 'complete' theory contains either any sentence or its negation [George/Velleman] |
| Full Idea: If there is a sentence such that neither the sentence nor its negation are theorems of a theory, then the theory is 'incomplete'. Otherwise it is 'complete'. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.7) | |
| A reaction: Interesting questions are raised about undecidable sentences, irrelevant sentences, unknown sentences.... |
| 10106 | Rational numbers give answers to division problems with integers [George/Velleman] |
| Full Idea: We can think of rational numbers as providing answers to division problems involving integers. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
| A reaction: Cf. Idea 10102. |
| 10102 | The integers are answers to subtraction problems involving natural numbers [George/Velleman] |
| Full Idea: In defining the integers in set theory, our definition will be motivated by thinking of the integers as answers to subtraction problems involving natural numbers. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
| A reaction: Typical of how all of the families of numbers came into existence; they are 'invented' so that we can have answers to problems, even if we can't interpret the answers. It it is money, we may say the minus-number is a 'debt', but is it? Cf Idea 10106. |
| 10107 | Real numbers provide answers to square root problems [George/Velleman] |
| Full Idea: One reason for introducing the real numbers is to provide answers to square root problems. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
| A reaction: Presumably the other main reasons is to deal with problems of exact measurement. It is interesting that there seem to be two quite distinct reasons for introducing the reals. Cf. Ideas 10102 and 10106. |
| 9946 | Logicists say mathematics is applicable because it is totally general [George/Velleman] |
| Full Idea: The logicist idea is that if mathematics is logic, and logic is the most general of disciplines, one that applies to all rational thought regardless of its content, then it is not surprising that mathematics is widely applicable. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.2) | |
| A reaction: Frege was keen to emphasise this. You are left wondering why pure logic is applicable to the physical world. The only account I can give is big-time Platonism, or Pythagoreanism. Logic reveals the engine-room of nature, where the design is done. |
| 10125 | The classical mathematician believes the real numbers form an actual set [George/Velleman] |
| Full Idea: Unlike the intuitionist, the classical mathematician believes in an actual set that contains all the real numbers. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.6) |
| 17899 | Second-order induction is stronger as it covers all concepts, not just first-order definable ones [George/Velleman] |
| Full Idea: The first-order version of the induction axiom is weaker than the second-order, because the latter applies to all concepts, but the first-order applies only to concepts definable by a formula in the first-order language of number theory. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.7 n7) |
| 10128 | The Incompleteness proofs use arithmetic to talk about formal arithmetic [George/Velleman] |
| Full Idea: The idea behind the proofs of the Incompleteness Theorems is to use the language of Peano Arithmetic to talk about the formal system of Peano Arithmetic itself. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.7) | |
| A reaction: The mechanism used is to assign a Gödel Number to every possible formula, so that all reasonings become instances of arithmetic. |
| 17902 | A successor is the union of a set with its singleton [George/Velleman] |
| Full Idea: For any set x, we define the 'successor' of x to be the set S(x) = x U {x}. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
| A reaction: This is the Fregean approach to successor, where the Dedekind approach takes 'successor' to be a primitive. Frege 1884:§76. |
| 10133 | Frege's Theorem shows the Peano Postulates can be derived from Hume's Principle [George/Velleman] |
| Full Idea: The derivability of Peano's Postulates from Hume's Principle in second-order logic has been dubbed 'Frege's Theorem', (though Frege would not have been interested, because he didn't think Hume's Principle gave an adequate definition of numebrs). | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.8 n1) | |
| A reaction: Frege said the numbers were the sets which were the extensions of the sets created by Hume's Principle. |
| 10130 | Set theory can prove the Peano Postulates [George/Velleman] |
| Full Idea: The Peano Postulates can be proven in ZFC. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.7) |
| 10089 | Talk of 'abstract entities' is more a label for the problem than a solution to it [George/Velleman] |
| Full Idea: One might well wonder whether talk of abstract entities is less a solution to the empiricist's problem of how a priori knowledge is possible than it is a label for the problem. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Intro) | |
| A reaction: This pinpoints my view nicely. What the platonist postulates is remote, bewildering, implausible and useless! |
| 10131 | If mathematics is not about particulars, observing particulars must be irrelevant [George/Velleman] |
| Full Idea: As, in the logicist view, mathematics is about nothing particular, it is little wonder that nothing in particular needs to be observed in order to acquire mathematical knowledge. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002]) | |
| A reaction: At the very least we can say that no one would have even dreamt of the general system of arithmetic is they hadn't had experience of the particulars. Frege thought generality ensured applicability, but extreme generality might entail irrelevance. |
| 10092 | In the unramified theory of types, the types are objects, then sets of objects, sets of sets etc. [George/Velleman] |
| Full Idea: In the unramified theory of types, all objects are classified into a hierarchy of types. The lowest level has individual objects that are not sets. Next come sets whose elements are individuals, then sets of sets, etc. Variables are confined to types. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
| A reaction: The objects are Type 0, the basic sets Type 1, etc. |
| 10094 | The theory of types seems to rule out harmless sets as well as paradoxical ones. [George/Velleman] |
| Full Idea: The theory of types seems to rule out harmless sets as well as paradoxical ones. If a is an individual and b is a set of individuals, then in type theory we cannot talk about the set {a,b}. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
| A reaction: Since we cheerfully talk about 'Cicero and other Romans', this sounds like a rather disasterous weakness. |
| 10095 | Type theory has only finitely many items at each level, which is a problem for mathematics [George/Velleman] |
| Full Idea: A problem with type theory is that there are only finitely many individuals, and finitely many sets of individuals, and so on. The hierarchy may be infinite, but each level is finite. Mathematics required an axiom asserting infinitely many individuals. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
| A reaction: Most accounts of mathematics founder when it comes to infinities. Perhaps we should just reject them? |
| 17901 | Type theory prohibits (oddly) a set containing an individual and a set of individuals [George/Velleman] |
| Full Idea: If a is an individual and b is a set of individuals, then in the theory of types we cannot talk about the set {a,b}, since it is not an individual or a set of individuals, ...but it is hard to see what harm can come from it. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) |
| 10114 | Bounded quantification is originally finitary, as conjunctions and disjunctions [George/Velleman] |
| Full Idea: In the first instance all bounded quantifications are finitary, for they can be viewed as abbreviations for conjunctions and disjunctions. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.6) | |
| A reaction: This strikes me as quite good support for finitism. The origin of a concept gives a good guide to what it really means (not a popular view, I admit). When Aristotle started quantifying, I suspect of he thought of lists, not totalities. |
| 10134 | Much infinite mathematics can still be justified finitely [George/Velleman] |
| Full Idea: It is possible to use finitary reasoning to justify a significant part of infinitary mathematics. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.8) | |
| A reaction: This might save Hilbert's project, by gradually accepting into the fold all the parts which have been giving a finitist justification. |
| 10123 | The intuitionists are the idealists of mathematics [George/Velleman] |
| Full Idea: The intuitionists are the idealists of mathematics. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.6) |
| 10124 | Gödel's First Theorem suggests there are truths which are independent of proof [George/Velleman] |
| Full Idea: For intuitionists, truth is not independent of proof, but this independence is precisely what seems to be suggested by Gödel's First Incompleteness Theorem. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.8) | |
| A reaction: Thus Gödel was worse news for the Intuitionists than he was for Hilbert's Programme. Gödel himself responded by becoming a platonist about his unprovable truths. |
| 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). |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 10110 | Corresponding to every concept there is a class (some of them sets) [George/Velleman] |
| Full Idea: Corresponding to every concept there is a class (some classes will be sets, the others proper classes). | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.4) |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 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. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |