Searchy

Thus, the difference between (TC1 g) and (TC1 s) illustrates a difference between what we might call grabby truth conditions and what we might call searchy truth conditions for sentences combining names with modal operators. It[…]

Technical point: in order to accommodate the possibility that Socrates was not named “Socrates” way back when, we may instead want the "searchy" truth condition for (1) (see explanation below) to say something like the[…]

But if (16) had a searchy truth condition, such as (TC16) “Joe Montana was a quarterback” is true iff P (3x) (x is the referent of “Joe Montana" and x is a quarterback) , then (16) could be true now in virtue of the fact[…]