or model theory, n. (Logic) 1. the study of interpretations and models of formal theories. 2. the study of the relationship between the structure of a theory and its subject matter. 3. the principles that determine the truth or falsehood of sentences and the references of terms within a given formal theory. Compare syntax.