more from this thinker     |     more from this text


Single Idea 18939

[filed under theme 5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names ]

Full Idea

A logically perfect language should satisfy the conditions that every expression grammatically well constructed as a proper name out of signs already introduced shall in fact designate an object.

Gist of Idea

In a logically perfect language every well-formed proper name designates an object

Source

Gottlob Frege (On Sense and Reference [1892], p.41)

Book Ref

Frege,Gottlob: 'Translations from the Writings of Gottlob Frege', ed/tr. Geach,P/Black,M [Blackwell 1980], p.70


A Reaction

This seems to cramp your powers of reasoning, if you must know the object to use the name ('Jack the Ripper'), and reasoning halts once you deny the object's existence ('Pegasus'), or you don't know if names co-refer ('Hesperus/Phosphorus').


The 13 ideas with the same theme [name whose object does not exist]:

If sentences have a 'sense', empty name sentences can be understood that way [Frege, by Sawyer]
It is a weakness of natural languages to contain non-denoting names [Frege]
In a logically perfect language every well-formed proper name designates an object [Frege]
Names are meaningless unless there is an object which they designate [Russell]
Russell implies that all sentences containing empty names are false [Sawyer on Russell]
A name has got to name something or it is not a name [Russell]
An expression is only a name if it succeeds in referring to a real object [Bostock]
It is best to say that a name designates iff there is something for it to designate [Sainsbury]
'Pegasus doesn't exist' is false without Pegasus, yet the absence of Pegasus is its truthmaker [Yablo]
Names function the same way, even if there is no object [Azzouni]
Unreflectively, we all assume there are nonexistents, and we can refer to them [Reimer]
Sentences with empty names can be understood, be co-referential, and even be true [Sawyer]
Frege's compositional account of truth-vaues makes 'Pegasus doesn't exist' neither true nor false [Sawyer]