23 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. |
| 19727 | Reliabilist knowledge is evidence based belief, with high conditional probability [Comesaña] |
| Full Idea: The best definition of reliabilism seems to be: the agent has evidence, and bases the belief on the evidence, and the actual conditional reliability of the belief on the evidence is high enough. | |
| From: Juan Comesaña (Reliabilism [2011], 4.4) | |
| A reaction: This is Comesaña's own theory, derived from Alston 1998, and based on conditional probabilities. |
| 19725 | In a sceptical scenario belief formation is unreliable, so no beliefs at all are justified? [Comesaña] |
| Full Idea: If the processes of belief-formation are unreliable (perhaps in a sceptical scenario), then reliabilism has the consequence that those victims can never have justified beliefs (which Sosa calls the 'new evil demon problem'). | |
| From: Juan Comesaña (Reliabilism [2011], 4.1) | |
| A reaction: That may be the right outcome. Could you have mathematical knowledge in a sceptical scenario? But that would be different processes. If I might be a brain in a vat, then it's true that I have no perceptual knowledge. |
| 19726 | How do we decide which exact process is the one that needs to be reliable? [Comesaña] |
| Full Idea: The reliabilist has the problem of finding a principled way of selecting, for each token-process of belief formation, the type whose reliability ratio must be high enough for the belief to be justified. | |
| From: Juan Comesaña (Reliabilism [2011], 4.3) | |
| A reaction: The question is which exact process I am employing for some visual knowledge (and how the process should be described). Seeing, staring, squinting, glancing.... This seems to be called the 'generality problem'. |
| 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. |
| 7590 | Consequentialism emphasises value rather than obligation in morality [Scruton] |
| Full Idea: According to consequentialism, the fundamental concept of morality is not obligation (deontological ethics) but value (axiological ethics). | |
| From: Roger Scruton (A Dictionary of Political Thought [1982], 'consequentialism') | |
| A reaction: These two views could come dramatically apart, in wartime, or in big ecological crises, or in a family breakup, or in religious disputes. Having identified the pair so clearly, why can we not aim for a civilised (virtuous) balance between the two? |
| 7589 | Altruism is either emotional (where your interests are mine) or moral (where they are reasons for me) [Scruton] |
| Full Idea: Two distinct motives go by the name of altruism: the emotions of liking, love and friendship, making another's interest automatically mine; and the moral motive of respect or considerateness, where another's interests become reasons for me, but not mine. | |
| From: Roger Scruton (A Dictionary of Political Thought [1982], 'altruism') | |
| A reaction: The second one has a strongly Kantian flavour, with its notion of impersonal duty. Virtue theorists will aspire to achieve the first state rather than the second, because good actions are then actively desired, and give pleasure to the doer. |
| 7595 | The idea of a right seems fairly basic; justice may be the disposition to accord rights to people [Scruton] |
| Full Idea: The idea of a right seems to be as basic as any other; we might even define justice in terms of it, as the disposition to accord to every person his rights. | |
| From: Roger Scruton (A Dictionary of Political Thought [1982], 'rights') | |
| A reaction: I am inclined to think that a set of fairly pure values (such as equality, kindness, sympathy, respect) must be in place before the idea of a right would occur to anyone. Aristotle has a powerful moral sense, but rights for slaves don't cross his mind. |
| 7588 | Allegiance is fundamental to the conservative view of society [Scruton] |
| Full Idea: Conservatives have made the concept of allegiance, conceived as a power, fundamental to their description of the experience of society | |
| From: Roger Scruton (A Dictionary of Political Thought [1982], 'allegiance') | |
| A reaction: This provokes the famous slogan of "My country - right or wrong!" However, the issue here is not going to be decided by a consequentialist analysis, but by a view a of human nature. I think I would want to carefully prise allegiance apart from loyalty. |
| 7594 | Democrats are committed to a belief and to its opposite, if the majority prefer the latter [Scruton] |
| Full Idea: The paradox of democracy (emphasised by Rousseau) is that I am compelled by my belief in democracy to embrace conflicting - perhaps even contradictory - opinions. If I believe A, and the majority vote for B, I am committed to enacting them both. | |
| From: Roger Scruton (A Dictionary of Political Thought [1982], 'paradox of democracy') | |
| A reaction: The paradox would have to be resolved by qualifying what exactly one is committed to by being a democrat. I would say I am committed to the right of my opponents to enact a policy with which I disagree. |
| 7593 | Liberals focus on universal human freedom, natural rights, and tolerance [Scruton, by PG] |
| Full Idea: Liberalism believes (roughly) in the supremacy of the individual, who has freedom and natural rights; it focuses on human, not divine affairs; it claims rights and duties are universal; and it advocates tolerance in religion and morality. | |
| From: report of Roger Scruton (A Dictionary of Political Thought [1982], 'liberalism') by PG - Db (ideas) | |
| A reaction: I find it hard to disagree with these principles, but the upshot in practice is often an excessive commitment to freedom and tolerance, because people fail to realise the subtle long-term erosions of society that can result. |
| 7592 | For positivists law is a matter of form, for naturalists it is a matter of content [Scruton] |
| Full Idea: For the positivist, law is law by virtue of its form; for the naturalist, by virtue of its content. | |
| From: Roger Scruton (A Dictionary of Political Thought [1982], 'law') | |
| A reaction: Clearly a perverse and 'unnatural' social rule (backed by government and implied force) is a 'law' in some sense of the word. It is hard to see how you could gain social consensus for a law if it didn't appear in some way to be 'natural justice'. |
| 7587 | The issue of abortion seems insoluble, because there is nothing with which to compare it [Scruton] |
| Full Idea: The issue of abortion is intractable, partly because of the absence of any other case to which it can be assimilated. | |
| From: Roger Scruton (A Dictionary of Political Thought [1982], 'abortion') | |
| A reaction: This is the legalistic approach to the problem, which always looks for precedents and comparisons. All problems must hav solutions, though (mustn't they?). The problem, though, is not the value of the foetus, but the unique form of 'ownership'. |