Physical theory in semantic approach

Abstract

By “logic of a physical system” — in broad sense — is meant below the system of logical relations of a set of propositions that are considered meaningful and empirically checkable according to a particular theory that describes the physical system. “Logical relation of propositions” means relations of propositions from the the point of view of “truth”, “falsity”, “entailment”, etc. The analysis of the logic of a physical system can, and will in this chapter, be carried out in the usual terms of object language-metalanguage, syntactic-semantics. The object language is formed by the elementary sentences determined by the physical theory, the semantic notions such as truth, interpretation, evaluation, etc., are determined by the special features of the theory in question.