LING 207: Introduction to Symbolic Logic
(Cross-listed with PHIL). (3-0) Cr. 3. F.S.
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 207 as early as possible.