Symbolic Logic

Catalog description

Study of the historical development of logic; the nature of formal systems; truth tables; the method of deduction; propositional calculus; monadic and polyadic predicate logic and first order general predicate logic; axiomatics; introduction to set theory; metalogical problems. P: Philosophical Ideas course.