more on this theme     |     more from this thinker


Single Idea 13733

[filed under theme 5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions ]

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'.

Gist of Idea

Frege considered definite descriptions to be genuine singular terms

Source

report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by M Fitting/R Mendelsohn - First-Order Modal Logic

Book Ref

Fitting,M/Mendelsohn,R: 'First-Order Modal Logic' [Synthese 1998], p.250


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'.


The 9 ideas from 'Grundgesetze der Arithmetik 1 (Basic Laws)'

Frege considered definite descriptions to be genuine singular terms [Frege, by Fitting/Mendelsohn]
Frege defined number in terms of extensions of concepts, but needed Basic Law V to explain extensions [Frege, by Hale/Wright]
Frege ignored Cantor's warning that a cardinal set is not just a concept-extension [Tait on Frege]
A concept is a function mapping objects onto truth-values, if they fall under the concept [Frege, by Dummett]
Frege took the study of concepts to be part of logic [Frege, by Shapiro]
Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege]
Real numbers are ratios of quantities, such as lengths or masses [Frege]
We can't prove everything, but we can spell out the unproved, so that foundations are clear [Frege]
My Basic Law V is a law of pure logic [Frege]