You are on page 1of 1
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

You might also like