This course acquaints students with the elements of symbolic logic and its methods of deduction, including: the quantificational calculus, definite descriptions, identity, and the logic of relations. The significance of symbolic logic is examined in relation to logical atomism as advanced early in the twentieth century by Ludwig Wittgenstein and Bertrand Russell.