PHI 142 Symbolic Logic

This course teaches formal techniques for analysis of arguments and language in symbolic logic. Topics covered include translation of sentence arguments into formal logic structure, using derivation rules, proof construction, establishing validity or invalidity of arguments. (C4)