Davied Kaplan
Sox [a numbers the planets & N “a is greater
fhhan five”
which is false because the planets are not num=
ered by an expression (recall our conventions
sour Greck variables)
‘Thus the Fregean formulations appear to
lack the kind of recurrence of a variable both
within and without the necessity context that is
characteristic of quantified mods! logic and
that appears in (22), But this difficulty cn be
considerably mitigated by taking note of the fact
that though the number nine and the expression
“nine” are distinc entities, there is an important
relationship beoween them. The second denotes
the first, We can follow Church by introducing
a demotation predicste, ‘A’, into our language,
fand so restore, atleast in an indret way (cecall
Frege’s indirect reference by way of intermediate
entities) the conneesion between occurrences of an
‘expression within and without the modal context,
(23) Fy fy numbers the planets & 3a(A(e,9)
&N ais greater than five”
| proppose (23), or some variant, as Frege's version
of (22); and
(24) 3a [A(anine) & N° is greater than
five"),
‘or some variant, as Frege's version of (17). (We
shall return later tothe variants.) (23) and (24) may
not fae as exciting a (22) and (17), bur nether do
they commit us t essentials, It may well be that
(24), and its variams, supply all the connection
between occurrences of expressions within
and without modal contexts a5 can sensibly be
allowed,
When I summed up Quine’s elaboration of the
orthographic accident theory of intermediate
oceurrences I emphasized the fact that to move
sruetion to refer
fan expression in an opaque eo
‘ential position, a new primitice predicate (such as
“Neo? and “Bel” of (17) and (18)) ad to be intro