PHL211 Symbolic Logic

[3–0, 3 cr.]

This course introduces the concepts and principles of symbolic logic, in particular the distinction between valid and invalid arguments, the determination of logical relations between sentences, the formal analysis of sentences so that the logical relations between them can be determined, the definition and construction of a formal language, the evaluation of truth, truth-functions, quantifiers and their use in the analysis of arguments, and predicate logic.