Something in addition to the symbol-r relation – for quantification

I have been aware of a problem with my prior analysis of belief – it was necessary to have a symbol relation to any object you can have a belief about. Consider

Tom believes someone denounced Cicero.

‘someone’ is not a symbol – it is a variable.

We need to analyze it as:

($w)($u)($v)($x)belief_r(Tom,now,u,x,v) & symbol_1r(Tom,now,u,denounced) & symbol_0r(Tom,now,v,Cicero) & variable_0r(Tom,now,x,w)

IN OTHER SYMBOLS

(Ew)(Eu)(Ev)(Ex)belief_r(Tom,now,u,x,v) & symbol_1r(Tom,now,u,denounced) & symbol_0r(Tom,now,v,Cicero) & variable_0r(Tom,now,x,w)

Here x is a variable symbol for Tom and w is the range that it may take values from.

Variables are a different ‘part of speech’ having a different sort of application in the world.

Thus it is no longer necessary to have a symbol_0r relation to whoever denounced Cicero – although you may.