20 ideas
| 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'. |
| 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. |
| 22049 | Transcendental idealism aims to explain objectivity through subjectivity [Bowie] |
| Full Idea: The aim of transcendental idealism is to give a basis for objectivity in terms of subjectivity. | |
| From: Andrew Bowie (German Philosophy: a very short introduction [2010], 1) | |
| A reaction: Hume used subjectivity to undermine the findings of objectivity. There was then no return to naive objectivity. Kant's aim then was to thwart global scepticism. Post-Kantians feared that he had failed. |
| 22055 | The Idealists saw the same unexplained spontaneity in Kant's judgements and choices [Bowie] |
| Full Idea: The Idealist saw in Kant that knowledge, which depends on the spontaneity of judgement, and self-determined spontaneous action, can be seen as sharing the same source, which is not accessible to scientific investigation. | |
| From: Andrew Bowie (German Philosophy: a very short introduction [2010]) | |
| A reaction: This is the 'spontaneity' of judgements and choices which was seen as the main idea in Kant. It inspired romantic individualism. The judgements are the rule-based application of concepts. |
| 22054 | German Idealism tried to stop oppositions of appearances/things and receptivity/spontaneity [Bowie] |
| Full Idea: A central aim of German Idealism is to overcome Kant's oppositions between appearances and thing in themselves, and between receptivity and spontaneity. | |
| From: Andrew Bowie (German Philosophy: a very short introduction [2010], 2) | |
| A reaction: I have the impression that there were two strategies: break down the opposition within the self (Fichte), or break down the opposition in the world (Spinozism). |
| 22056 | Crucial to Idealism is the idea of continuity between receptivity and spontaneous judgement [Bowie] |
| Full Idea: A crucial idea for German Idealism (from Hamann) is that apparently passive receptivity and active spontaneity are in fact different degrees of the same 'activity, and the gap between subject and world can be closed. | |
| From: Andrew Bowie (German Philosophy: a very short introduction [2010], 3) | |
| A reaction: The 'passive' bit seems to be Hume's 'impressions', which are Kant's 'intuitions', which need 'spontaneous' interpretation to become experiences. Critics of Kant said this implied a dualism. |
| 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. |
| 7260 | If there are intuited moral facts, why should we care about them? [Dancy,J] |
| Full Idea: Critics asked (of intuitionism) why, if moral facts are as the intuitionists say, we should care about them at all. | |
| From: Jonathan Dancy (Intuitionism [1991]) | |
| A reaction: It is a good question, as we don't care much about other a priori truths, such as the square root of 169. |
| 7261 | Internalists say that moral intuitions are motivating; externalist say a desire is also needed [Dancy,J] |
| Full Idea: There is an internalist view of intuitionism, saying that to accept that one's action is wrong is itself to be motivated not to do it. Externalists (like Ross) say that moral judgements need the help of an independent desire to motivate us. | |
| From: Jonathan Dancy (Intuitionism [1991]) | |
| A reaction: The internalists would be closer to Kant or Plato (for whom reason or pure ideas motivate), while externalist would favour Hume's belief/desire account of human actions. I like Kant and Plato, but Hume is more plausible. Dancy disagrees (Idea 7262). |
| 7262 | Obviously judging an action as wrong gives us a reason not to do it [Dancy,J] |
| Full Idea: It is ludicrous to say that we might accept an action is outrageously wrong and still think of this as not in itself giving us good reason to hold back. | |
| From: Jonathan Dancy (Intuitionism [1991]) | |
| A reaction: If we think of some dreadful man-made famine in a remote continent, our judgement may well give a reason to act, but apathy usually intervenes. We are discussing a purely theoretical motive on the one hand, and an actual motivator on the other. |
| 7265 | Moral facts are not perceived facts, but perceived reasons for judgements [Dancy,J] |
| Full Idea: I intend to suggest that moral facts are best thought of not as facts perceived but as reasons recognised in the exercise of practical moral judgement. | |
| From: Jonathan Dancy (Intuitionism [1991]) | |
| A reaction: I'm not convinced by this modified version. Why should the fact that someone is in pain be, in itself, a reason to prevent it? There are different cultural traditions for response to the pain of others. We are the squeamish tradition. |