Model Theory (Stanford Encyclopedia of Philosophy)First published Sat Nov 10, 2001; substantive revision Fri Oct 16, 2020 Model theory began with the study of formal languages and their interpretations, and of the kinds of classification that a particular formal language can make. Mainstream model theory is now a sophisticated branch of mathematics (see the entry on first-order model theory). But in a broader sense, model theory is the study of t
