|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.
Previously taught: SP16, FL15, SU15D, SU15A, SP15, FL14, SU14D, SU14A, SP14, FL13, SU13D, SU13A, SP13, FL12, SU12D, SU12A, SP12, FL11, SU11D, SU11A, SP11, FL10, SU10D, SU10A, SP10, FL09, SU09D, SU09A, SP09, FL08, SU08D, SU08A, SP08, FL07, SU07A, SP07, FL06, SU06A, SP06, FL05, SU05D, SP05, FL04, SU04D, SU04A, SP04, FL03.