An introductory course in formal techniques of argument analysis. Students will learn how to formalize arguments of English in Sentential Logic - which has important links to Boolean Algebra and Computation Theory - and apply semantic and syntactic techniques for evaluating such arguments. In addition, students will be exposed in a preliminary way to Predicate Logic.
An introductory course in formal techniques of argument analysis. Students will learn how to formalize arguments of English in Sentential Logic - which has important links to Boolean Algebra and Computation Theory - and apply semantic and syntactic techniques for evaluating such arguments. In addition, students will be exposed in a preliminary way to Predicate Logic.
