Logic

This course will focus primarily on the formal properties of statements and sets of statements. It will be shown how to determine which statements are true by virtue of their logical form, and how to determine when a statement follows from other statements as a matter of logic alone. We will develop methods for formally deriving conclusion from premises, or logical truths from no premises at all. We will also discuss the basics of predicate logic with quantifiers. Time permitting, we will discuss further extensions of logic relevant to philosophers, e.g., modal logic.