PHIL 112C
3
0
3
Explores the principles of reasoning and development of symbolic techniques for evaluating arguments. The main components of deductive symbolic logic are introduced, and students gain skill using these techniques, which are used in mathematics, logic, computer science, statistics, and linguistics. Introduction to symbolic logic, including sentential and predicate logic, is taught with a focus on translating English statements into symbolic notation and evaluating arguments for validity using formal proof techniques. Students are able to distinguish types of arguments, consequences of claims, inconsistency, and the relationship between truth and logic, and detect and avoid ambiguities in language.
