Introduction to Formal Logic

Catalog description

Systematic study of deductive reasoning (and possibly inductive reasoning) using the techniques of modern logic. Examines different types of valid inference, the logical structure of English sentences, and the validity of arguments generally. Involves the development and use of a symbolic system which models logical relations among sentences.