display all the ideas for this combination of texts
3 ideas
| 8645 | Convert "Jupiter has four moons" into "the number of Jupiter's moons is four" [Frege] |
| Full Idea: The proposition "Jupiter has four moons" can be converted into "the number of Jupiter's moons is four". | |
| From: Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §57) | |
| A reaction: This seems to be the beginning of the modern exploration of the whole idea of logical form. It is one thing to find a logical forms which suits your current thesis (here, that numbers are not adjectival), but another to prove that it is the right form. |
| 16891 | Despite Gödel, Frege's epistemic ordering of all the truths is still plausible [Frege, by Burge] |
| Full Idea: Gödel undermined Frege's assumption that all but the basic truths are provable in a system, but insofar as one conceives of proof informally as an epistemic ordering among truths, one can see his vision as worth developing. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Tyler Burge - Frege on Apriority (with ps) 1 | |
| A reaction: [compressed] This 'epistemic ordering' fits my thesis of seeing the world through our explanations of it. |
| 16906 | The primitive simples of arithmetic are the essence, determining the subject, and its boundaries [Frege, by Jeshion] |
| Full Idea: The primitive truths contain the core of arithmetic because their constituents are simples which define the essential boundaries of the subject. …The primitive truths are the most general ones, containing the basic, essence determining elements. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Robin Jeshion - Frege's Notion of Self-Evidence 2 | |
| A reaction: This presents Frege as explicable in essentialist terms, as identifying the core of an abstract discipline, from which the rest of it is generated. Jeshion says 'simples are the essence'. |