PHIL 125 - Logic
Semester Offered: Fall and Spring
a. An examination of the basic elements of modern logic. Topics include logical paraphrase, truth-functional logic, and quantification theory. Special attention is paid to the adequacy of the methods of logical analysis and assessment studied in the course. Douglas Winblad.
Topic for 2017/18b: Introduction to Formal Logic. When is it rational to infer one claim from others? The disciple of logic aims to answer this question as well as others concerning the rich patterns of inference and reasoning that emerge upon further study. Formal Logic approaches these questions using some mathematical techniques that we begin to master in this course. In particular, we study a powerful artificial language called First-Order Logic (FOL) that allows us to formulate precisely the concepts of proof, truth and valid inference. Marco Dees.
Two 75-minute periods.
[Add to Portfolio]