36 ideas
| 3853 | For science to be rational, we must explain scientific change rationally [Newton-Smith] |
| Full Idea: We are only justified in regarding scientific practice as the very paradigm of rationality if we can justify the claim that scientific change is rationally explicable. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], I.2) |
| 3859 | We do not wish merely to predict, we also want to explain [Newton-Smith] |
| Full Idea: We do not wish merely to predict, we also want to explain. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], II.3) |
| 3870 | The real problem of science is how to choose between possible explanations [Newton-Smith] |
| Full Idea: Once we move beyond investigating correlations between observables the question of what does or should guide our choice between alternative explanatory accounts becomes problematic. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], IX.2) |
| 3855 | Critics attack positivist division between theory and observation [Newton-Smith] |
| Full Idea: The critics of positivism attacked the conception of a dichotomy between theory and observation. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], I.4) |
| 3854 | Positivists hold that theoretical terms change, but observation terms don't [Newton-Smith] |
| Full Idea: For positivists it was taken that while theory change meant change in the meaning of theoretical terms, the meaning of observational terms was invariant under theory change. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], I.4) |
| 13886 | Later Frege held that definitions must fix a function's value for every possible argument [Frege, by Wright,C] |
| Full Idea: Frege later became fastidious about definitions, and demanded that they must provide for every possible case, and that no function is properly determined unless its value is fixed for every conceivable object as argument. | |
| From: report of Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903]) by Crispin Wright - Frege's Concept of Numbers as Objects 3.xiv | |
| A reaction: Presumably definitions come in degrees of completeness, but it seems harsh to describe a desire for the perfect definition as 'fastidious', especially if we are talking about mathematics, rather than defining 'happiness'. |
| 9845 | We can't define a word by defining an expression containing it, as the remaining parts are a problem [Frege] |
| Full Idea: Given the reference (bedeutung) of an expression and a part of it, obviously the reference of the remaining part is not always determined. So we may not define a symbol or word by defining an expression in which it occurs, whose remaining parts are known | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §66) | |
| A reaction: Dummett cites this as Frege's rejection of contextual definitions, which he had employed in the Grundlagen. I take it not so much that they are wrong, as that Frege decided to set the bar a bit higher. |
| 10019 | Only what is logically complex can be defined; what is simple must be pointed to [Frege] |
| Full Idea: Only what is logically complex can be defined; what is simple can only be pointed to. | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §180), quoted by Harold Hodes - Logicism and Ontological Commits. of Arithmetic p.137 | |
| A reaction: Frege presumably has in mind his treasured abstract objects, such as cardinal numbers. It is hard to see how you could 'point to' anything in the phenomenal world that had atomic simplicity. Hodes calls this a 'desperate Kantian move'. |
| 9331 | How do we determine which of the sentences containing a term comprise its definition? [Horwich] |
| Full Idea: How are we to determine which of the sentences containing a term comprise its definition? | |
| From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §2) | |
| A reaction: Nice question. If I say 'philosophy is the love of wisdom' and 'philosophy bores me', why should one be part of its definition and the other not? What if I stipulated that the second one is part of my definition, and the first one isn't? |
| 3869 | More truthful theories have greater predictive power [Newton-Smith] |
| Full Idea: If a theory is a better approximation to the truth, then it is likely that it will have greater predictive power. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], VIII.8) |
| 3861 | Theories generate infinite truths and falsehoods, so they cannot be used to assess probability [Newton-Smith] |
| Full Idea: We cannot explicate a useful notion of verisimilitude in terms of the number of truths and the number of falsehoods generated by a theory, because they are infinite. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], III.4) |
| 9886 | Cardinals say how many, and reals give measurements compared to a unit quantity [Frege] |
| Full Idea: The cardinals and the reals are completely disjoint domains. The cardinal numbers answer the question 'How many objects of a given kind are there?', but the real numbers are for measurement, saying how large a quantity is compared to a unit quantity. | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §157), quoted by Michael Dummett - Frege philosophy of mathematics Ch.19 | |
| A reaction: We might say that cardinals are digital and reals are analogue. Frege is unusual in totally separating them. They map onto one another, after all. Cardinals look like special cases of reals. Reals are dreams about the gaps between cardinals. |
| 9889 | Real numbers are ratios of quantities [Frege, by Dummett] |
| Full Idea: Frege fixed on construing real numbers as ratios of quantities (in agreement with Newton). | |
| From: report of Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903]) by Michael Dummett - Frege philosophy of mathematics Ch.20 | |
| A reaction: If 3/4 is the same real number as 6/8, which is the correct ratio? Why doesn't the square root of 9/16 also express it? Why should irrationals be so utterly different from rationals? In what sense are they both 'numbers'? |
| 10553 | A number is a class of classes of the same cardinality [Frege, by Dummett] |
| Full Idea: For Frege, in 'Grundgesetze', a number is a class of classes of the same cardinality. | |
| From: report of Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.14 |
| 10020 | Frege's biggest error is in not accounting for the senses of number terms [Hodes on Frege] |
| Full Idea: The inconsistency of Grundgesetze was only a minor flaw. Its fundamental flaw was its inability to account for the way in which the senses of number terms are determined. It leaves the reference-magnetic nature of the standard numberer a mystery. | |
| From: comment on Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903]) by Harold Hodes - Logicism and Ontological Commits. of Arithmetic p.139 | |
| A reaction: A point also made by Hofweber. As a logician, Frege was only concerned with the inferential role of number terms, and he felt he had captured their logical form, but it is when you come to look at numbers in natural language that he seem in trouble. |
| 9887 | Formalism misunderstands applications, metatheory, and infinity [Frege, by Dummett] |
| Full Idea: Frege's three main objections to radical formalism are that it cannot account for the application of mathematics, that it confuses a formal theory with its metatheory, and it cannot explain an infinite sequence. | |
| From: report of Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §86-137) by Michael Dummett - Frege philosophy of mathematics | |
| A reaction: The application is because we don't design maths randomly, but to be useful. The third objection might be dealt with by potential infinities (from formal rules). The second objection sounds promising. |
| 8751 | Only applicability raises arithmetic from a game to a science [Frege] |
| Full Idea: It is applicability alone which elevates arithmetic from a game to the rank of a science. | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §91), quoted by Stewart Shapiro - Thinking About Mathematics 6.1.2 | |
| A reaction: This is the basic objection to Formalism. It invites the question of why it is applicable, which platonists like Frege don't seem to answer (though Plato himself has reality modelled on the Forms). This is why I like structuralism. |
| 9891 | The first demand of logic is of a sharp boundary [Frege] |
| Full Idea: The first demand of logic is of a sharp boundary. | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §160), quoted by Michael Dummett - Frege philosophy of mathematics Ch.22 | |
| A reaction: Nothing I have read about vagueness has made me doubt Frege's view of this, although precisification might allow you to do logic with vague concepts without having to finally settle where the actual boundaries are. |
| 3867 | De re necessity arises from the way the world is [Newton-Smith] |
| Full Idea: A necessary truth is 'de re' if its necessity arises from the way the world is. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], VII.6) |
| 3872 | We must assess the truth of beliefs in identifying them [Newton-Smith] |
| Full Idea: We cannot determine what someone's beliefs are independently of assessing to some extent the truth or falsity of the beliefs. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], X.4) |
| 9333 | A priori belief is not necessarily a priori justification, or a priori knowledge [Horwich] |
| Full Idea: It is one thing to believe something a priori and another for this belief to be epistemically justified. The latter is required for a priori knowledge. | |
| From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §8) | |
| A reaction: Personally I would agree with this, because I don't think anything should count as knowledge if it doesn't have supporting reasons, but fans of a priori knowledge presumably think that certain basic facts are just known. They are a priori justified. |
| 9342 | Understanding needs a priori commitment [Horwich] |
| Full Idea: Understanding is itself based on a priori commitment. | |
| From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §12) | |
| A reaction: This sounds plausible, but needs more justification than Horwich offers. This is the sort of New Rationalist idea I associate with Bonjour. The crucial feature of the New lot is, I take it, their fallibilism. All understanding is provisional. |
| 9332 | Meaning is generated by a priori commitment to truth, not the other way around [Horwich] |
| Full Idea: Our a priori commitment to certain sentences is not really explained by our knowledge of a word's meaning. It is the other way around. We accept a priori that the sentences are true, and thereby provide it with meaning. | |
| From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §8) | |
| A reaction: This sounds like a lovely trump card, but how on earth do you decide that a sentence is true if you don't know what it means? Personally I would take it that we are committed to the truth of a proposition, before we have a sentence for it. |
| 9341 | Meanings and concepts cannot give a priori knowledge, because they may be unacceptable [Horwich] |
| Full Idea: A priori knowledge of logic and mathematics cannot derive from meanings or concepts, because someone may possess such concepts, and yet disagree with us about them. | |
| From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §12) | |
| A reaction: A good argument. The thing to focus on is not whether such ideas are a priori, but whether they are knowledge. I think we should employ the word 'intuition' for a priori candidates for knowledge, and demand further justification for actual knowledge. |
| 9334 | If we stipulate the meaning of 'number' to make Hume's Principle true, we first need Hume's Principle [Horwich] |
| Full Idea: If we stipulate the meaning of 'the number of x's' so that it makes Hume's Principle true, we must accept Hume's Principle. But a precondition for this stipulation is that Hume's Principle be accepted a priori. | |
| From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §9) | |
| A reaction: Yet another modern Quinean argument that all attempts at defining things are circular. I am beginning to think that the only a priori knowledge we have is of when a group of ideas is coherent. Calling it 'intuition' might be more accurate. |
| 9339 | A priori knowledge (e.g. classical logic) may derive from the innate structure of our minds [Horwich] |
| Full Idea: One potential source of a priori knowledge is the innate structure of our minds. We might, for example, have an a priori commitment to classical logic. | |
| From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §11) | |
| A reaction: Horwich points out that to be knowledge it must also say that we ought to believe it. I'm wondering whether if we divided the whole territory of the a priori up into intuitions and then coherent justifications, the whole problem would go away. |
| 3857 | Defeat relativism by emphasising truth and reference, not meaning [Newton-Smith] |
| Full Idea: The challenge of incommensurability can be met once it is realised that in comparing theories the notions of truth and reference are more important than that of meaning. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], I.6) |
| 3858 | A full understanding of 'yellow' involves some theory [Newton-Smith] |
| Full Idea: A full grasp of the concept '…is yellow' involves coming to accept as true bits of theory; that is, generalisations involving the term 'yellow'. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], II.2) |
| 3862 | All theories contain anomalies, and so are falsified! [Newton-Smith] |
| Full Idea: According to Feyerabend all theories are born falsified, because no theory has ever been totally free of anomalies. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], III.9) |
| 3863 | The anomaly of Uranus didn't destroy Newton's mechanics - it led to Neptune's discovery [Newton-Smith] |
| Full Idea: When scientists observed the motion of Uranus, they did not give up on Newtonian mechanics. Instead they posited the existence of Neptune. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], III.9) |
| 3864 | Anomalies are judged against rival theories, and support for the current theory [Newton-Smith] |
| Full Idea: Whether to reject an anomaly has to be decided on the basis of the availability of a rival theory, and on the basis of the positive evidence for the theory in question. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], III.9) |
| 3865 | Why should it matter whether or not a theory is scientific? [Newton-Smith] |
| Full Idea: Why should it be so important to distinguish between theories that are scientific and those that are not? | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], IV.3) |
| 3866 | If theories are really incommensurable, we could believe them all [Newton-Smith] |
| Full Idea: If theories are genuinely incommensurable why should I be faced with the problem of choosing between them? Why not believe them all? | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], VII.1) |
| 9890 | The modern account of real numbers detaches a ratio from its geometrical origins [Frege] |
| Full Idea: From geometry we retain the interpretation of a real number as a ratio of quantities or measurement-number; but in more recent times we detach it from geometrical quantities, and from all particular types of quantity. | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §159), quoted by Michael Dummett - Frege philosophy of mathematics | |
| A reaction: Dummett glosses the 'recent' version as by Cantor and Dedekind in 1872. This use of 'detach' seems to me startlingly like the sort of psychological abstractionism which Frege was so desperate to avoid. |
| 11846 | If we abstract the difference between two houses, they don't become the same house [Frege] |
| Full Idea: If abstracting from the difference between my house and my neighbour's, I were to regard both houses as mine, the defect of the abstraction would soon be made clear. It may, though, be possible to obtain a concept by means of abstraction... | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §99) | |
| A reaction: Note the important concession at the end, which shows Frege could never deny the abstraction process, despite all the modern protests by Geach and Dummett that he totally rejected it. |
| 3871 | Explaining an action is showing that it is rational [Newton-Smith] |
| Full Idea: To explain an action as an action is to show that it is rational. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], X.2) |