and this is what Im reading...
"Remember the form of a truth theorem for a proposition:
SVal(true,”John died”) iff John died
Assign the semantic value TRUE to the sentence “John died” if and only if John died.
The semantic value of the sentence “John died” is TRUE if and only if John died
The parallel version for a proper noun would look like this:
SVal(x,”John”) iff x = John
The semantic value of the proper noun “John” is the individual x (in the real world) iff x and the individual John are the same"