PHIL 319 - Logic (4)

This course emphasizes contemporary symbolic logic. We will study deductive logical systems and learn how to evaluate arguments with both truth-tables and proofs in propositional and predicate logic. We will also learn how to translate ordinary language arguments into a formal symbolic language and back again. Offered every year.