Symbolic Logic

This is an introductory course to symbolic logic. The course is tailored to introduce students to a wide variety of topics within the field, while also providing a solid foundation in systems of symbolic logic. Topics include: diagramming arguments, logical terminology and translation, proof, model theory, metalogic, logical circuits, rudimentary set theory, polish notation, multi-valued logics, inductive logic, probability, modal logic, and paradox. No prior background in logic or mathematics is presupposed. By the end of the course, students should not only be familiar with logic as a field, but they will also be prepared to tackle more advanced topics within the fields or philosophical and mathematical logic.