15. Give symbols a world to talk about
Read a formal language through its interpretation: domains, predicates, functions, assignments, and truth in a structure. This chapter shows what it means for a symbolic sentence to be true in a possible situation.