Course Description

This course introduces the principles of valid deductive reasoning through a study of formal techniques of sentential logic and predicate logic. Students will learn how to translate arguments from a natural language (in this case English) to symbolic languages. These abstracted arguments can then be manipulated to derive other truth-preserved sentences. Students will also cover related logic and semantic concepts such as validity, soundness, and entailment. Graded or Pass/No Pass option. C-ID: PHIL 210.