Apr 19, 2024  
College Catalog 2015-2016 
    
College Catalog 2015-2016 [ARCHIVED CATALOG]

PHIL 111 - Introduction to Symbolic Logic


An introduction to formal methods for evaluating deductive arguments. Topics include formal fallacies, decision procedures, translation of arguments to argument forms, and natural deduction proofs in propositional and predicate logic. Every year. (4 Credits)