Comment on Mental Context for Model Theory

Thu, 31 Oct 2013 21:28:16 GMT

Yes! I cover this in the first part of Very Basic Model Theory, the next post. "Model" is the name for the subset of mappings from sentences to truth values that interpret the logical symbols in a very specific way. See the linked post for details.

Discuss