15 ideas
| 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. |
| 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. |
| 9261 | The 'Ethics' is disappointing, because it fails to try to justify our duties [Prichard] |
| Full Idea: Reading the 'Ethics' is so disappointing, because Aristotle does not try to convince us that we really ought to do what our non-reflective consciousness has hitherto believed we ought to do. | |
| From: H.A. Prichard (Does moral phil rest on a mistake? [1912]) | |
| A reaction: Aristotle didn't speak the language of 'duty' (see Idea 2172), but he could work it into his account if Prichard asked nicely. I take the truly virtuous person to be, above all, a wonderful citizen. Duties are contractual; good deeds flow from virtue. |
| 9262 | The mistake is to think we can prove what can only be seen directly in moral thinking [Prichard] |
| Full Idea: Moral Philosophy rests on the mistake of supposing the possibility of proving what can only be apprehended directly by an act of moral thinking. | |
| From: H.A. Prichard (Does moral phil rest on a mistake? [1912]) | |
| A reaction: This is a beginning of the rebellion against the Enlightenment Project in ethics, which is why Prichard has become popular. At bottom he is offering intuition ('direct moral thinking'), which is a frustratingly thin concept. |
| 9260 | Virtues won't generate an obligation, so it isn't a basis for morality [Prichard] |
| Full Idea: It is untrue to urge that, since courage is a virtue, we ought to act courageously. We feel an obligation to act, but not from a certain desire. The action is done from obligation, so isn't an act of courage. ..In fact, virtue is no basis for morality. | |
| From: H.A. Prichard (Does moral phil rest on a mistake? [1912]) | |
| A reaction: One of the few interesting and direct attacks on virtue theory, before its modern revival. Prichard urges a perception of what is valuable (or good) as the basis for obligation and right action. He is right that values come first, in virtue and elsewhere. |
| 9259 | We feel obligations to overcome our own failings, and these are not relations to other people [Prichard] |
| Full Idea: The relation involved in an obligation need not be a relation to another at all. Thus we should admit that there is an obligation to overcome our natural timidity or greediness, and this involves no relations to others. | |
| From: H.A. Prichard (Does moral phil rest on a mistake? [1912]) | |
| A reaction: An interesting un-Aristotelian and individualistic view of virtue. Why would we want to rid ourselves of timidity or greediness? Either it is self-interested, or we wish to be better citizens. See Richard Taylor on duty. |
| 9258 | If pain were instrinsically wrong, it would be immoral to inflict it on ourselves [Prichard] |
| Full Idea: If the badness of pain were the reason why we ought not to inflict pain on another, it would equally be a reason why we ought not to inflict pain on ourselves; yet, though we would call such behaviour foolish, we wouldn't think it wrong. | |
| From: H.A. Prichard (Does moral phil rest on a mistake? [1912], n4) | |
| A reaction: A very nice point. Note that it will equally well apply to 'benefit' or 'preferences', or any other ideal which utilitarians set out to maximise. It may not be bad to hurt yourself, but it might still be bad to harm yourself. |
| 7825 | The politics of Leibniz was the reunification of Christianity [Stewart,M] |
| Full Idea: The politics of Leibniz may be summed up in one word: theocracy. The specific agenda motivating much of his work was to reunite the Protestant and Catholic churches | |
| From: Matthew Stewart (The Courtier and the Heretic [2007], Ch. 5) | |
| A reaction: This would be a typical project for a rationalist philosopher, who thinks that good reasoning will gradually converge on the one truth. |