This document discusses semantics and sentence meaning. It outlines the objectives of analyzing different dimensions of sentence semantics, including propositions, entailment, and predicate logic. It notes that defining word meaning alone is problematic, and that the basic unit of meaning may be the sentence rather than individual words. Sentence meaning can be defined using propositions - statements that can be evaluated as true or false. Propositions treat sentences as assigning truth values. Different sentences may express the same proposition. Sentence meaning is then formalized and analyzed using the machinery of propositional logic.