A second course in formal techniques of argument analysis. Students will learn how to formalize arguments of English in Predicate Logic and apply semantic and syntactic techniques for evaluating such arguments. In addition, students will be introduced to soundness and completeness proofs for both Sentential and Predicate Logic.
A second course in formal techniques of argument analysis. Students will learn how to formalize arguments of English in Predicate Logic and apply semantic and syntactic techniques for evaluating such arguments. In addition, students will be introduced to soundness and completeness proofs for both Sentential and Predicate Logic.
