back to ideas for this text


Single Idea 10823

[from 'The Concept of Truth for Formalized Languages' by Alfred Tarski, in 5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential ]

Full Idea

To say that the name x denotes a given object a is the same as to stipulate that the object a ... satisfies a sentential function of a particular type.

Gist of Idea

A name denotes an object if the object satisfies a particular sentential function

Source

Alfred Tarski (The Concept of Truth for Formalized Languages [1933], p.194)

Book Reference

'The Nature of Truth', ed/tr. Lynch, Michael P. [MIT 2001], p.382