Semantics for Quantificational Logic

  We turn now to the semantics of QL.  In fact, we've already covered some of this material in the traditional logic section.  We saw that we could treat predicates as representing classes of individuals. We'll see how the full semantics for QL allows us to give the truth-conditions for the full range of propositions in QL, not just categorical propositions.