PHIL 230 - Symbolic Logic

Semester Offered: Fall and Spring
1 unit(s)

230a: A study of the concepts and methods of formal logic. Topics include truth functional and quantificational validity, soundness, and completeness.

230b: The study of concepts of symbolic logic. We will study the techniques of logical paraphrase and natural deduction. The investigation of properties of the formal systems are developed in this course. 230a: Mr. Winblad. 230b: Mr. Lam.