6 ideas
| 18253 | I wish to go straight from cardinals to reals (as ratios), leaving out the rationals [Frege] |
| Full Idea: You need a double transition, from cardinal numbes (Anzahlen) to the rational numbers, and from the latter to the real numbers generally. I wish to go straight from the cardinal numbers to the real numbers as ratios of quantities. | |
| From: Gottlob Frege (Letters to Russell [1902], 1903.05.21), quoted by Michael Dummett - Frege philosophy of mathematics 21 'Frege's' | |
| A reaction: Note that Frege's real numbers are not quantities, but ratios of quantities. In this way the same real number can refer to lengths, masses, intensities etc. |
| 18166 | The loss of my Rule V seems to make foundations for arithmetic impossible [Frege] |
| Full Idea: With the loss of my Rule V, not only the foundations of arithmetic, but also the sole possible foundations of arithmetic, seem to vanish. | |
| From: Gottlob Frege (Letters to Russell [1902], 1902.06.22) | |
| A reaction: Obviously he was stressed, but did he really mean that there could be no foundation for arithmetic, suggesting that the subject might vanish into thin air? |
| 18269 | Logical objects are extensions of concepts, or ranges of values of functions [Frege] |
| Full Idea: How are we to conceive of logical objects? My only answer is, we conceive of them as extensions of concepts or, more generally, as ranges of values of functions ...what other way is there? | |
| From: Gottlob Frege (Letters to Russell [1902], 1902.07.28), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 7 epigr | |
| A reaction: This is the clearest statement I have found of what Frege means by an 'object'. But an extension is a collection of things, so an object is a group treated as a unity, which is generally how we understand a 'set'. Hence Quine's ontology. |
| 15160 | Davidson rejected ordinary meaning, and just used truth and reference instead [Davidson, by Soames] |
| Full Idea: Davidson held that knowledge of truth and reference could give us a notion of meaning. He embraced Quine's rejection of analyticity, synonymy and ordinary meaning, and substituted truth and reference, when there was something genuine to capture. | |
| From: report of Donald Davidson (Semantics for Natural Languages [1970]) by Scott Soames - Philosophy of Language 2.3 | |
| A reaction: I always get a warm glow when anyone suggests that the concept of meaning involves the concept of truth. I largely reject Quine. Davidson made a helpful suggestion! |
| 14612 | Davidson aimed to show that language is structured by first-order logic [Davidson, by Smart] |
| Full Idea: Davidson's program was to show the underlying structure of natural languages as that of first-order logic. | |
| From: report of Donald Davidson (Semantics for Natural Languages [1970], 2) by J.J.C. Smart - The Tenseless Theory of Time 2 | |
| A reaction: First order logic just reasons about a domain of objects with predicates attached to them. Language appears to refer to properties and relations as well as objects. |
| 1590 | The just man does not harm his enemies, but benefits everyone [Plato] |
| Full Idea: First, Socrates, you told me justice is harming your enemies and helping your friends. But later it seemed that the just man, since everything he does is for someone's benefit, never harms anyone. | |
| From: Plato (Clitophon [c.372 BCE], 410b) | |
| A reaction: Socrates certainly didn't subscribe to the first view, which is the traditional consensus in Greek culture. In general Socrates agreed with the views later promoted by Jesus. |