Symbolic logic is the study of certain precisely specified formal languages. We will study these languages and their applications in this course. Symbolic logic has proven to be extremely useful in a number of different disciplines. First, they are helpful in the study of good and valid reasoning. We will use these formal languages to study valid and invalid forms of reasoning, and how to distinguish them. Secondly, symbolic logic is crucial for computer science and foundational issues in mathematics. Finally, symbolic logic is useful in the study of natural languages, and we will see some illustrative examples of this. We will be able to discuss some highlights of these uses of logic although these latter two areas quickly get into more advanced topics.