MODEL-THEORETIC ROLE OF THE NON-LOGICAL CONSTANTS IN FORMAL THEORIES
The problem of the introduction of non-logical constants into semantic theory is discussed. The controversy between Hilbert and Frege about the nature of implicit definitions axioms is viewed as a motive for the introduction of model-theoretic interpretation of variables. Indexicals are proposed as interpretation of non-logical constants in mathematical discourse.