PHIL 2070: Introduction to Symbolic Logic
(Cross-listed with LING 2070).
Credits: 3. Contact Hours: Lecture 3.
Introduction to fundamental logical concepts and logical symbolism. Development of natural deduction through first order predicate logic with identity. Applications to arguments in ordinary English and to philosophical issues. Linguistics majors should take LING/PHIL 2070 as early as possible. (Typically Offered: Fall, Spring)