MODEL-THEORETIC ROLE OF THE NON-LOGICAL CONSTANTS IN FORMAL THEORIES
V.V. Tselishchev
Institute of philosophy and Law, SB RAS, Novosibirsk, Nikolaeva str. 8, 630090, Russia
Keywords: нелогические константы, аксиоматика, переменная, неявное определение, семантика, теория моделей, non-logical constants, axiomatic, variable, implicit definition, semantics, model theory
Abstract
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.
|
