more on this theme | more from this thinker
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.
Gist of Idea
Frege defined number in terms of extensions of concepts, but needed Basic Law V to explain extensions
Source
report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by B Hale / C Wright - Intro to 'The Reason's Proper Study' §1
Book Ref
Hale,B/Wright,C: 'The Reason's Proper Study' [OUP 2003], p.3
13733 | Frege considered definite descriptions to be genuine singular terms [Frege, by Fitting/Mendelsohn] |
10623 | Frege defined number in terms of extensions of concepts, but needed Basic Law V to explain extensions [Frege, by Hale/Wright] |
9975 | Frege ignored Cantor's warning that a cardinal set is not just a concept-extension [Tait on Frege] |
9190 | A concept is a function mapping objects onto truth-values, if they fall under the concept [Frege, by Dummett] |
13665 | Frege took the study of concepts to be part of logic [Frege, by Shapiro] |
9874 | Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege] |
18252 | Real numbers are ratios of quantities, such as lengths or masses [Frege] |
18271 | We can't prove everything, but we can spell out the unproved, so that foundations are clear [Frege] |
18165 | My Basic Law V is a law of pure logic [Frege] |