University Catalog

Print Page

PHIL 304. Symbolic Logic

Credits: 3
Department: Philosophy
Description: Basic logical concepts: validity, necessity, possibility and consistency. Natural deduction for sentence and predicate logics. Introduction to modal and many-valued logics.
Prerequisites: One of PHIL 211-252
Semester Offered: Spring
Grading Method: ABCDF

Student Learning Outcomes

1. Test truth-functional and first-order argument-forms (and proposed inference rules) for validity.
2. Construct proofs in (and supplemental rules for) systems of sentence and first-order predicate logic.
3. Do similar work in at least one other area of logic, e.g., proofs in modal logic, or validity tests in three-valued logic.
4. Explain one or more of the central problems in the philosophy of logic, e.g., the nature of entailment, whether bivalence is fatalistic, the meaning of conditionals, etc.

The contents in this catalog and other university publications, policies, fees, bulletins or announcements are subject to change without notice and do not constitute an irrevocable contract between any student and St. Cloud State University.