So8res comments on Mental Context for Model Theory - LessWrong

49 Post author: So8res 30 October 2013 06:35AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (45)

You are viewing a single comment's thread. Show more comments above.

Comment author: So8res 31 October 2013 09:28:16PM *  2 points [-]

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.

Comment author: ESRogs 01 November 2013 12:36:21AM 0 points [-]

Thanks!