23 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. |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
| From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
| A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |
| 20712 | God is 'eternal' either by being non-temporal, or by enduring forever [Davies,B] |
| Full Idea: Saying 'God is eternal' means either that God is non-temporal or timeless, or that God has no beginning and no end. The first ('classical') view is found in Anselm, Augustine, Boethius, Aquinas, Calvin and Descartes. | |
| From: Brian Davies (Introduction to the Philosophy of Religion [1982], 8 'Meaning') | |
| A reaction: A God who is outside of time but performs actions is a bit of a puzzle. It seems that Augustine started the idea of a timeless God. |
| 20701 | Can God be good, if he has not maximised goodness? [Davies,B] |
| Full Idea: We may wonder whether God can be good since he has not produced more moral goodness than he has. We may wonder whether God is guilty by neglect. | |
| From: Brian Davies (Introduction to the Philosophy of Religion [1982], 3 'Freedom') | |
| A reaction: The orthodox response is that we cannot possibly know what the maximum of moral goodness would look like, so we can't make this judgement. Atheists say that God fails by human standards, which are not particularly high. |
| 20702 | The goodness of God may be a higher form than the goodness of moral agents [Davies,B] |
| Full Idea: If we can know that God exists and if God's goodness is not moral goodness, then moral goodness is not the highest form of goodness we know. There is the goodness of God to be reckoned with. | |
| From: Brian Davies (Introduction to the Philosophy of Religion [1982], 3 'Goodness') | |
| A reaction: This idea is to counter the charge that God fails to meet human standards for an ideal moral agent. But it sounds hand-wavy, since we presumably cannot comprehend the sort of goodness that is postulated here. |
| 20703 | How could God have obligations? What law could possibly impose them? [Davies,B] |
| Full Idea: We have good reason for resisting the suggestion that God has any duties or obligations. …What can oblige God in relation to his creatures? Could there be a law saying God has such obligations? Where does such a law come from? | |
| From: Brian Davies (Introduction to the Philosophy of Religion [1982], 3 'Goodness') | |
| A reaction: Plato can answer this question. Greek gods are not so supreme that nothing could put them under an obligation, but 'God' has to be supreme in every respect. |
| 20694 | 'Natural theology' aims to prove God to anyone (not just believers) by reason or argument [Davies,B] |
| Full Idea: 'Natural theology' is the attempt to show that belief in God's existence can be defended with reference to reason or argument which ought to be acceptable to anyone, not simply to those who believe in God's existence. | |
| From: Brian Davies (Introduction to the Philosophy of Religion [1982], 1 'Other') | |
| A reaction: I assume by 'reason or argument' he primarily means evidence (plus the ontological argument). He cites Karl Barth as objecting to the assumption of natural theology (preferring revelation). Presumably Kierkegaard offers a rival view too. |
| 20706 | A distinct cause of the universe can't be material (which would be part of the universe) [Davies,B] |
| Full Idea: If the universe was caused to come into being, it presumably could not have been caused to do so by anything material. For a material object would be part of the universe, and we are now asking for a cause distinct from the universe. | |
| From: Brian Davies (Introduction to the Philosophy of Religion [1982], 5 'God') | |
| A reaction: We're out of our depth here. We only have two modes of existence to offer, material and spiritual, and 'spiritual' means little more than non-material. |
| 20707 | The universe exhibits design either in its sense of purpose, or in its regularity [Davies,B] |
| Full Idea: The design argument offers two lines: the first states that the universe displays design in the sense of purpose; the second that it displays design in the sense of regularity. | |
| From: Brian Davies (Introduction to the Philosophy of Religion [1982], 6 'Versions') | |
| A reaction: I would have thought that you would infer the purpose from the regularity. How could you see purpose in a totally chaotic universe? |
| 20708 | If God is an orderly being, he cannot be the explanation of order [Davies,B] |
| Full Idea: If God is an instance of something orderly, how can he serve to account for the order of orderly things? | |
| From: Brian Davies (Introduction to the Philosophy of Religion [1982], 6 'b Has') | |
| A reaction: You can at least explain the tidiness of a house by the tidiness of its owner, but obviously that won't explain the phenomenon of tidiness. |
| 20710 | Maybe an abnormal state of mind is needed to experience God? [Davies,B] |
| Full Idea: Might it not be possible that experience of God requires an unusual state or psychological abnormality, just as an aerial view of Paris requires that one be in the unusual state of being abnormally elevated? | |
| From: Brian Davies (Introduction to the Philosophy of Religion [1982], 7 'Are the') | |
| A reaction: That would make sense if it were analogous to great mathematical or musical ability, but it sounds more like ouija boards in darkened rooms. Talent has a wonderful output, but people in mystical states don't return with proofs. |
| 20711 | A believer can experience the world as infused with God [Davies,B] |
| Full Idea: Maybe someone who believes in God can be regarded as experiencing everything as something behind which God lies. Believers see the world as a world in which God is present. | |
| From: Brian Davies (Introduction to the Philosophy of Religion [1982], 7 'Experiencing') | |
| A reaction: [Attributed to John Hick] This would count as supporting evidence for God, perhaps, if seeing reality as infused with God produces a consistent and plausible picture. But seeing reality as infused with other things might pass the same test. |
| 20709 | The experiences of God are inconsistent, not universal, and untestable [Davies,B] |
| Full Idea: A proclaimed experience of God must be rejected because a) there is no agreed test that it is such an experience, b) some people experience God's absence, and c) there is no uniformity of testimony about the experience. | |
| From: Brian Davies (Introduction to the Philosophy of Religion [1982], 7 'Objections') | |
| A reaction: [compressed] I'm not sure that absence of an experience is experience of an absence. Compare it with experiencing the greatness of Beethoven's Ninth. |
| 20697 | One does not need a full understanding of God in order to speak of God [Davies,B] |
| Full Idea: In order to speak meaningfully about God, it is not necessary that one should understand exactly the import of one's statements about him. | |
| From: Brian Davies (Introduction to the Philosophy of Religion [1982], 2 'Sayng') | |
| A reaction: Perfectly reasonable. To insist that all discussion of a thing requires exact understanding of the thing is ridiculous. Equally, though, to discuss God while denying all understanding of God is just as ridiculous. |
| 20699 | Paradise would not contain some virtues, such as courage [Davies,B] |
| Full Idea: There are virtues (such as courage) that would not be present in a paradise. | |
| From: Brian Davies (Introduction to the Philosophy of Religion [1982], 3 'Evil') | |
| A reaction: Part of a suggestion that morality would be entirely inapplicable in paradise, and so we need dangers etc in the world. |