2019-2020 Undergraduate Catalog


PHIL 30133 Symbolic Logic I

An introduction to the scope and limits of modern logic. The nature of logical systems and the various areas of logic are discussed. Alternative proof- procedures in propositional logic and predicate logic are presented.