This document provides an overview of semantics and theories of meaning. It discusses semantics as the study of linguistic meaning, and notes its importance to linguistics and computer science. Several theories of meaning are examined, including the denotational theory which views words as naming objects, and problems with this view. Wittgenstein's early work in the Tractatus is summarized, followed by his later rejection of some of these views in Philosophical Investigations, where he introduced the concept of language games. The document also briefly discusses the work of Frege, Russell, and Peirce in relation to theories of meaning and semantics.