The writings of representative thinkers such as Kierkegaard. Nietzsche, Husserl, Heidegger, and Sartre are considered. Offered once yearly. 310 Symbolic Logic. A rigorous treatment of the propositional and predicate calculi.
Topics considered are truth, validity, consequence, consistency, tautologousness, and derivability.
A system of natural deduction is developed. The course also includes an introduction to set theory and proofs of the consistency and completeness of the predicate calculus. 111 or permission of instructor. Offered every spring. 317 Philosophy of Mind.