2013-2015 Undergraduate Catalog


PHL 301 Formal Logic

Deals with the study of argumentation and presenting of evidence by means of formal deductive systems such as propositional logic and predicate logic. Application of formal methods is supplemented by the study of philosophical problems about their effectiveness and limitations.

Credits

3