Basic concepts and methods of contemporary semantic theory including basic set theory, elementary propositional and predicate calculus, the structure of predicates and propositions, quantification binding. Prepares students for study of more advanced topics in semantics.