Philosophy 12A

Summer 2016 Session A

Number Title Instructor Days/time Room
12A Introduction to Logic Ahmed-Buehler TuWTh 10-12:30 B1 Hearst

An introduction to the use and study of deductive logic with particular emphasis on foundational concepts and formal competence. The primary project of the course will be a full, modern development of first-order logic alongside discussion of its relationship to intuitive ideas of proof, truth, and implication. While a requirement for philosophy majors, this course is appropriate for anyone interested in proper reasoning, especially those intending to pursue computer science or mathematics.