17 ideas
9271 | Human knowledge may not produce well-being; the examined life may not be worth living [Gray] |
Full Idea: Human knowledge is one thing, human well-being another. There is no predetermined harmony between the two. The examined life may not be worth living. | |
From: John Gray (Straw Dogs [2002], 1.9) | |
A reaction: John Gray has set himself up as the Eeyore of modern times, but this point may obviously be correct. Presumably Socrates meant that the examined life was better even if the result was less 'well-being'. Even Gray doesn't want a lobotomy. |
13733 | Frege considered definite descriptions to be genuine singular terms [Frege, by Fitting/Mendelsohn] |
Full Idea: Frege (1893) considered a definite description to be a genuine singular term (as we do), so that a sentence like 'The present King of France is bald' would have the same logical form as 'Harry Truman is bald'. | |
From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by M Fitting/R Mendelsohn - First-Order Modal Logic | |
A reaction: The difficulty is what the term refers to, and they embrace a degree of Meinongianism - that is that non-existent objects can still have properties attributed to them, and so can be allowed some sort of 'existence'. |
9874 | Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege] |
Full Idea: The contradiction in Frege's system is due to the presence of second-order quantification, ..and Frege's explanation of the second-order quantifier, unlike that which he provides for the first-order one, appears to be substitutional rather than objectual. | |
From: comment on Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893], §25) by Michael Dummett - Frege philosophy of mathematics Ch.17 | |
A reaction: In Idea 9871 Dummett adds the further point that Frege lacks a clear notion of the domain of quantification. At this stage I don't fully understand this idea, but it is clearly of significance, so I will return to it. |
18252 | Real numbers are ratios of quantities, such as lengths or masses [Frege] |
Full Idea: If 'number' is the referent of a numerical symbol, a real number is the same as a ratio of quantities. ...A length can have to another length the same ratio as a mass to another mass. | |
From: Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893], III.1.73), quoted by Michael Dummett - Frege philosophy of mathematics 21 'Frege's' | |
A reaction: This is part of a critique of Cantor and the Cauchy series approach. Interesting that Frege, who is in the platonist camp, is keen to connect the real numbers with natural phenomena. He is always keen to keep touch with the application of mathematics. |
18271 | We can't prove everything, but we can spell out the unproved, so that foundations are clear [Frege] |
Full Idea: It cannot be demanded that everything be proved, because that is impossible; but we can require that all propositions used without proof be expressly declared as such, so that we can see distinctly what the whole structure rests upon. | |
From: Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893], p.2), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 7 'What' |
10623 | Frege defined number in terms of extensions of concepts, but needed Basic Law V to explain extensions [Frege, by Hale/Wright] |
Full Idea: Frege opts for his famous definition of numbers in terms of extensions of the concept 'equal to the concept F', but he then (in 'Grundgesetze') needs a theory of extensions or classes, which he provided by means of Basic Law V. | |
From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by B Hale / C Wright - Intro to 'The Reason's Proper Study' §1 |
9975 | Frege ignored Cantor's warning that a cardinal set is not just a concept-extension [Tait on Frege] |
Full Idea: Cantor pointed out explicitly to Frege that it is a mistake to take the notion of a set (i.e. of that which has a cardinal number) to simply mean the extension of a concept. ...Frege's later assumption of this was an act of recklessness. | |
From: comment on Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by William W. Tait - Frege versus Cantor and Dedekind III | |
A reaction: ['recklessness' is on p.61] Tait has no sympathy with the image of Frege as an intellectual martyr. Frege had insufficient respect for a great genius. Cantor, crucially, understood infinity much better than Frege. |
18165 | My Basic Law V is a law of pure logic [Frege] |
Full Idea: I hold that my Basic Law V is a law of pure logic. | |
From: Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893], p.4), quoted by Penelope Maddy - Naturalism in Mathematics I.1 | |
A reaction: This is, of course, the notorious law which fell foul of Russell's Paradox. It is said to be pure logic, even though it refers to things that are F and things that are G. |
9275 | Knowledge does not need minds or nervous systems; it is found in all living things [Gray] |
Full Idea: Knowledge does not need minds, or even nervous systems. It is found in all living things. | |
From: John Gray (Straw Dogs [2002], 2.10) | |
A reaction: I consider it a misnomer to call such things 'knowledge', for which I have much higher standards. Gray is talking about 'information'. Knowledge needs reasons, and possibility of error, not just anticipatory behaviour. |
9276 | The will hardly ever does anything; most of our life just happens to us [Gray] |
Full Idea: We think our actions express our decisions, but in nearly all of our life, willing decides nothing. We cannot wake up or fall asleep, remember or forget our dreams, summon or banish our thoughts, by deciding to do so. | |
From: John Gray (Straw Dogs [2002], 2.12) | |
A reaction: Gray's point does not rule out occasional total control over mental life, but his point is important. The traditional picture is of a life controlled, so the will is seen as at the centre of a person, but it just isn't the case. |
9190 | A concept is a function mapping objects onto truth-values, if they fall under the concept [Frege, by Dummett] |
Full Idea: In later Frege, a concept could be taken as a particular case of a function, mapping every object on to one of the truth-values (T or F), according as to whether, as we should ordinarily say, that object fell under the concept or not. | |
From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by Michael Dummett - The Philosophy of Mathematics 3.5 | |
A reaction: As so often in these attempts at explanation, this sounds circular. You can't decide whether an object truly falls under a concept, if you haven't already got the concept. His troubles all arise (I say) because he scorns abstractionist accounts. |
13665 | Frege took the study of concepts to be part of logic [Frege, by Shapiro] |
Full Idea: Frege took the study of concepts and their extensions to be within logic. | |
From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by Stewart Shapiro - Foundations without Foundationalism 7.1 | |
A reaction: This is part of the plan to make logic a universal language (see Idea 13664). I disagree with this, and with the general logicist view of the position of logic. The logical approach thins concepts out. See Deleuze/Guattari's horror at this. |
9278 | Nowadays we identify the free life with the good life [Gray] |
Full Idea: We do not value freedom more than people did in earlier times, but we have identified the good life with the chosen life. | |
From: John Gray (Straw Dogs [2002], 3.13) | |
A reaction: Interesting. This is Enlightenment liberalism gradually filtering down into common consciousness, especially via the hegemony of American culture. I sympathise the Gray; don't get me wrong, but I think freedom is overrated. |
9425 | Lewis later proposed the axioms at the intersection of the best theories (which may be few) [Mumford on Lewis] |
Full Idea: Later Lewis said we must choose between the intersection of the axioms of the tied best systems. He chose for laws the axioms that are in all the tied systems (but then there may be few or no axioms in the intersection). | |
From: comment on David Lewis (Subjectivist's Guide to Objective Chance [1980], p.124) by Stephen Mumford - Laws in Nature |
9280 | Over forty percent of the Earth's living tissue is human [Gray] |
Full Idea: Humans co-opt over forty per cent of the Earth's living tissue. | |
From: John Gray (Straw Dogs [2002], 4.15) | |
A reaction: If you add our domestic animals, I understand that the figure goes up to 95 per cent! I take this to be virtually the only significant ecological fact - population, population, population. Why are there so many cars? So many carbon footprints? |
9272 | Without Christianity we lose the idea that human history has a meaning [Gray] |
Full Idea: For Christians, it is because they occur in history that the lives of humans have a meaning that the lives of other animals do not. ..If we truly leave Christianity behind, we must give up the idea that human history has a meaning. | |
From: John Gray (Straw Dogs [2002], 2.3) | |
A reaction: Interesting. Compare the dispute between 'whig' and 'tory' historians, the former of whom believe that history is going somewhere. |
9279 | What was our original sin, and how could Christ's suffering redeem it? [Gray] |
Full Idea: No one can say what was humankind's original sin, and no one understands how the suffering of Christ can redeem it. | |
From: John Gray (Straw Dogs [2002], 4.1) | |
A reaction: This nicely articulates a problem that has half bothered me, but I have never put into words. I always assumed Eve committed the sin, and Adam cops the blame for not controlling his woman. Dying for our sins has always puzzled me. |