display all the ideas for this combination of texts
5 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. |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
| A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
| From: Ian Rumfitt ("Yes" and "No" [2000]) | |
| A reaction: This is the standard view which Rumfitt sets out to challenge. |
| 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'. |